Trace number 4105745

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) 186.556 186.604

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=400-sizeP=201-sizeQ=400-87904490.opb
MD5SUMd5edef3c4035c8a6108ec4f777e769fb
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 benchmark5.09223
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 variables81001
Total number of constraints241201
Number of constraints which are clauses241200
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 constraint80400
Number of terms in the objective function 201
Biggest coefficient in the objective function 1606938044258990275541962092341162602522202993782792835301376
Number of bits for the biggest coefficient in the objective function 201
Sum of the numbers in the objective function 3213876088517980551083924184682325205044405987565585670602751
Number of bits of the sum of numbers in the objective function 201
Biggest number in a constraint 2074757784440496479256203931845580575506223116121218449997828664845326405706454073199853524473551897144098943305650394591197575537705887653943437417056981843530590901700754761842688
Number of bits of the biggest number in a constraint 600
Biggest sum of numbers in a constraint 8299031137761985917024815727382322302024892464484873799991313419664837827391154871651005228706296088699355875555839163484213727699346231811168069148386972247138995410784642717179115
Number of bits of the biggest sum of numbers601
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:20:29+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-4105745-1466256029.opb"]
0.00/0.01	c use --random-gen="500353376 780381944 2876168251 2360296892 708164236 2409633172 4117861353 3871021473 2744466000 3506881245 2615400424 3755304595 2284509838 330335988 4033062273 3931515918 348892039 2897879079 4087829094 2353626493 4091582730 3562163896 3625690993 1806009520 3832517173 2970232216 4057904332 2961857912 737563477 1668258981 2723498465 3588893713 587552690 4157594109 4037110920 2197912021 2181325143 3333216260 502928027 3348116538 3886034881 1114506251 3794245097 3392735346 3281453838 2890946498 1469603640 885454485 3784297557 1637755721 1723023063 496249462 208833001 1824795230 3576256725 2257634504 840342492 2210186621 2385551434 1845256937 2897462753 1995558251 1700096640 3059625249 39221088 2852661929 3064229756 2868340261 3169089651 682446795 4036180487 3835395258 1531545673 3774447262 1643356541 2500690185 1756364220 2709250432 1770864964 937443076 1753174142 2883471168 728214978 944487493 1255607365 874071960 1281877335 920760690 3065602472 2795495212 1545247893 856178472 846352875 2094418203 2470404570 2383196796 2429626784 2654084511 3871968661 813115340 3467200700 2510763141 3473150235 2136074524 1175508704 3318150917 1610266107 1675936063 653499385 4090838663 4093322907 886278407 1977133465 1952020553 2220684329 3259473293 1080166382 575229605 920027106 4248426350 2464964865 1080241436 4033799196 3241928898 1855198463 1462684144 1988160789 713484599 805714317 1046782766 423128388 961146681 1228891807 451154730 635879410 3008892839 3599767489 3474835854 2318208499 1322197758 3647329011 3103048515 342540590 2704433418 3689021771 490273549 1091298139 4208775780 651415095 2775871425 1700980728 3224504971 1658467584 1678206283 1201880260 3264658760 3336272361 3824387211 3892861295 927957963 2541454751 1423831890 794061152 1258348822 2599574006 1436350880 1391437189 2846856881 3236041235 2847613102 4144609047 1486685341 3612274978 998253026 347595253 3362933476 2526362724 3135173107 2051997953 3690438481 1764417496 524226162 3750870519 1535826901 1749965210 3573250697 4209691595 2820494218 2666078932 2227423794 2174269195 2544157920 274531883 2724956227 2062464813 604091438 1365762562 3740861102 1799514837 4043282281 1613906550 3697371818 260688790 1118120729 271391199 2081636386 660643767 15082115 3782029637 182393948 3819179374 3065159166 1138095351 2286715535 1018132845 2376346413 555735300 285344937 3494582497 925391345 407101586 4265813923 922640122 2924564057 1098021232 3805516917 3437691251 3840080326 3253870749 1902391586 3325314220 3560970461 2805842749 3867701503 4854092 3938589062 1800949614 25974500 846964235 190712528 2490937399 3175285437 187130930 1970125133 1785992382 2229520286 1175906476 2496809181 3384145198 3522170788 1524363264 1579428983 1956079274 818970 1332009126 2303132790 255 362436" option to reproduce the execution
1.79/1.81	c #vars 81001
1.79/1.81	c #constraints 241201

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

