Trace number 4079087

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) 158.42 158.45

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=380-sizeP=191-sizeQ=380-376320478.opb
MD5SUM51d0311b377c59157e242074419873d8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark4.35334
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables73151
Total number of constraints217741
Number of constraints which are clauses217740
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 constraint72580
Number of terms in the objective function 191
Biggest coefficient in the objective function 1569275433846670190958947355801916604025588861116008628224
Number of bits for the biggest coefficient in the objective function 191
Sum of the numbers in the objective function 3138550867693340381917894711603833208051177722232017256447
Number of bits of the sum of numbers in the objective function 191
Biggest number in a constraint 1932268761508629172347675945465993672149463664853217499328617625725759571144780212268096883290961288981231808015751088588682539330521493827871454336733540374348490407411712
Number of bits of the biggest number in a constraint 570
Biggest sum of numbers in a constraint 7729075046034516689390703781863974688597854659412869997314224381048371193901200617177559040099268686897928050057991124859366103339630073271419918449372999566708003739316703
Number of bits of the biggest sum of numbers571
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-30T22:30:15+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-4079087-1467318615.opb"]
0.00/0.01	c use --random-gen="2348969486 470876617 229873454 2492728184 451313658 2788750816 1517046103 1674603372 1915727423 4084253809 3400856082 199015610 230991736 2366728225 4205567710 1428312669 2235592584 490448969 700404193 910081561 3115677502 3867429524 2901474210 108307095 126992259 3137964811 2806308052 3616730404 2116524790 4176977309 3478836434 1625596716 3954765539 1265186598 589511179 2529664234 131176826 948411652 2356417252 2222524163 3124180070 1148624390 4285727186 2023402152 941739221 292473112 178658739 170114347 2326282876 2053695749 2534637732 3425412727 1388994868 3189199118 2504532471 2032848054 263745939 4057066541 3305841698 325780603 579133678 840511772 904156195 3170371636 3470503370 999125884 157875414 3494470028 4255670980 1859647013 3972130476 3975673462 1561438610 330591072 1151109434 4081777006 1529467032 2461326748 3327737778 3620605797 2057822179 4086627985 456193589 3546977000 3719746514 2040543334 1258522916 3892057197 580874872 1965411210 750090604 1933642197 1893990365 3722582987 2926592772 202097109 265404323 2556946487 2565620885 1387070456 4118514015 1136572821 2524781305 1464470995 2644463238 1221335791 667633360 1593985440 1138158758 1771967712 64276966 3080396594 1230906292 2343592648 1939666502 3062060205 4148367658 2973556132 74746415 3056742208 3049560476 610511339 3950308297 1925131554 3636659796 3433895817 1536219152 2690780121 4083854451 2894279132 946115485 1029669536 411403750 1384143805 2571997539 488168058 1375005579 4153634648 1242373028 530573767 2448949590 1227032121 1686122092 3094193950 2190251361 1773439853 2158683002 2526576733 1678731573 2371378764 4267241786 4154000521 871466252 2470113827 4070865586 3262511725 350936495 1496917828 747725919 665194113 1528093951 1318117638 2842407769 2078246341 1103169200 468412254 1927550890 3426576745 259410954 3178221775 888939995 3741224172 1126603733 3116405762 1215744013 2202337662 4256477079 1839911076 522568887 142818162 1367754313 3628846432 4203830747 1489634632 724652625 3869638056 2652540635 1855381585 1591162226 1351671613 2980461704 2071557246 2935656185 3714741721 153266168 2215104636 4275983106 673880082 962899362 560942084 699885549 2120339248 3905556052 72089821 1808626037 3809895226 537990062 3165184538 750759415 3233950815 927773592 2831837367 40216282 4198467051 676920885 4157124710 2219014472 3407057766 218607048 13562353 953147175 2543515964 125545911 1308822363 286849868 1286383030 1601757951 1473819510 2956050579 2008986661 2579646274 4242116324 3742592013 4202989433 4178765032 2993289322 3830897295 3635600041 1478309295 3515092555 3468009606 3830730634 82817113 710440126 2442553223 3145727711 3886799685 2200432551 855316725 2470761666 1243186519 2951064859 3925204558 4026005085 3341971746 3280747937 255 362436" option to reproduce the execution
1.59/1.66	c #vars 73151
1.59/1.66	c #constraints 217741

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-4079087-1467318615/watcher-4079087-1467318615 -o /tmp/evaluation-result-4079087-1467318615/solver-4079087-1467318615 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467310476-18421 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079087-1467318615.opb 

