Trace number 4105841

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (MO) 169.15 169.185

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986-max.opb
MD5SUMd0972750cf259b5b6f93d177cc7cfb4a
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-1307731
Best CPU time to get the best result obtained on this benchmark13.482
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -1307731
Optimality of the best value was proved YES
Number of variables901
Total number of constraints2521
Number of constraints which are clauses2520
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint840
Number of terms in the objective function 21
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 2097151
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 576460752303423488
Number of bits of the biggest number in a constraint 60
Biggest sum of numbers in a constraint 2305841944493460011
Number of bits of the biggest sum of numbers61
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T15:37:03+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4105841-1466257023.opb"]
0.00/0.01	c use --random-gen="1357709329 3495204912 3782356842 833789850 2442717688 33546664 1923161614 1097038295 203138320 2382683294 2651966921 1285005298 692346959 2396559712 1591347061 3569605680 4099431758 2734973480 3509727786 1017255440 1994885418 1645775689 1235480189 1748065213 2015269110 897427501 1392627277 2316194054 620526189 1833314490 3871189261 3891972593 1158575964 280409898 2106446587 2515050464 3002224731 341150498 937319612 2863528160 2108915614 133030325 385600789 951678355 175912909 757981269 1806865384 3584070631 2656218382 2124012747 3858718079 3517166248 3816899695 3241419811 4041176025 1689655612 2204650248 2209847775 278073542 100097060 4253821425 2435021239 217545731 1818600750 1608762797 707151624 3722873538 1062265748 698456370 3314696382 1396064154 235490771 3984789370 1513158838 1075216407 3449141031 1812459192 3812670426 1905070211 1061321133 3035338688 3183900083 1291569045 1853029508 53391256 2184249262 2867242278 4272690554 2848101597 2867855432 1929237650 3777992466 819934005 3200335040 3453913990 2741893804 4134652955 1216652758 1036304948 347058614 3588206323 561372342 3278412345 1845740701 1231267027 3231803258 1052893924 841904224 1815122311 3979472358 2638816783 1401569207 219792274 3544349870 3133835835 3500712507 2179069639 758507804 984005939 4131293358 1210123895 828788503 1973481536 1185117338 1938106296 3960938231 2722729961 3650275004 1118569821 4229906142 573496896 2898435821 1099446167 3897481484 1137735964 3360079689 1280047246 713788739 3549717812 1846714332 154914659 2609059846 2244749510 2272879503 1532742053 746746584 3704774423 144442584 334783702 2967452506 3306751928 1810347599 115836875 921198287 2516147591 65350375 3433120003 3975369067 3707397192 2543051211 639751425 1076422238 2742510609 3574791967 2002800294 3218113185 3666949914 2499217230 2963390839 326081274 2488128352 1120176696 936419065 2218716830 2824793908 2299594616 2748457957 4079545313 1084752288 1686363393 4078756206 2342710460 3650889836 345824535 2809767879 1397377093 3612958346 2280893579 545254621 1193458845 1899908702 2368487003 785328566 2795069610 3711280414 3415524735 2576380923 3401512956 2699302631 2994263593 3836320499 2656402469 2738186061 2413379613 369630347 2784811978 706926890 2775700358 3113806954 2457541029 1596776703 3248500409 1459416578 367367448 936851188 371510495 3099385967 179354790 370281645 1774332594 3070452635 227859867 26243230 3006453380 1017361610 978139432 865234347 1735533387 2167551012 3335283337 419684610 2085686673 4290862723 739412895 1099206579 1067883980 3484811176 295849084 810483675 3973363408 2407855137 1901979886 3316745411 2355166452 2259694605 3398314824 2340438783 140978734 3580799254 4205336520 2807807724 3723276753 49050789 3806106282 1375328552 94257541 255 362436" option to reproduce the execution
0.00/0.03	c #vars 901
0.00/0.03	c #constraints 2521

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4105841-1466257023/watcher-4105841-1466257023 -o /tmp/evaluation-result-4105841-1466257023/solver-4105841-1466257023 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105841-1466257023.opb 