pid=24571
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.02 2.03 2.00 3/180 24574
/proc/meminfo: memFree=19028436/32872528 swapFree=163656/177964
[pid=24574] ppid=24571 vsize=767420 CPUtime=0 cores=0,2,4,6
/proc/24574/stat : 24574 (toysat) R 24571 24574 20760 0 -1 4202496 2868 0 0 0 0 0 0 0 20 0 4 0 27652852 785838080 3740 33554432000 4194304 16246674 140733581240352 140733581239776 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24574/statm: 192367 3749 441 2943 0 189261 0
[pid=24574/tid=24575] ppid=24571 vsize=784828 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24575/stat : 24575 (toysat) S 24571 24574 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27652852 803663872 3811 33554432000 4194304 16246674 140733581240352 139734300994800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24574/tid=24576] ppid=24571 vsize=789948 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24576/stat : 24576 (toysat) S 24571 24574 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27652852 808906752 3828 33554432000 4194304 16246674 140733581240352 139734290504944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24574/tid=24577] ppid=24571 vsize=794044 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24577/stat : 24577 (toysat) S 24571 24574 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27652852 813101056 3844 33554432000 4194304 16246674 140733581240352 139734210833584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.02 2.03 2.00 3/180 24574
/proc/meminfo: memFree=19028436/32872528 swapFree=163656/177964
[pid=24574] ppid=24571 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/24574/stat : 24574 (toysat) R 24571 24574 20760 0 -1 4202496 26196 0 0 0 6 3 0 0 20 0 4 0 27652852 1332285440 27005 33554432000 4194304 16246674 140733581240352 140733581239664 8058796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24574/statm: 325265 27020 800 2943 0 322159 0
[pid=24574/tid=24575] ppid=24571 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24575/stat : 24575 (toysat) S 24571 24574 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27652852 1332285440 27030 33554432000 4194304 16246674 140733581240352 139734300994800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24574/tid=24576] ppid=24571 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24576/stat : 24576 (toysat) S 24571 24574 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27652852 1332285440 27041 33554432000 4194304 16246674 140733581240352 139734290504944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24574/tid=24577] ppid=24571 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24577/stat : 24577 (toysat) S 24571 24574 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27652852 1332285440 27051 33554432000 4194304 16246674 140733581240352 139734210833584 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) 1301060