pid=20289
running on 4 cores: 1,3,5,7

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: 1.28 1.47 1.83 2/170 20292
/proc/meminfo: memFree=28646432/32872528 swapFree=1427768/1542232
[pid=20292] ppid=20289 vsize=684476 CPUtime=0 cores=1,3,5,7
/proc/20292/stat : 20292 (toysat) R 20289 20292 15544 0 -1 4202496 2544 0 0 0 0 0 0 0 20 0 4 0 12822546 700903424 2905 33554432000 4194304 16246674 140733495835392 140733495834816 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20292/statm: 171887 2915 441 2943 0 168781 0
[pid=20292/tid=20293] ppid=20289 vsize=701884 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20293/stat : 20293 (toysat) S 20289 20292 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12822546 718729216 2974 33554432000 4194304 16246674 140733495835392 139666877558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20292/tid=20294] ppid=20289 vsize=707004 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20294/stat : 20294 (toysat) S 20289 20292 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12822546 723972096 2992 33554432000 4194304 16246674 140733495835392 139666867068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20292/tid=20295] ppid=20289 vsize=710076 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20295/stat : 20295 (toysat) S 20289 20292 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12822546 727117824 3007 33554432000 4194304 16246674 140733495835392 139666856594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 1.28 1.47 1.83 2/170 20292
/proc/meminfo: memFree=28646432/32872528 swapFree=1427768/1542232
[pid=20292] ppid=20289 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/20292/stat : 20292 (toysat) R 20289 20292 15544 0 -1 4202496 27676 0 0 0 5 4 0 0 20 0 4 0 12822546 1332285440 27976 33554432000 4194304 16246674 140733495835392 140733495834704 7364033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20292/statm: 325265 27992 801 2943 0 322159 0
[pid=20292/tid=20293] ppid=20289 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20293/stat : 20293 (toysat) S 20289 20292 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12822546 1332285440 28002 33554432000 4194304 16246674 140733495835392 139666877558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20292/tid=20294] ppid=20289 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20294/stat : 20294 (toysat) S 20289 20292 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12822546 1332285440 28014 33554432000 4194304 16246674 140733495835392 139666867068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20292/tid=20295] ppid=20289 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20295/stat : 20295 (toysat) S 20289 20292 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12822546 1332285440 28025 33554432000 4194304 16246674 140733495835392 139666856594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200472 s]
/proc/loadavg: 1.28 1.47 1.83 2/170 20292
/proc/meminfo: memFree=28646432/32872528 swapFree=1427768/1542232
[pid=20292] ppid=20289 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/20292/stat : 20292 (toysat) R 20289 20292 15544 0 -1 4202496 48350 0 0 0 12 7 0 0 20 0 4 0 12822546 1344868352 49160 33554432000 4194304 16246674 140733495835392 140733495834704 13923665 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20292/statm: 328337 49160 801 2943 0 325231 0
[pid=20292/tid=20293] ppid=20289 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20293/stat : 20293 (toysat) S 20289 20292 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12822546 1344868352 49160 33554432000 4194304 16246674 140733495835392 139666877558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20292/tid=20294] ppid=20289 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20294/stat : 20294 (toysat) S 20289 20292 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12822546 1344868352 49160 33554432000 4194304 16246674 140733495835392 139666867068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20292/tid=20295] ppid=20289 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20295/stat : 20295 (toysat) S 20289 20292 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12822546 1344868352 49160 33554432000 4194304 16246674 140733495835392 139666856594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300495 s]
/proc/loadavg: 1.28 1.47 1.83 2/170 20292
/proc/meminfo: memFree=28646432/32872528 swapFree=1427768/1542232
[pid=20292] ppid=20289 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/20292/stat : 20292 (toysat) R 20289 20292 15544 0 -1 4202496 64354 0 0 0 20 9 0 0 20 0 4 0 12822546 1344868352 65164 33554432000 4194304 16246674 140733495835392 140733495818384 4220871 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20292/statm: 328337 65164 801 2943 0 325231 0
[pid=20292/tid=20293] ppid=20289 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20293/stat : 20293 (toysat) S 20289 20292 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12822546 1344868352 65164 33554432000 4194304 16246674 140733495835392 139666877558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20292/tid=20294] ppid=20289 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20294/stat : 20294 (toysat) S 20289 20292 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12822546 1344868352 65164 33554432000 4194304 16246674 140733495835392 139666867068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20292/tid=20295] ppid=20289 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20295/stat : 20295 (toysat) S 20289 20292 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12822546 1344868352 65164 33554432000 4194304 16246674 140733495835392 139666856594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.70041 s]
/proc/loadavg: 1.28 1.47 1.83 2/170 20292
/proc/meminfo: memFree=28646432/32872528 swapFree=1427768/1542232
[pid=20292] ppid=20289 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/20292/stat : 20292 (toysat) R 20289 20292 15544 0 -1 4202496 69240 0 0 0 58 11 0 0 20 0 4 0 12822546 1345916928 70050 33554432000 4194304 16246674 140733495835392 140733495818384 13789056 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20292/statm: 328593 70050 801 2943 0 325487 0
[pid=20292/tid=20293] ppid=20289 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20293/stat : 20293 (toysat) S 20289 20292 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12822546 1345916928 70050 33554432000 4194304 16246674 140733495835392 139666877558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20292/tid=20294] ppid=20289 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20294/stat : 20294 (toysat) S 20289 20292 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12822546 1345916928 70050 33554432000 4194304 16246674 140733495835392 139666867068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20292/tid=20295] ppid=20289 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20295/stat : 20295 (toysat) S 20289 20292 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12822546 1345916928 70050 33554432000 4194304 16246674 140733495835392 139666856594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50036 s]
/proc/loadavg: 1.33 1.48 1.83 2/174 20296
/proc/meminfo: memFree=28316556/32872528 swapFree=1427768/1542232
[pid=20292] ppid=20289 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/20292/stat : 20292 (toysat) R 20289 20292 15544 0 -1 4202496 81923 0 0 0 136 13 0 0 20 0 4 0 12822546 1345916928 82733 33554432000 4194304 16246674 140733495835392 140733495833280 14101528 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20292/statm: 328593 82733 802 2943 0 325487 0
[pid=20292/tid=20293] ppid=20289 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20293/stat : 20293 (toysat) S 20289 20292 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12822546 1345916928 82733 33554432000 4194304 16246674 140733495835392 139666877558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20292/tid=20294] ppid=20289 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20294/stat : 20294 (toysat) S 20289 20292 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12822546 1345916928 82733 33554432000 4194304 16246674 140733495835392 139666867068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20292/tid=20295] ppid=20289 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20295/stat : 20295 (toysat) S 20289 20292 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12822546 1345916928 82733 33554432000 4194304 16246674 140733495835392 139666856594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10039 s]
/proc/loadavg: 1.33 1.48 1.83 3/174 20296
/proc/meminfo: memFree=28020492/32872528 swapFree=1427768/1542232
[pid=20292] ppid=20289 vsize=1340996 CPUtime=3.09 cores=1,3,5,7
/proc/20292/stat : 20292 (toysat) R 20289 20292 15544 0 -1 4202496 270243 0 0 0 265 44 0 0 20 0 4 0 12822546 1373179904 276674 33554432000 4194304 16246674 140733495835392 140733495817280 12478053 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20292/statm: 335249 276674 837 2943 0 332143 0
[pid=20292/tid=20293] ppid=20289 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20293/stat : 20293 (toysat) S 20289 20292 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12822546 1373179904 276674 33554432000 4194304 16246674 140733495835392 139666877558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20292/tid=20294] ppid=20289 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20294/stat : 20294 (toysat) S 20289 20292 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12822546 1373179904 276674 33554432000 4194304 16246674 140733495835392 139666867068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20292/tid=20295] ppid=20289 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20295/stat : 20295 (toysat) S 20289 20292 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12822546 1373179904 276674 33554432000 4194304 16246674 140733495835392 139666856594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1340996

