Trace number 4079088

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) 151.021 151.052

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612.opb
MD5SUM5541a5401e00525728267c7fde4b721b
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.39333
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 7729075046034516689390703781863974688597854659412869997312087757137816840157192354910932626270886944505998465497886041174443507857908386397911556311226886565568562128564837
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-06T23:18:34+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-4079088-1465247914.opb"]
0.00/0.01	c use --random-gen="4277625653 3585630944 3298118198 1117887832 3349247485 4930296 4177423782 718181374 3736356590 1868614660 2316980243 2545496931 2093445788 4278812590 336261669 1386145792 1402985191 762519764 410836504 3336498293 2942192281 563611866 1408425252 3652820864 3916803514 3075095178 4092478152 1024080759 3413491263 576173019 3338082196 2967977785 1139563598 1296289653 2820228731 4090946376 2119468153 3560108929 3179102355 2029233160 2631448478 3900911446 3325163561 1276876187 914422063 3582714720 2984376717 3512188674 1024902763 4084028285 2387139672 3929008525 50374316 1920892558 1629340878 3336834644 3736066549 2803731203 4105475111 106947025 514410169 3700977957 3892213705 3932829682 3242137247 1289775812 3985094535 2931464571 347800058 2863942971 1791908458 147129355 308731189 4038248765 1926884814 2111225685 4069414530 3051151396 2734001647 2208479851 1938619733 4206454138 2924723722 3906612647 1854168627 1162355090 3675954704 3959899519 559579372 534128243 3614579834 1285813754 2345980990 1776246521 2656041859 2422274714 981532594 2387845589 680598967 2106920113 2637265859 3888969958 1648587846 1757566275 4073354025 2888481571 3457303626 3133404218 1808458073 2147272831 415516601 1335893728 2447752483 3526914641 2702023261 3918785855 636228120 338111267 546776109 544232274 3551383525 253852223 3470001433 160004735 695523894 883051941 521756738 1240129368 2951217405 3066325083 1592240897 867940410 2874456378 789701815 3027618631 765677845 1090417069 1369283086 1195300671 2142900227 2408250061 146171124 1027458761 2290652207 2071343082 1489434413 147987601 73407722 2432891579 2014725859 3413098176 685596979 534894053 3328243683 1704815401 1938973677 1916144101 3710446839 1188229348 383716427 2759419641 4151157838 3469814201 2874739538 4284421671 3235710131 1775760306 1705286171 3925880965 1797745296 2029129172 2592497016 2040548219 2774611260 2742014539 709131952 689135844 1193702780 2344013497 3361251056 3143926710 806599107 2089246462 1455990944 931950174 1961266273 3562658624 1708377158 3415269837 2311881100 3801354299 247567767 1872416400 3858903298 3634125831 713235060 3284491742 2424776401 60349699 1651659121 1066359738 773748661 1193658242 2125990172 2414585498 2994211564 1850923706 3782173080 583410351 2632881851 2522190589 62401740 591222500 1765037698 2665948056 4077009447 3984773597 3180360038 2245674607 1739725664 1040338587 1200130442 3291292308 133390164 1371133595 3875959313 3219524217 1559442468 1593712967 1747336714 1128941918 1645417889 1408856536 2911544625 2979552970 983018409 3853652339 1050646819 2182368261 3563808612 3280641495 706542975 1077397764 3523526606 825957510 1295537238 2079220461 2098255797 3115975911 2840128101 873348331 3503711328 1973892641 2514075735 2374342016 2398279400 255 362436" option to reproduce the execution
1.59/1.65	c #vars 73151
1.59/1.65	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-4079088-1465247914/watcher-4079088-1465247914 -o /tmp/evaluation-result-4079088-1465247914/solver-4079088-1465247914 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32470 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079088-1465247914.opb 