[startup+0.200514 s]
/proc/loadavg: 2.02 2.03 2.00 3/180 24574
/proc/meminfo: memFree=19028436/32872528 swapFree=163656/177964
[pid=24574] ppid=24571 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/24574/stat : 24574 (toysat) R 24571 24574 20760 0 -1 4202496 46987 0 0 0 13 6 0 0 20 0 4 0 27652852 1344868352 48307 33554432000 4194304 16246674 140733581240352 140733581239016 14795916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24574/statm: 328337 48307 801 2943 0 325231 0
[pid=24574/tid=24575] ppid=24571 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24575/stat : 24575 (toysat) S 24571 24574 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27652852 1344868352 48307 33554432000 4194304 16246674 140733581240352 139734300994800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24574/tid=24576] ppid=24571 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24576/stat : 24576 (toysat) S 24571 24574 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27652852 1344868352 48307 33554432000 4194304 16246674 140733581240352 139734290504944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24574/tid=24577] ppid=24571 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24577/stat : 24577 (toysat) S 24571 24574 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27652852 1344868352 48307 33554432000 4194304 16246674 140733581240352 139734210833584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300505 s]
/proc/loadavg: 2.02 2.03 2.00 3/180 24574
/proc/meminfo: memFree=19028436/32872528 swapFree=163656/177964
[pid=24574] ppid=24571 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/24574/stat : 24574 (toysat) R 24571 24574 20760 0 -1 4202496 61253 0 0 0 21 8 0 0 20 0 4 0 27652852 1344868352 62573 33554432000 4194304 16246674 140733581240352 140733581239016 8058808 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24574/statm: 328337 62573 801 2943 0 325231 0
[pid=24574/tid=24575] ppid=24571 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24575/stat : 24575 (toysat) S 24571 24574 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27652852 1344868352 62573 33554432000 4194304 16246674 140733581240352 139734300994800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24574/tid=24576] ppid=24571 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24576/stat : 24576 (toysat) S 24571 24574 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27652852 1344868352 62573 33554432000 4194304 16246674 140733581240352 139734290504944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24574/tid=24577] ppid=24571 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24577/stat : 24577 (toysat) S 24571 24574 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27652852 1344868352 62573 33554432000 4194304 16246674 140733581240352 139734210833584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700403 s]
/proc/loadavg: 2.02 2.03 2.00 3/180 24574
/proc/meminfo: memFree=19028436/32872528 swapFree=163656/177964
[pid=24574] ppid=24571 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/24574/stat : 24574 (toysat) R 24571 24574 20760 0 -1 4202496 68592 0 0 0 60 9 0 0 20 0 4 0 27652852 1344868352 69912 33554432000 4194304 16246674 140733581240352 140733581239016 7372056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24574/statm: 328337 69912 801 2943 0 325231 0
[pid=24574/tid=24575] ppid=24571 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24575/stat : 24575 (toysat) S 24571 24574 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27652852 1344868352 69912 33554432000 4194304 16246674 140733581240352 139734300994800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24574/tid=24576] ppid=24571 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24576/stat : 24576 (toysat) S 24571 24574 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27652852 1344868352 69912 33554432000 4194304 16246674 140733581240352 139734290504944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24574/tid=24577] ppid=24571 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24577/stat : 24577 (toysat) S 24571 24574 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27652852 1344868352 69912 33554432000 4194304 16246674 140733581240352 139734210833584 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) 1313348

[startup+1.5004 s]
/proc/loadavg: 2.02 2.03 2.00 3/184 24578
/proc/meminfo: memFree=18530716/32872528 swapFree=163656/177964
[pid=24574] ppid=24571 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/24574/stat : 24574 (toysat) R 24571 24574 20760 0 -1 4202496 80826 0 0 0 138 11 0 0 20 0 4 0 27652852 1344868352 82146 33554432000 4194304 16246674 140733581240352 140733581238208 7361304 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24574/statm: 328337 82146 802 2943 0 325231 0
[pid=24574/tid=24575] ppid=24571 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24575/stat : 24575 (toysat) S 24571 24574 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27652852 1344868352 82146 33554432000 4194304 16246674 140733581240352 139734300994800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24574/tid=24576] ppid=24571 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24576/stat : 24576 (toysat) S 24571 24574 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27652852 1344868352 82146 33554432000 4194304 16246674 140733581240352 139734290504944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24574/tid=24577] ppid=24571 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24577/stat : 24577 (toysat) S 24571 24574 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27652852 1344868352 82146 33554432000 4194304 16246674 140733581240352 139734210833584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.1004 s]
/proc/loadavg: 2.02 2.02 2.00 3/184 24578
/proc/meminfo: memFree=18097756/32872528 swapFree=163656/177964
[pid=24574] ppid=24571 vsize=1344068 CPUtime=3.09 cores=0,2,4,6
/proc/24574/stat : 24574 (toysat) R 24571 24574 20760 0 -1 4202496 270495 0 0 0 269 40 0 0 20 0 4 0 27652852 1376325632 275392 33554432000 4194304 16246674 140733581240352 140733581222272 4225056 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24574/statm: 336017 275392 837 2943 0 332911 0
[pid=24574/tid=24575] ppid=24571 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24575/stat : 24575 (toysat) S 24571 24574 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27652852 1376325632 275392 33554432000 4194304 16246674 140733581240352 139734300994800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24574/tid=24576] ppid=24571 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24576/stat : 24576 (toysat) S 24571 24574 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27652852 1376325632 275392 33554432000 4194304 16246674 140733581240352 139734290504944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24574/tid=24577] ppid=24571 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24577/stat : 24577 (toysat) S 24571 24574 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27652852 1376325632 275392 33554432000 4194304 16246674 140733581240352 139734210833584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1344068