pid=7085
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.05 2.09 2.06 3/179 7088
/proc/meminfo: memFree=18118856/32872528 swapFree=526336/559040
[pid=7088] ppid=7085 vsize=516540 CPUtime=0 cores=0,2,4,6
/proc/7088/stat : 7088 (toysat) R 7085 7088 28898 0 -1 4202496 1891 0 0 0 0 0 0 0 20 0 4 0 27752450 528936960 2252 33554432000 4194304 16246674 140736064356384 140736064355808 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7088/statm: 129903 2260 441 2943 0 126797 0
[pid=7088/tid=7089] ppid=7085 vsize=561596 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7089/stat : 7089 (toysat) S 7085 7088 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27752450 575074304 2428 33554432000 4194304 16246674 140736064356384 139734613470448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7088/tid=7090] ppid=7085 vsize=566716 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7090/stat : 7090 (toysat) S 7085 7088 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27752450 580317184 2444 33554432000 4194304 16246674 140736064356384 139734602980592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7088/tid=7091] ppid=7085 vsize=570812 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7091/stat : 7091 (toysat) S 7085 7088 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27752450 584511488 2463 33554432000 4194304 16246674 140736064356384 139734592507056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100141 s]
/proc/loadavg: 2.05 2.09 2.06 3/179 7088
/proc/meminfo: memFree=18118856/32872528 swapFree=526336/559040
[pid=7088] ppid=7085 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/7088/stat : 7088 (toysat) R 7085 7088 28898 0 -1 4202496 26694 0 0 0 6 3 0 0 20 0 4 0 27752450 1247350784 27045 33554432000 4194304 16246674 140736064356384 140736064355808 12657222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7088/statm: 304529 27049 637 2943 0 301423 0
[pid=7088/tid=7089] ppid=7085 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7089/stat : 7089 (toysat) S 7085 7088 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27752450 1247350784 27053 33554432000 4194304 16246674 140736064356384 139734613470448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7088/tid=7090] ppid=7085 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7090/stat : 7090 (toysat) S 7085 7088 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27752450 1247350784 27056 33554432000 4194304 16246674 140736064356384 139734602980592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7088/tid=7091] ppid=7085 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7091/stat : 7091 (toysat) S 7085 7088 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27752450 1247350784 27060 33554432000 4194304 16246674 140736064356384 139734592507056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200488 s]
/proc/loadavg: 2.05 2.09 2.06 3/179 7088
/proc/meminfo: memFree=18118856/32872528 swapFree=526336/559040
[pid=7088] ppid=7085 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/7088/stat : 7088 (toysat) R 7085 7088 28898 0 -1 4202496 49701 0 0 0 12 6 0 0 20 0 4 0 27752450 1247350784 50052 33554432000 4194304 16246674 140736064356384 140736064338304 12657222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7088/statm: 304529 50057 637 2943 0 301423 0
[pid=7088/tid=7089] ppid=7085 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7089/stat : 7089 (toysat) S 7085 7088 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27752450 1247350784 50060 33554432000 4194304 16246674 140736064356384 139734613470448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7088/tid=7090] ppid=7085 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7090/stat : 7090 (toysat) S 7085 7088 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27752450 1247350784 50064 33554432000 4194304 16246674 140736064356384 139734602980592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7088/tid=7091] ppid=7085 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7091/stat : 7091 (toysat) S 7085 7088 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27752450 1247350784 50067 33554432000 4194304 16246674 140736064356384 139734592507056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300459 s]
/proc/loadavg: 2.05 2.09 2.06 3/179 7088
/proc/meminfo: memFree=18118856/32872528 swapFree=526336/559040
[pid=7088] ppid=7085 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/7088/stat : 7088 (toysat) R 7085 7088 28898 0 -1 4202496 74569 0 0 0 19 9 0 0 20 0 4 0 27752450 1247350784 74920 33554432000 4194304 16246674 140736064356384 140736064338304 12653060 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7088/statm: 304529 74927 637 2943 0 301423 0
[pid=7088/tid=7089] ppid=7085 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7089/stat : 7089 (toysat) S 7085 7088 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27752450 1247350784 74932 33554432000 4194304 16246674 140736064356384 139734613470448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7088/tid=7090] ppid=7085 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7090/stat : 7090 (toysat) S 7085 7088 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27752450 1247350784 74938 33554432000 4194304 16246674 140736064356384 139734602980592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7088/tid=7091] ppid=7085 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7091/stat : 7091 (toysat) S 7085 7088 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27752450 1247350784 74944 33554432000 4194304 16246674 140736064356384 139734592507056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700387 s]
/proc/loadavg: 2.05 2.09 2.06 3/179 7088
/proc/meminfo: memFree=18118856/32872528 swapFree=526336/559040
[pid=7088] ppid=7085 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/7088/stat : 7088 (toysat) R 7085 7088 28898 0 -1 4202496 158002 0 0 0 48 21 0 0 20 0 4 0 27752450 1247350784 158353 33554432000 4194304 16246674 140736064356384 140736064338304 6958849 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7088/statm: 304529 158365 637 2943 0 301423 0
[pid=7088/tid=7089] ppid=7085 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7089/stat : 7089 (toysat) S 7085 7088 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27752450 1247350784 158372 33554432000 4194304 16246674 140736064356384 139734613470448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7088/tid=7090] ppid=7085 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7090/stat : 7090 (toysat) S 7085 7088 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27752450 1247350784 158378 33554432000 4194304 16246674 140736064356384 139734602980592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7088/tid=7091] ppid=7085 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7091/stat : 7091 (toysat) S 7085 7088 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27752450 1247350784 158385 33554432000 4194304 16246674 140736064356384 139734592507056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 2.05 2.09 2.06 3/183 7092
/proc/meminfo: memFree=17093884/32872528 swapFree=526336/559040
[pid=7088] ppid=7085 vsize=1404484 CPUtime=1.48 cores=0,2,4,6
/proc/7088/stat : 7088 (toysat) R 7085 7088 28898 0 -1 4202496 292106 0 0 0 110 38 0 0 20 0 4 0 27752450 1438191616 292413 33554432000 4194304 16246674 140736064356384 140736064355696 12371187 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7088/statm: 351121 292413 840 2943 0 348015 0
[pid=7088/tid=7089] ppid=7085 vsize=1404484 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7089/stat : 7089 (toysat) S 7085 7088 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27752450 1438191616 292413 33554432000 4194304 16246674 140736064356384 139734613470448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7088/tid=7090] ppid=7085 vsize=1404484 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7090/stat : 7090 (toysat) S 7085 7088 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27752450 1438191616 292413 33554432000 4194304 16246674 140736064356384 139734602980592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7088/tid=7091] ppid=7085 vsize=1404484 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7091/stat : 7091 (toysat) S 7085 7088 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27752450 1438191616 292413 33554432000 4194304 16246674 140736064356384 139734592507056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1404484