pid=2951
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.36 2.23 2.19 3/179 2954
/proc/meminfo: memFree=28440704/32872528 swapFree=16080/1655368
[pid=2954] ppid=2951 vsize=811452 CPUtime=0 cores=0,2,4,6
/proc/2954/stat : 2954 (toysat) R 2951 2954 32454 0 -1 4202496 3044 0 0 0 0 0 0 0 20 0 4 0 106725008 830926848 2894 33554432000 4194304 16246674 140735591151936 140735591151360 15002730 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 203631 2903 441 2943 0 200525 0
[pid=2954/tid=2955] ppid=2951 vsize=857532 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2955/stat : 2955 (toysat) S 2951 2954 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106725008 878112768 3074 33554432000 4194304 16246674 140735591151936 139725397535984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2954/tid=2956] ppid=2951 vsize=862652 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2956/stat : 2956 (toysat) S 2951 2954 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106725008 883355648 3093 33554432000 4194304 16246674 140735591151936 139725387046128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2954/tid=2957] ppid=2951 vsize=867772 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2957/stat : 2957 (toysat) S 2951 2954 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106725008 888598528 3112 33554432000 4194304 16246674 140735591151936 139725376572592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.36 2.23 2.19 3/179 2954
/proc/meminfo: memFree=28440704/32872528 swapFree=16080/1655368
[pid=2954] ppid=2951 vsize=1301060 CPUtime=0.08 cores=0,2,4,6
/proc/2954/stat : 2954 (toysat) R 2951 2954 32454 0 -1 4202496 28067 0 0 0 5 3 0 0 20 0 4 0 106725008 1332285440 27855 33554432000 4194304 16246674 140735591151936 140735591151248 8058197 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 325265 27871 801 2943 0 322159 0
[pid=2954/tid=2955] ppid=2951 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2955/stat : 2955 (toysat) S 2951 2954 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106725008 1332285440 27881 33554432000 4194304 16246674 140735591151936 139725397535984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2954/tid=2956] ppid=2951 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2956/stat : 2956 (toysat) S 2951 2954 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106725008 1332285440 27892 33554432000 4194304 16246674 140735591151936 139725387046128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2954/tid=2957] ppid=2951 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2957/stat : 2957 (toysat) S 2951 2954 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106725008 1332285440 27903 33554432000 4194304 16246674 140735591151936 139725376572592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1301060