[startup+6.3004 s]
/proc/loadavg: 2.02 2.02 2.00 3/184 24578
/proc/meminfo: memFree=16599068/32872528 swapFree=163656/177964
[pid=24574] ppid=24571 vsize=1351236 CPUtime=6.29 cores=0,2,4,6
/proc/24574/stat : 24574 (toysat) R 24571 24574 20760 0 -1 4202496 272310 0 0 0 589 40 0 0 20 0 4 0 27652852 1383665664 279762 33554432000 4194304 16246674 140733581240352 140733581222272 13767196 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24574/statm: 337809 279762 847 2943 0 334703 0
[pid=24574/tid=24575] ppid=24571 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24575/stat : 24575 (toysat) S 24571 24574 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27652852 1383665664 279762 33554432000 4194304 16246674 140733581240352 139734300994800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24574/tid=24576] ppid=24571 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24576/stat : 24576 (toysat) S 24571 24574 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27652852 1383665664 279762 33554432000 4194304 16246674 140733581240352 139734290504944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24574/tid=24577] ppid=24571 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24577/stat : 24577 (toysat) S 24571 24574 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27652852 1383665664 279762 33554432000 4194304 16246674 140733581240352 139734210833584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1351236

[startup+12.7004 s]
/proc/loadavg: 2.02 2.02 2.00 3/184 24578
/proc/meminfo: memFree=14617576/32872528 swapFree=163656/177964
[pid=24574] ppid=24571 vsize=2288196 CPUtime=12.69 cores=0,2,4,6
/proc/24574/stat : 24574 (toysat) R 24571 24574 20760 0 -1 4202496 506551 0 0 0 1199 70 0 0 20 0 4 0 27652852 2343112704 514003 33554432000 4194304 16246674 140733581240352 140733581222272 13797812 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24574/statm: 572049 514003 847 2943 0 568943 0
[pid=24574/tid=24575] ppid=24571 vsize=2288196 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24575/stat : 24575 (toysat) S 24571 24574 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27652852 2343112704 514003 33554432000 4194304 16246674 140733581240352 139734300994800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24574/tid=24576] ppid=24571 vsize=2288196 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24576/stat : 24576 (toysat) S 24571 24574 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27652852 2343112704 514003 33554432000 4194304 16246674 140733581240352 139734290504944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24574/tid=24577] ppid=24571 vsize=2288196 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24577/stat : 24577 (toysat) S 24571 24574 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27652852 2343112704 514003 33554432000 4194304 16246674 140733581240352 139734210833584 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) 2288196

[startup+25.5005 s]
/proc/loadavg: 2.02 2.02 2.00 3/184 24627
/proc/meminfo: memFree=26038732/32872528 swapFree=163656/177964
[pid=24574] ppid=24571 vsize=4832836 CPUtime=25.49 cores=0,2,4,6
/proc/24574/stat : 24574 (toysat) R 24571 24574 20760 0 -1 4202496 1142628 0 0 0 2396 153 0 0 20 0 4 0 27652852 4948824064 1150080 33554432000 4194304 16246674 140733581240352 140733581239016 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24574/statm: 1208209 1150087 847 2943 0 1205103 0
[pid=24574/tid=24575] ppid=24571 vsize=4832836 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24575/stat : 24575 (toysat) S 24571 24574 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27652852 4948824064 1150091 33554432000 4194304 16246674 140733581240352 139734300994800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24574/tid=24576] ppid=24571 vsize=4832836 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24576/stat : 24576 (toysat) S 24571 24574 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27652852 4948824064 1150094 33554432000 4194304 16246674 140733581240352 139734290504720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24574/tid=24577] ppid=24571 vsize=4832836 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24577/stat : 24577 (toysat) S 24571 24574 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27652852 4948824064 1150098 33554432000 4194304 16246674 140733581240352 139734210833584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4832836