[startup+3.10034 s]
/proc/loadavg: 2.05 2.09 2.06 4/183 7092
/proc/meminfo: memFree=16917688/32872528 swapFree=526336/559040
[pid=7088] ppid=7085 vsize=1437252 CPUtime=3.08 cores=0,2,4,6
/proc/7088/stat : 7088 (toysat) R 7085 7088 28898 0 -1 4202496 300434 0 0 0 269 39 0 0 20 0 4 0 27752450 1471746048 300741 33554432000 4194304 16246674 140736064356384 140736064355696 12371136 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7088/statm: 359313 300741 840 2943 0 356207 0
[pid=7088/tid=7089] ppid=7085 vsize=1437252 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7089/stat : 7089 (toysat) S 7085 7088 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27752450 1471746048 300741 33554432000 4194304 16246674 140736064356384 139734613470448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7088/tid=7090] ppid=7085 vsize=1437252 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7090/stat : 7090 (toysat) S 7085 7088 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27752450 1471746048 300741 33554432000 4194304 16246674 140736064356384 139734602980592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7088/tid=7091] ppid=7085 vsize=1437252 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7091/stat : 7091 (toysat) S 7085 7088 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27752450 1471746048 300741 33554432000 4194304 16246674 140736064356384 139734592507056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1437252