[startup+6.30041 s]
/proc/loadavg: 1.39 1.49 1.83 3/174 20296
/proc/meminfo: memFree=27534388/32872528 swapFree=1427768/1542232
[pid=20292] ppid=20289 vsize=1462852 CPUtime=6.29 cores=1,3,5,7
/proc/20292/stat : 20292 (toysat) R 20289 20292 15544 0 -1 4202496 300710 0 0 0 581 48 0 0 20 0 4 0 12822546 1497960448 307141 33554432000 4194304 16246674 140733495835392 140733495834056 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20292/statm: 365713 307146 847 2943 0 362607 0
[pid=20292/tid=20293] ppid=20289 vsize=1462852 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20293/stat : 20293 (toysat) S 20289 20292 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12822546 1497960448 307150 33554432000 4194304 16246674 140733495835392 139666877558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20292/tid=20294] ppid=20289 vsize=1462852 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20294/stat : 20294 (toysat) S 20289 20292 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12822546 1497960448 307152 33554432000 4194304 16246674 140733495835392 139666867068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20292/tid=20295] ppid=20289 vsize=1462852 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20295/stat : 20295 (toysat) S 20289 20292 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12822546 1497960448 307155 33554432000 4194304 16246674 140733495835392 139666856594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1462852

[startup+12.7004 s]
/proc/loadavg: 1.36 1.48 1.83 2/174 20296
/proc/meminfo: memFree=26725236/32872528 swapFree=1427768/1542232
[pid=20292] ppid=20289 vsize=2155076 CPUtime=12.69 cores=1,3,5,7
/proc/20292/stat : 20292 (toysat) R 20289 20292 15544 0 -1 4202496 473783 0 0 0 1198 71 0 0 20 0 4 0 12822546 2206797824 480214 33554432000 4194304 16246674 140733495835392 140733495833088 12490344 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20292/statm: 538769 480214 847 2943 0 535663 0
[pid=20292/tid=20293] ppid=20289 vsize=2155076 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20293/stat : 20293 (toysat) S 20289 20292 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12822546 2206797824 480214 33554432000 4194304 16246674 140733495835392 139666877558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20292/tid=20294] ppid=20289 vsize=2155076 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20294/stat : 20294 (toysat) S 20289 20292 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12822546 2206797824 480214 33554432000 4194304 16246674 140733495835392 139666867068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20292/tid=20295] ppid=20289 vsize=2155076 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20295/stat : 20295 (toysat) S 20289 20292 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12822546 2206797824 480214 33554432000 4194304 16246674 140733495835392 139666856594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2155076