[startup+0.200511 s]
/proc/loadavg: 2.36 2.23 2.19 3/179 2954
/proc/meminfo: memFree=28440704/32872528 swapFree=16080/1655368
[pid=2954] ppid=2951 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/2954/stat : 2954 (toysat) R 2951 2954 32454 0 -1 4202496 48412 0 0 0 12 7 0 0 20 0 4 0 106725008 1344868352 48711 33554432000 4194304 16246674 140735591151936 140735591151248 13967416 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 328337 48711 801 2943 0 325231 0
[pid=2954/tid=2955] ppid=2951 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2955/stat : 2955 (toysat) S 2951 2954 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106725008 1344868352 48711 33554432000 4194304 16246674 140735591151936 139725397535984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2954/tid=2956] ppid=2951 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2956/stat : 2956 (toysat) S 2951 2954 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106725008 1344868352 48711 33554432000 4194304 16246674 140735591151936 139725387046128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2954/tid=2957] ppid=2951 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2957/stat : 2957 (toysat) S 2951 2954 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106725008 1344868352 48711 33554432000 4194304 16246674 140735591151936 139725376572592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.30049 s]
/proc/loadavg: 2.36 2.23 2.19 3/179 2954
/proc/meminfo: memFree=28440704/32872528 swapFree=16080/1655368
[pid=2954] ppid=2951 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/2954/stat : 2954 (toysat) R 2951 2954 32454 0 -1 4202496 64356 0 0 0 20 9 0 0 20 0 4 0 106725008 1344868352 64655 33554432000 4194304 16246674 140735591151936 140735591151248 4223736 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 328337 64655 801 2943 0 325231 0
[pid=2954/tid=2955] ppid=2951 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2955/stat : 2955 (toysat) S 2951 2954 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106725008 1344868352 64655 33554432000 4194304 16246674 140735591151936 139725397535984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2954/tid=2956] ppid=2951 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2956/stat : 2956 (toysat) S 2951 2954 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106725008 1344868352 64655 33554432000 4194304 16246674 140735591151936 139725387046128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2954/tid=2957] ppid=2951 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2957/stat : 2957 (toysat) S 2951 2954 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106725008 1344868352 64655 33554432000 4194304 16246674 140735591151936 139725376572592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700358 s]
/proc/loadavg: 2.36 2.23 2.19 3/179 2954
/proc/meminfo: memFree=28440704/32872528 swapFree=16080/1655368
[pid=2954] ppid=2951 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/2954/stat : 2954 (toysat) R 2951 2954 32454 0 -1 4202496 69242 0 0 0 59 10 0 0 20 0 4 0 106725008 1345916928 69541 33554432000 4194304 16246674 140735591151936 140735591149760 7439436 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 328593 69541 801 2943 0 325487 0
[pid=2954/tid=2955] ppid=2951 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2955/stat : 2955 (toysat) S 2951 2954 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106725008 1345916928 69541 33554432000 4194304 16246674 140735591151936 139725397535984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2954/tid=2956] ppid=2951 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2956/stat : 2956 (toysat) S 2951 2954 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106725008 1345916928 69541 33554432000 4194304 16246674 140735591151936 139725387046128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2954/tid=2957] ppid=2951 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2957/stat : 2957 (toysat) S 2951 2954 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106725008 1345916928 69541 33554432000 4194304 16246674 140735591151936 139725376572592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.5004 s]
/proc/loadavg: 2.36 2.23 2.19 3/183 2958
/proc/meminfo: memFree=28112760/32872528 swapFree=16080/1655368
[pid=2954] ppid=2951 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/2954/stat : 2954 (toysat) R 2951 2954 32454 0 -1 4202496 81925 0 0 0 137 12 0 0 20 0 4 0 106725008 1345916928 82224 33554432000 4194304 16246674 140735591151936 140735591149760 7439385 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 328593 82224 802 2943 0 325487 0
[pid=2954/tid=2955] ppid=2951 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2955/stat : 2955 (toysat) S 2951 2954 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106725008 1345916928 82224 33554432000 4194304 16246674 140735591151936 139725397535984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2954/tid=2956] ppid=2951 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2956/stat : 2956 (toysat) S 2951 2954 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106725008 1345916928 82224 33554432000 4194304 16246674 140735591151936 139725387046128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2954/tid=2957] ppid=2951 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2957/stat : 2957 (toysat) S 2951 2954 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106725008 1345916928 82224 33554432000 4194304 16246674 140735591151936 139725376572592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.1004 s]
/proc/loadavg: 2.36 2.23 2.19 3/183 2958
/proc/meminfo: memFree=27814268/32872528 swapFree=16080/1655368
[pid=2954] ppid=2951 vsize=1340996 CPUtime=3.09 cores=0,2,4,6
/proc/2954/stat : 2954 (toysat) R 2951 2954 32454 0 -1 4202496 269734 0 0 0 264 45 0 0 20 0 4 0 106725008 1373179904 276165 33554432000 4194304 16246674 140735591151936 140735591133824 5573014 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 335249 276165 837 2943 0 332143 0
[pid=2954/tid=2955] ppid=2951 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2955/stat : 2955 (toysat) S 2951 2954 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106725008 1373179904 276165 33554432000 4194304 16246674 140735591151936 139725397535984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2954/tid=2956] ppid=2951 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2956/stat : 2956 (toysat) S 2951 2954 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106725008 1373179904 276165 33554432000 4194304 16246674 140735591151936 139725387046128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2954/tid=2957] ppid=2951 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2957/stat : 2957 (toysat) S 2951 2954 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106725008 1373179904 276165 33554432000 4194304 16246674 140735591151936 139725376572592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1340996