[startup+6.3004 s]
/proc/loadavg: 2.05 2.09 2.06 3/183 7092
/proc/meminfo: memFree=16693404/32872528 swapFree=526336/559040
[pid=7088] ppid=7085 vsize=1945156 CPUtime=6.28 cores=0,2,4,6
/proc/7088/stat : 7088 (toysat) R 7085 7088 28898 0 -1 4202496 427394 0 0 0 573 55 0 0 20 0 4 0 27752450 1991839744 427702 33554432000 4194304 16246674 140736064356384 140736064355048 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7088/statm: 486289 427709 840 2943 0 483183 0
[pid=7088/tid=7089] ppid=7085 vsize=1945156 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7089/stat : 7089 (toysat) S 7085 7088 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27752450 1991839744 427713 33554432000 4194304 16246674 140736064356384 139734613470448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7088/tid=7090] ppid=7085 vsize=1946180 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7090/stat : 7090 (toysat) S 7085 7088 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27752450 1992888320 427722 33554432000 4194304 16246674 140736064356384 139734602980368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7088/tid=7091] ppid=7085 vsize=1946180 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7091/stat : 7091 (toysat) S 7085 7088 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27752450 1992888320 427727 33554432000 4194304 16246674 140736064356384 139734592507056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1945156

[startup+12.7004 s]
/proc/loadavg: 2.04 2.09 2.06 3/183 7092
/proc/meminfo: memFree=15295900/32872528 swapFree=526336/559040
[pid=7088] ppid=7085 vsize=3191364 CPUtime=12.69 cores=0,2,4,6
/proc/7088/stat : 7088 (toysat) R 7085 7088 28898 0 -1 4202496 738949 0 0 0 1175 94 0 0 20 0 4 0 27752450 3267956736 739257 33554432000 4194304 16246674 140736064356384 140736064354176 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7088/statm: 797841 739267 841 2943 0 794735 0
[pid=7088/tid=7089] ppid=7085 vsize=3191364 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7089/stat : 7089 (toysat) S 7085 7088 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27752450 3267956736 739271 33554432000 4194304 16246674 140736064356384 139734613470448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7088/tid=7090] ppid=7085 vsize=3192388 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7090/stat : 7090 (toysat) S 7085 7088 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27752450 3269005312 739280 33554432000 4194304 16246674 140736064356384 139734602980368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7088/tid=7091] ppid=7085 vsize=3192388 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7091/stat : 7091 (toysat) S 7085 7088 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27752450 3269005312 739286 33554432000 4194304 16246674 140736064356384 139734592507056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 3191364

[startup+25.5004 s]
/proc/loadavg: 2.11 2.10 2.06 3/183 7141
/proc/meminfo: memFree=25463028/32872528 swapFree=526336/559040
[pid=7088] ppid=7085 vsize=5703236 CPUtime=25.48 cores=0,2,4,6
/proc/7088/stat : 7088 (toysat) R 7085 7088 28898 0 -1 4202496 1366932 0 0 0 2374 174 0 0 20 0 4 0 27752450 5840113664 1367239 33554432000 4194304 16246674 140736064356384 140736064355560 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7088/statm: 1425809 1367239 841 2943 0 1422703 0
[pid=7088/tid=7089] ppid=7085 vsize=5703236 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7089/stat : 7089 (toysat) S 7085 7088 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27752450 5840113664 1367239 33554432000 4194304 16246674 140736064356384 139734613470448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7088/tid=7090] ppid=7085 vsize=5703236 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7090/stat : 7090 (toysat) S 7085 7088 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27752450 5840113664 1367239 33554432000 4194304 16246674 140736064356384 139734602980592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7088/tid=7091] ppid=7085 vsize=5703236 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7091/stat : 7091 (toysat) S 7085 7088 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27752450 5840113664 1367239 33554432000 4194304 16246674 140736064356384 139734592507056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 5703236

[startup+51.1005 s]
/proc/loadavg: 2.07 2.09 2.06 3/183 7141
/proc/meminfo: memFree=16740580/32872528 swapFree=526336/559040
[pid=7088] ppid=7085 vsize=10699332 CPUtime=51.07 cores=0,2,4,6
/proc/7088/stat : 7088 (toysat) R 7085 7088 28898 0 -1 4202496 2615903 0 0 0 4767 340 0 0 20 0 4 0 27752450 10956115968 2616210 33554432000 4194304 16246674 140736064356384 140736064354240 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7088/statm: 2674833 2616221 841 2943 0 2671727 0
[pid=7088/tid=7089] ppid=7085 vsize=10699332 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7089/stat : 7089 (toysat) S 7085 7088 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27752450 10956115968 2616225 33554432000 4194304 16246674 140736064356384 139734613470448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7088/tid=7090] ppid=7085 vsize=10699332 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7090/stat : 7090 (toysat) S 7085 7088 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27752450 10956115968 2616232 33554432000 4194304 16246674 140736064356384 139734602980368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7088/tid=7091] ppid=7085 vsize=10699332 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7091/stat : 7091 (toysat) S 7085 7088 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27752450 10956115968 2616236 33554432000 4194304 16246674 140736064356384 139734592507056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 10699332