[startup+25.5005 s]
/proc/loadavg: 1.28 1.45 1.81 2/174 20296
/proc/meminfo: memFree=24209668/32872528 swapFree=1427768/1542232
[pid=20292] ppid=20289 vsize=4723268 CPUtime=25.49 cores=1,3,5,7
/proc/20292/stat : 20292 (toysat) R 20289 20292 15544 0 -1 4202496 1115831 0 0 0 2393 156 0 0 20 0 4 0 12822546 4836626432 1122262 33554432000 4194304 16246674 140733495835392 140733495834704 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20292/statm: 1180817 1122262 847 2943 0 1177711 0
[pid=20292/tid=20293] ppid=20289 vsize=4723268 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20293/stat : 20293 (toysat) S 20289 20292 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12822546 4836626432 1122262 33554432000 4194304 16246674 140733495835392 139666877558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20292/tid=20294] ppid=20289 vsize=4723268 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20294/stat : 20294 (toysat) S 20289 20292 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12822546 4836626432 1122262 33554432000 4194304 16246674 140733495835392 139666867068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20292/tid=20295] ppid=20289 vsize=4723268 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20295/stat : 20295 (toysat) S 20289 20292 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12822546 4836626432 1122262 33554432000 4194304 16246674 140733495835392 139666856594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4723268