[startup+6.30039 s]
/proc/loadavg: 2.33 2.23 2.19 3/183 2958
/proc/meminfo: memFree=26402792/32872528 swapFree=16080/1655368
[pid=2954] ppid=2951 vsize=1441348 CPUtime=6.28 cores=0,2,4,6
/proc/2954/stat : 2954 (toysat) R 2951 2954 32454 0 -1 4202496 294745 0 0 0 581 47 0 0 20 0 4 0 106725008 1475940352 301176 33554432000 4194304 16246674 140735591151936 140735591133824 4221799 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 360337 301182 847 2943 0 357231 0
[pid=2954/tid=2955] ppid=2951 vsize=1441348 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2955/stat : 2955 (toysat) S 2951 2954 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106725008 1475940352 301186 33554432000 4194304 16246674 140735591151936 139725397535984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2954/tid=2956] ppid=2951 vsize=1441348 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2956/stat : 2956 (toysat) S 2951 2954 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106725008 1475940352 301190 33554432000 4194304 16246674 140735591151936 139725387046128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2954/tid=2957] ppid=2951 vsize=1441348 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2957/stat : 2957 (toysat) S 2951 2954 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106725008 1475940352 301194 33554432000 4194304 16246674 140735591151936 139725376572592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1441348

[startup+12.7004 s]
/proc/loadavg: 2.30 2.22 2.19 3/183 2958
/proc/meminfo: memFree=24080064/32872528 swapFree=16080/1655368
[pid=2954] ppid=2951 vsize=2182724 CPUtime=12.68 cores=0,2,4,6
/proc/2954/stat : 2954 (toysat) R 2951 2954 32454 0 -1 4202496 480185 0 0 0 1198 70 0 0 20 0 4 0 106725008 2235109376 486616 33554432000 4194304 16246674 140735591151936 140735591151112 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 545681 486616 847 2943 0 542575 0
[pid=2954/tid=2955] ppid=2951 vsize=2182724 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2955/stat : 2955 (toysat) S 2951 2954 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106725008 2235109376 486616 33554432000 4194304 16246674 140735591151936 139725397535984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2954/tid=2956] ppid=2951 vsize=2182724 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2956/stat : 2956 (toysat) S 2951 2954 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106725008 2235109376 486616 33554432000 4194304 16246674 140735591151936 139725387046128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2954/tid=2957] ppid=2951 vsize=2182724 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2957/stat : 2957 (toysat) S 2951 2954 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106725008 2235109376 486616 33554432000 4194304 16246674 140735591151936 139725376572592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2182724

[startup+25.5005 s]
/proc/loadavg: 2.24 2.21 2.18 3/183 2958
/proc/meminfo: memFree=19471552/32872528 swapFree=16080/1655368
[pid=2954] ppid=2951 vsize=4969028 CPUtime=25.48 cores=0,2,4,6
/proc/2954/stat : 2954 (toysat) R 2951 2954 32454 0 -1 4202496 1176762 0 0 0 2386 162 0 0 20 0 4 0 106725008 5088284672 1183193 33554432000 4194304 16246674 140735591151936 140735591151152 4220982 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 1242257 1183193 847 2943 0 1239151 0
[pid=2954/tid=2955] ppid=2951 vsize=4969028 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2955/stat : 2955 (toysat) S 2951 2954 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106725008 5088284672 1183193 33554432000 4194304 16246674 140735591151936 139725397535984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2954/tid=2956] ppid=2951 vsize=4969028 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2956/stat : 2956 (toysat) S 2951 2954 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106725008 5088284672 1183193 33554432000 4194304 16246674 140735591151936 139725387046128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2954/tid=2957] ppid=2951 vsize=4969028 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2957/stat : 2957 (toysat) S 2951 2954 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106725008 5088284672 1183193 33554432000 4194304 16246674 140735591151936 139725376572592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4969028