[startup+102.3 s]
/proc/loadavg: 2.03 2.07 2.05 3/183 7142
/proc/meminfo: memFree=6246900/32872528 swapFree=526336/559040
[pid=7088] ppid=7085 vsize=12147268 CPUtime=102.28 cores=0,2,4,6
/proc/7088/stat : 7088 (toysat) R 7085 7088 28898 0 -1 4202496 2932597 0 0 0 9837 391 0 0 20 0 4 0 27752450 12438802432 2977872 33554432000 4194304 16246674 140736064356384 140736064354240 14006562 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7088/statm: 3036817 2977872 846 2943 0 3033711 0
[pid=7088/tid=7089] ppid=7085 vsize=12147268 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7089/stat : 7089 (toysat) S 7085 7088 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27752450 12438802432 2977872 33554432000 4194304 16246674 140736064356384 139734613470448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7088/tid=7090] ppid=7085 vsize=12147268 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7090/stat : 7090 (toysat) S 7085 7088 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27752450 12438802432 2977872 33554432000 4194304 16246674 140736064356384 139734602980368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7088/tid=7091] ppid=7085 vsize=12147268 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7091/stat : 7091 (toysat) S 7085 7088 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27752450 12438802432 2977872 33554432000 4194304 16246674 140736064356384 139734592507056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 12147268

[startup+162.3 s]
/proc/loadavg: 2.01 2.06 2.05 3/183 7143
/proc/meminfo: memFree=4397400/32872528 swapFree=526336/559040
[pid=7088] ppid=7085 vsize=13705796 CPUtime=162.26 cores=0,2,4,6
/proc/7088/stat : 7088 (toysat) R 7085 7088 28898 0 -1 4202496 3273543 0 0 0 15783 443 0 0 20 0 4 0 27752450 14034735104 3367874 33554432000 4194304 16246674 140736064356384 140736064354176 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7088/statm: 3426449 3367874 847 2943 0 3423343 0
[pid=7088/tid=7089] ppid=7085 vsize=13705796 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7089/stat : 7089 (toysat) S 7085 7088 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27752450 14034735104 3367874 33554432000 4194304 16246674 140736064356384 139734613470448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7088/tid=7090] ppid=7085 vsize=13705796 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7090/stat : 7090 (toysat) S 7085 7088 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27752450 14034735104 3367874 33554432000 4194304 16246674 140736064356384 139734602980592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7088/tid=7091] ppid=7085 vsize=13705796 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7091/stat : 7091 (toysat) S 7085 7088 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27752450 14034735104 3367874 33554432000 4194304 16246674 140736064356384 139734592507056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 13705796



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+168.3 s]
/proc/loadavg: 2.01 2.06 2.05 3/183 7143
/proc/meminfo: memFree=1051672/32872528 swapFree=526336/559040
[pid=7088] ppid=7085 vsize=15901252 CPUtime=168.27 cores=0,2,4,6
/proc/7088/stat : 7088 (toysat) R 7085 7088 28898 0 -1 4202496 3822190 0 0 0 16306 521 0 0 20 0 4 0 27752450 16282882048 3916521 33554432000 4194304 16246674 140736064356384 140736064354176 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7088/statm: 3975313 3916521 847 2943 0 3972207 0
[pid=7088/tid=7089] ppid=7085 vsize=15901252 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7089/stat : 7089 (toysat) S 7085 7088 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27752450 16282882048 3916521 33554432000 4194304 16246674 140736064356384 139734613470448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7088/tid=7090] ppid=7085 vsize=15901252 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7090/stat : 7090 (toysat) S 7085 7088 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27752450 16282882048 3916521 33554432000 4194304 16246674 140736064356384 139734602980592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7088/tid=7091] ppid=7085 vsize=15901252 CPUtime=0 cores=0,2,4,6
/proc/7088/task/7091/stat : 7091 (toysat) S 7085 7088 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27752450 16282882048 3916526 33554432000 4194304 16246674 140736064356384 139734592507056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 168.27
Current children cumulated vsize (KiB) 15901252

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7088 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+168.8 s]
/proc/loadavg: 2.01 2.06 2.05 3/183 7143
/proc/meminfo: memFree=1051672/32872528 swapFree=526336/559040
[pid=7088] ppid=7085 vsize=0 CPUtime=168.76 cores=0,2,4,6
/proc/7088/stat : 7088 (toysat) Z 7085 7088 28898 0 -1 4203532 3822711 0 0 0 16306 570 0 0 20 0 2 0 27752450 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7088/statm: 0 0 0 0 0 0 0
[pid=7088/tid=7090] ppid=7085 vsize=0 CPUtime=0.47 cores=0,2,4,6
/proc/7088/task/7090/stat : 7090 (toysat) R 7085 7088 28898 0 -1 4203588 8 0 0 0 0 47 0 0 20 0 2 0 27752450 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 168.76
Current children cumulated vsize (KiB) 0