[startup+51.1005 s]
/proc/loadavg: 1.32 1.45 1.80 2/172 20296
/proc/meminfo: memFree=20036588/32872528 swapFree=1427768/1542232
[pid=20292] ppid=20289 vsize=9165380 CPUtime=51.09 cores=1,3,5,7
/proc/20292/stat : 20292 (toysat) R 20289 20292 15544 0 -1 4202496 2226300 0 0 0 4804 305 0 0 20 0 4 0 12822546 9385349120 2232731 33554432000 4194304 16246674 140733495835392 140733495834056 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20292/statm: 2291345 2232739 847 2943 0 2288239 0
[pid=20292/tid=20293] ppid=20289 vsize=9165380 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20293/stat : 20293 (toysat) S 20289 20292 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12822546 9385349120 2232744 33554432000 4194304 16246674 140733495835392 139666877558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20292/tid=20294] ppid=20289 vsize=9165380 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20294/stat : 20294 (toysat) S 20289 20292 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12822546 9385349120 2232749 33554432000 4194304 16246674 140733495835392 139666867067920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20292/tid=20295] ppid=20289 vsize=9165380 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20295/stat : 20295 (toysat) S 20289 20292 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12822546 9385349120 2232753 33554432000 4194304 16246674 140733495835392 139666856594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 9165380

[startup+102.3 s]
/proc/loadavg: 1.40 1.44 1.78 2/173 20298
/proc/meminfo: memFree=15640360/32872528 swapFree=1427768/1542232
[pid=20292] ppid=20289 vsize=13564484 CPUtime=102.28 cores=1,3,5,7
/proc/20292/stat : 20292 (toysat) R 20289 20292 15544 0 -1 4202496 3326139 0 0 0 9765 463 0 0 20 0 4 0 12822546 13890031616 3332570 33554432000 4194304 16246674 140733495835392 140733495833280 13899629 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20292/statm: 3391121 3332570 848 2943 0 3388015 0
[pid=20292/tid=20293] ppid=20289 vsize=13564484 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20293/stat : 20293 (toysat) S 20289 20292 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12822546 13890031616 3332570 33554432000 4194304 16246674 140733495835392 139666877558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20292/tid=20294] ppid=20289 vsize=13564484 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20294/stat : 20294 (toysat) S 20289 20292 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12822546 13890031616 3332570 33554432000 4194304 16246674 140733495835392 139666867067920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20292/tid=20295] ppid=20289 vsize=13564484 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20295/stat : 20295 (toysat) S 20289 20292 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12822546 13890031616 3332570 33554432000 4194304 16246674 140733495835392 139666856594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 13564484



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+157.6 s]
/proc/loadavg: 1.36 1.42 1.75 2/173 20299
/proc/meminfo: memFree=14478856/32872528 swapFree=1427768/1542232
[pid=20292] ppid=20289 vsize=15880772 CPUtime=157.57 cores=1,3,5,7
/proc/20292/stat : 20292 (toysat) R 20289 20292 15544 0 -1 4202496 3905171 0 0 0 15193 564 0 0 20 0 4 0 12822546 16261910528 3911602 33554432000 4194304 16246674 140733495835392 140733495834568 4220543 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20292/statm: 3970193 3911606 852 2943 0 3967087 0
[pid=20292/tid=20293] ppid=20289 vsize=15880772 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20293/stat : 20293 (toysat) S 20289 20292 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12822546 16261910528 3911612 33554432000 4194304 16246674 140733495835392 139666877558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20292/tid=20294] ppid=20289 vsize=15880772 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20294/stat : 20294 (toysat) S 20289 20292 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12822546 16261910528 3911617 33554432000 4194304 16246674 140733495835392 139666867068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20292/tid=20295] ppid=20289 vsize=15880772 CPUtime=0 cores=1,3,5,7
/proc/20292/task/20295/stat : 20295 (toysat) S 20289 20292 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12822546 16261910528 3911622 33554432000 4194304 16246674 140733495835392 139666856594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 157.57
Current children cumulated vsize (KiB) 15880772

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 20292 sig 9
??? kill -20292 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+158 s]
/proc/loadavg: 1.36 1.42 1.75 2/173 20299
/proc/meminfo: memFree=14478856/32872528 swapFree=1427768/1542232
[pid=20292] ppid=20289 vsize=0 CPUtime=157.96 cores=1,3,5,7
/proc/20292/stat : 20292 (toysat) Z 20289 20292 15544 0 -1 4203532 3905347 0 0 0 15193 603 0 0 20 0 2 0 12822546 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20292/statm: 0 0 0 0 0 0 0
[pid=20292/tid=20294] ppid=20289 vsize=0 CPUtime=0.38 cores=1,3,5,7
/proc/20292/task/20294/stat : 20294 (toysat) R 20289 20292 15544 0 -1 4203588 8 0 0 0 0 38 0 0 20 0 2 0 12822546 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 157.96
Current children cumulated vsize (KiB) 0