[startup+51.1005 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 24677
/proc/meminfo: memFree=20210112/32872528 swapFree=163656/177964
[pid=24574] ppid=24571 vsize=9270852 CPUtime=51.08 cores=0,2,4,6
/proc/24574/stat : 24574 (toysat) R 24571 24574 20760 0 -1 4202496 2252075 0 0 0 4808 300 0 0 20 0 4 0 27652852 9493352448 2259527 33554432000 4194304 16246674 140733581240352 140733581239016 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24574/statm: 2317713 2259535 847 2943 0 2314607 0
[pid=24574/tid=24575] ppid=24571 vsize=9270852 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24575/stat : 24575 (toysat) S 24571 24574 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27652852 9493352448 2259540 33554432000 4194304 16246674 140733581240352 139734300994800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24574/tid=24576] ppid=24571 vsize=9270852 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24576/stat : 24576 (toysat) S 24571 24574 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27652852 9493352448 2259545 33554432000 4194304 16246674 140733581240352 139734290504720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24574/tid=24577] ppid=24571 vsize=9270852 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24577/stat : 24577 (toysat) S 24571 24574 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27652852 9493352448 2259550 33554432000 4194304 16246674 140733581240352 139734210833584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9270852

[startup+102.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 24678
/proc/meminfo: memFree=8926516/32872528 swapFree=163656/177964
[pid=24574] ppid=24571 vsize=11041348 CPUtime=102.28 cores=0,2,4,6
/proc/24574/stat : 24574 (toysat) R 24571 24574 20760 0 -1 4202496 2694850 0 0 0 9865 363 0 0 20 0 4 0 27652852 11306340352 2702300 33554432000 4194304 16246674 140733581240352 140733581239528 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24574/statm: 2760337 2702300 852 2943 0 2757231 0
[pid=24574/tid=24575] ppid=24571 vsize=11041348 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24575/stat : 24575 (toysat) S 24571 24574 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27652852 11306340352 2702300 33554432000 4194304 16246674 140733581240352 139734300994800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24574/tid=24576] ppid=24571 vsize=11041348 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24576/stat : 24576 (toysat) S 24571 24574 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27652852 11306340352 2702300 33554432000 4194304 16246674 140733581240352 139734290504944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24574/tid=24577] ppid=24571 vsize=11041348 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24577/stat : 24577 (toysat) S 24571 24574 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27652852 11306340352 2702300 33554432000 4194304 16246674 140733581240352 139734210833584 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) 11041348

[startup+162.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 24679
/proc/meminfo: memFree=4621880/32872528 swapFree=163656/177964
[pid=24574] ppid=24571 vsize=14596676 CPUtime=162.27 cores=0,2,4,6
/proc/24574/stat : 24574 (toysat) R 24571 24574 20760 0 -1 4202496 3529247 0 0 0 15742 485 0 0 20 0 4 0 27652852 14946996224 3590862 33554432000 4194304 16246674 140733581240352 140733581239448 13767176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24574/statm: 3649169 3590862 852 2943 0 3646063 0
[pid=24574/tid=24575] ppid=24571 vsize=14596676 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24575/stat : 24575 (toysat) S 24571 24574 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27652852 14946996224 3590862 33554432000 4194304 16246674 140733581240352 139734300994800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24574/tid=24576] ppid=24571 vsize=14596676 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24576/stat : 24576 (toysat) S 24571 24574 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27652852 14946996224 3590862 33554432000 4194304 16246674 140733581240352 139734290504944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24574/tid=24577] ppid=24571 vsize=14596676 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24577/stat : 24577 (toysat) S 24571 24574 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27652852 14946996224 3590862 33554432000 4194304 16246674 140733581240352 139734210833584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 14596676



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+185.6 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 24728
/proc/meminfo: memFree=15382884/32872528 swapFree=163656/177964
[pid=24574] ppid=24571 vsize=15898180 CPUtime=185.55 cores=0,2,4,6
/proc/24574/stat : 24574 (toysat) R 24571 24574 20760 0 -1 4202496 3854803 0 0 0 18018 537 0 0 20 0 4 0 27652852 16279736320 3916417 33554432000 4194304 16246674 140733581240352 140733581239448 4220990 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24574/statm: 3974545 3916417 852 2943 0 3971439 0
[pid=24574/tid=24575] ppid=24571 vsize=15898180 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24575/stat : 24575 (toysat) S 24571 24574 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27652852 16279736320 3916417 33554432000 4194304 16246674 140733581240352 139734300994800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24574/tid=24576] ppid=24571 vsize=15898180 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24576/stat : 24576 (toysat) S 24571 24574 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27652852 16279736320 3916417 33554432000 4194304 16246674 140733581240352 139734290504944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24574/tid=24577] ppid=24571 vsize=15898180 CPUtime=0 cores=0,2,4,6
/proc/24574/task/24577/stat : 24577 (toysat) S 24571 24574 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27652852 16279736320 3916417 33554432000 4194304 16246674 140733581240352 139734210833584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 185.55
Current children cumulated vsize (KiB) 15898180

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