[startup+51.1005 s]
/proc/loadavg: 2.23 2.21 2.18 4/183 2958
/proc/meminfo: memFree=12434648/32872528 swapFree=16080/1655368
[pid=2954] ppid=2951 vsize=9625156 CPUtime=51.08 cores=0,2,4,6
/proc/2954/stat : 2954 (toysat) R 2951 2954 32454 0 -1 4202496 2340774 0 0 0 4790 318 0 0 20 0 4 0 106725008 9856159744 2347205 33554432000 4194304 16246674 140735591151936 140735591150600 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 2406289 2347213 847 2943 0 2403183 0
[pid=2954/tid=2955] ppid=2951 vsize=9625156 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2955/stat : 2955 (toysat) S 2951 2954 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106725008 9856159744 2347217 33554432000 4194304 16246674 140735591151936 139725397535984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2954/tid=2956] ppid=2951 vsize=9625156 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2956/stat : 2956 (toysat) S 2951 2954 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106725008 9856159744 2347220 33554432000 4194304 16246674 140735591151936 139725387045904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2954/tid=2957] ppid=2951 vsize=9625156 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2957/stat : 2957 (toysat) S 2951 2954 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106725008 9856159744 2347225 33554432000 4194304 16246674 140735591151936 139725376572592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9625156

[startup+102.3 s]
/proc/loadavg: 2.26 2.22 2.18 3/184 2963
/proc/meminfo: memFree=3926024/32872528 swapFree=16080/1655368
[pid=2954] ppid=2951 vsize=13504068 CPUtime=102.28 cores=0,2,4,6
/proc/2954/stat : 2954 (toysat) R 2951 2954 32454 0 -1 4202496 3310530 0 0 0 9780 448 0 0 20 0 4 0 106725008 13828165632 3316961 33554432000 4194304 16246674 140735591151936 140735591149888 14006617 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 3376017 3316961 852 2943 0 3372911 0
[pid=2954/tid=2955] ppid=2951 vsize=13504068 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2955/stat : 2955 (toysat) S 2951 2954 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106725008 13828165632 3316961 33554432000 4194304 16246674 140735591151936 139725397535984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2954/tid=2956] ppid=2951 vsize=13504068 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2956/stat : 2956 (toysat) S 2951 2954 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106725008 13828165632 3316961 33554432000 4194304 16246674 140735591151936 139725387045904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2954/tid=2957] ppid=2951 vsize=13504068 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2957/stat : 2957 (toysat) S 2951 2954 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106725008 13828165632 3316961 33554432000 4194304 16246674 140735591151936 139725376572592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 13504068



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+150.2 s]
/proc/loadavg: 2.32 2.25 2.19 3/183 3013
/proc/meminfo: memFree=12772220/32872528 swapFree=16080/1655368
[pid=2954] ppid=2951 vsize=15874628 CPUtime=150.16 cores=0,2,4,6
/proc/2954/stat : 2954 (toysat) R 2951 2954 32454 0 -1 4202496 3903124 0 0 0 14473 543 0 0 20 0 4 0 106725008 16255619072 3909555 33554432000 4194304 16246674 140735591151936 140735591151112 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 3968657 3909555 852 2943 0 3965551 0
[pid=2954/tid=2955] ppid=2951 vsize=15874628 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2955/stat : 2955 (toysat) S 2951 2954 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106725008 16255619072 3909555 33554432000 4194304 16246674 140735591151936 139725397535984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2954/tid=2956] ppid=2951 vsize=15874628 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2956/stat : 2956 (toysat) S 2951 2954 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106725008 16255619072 3909555 33554432000 4194304 16246674 140735591151936 139725387046128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2954/tid=2957] ppid=2951 vsize=15874628 CPUtime=0 cores=0,2,4,6
/proc/2954/task/2957/stat : 2957 (toysat) S 2951 2954 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106725008 16255619072 3909555 33554432000 4194304 16246674 140735591151936 139725376572592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 150.16
Current children cumulated vsize (KiB) 15874628

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