[startup+158.4 s]
/proc/loadavg: 1.36 1.42 1.75 2/171 20299
/proc/meminfo: memFree=29194536/32872528 swapFree=1427768/1542232
[pid=20292] ppid=20289 vsize=0 CPUtime=158.37 cores=1,3,5,7
/proc/20292/stat : 20292 (toysat) Z 20289 20292 15544 0 -1 4203532 3905347 0 0 0 15193 644 0 0 20 0 2 0 12822546 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20292/statm: 0 0 0 0 0 0 0
[pid=20292/tid=20294] ppid=20289 vsize=0 CPUtime=0.79 cores=1,3,5,7
/proc/20292/task/20294/stat : 20294 (toysat) R 20289 20292 15544 0 -1 4203588 8 0 0 0 0 79 0 0 20 0 2 0 12822546 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 158.37
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 158.45
CPU time (s): 158.42
CPU user time (s): 151.939
CPU system time (s): 6.48101
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 15880772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 151.939
system time used= 6.48101
maximum resident set size= 15647112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3905347
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= 48
involuntary context switches= 166

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.45793 second user time and 0.663899 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-30 22:30:15
IDJOB=4079087
IDBENCH=3023
IDSOLVER=2542
FILE ID=node116/4079087-1467318615
RUNJOBID= node116-1467310476-18421
PBS_JOBID= 20005287
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=380-sizeP=191-sizeQ=380-376320478.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079087-1467318615/watcher-4079087-1467318615 -o /tmp/evaluation-result-4079087-1467318615/solver-4079087-1467318615 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467310476-18421 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079087-1467318615.opb

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

MD5SUM BENCH= 51d0311b377c59157e242074419873d8
RANDOM SEED=466755663

node116.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		: 2666.426
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	: 5332.85
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		: 2666.426
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		: 2666.426
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		: 2666.426
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.55
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		: 2666.426
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		: 2666.426
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.55
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		: 2666.426
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.54
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		: 2666.426
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:        28646968 kB
Buffers:          211644 kB
Cached:          1708484 kB
SwapCached:            0 kB
Active:           355600 kB
Inactive:        1581216 kB
Active(anon):      19044 kB
Inactive(anon):        0 kB
Active(file):     336556 kB
Inactive(file):  1581216 kB
Unevictable:     1542232 kB
Mlocked:         1427768 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             28764 kB
Writeback:             0 kB
AnonPages:       1558568 kB
Mapped:            13812 kB
Shmem:               204 kB
Slab:             614604 kB
SReclaimable:      58908 kB
SUnreclaim:       555696 kB
KernelStack:        1392 kB
PageTables:         6388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1642828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 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= 71696 MiB
End job on node116 at 2016-06-30 22:32:54