[startup+169 s]
/proc/loadavg: 2.01 2.06 2.05 3/183 7143
/proc/meminfo: memFree=1051672/32872528 swapFree=526336/559040
[pid=7088] ppid=7085 vsize=0 CPUtime=168.96 cores=0,2,4,6
/proc/7088/stat : 7088 (toysat) Z 7085 7088 28898 0 -1 4203532 3822711 0 0 0 16306 590 0 0 20 0 2 0 27752450 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7088/statm: 0 0 0 0 0 0 0
[pid=7088/tid=7090] ppid=7085 vsize=0 CPUtime=0.67 cores=0,2,4,6
/proc/7088/task/7090/stat : 7090 (toysat) R 7085 7088 28898 0 -1 4203588 8 0 0 0 0 67 0 0 20 0 2 0 27752450 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 168.96
Current children cumulated vsize (KiB) 0

[startup+169.1 s]
/proc/loadavg: 2.01 2.06 2.05 3/183 7143
/proc/meminfo: memFree=1051672/32872528 swapFree=526336/559040
[pid=7088] ppid=7085 vsize=0 CPUtime=169.06 cores=0,2,4,6
/proc/7088/stat : 7088 (toysat) Z 7085 7088 28898 0 -1 4203532 3822711 0 0 0 16306 600 0 0 20 0 2 0 27752450 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7088/statm: 0 0 0 0 0 0 0
[pid=7088/tid=7090] ppid=7085 vsize=0 CPUtime=0.77 cores=0,2,4,6
/proc/7088/task/7090/stat : 7090 (toysat) R 7085 7088 28898 0 -1 4203588 8 0 0 0 0 77 0 0 20 0 2 0 27752450 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 169.06
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 169.185
CPU time (s): 169.15
CPU user time (s): 163.066
CPU system time (s): 6.08408
CPU usage (%): 99.9794
Max. virtual memory (cumulated for all children) (KiB): 15901252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 163.066
system time used= 6.08408
maximum resident set size= 15668168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3822711
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66
involuntary context switches= 222

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.447931 second user time and 0.634903 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 15:37:03
IDJOB=4105841
IDBENCH=3035
IDSOLVER=2542
FILE ID=node106/4105841-1466257023
RUNJOBID= node106-1466241787-28914
PBS_JOBID= 19918214
Free space on /tmp= 71680 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986-max.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105841-1466257023/watcher-4105841-1466257023 -o /tmp/evaluation-result-4105841-1466257023/solver-4105841-1466257023 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105841-1466257023.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d0972750cf259b5b6f93d177cc7cfb4a
RANDOM SEED=1578939810

node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        18119120 kB
Buffers:           71528 kB
Cached:           200148 kB
SwapCached:         1532 kB
Active:         13233304 kB
Inactive:         189604 kB
Active(anon):   13134124 kB
Inactive(anon):    19628 kB
Active(file):      99180 kB
Inactive(file):   169976 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:      13695200 kB
Mapped:            10512 kB
Shmem:                 0 kB
Slab:             612324 kB
SReclaimable:      56116 kB
SUnreclaim:       556208 kB
KernelStack:        1504 kB
PageTables:        30924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   13851156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71660 MiB
End job on node106 at 2016-06-18 15:39:53