[startup+186.4 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 24728
/proc/meminfo: memFree=19350024/32872528 swapFree=163656/177964
[pid=24574] ppid=24571 vsize=0 CPUtime=186.35 cores=0,2,4,6
/proc/24574/stat : 24574 (toysat) Z 24571 24574 20760 0 -1 4203532 3855196 0 0 0 18018 617 0 0 20 0 2 0 27652852 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24574/statm: 0 0 0 0 0 0 0
[pid=24574/tid=24576] ppid=24571 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/24574/task/24576/stat : 24576 (toysat) R 24571 24574 20760 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 27652852 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) 186.35
Current children cumulated vsize (KiB) 0

[startup+186.6 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 24728
/proc/meminfo: memFree=19350024/32872528 swapFree=163656/177964
[pid=24574] ppid=24571 vsize=0 CPUtime=186.55 cores=0,2,4,6
/proc/24574/stat : 24574 (toysat) Z 24571 24574 20760 0 -1 4203532 3855196 0 0 0 18018 637 0 0 20 0 2 0 27652852 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24574/statm: 0 0 0 0 0 0 0
[pid=24574/tid=24576] ppid=24571 vsize=0 CPUtime=0.98 cores=0,2,4,6
/proc/24574/task/24576/stat : 24576 (toysat) R 24571 24574 20760 0 -1 4203588 8 0 0 0 0 98 0 0 20 0 2 0 27652852 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) 186.55
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 186.604
CPU time (s): 186.556
CPU user time (s): 180.187
CPU system time (s): 6.36903
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 15898180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.187
system time used= 6.36903
maximum resident set size= 15667240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3855196
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= 71
involuntary context switches= 203

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.541917 second user time and 1.09783 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 15:20:29
IDJOB=4105745
IDBENCH=2997
IDSOLVER=2542
FILE ID=node105/4105745-1466256029
RUNJOBID= node105-1466229502-20776
PBS_JOBID= 19918174
Free space on /tmp= 71700 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=400-sizeP=201-sizeQ=400-87904490.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105745-1466256029/watcher-4105745-1466256029 -o /tmp/evaluation-result-4105745-1466256029/solver-4105745-1466256029 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20776 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105745-1466256029.opb

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

MD5SUM BENCH= d5edef3c4035c8a6108ec4f777e769fb
RANDOM SEED=1859797094

node105.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.561
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	: 5333.12
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.561
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.561
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.561
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.561
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.54
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.561
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.561
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.55
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.561
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.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        19031684 kB
Buffers:           97884 kB
Cached:           234528 kB
SwapCached:         1460 kB
Active:         12693024 kB
Inactive:         206648 kB
Active(anon):   12564752 kB
Inactive(anon):     4740 kB
Active(file):     128272 kB
Inactive(file):   201908 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:             30724 kB
Writeback:             4 kB
AnonPages:      12744904 kB
Mapped:            10540 kB
Shmem:                 0 kB
Slab:             605348 kB
SReclaimable:      48908 kB
SUnreclaim:       556440 kB
KernelStack:        1480 kB
PageTables:        29128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   12886556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     45056 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= 71700 MiB
End job on node105 at 2016-06-18 15:23:36