[startup+150.4 s]
/proc/loadavg: 2.32 2.25 2.19 3/183 3013
/proc/meminfo: memFree=12772220/32872528 swapFree=16080/1655368
[pid=2954] ppid=2951 vsize=0 CPUtime=150.37 cores=0,2,4,6
/proc/2954/stat : 2954 (toysat) Z 2951 2954 32454 0 -1 4203532 3903229 0 0 0 14474 563 0 0 20 0 2 0 106725008 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 0 0 0 0 0 0 0
[pid=2954/tid=2955] ppid=2951 vsize=0 CPUtime=0.18 cores=0,2,4,6
/proc/2954/task/2955/stat : 2955 (toysat) R 2951 2954 32454 0 -1 4203588 10 0 0 0 0 18 0 0 20 0 2 0 106725008 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 150.37
Current children cumulated vsize (KiB) 0

[startup+150.807 s]
/proc/loadavg: 2.32 2.25 2.19 3/181 3013
/proc/meminfo: memFree=21309476/32872528 swapFree=16080/1655368
[pid=2954] ppid=2951 vsize=0 CPUtime=150.77 cores=0,2,4,6
/proc/2954/stat : 2954 (toysat) Z 2951 2954 32454 0 -1 4203532 3903229 0 0 0 14474 603 0 0 20 0 2 0 106725008 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 0 0 0 0 0 0 0
[pid=2954/tid=2955] ppid=2951 vsize=0 CPUtime=0.59 cores=0,2,4,6
/proc/2954/task/2955/stat : 2955 (toysat) R 2951 2954 32454 0 -1 4203588 10 0 0 0 0 59 0 0 20 0 2 0 106725008 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 150.77
Current children cumulated vsize (KiB) 0

[startup+151 s]
/proc/loadavg: 2.32 2.25 2.19 3/181 3013
/proc/meminfo: memFree=21309476/32872528 swapFree=16080/1655368
[pid=2954] ppid=2951 vsize=0 CPUtime=150.97 cores=0,2,4,6
/proc/2954/stat : 2954 (toysat) Z 2951 2954 32454 0 -1 4203532 3903229 0 0 0 14474 623 0 0 20 0 2 0 106725008 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 0 0 0 0 0 0 0
[pid=2954/tid=2955] ppid=2951 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/2954/task/2955/stat : 2955 (toysat) R 2951 2954 32454 0 -1 4203588 10 0 0 0 0 78 0 0 20 0 2 0 106725008 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 150.97
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 151.052
CPU time (s): 151.021
CPU user time (s): 144.745
CPU system time (s): 6.27604
CPU usage (%): 99.9792
Max. virtual memory (cumulated for all children) (KiB): 15874628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 144.745
system time used= 6.27604
maximum resident set size= 15638640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3903229
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= 214

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.411937 second user time and 0.560914 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-06 23:18:34
IDJOB=4079088
IDBENCH=3028
IDSOLVER=2542
FILE ID=node122/4079088-1465247914
RUNJOBID= node122-1465218907-32470
PBS_JOBID= 19843205
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-765568612.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079088-1465247914/watcher-4079088-1465247914 -o /tmp/evaluation-result-4079088-1465247914/solver-4079088-1465247914 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32470 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079088-1465247914.opb

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

MD5SUM BENCH= 5541a5401e00525728267c7fde4b721b
RANDOM SEED=581496872

node122.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.898
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.79
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.898
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.898
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.54
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.898
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.898
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.898
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.898
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.898
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:        28440604 kB
Buffers:           54748 kB
Cached:           122404 kB
SwapCached:          860 kB
Active:          1986396 kB
Inactive:          82692 kB
Active(anon):    1893088 kB
Inactive(anon):     1584 kB
Active(file):      93308 kB
Inactive(file):    81108 kB
Unevictable:     1655368 kB
Mlocked:           16080 kB
SwapTotal:      67108856 kB
SwapFree:       67099464 kB
Dirty:             48296 kB
Writeback:             0 kB
AnonPages:       3549220 kB
Mapped:            10540 kB
Shmem:                 0 kB
Slab:             569872 kB
SReclaimable:      13556 kB
SUnreclaim:       556316 kB
KernelStack:        1528 kB
PageTables:        11288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3692168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1648640 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 node122 at 2016-06-06 23:21:06