Trace number 4079075

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) 150.005 150.051

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554-max.opb
MD5SUM70a36045701f7ebe55c56022c0c942d1
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-2
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -2
Optimality of the best value was proved NO
Number of variables16651
Total number of constraints49141
Number of constraints which are clauses49140
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 constraint16380
Number of terms in the objective function 91
Biggest coefficient in the objective function 1237940039285380274899124224
Number of bits for the biggest coefficient in the objective function 91
Sum of the numbers in the objective function 2475880078570760549798248447
Number of bits of the sum of numbers in the objective function 91
Biggest number in a constraint 948568795032094272909893509191171341133987714380927500611236528192824358010355712
Number of bits of the biggest number in a constraint 270
Biggest sum of numbers in a constraint 3794275180128377091639574036119569691105961065265835810055117519795943319408340779
Number of bits of the biggest sum of numbers271
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:14:59+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-4079075-1465247699.opb"]
0.00/0.01	c use --random-gen="1933484313 1316201961 2559431713 1462298854 4113431325 1491899451 1795691828 3765068437 2500133136 148358373 1918715759 292383378 1516904881 1600421311 3591769644 3234465588 2568468050 147806783 1004536663 1023190046 384243856 3816155986 2798216149 1594389573 3834974154 3825496658 1122532069 1843278864 960229016 3490040259 3187593921 1626048717 670789146 1878451555 1457936686 1381086850 224155644 2705587491 16502881 1382749229 4274851524 4040950780 3041518699 3872391078 811345795 1084220738 3482468060 2990285618 2702050198 2654094802 3389322477 3163044598 2718341845 2431401197 222028422 1395707811 2105983687 2382448629 4068552606 3720051797 3650708386 2828269287 290308641 4159435199 605501725 2279251045 2777361737 4021199557 1980117198 1024732738 219509630 547989457 3682683743 3575164547 3995869949 3600602211 1576441530 446285721 937644630 2807625165 4051108425 476483131 3064963136 505297607 3737998293 3782325391 2052682032 1187507580 468196537 3119398720 2176103386 2487408539 942833660 2884275838 17477236 3274619905 807824936 376579826 3672393553 763969333 3348083048 111356326 291369212 3274325208 2402495164 1301981151 309475251 1681073671 281170813 2080700572 1723759652 2318232478 4182632238 2988589929 700085654 349229492 3326150924 4178077923 3425829864 2434790665 498526494 3955867129 2530973716 1289552648 3619680166 2069027179 2479658990 4270671341 1455181826 1240896954 3423551071 3198789354 3377328400 1277694782 1370827033 925391909 1716633279 3312749837 3602574081 4274793246 1694761625 940130625 2458837717 1132169051 171934954 454031077 3185306809 2912400085 508346717 1827050950 3930790073 715050293 374479874 722796175 3355070182 365127635 1996725874 190569662 1270111930 2534882489 2030470825 1786817038 3812506592 3575559288 2167215624 4084689387 163276079 3328057198 2759355029 4142523147 2810911445 3269191819 1232276318 2363588211 1888632199 3132395503 1173897711 232878790 1433547647 58279307 536486780 1288828734 2291597764 2358532606 4266046173 29917422 1850525559 731768281 1330991680 2170411312 898766960 3726698776 2069720926 145481623 89508534 1752873717 2333941468 3650734330 1550474350 2568871967 2569983603 1395130176 3189196534 1025949880 2195791342 2828542996 2214917906 987194311 1102073448 3208029479 815551334 2539655596 594015716 2488819877 2823723235 790362324 2535171218 3095870704 2862114905 3968818003 104412907 3441409254 3182926612 3812776072 2574653836 2457888397 639689388 1110640067 4278524696 1835212190 4058078911 2198610362 4120465940 3995661787 1952460661 3187022868 3110864761 214844902 3121998470 1940688861 1780785935 3174606210 2762413471 3974567363 603135070 331779858 2824513659 686783374 3688937385 314466663 1394003792 1386257111 507212268 2032495070 3407166069 4160967910 255 362436" option to reproduce the execution
0.29/0.38	c #vars 16651
0.29/0.38	c #constraints 49141

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

pid=12193
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.92 1.99 1.99 3/179 12196
/proc/meminfo: memFree=30396104/32872528 swapFree=11196/354588
[pid=12196] ppid=12193 vsize=765372 CPUtime=0 cores=1,3,5,7
/proc/12196/stat : 12196 (toysat) R 12193 12196 8429 0 -1 4202496 2860 0 0 0 0 0 0 0 20 0 4 0 106703377 783740928 3220 33554432000 4194304 16246674 140734434213584 140734434213008 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12196/statm: 191855 3230 441 2943 0 188749 0
[pid=12196/tid=12197] ppid=12193 vsize=782780 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12197/stat : 12197 (toysat) S 12193 12196 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106703377 801566720 3292 33554432000 4194304 16246674 140734434213584 140339702639856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12196/tid=12198] ppid=12193 vsize=786876 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12198/stat : 12198 (toysat) S 12193 12196 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106703377 805761024 3308 33554432000 4194304 16246674 140734434213584 140339692150000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12196/tid=12199] ppid=12193 vsize=790972 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12199/stat : 12199 (toysat) S 12193 12196 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106703377 809955328 3324 33554432000 4194304 16246674 140734434213584 140339681676464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100184 s]
/proc/loadavg: 1.92 1.99 1.99 3/179 12196
/proc/meminfo: memFree=30396104/32872528 swapFree=11196/354588
[pid=12196] ppid=12193 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/12196/stat : 12196 (toysat) R 12193 12196 8429 0 -1 4202496 26434 0 0 0 5 4 0 0 20 0 4 0 106703377 1250496512 26732 33554432000 4194304 16246674 140734434213584 140734434212896 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12196/statm: 305297 26735 799 2943 0 302191 0
[pid=12196/tid=12197] ppid=12193 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12197/stat : 12197 (toysat) S 12193 12196 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106703377 1250496512 26738 33554432000 4194304 16246674 140734434213584 140339702639856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12196/tid=12198] ppid=12193 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12198/stat : 12198 (toysat) S 12193 12196 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106703377 1250496512 26740 33554432000 4194304 16246674 140734434213584 140339692150000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12196/tid=12199] ppid=12193 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12199/stat : 12199 (toysat) S 12193 12196 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106703377 1250496512 26742 33554432000 4194304 16246674 140734434213584 140339681676464 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) 1221188

[startup+0.200522 s]
/proc/loadavg: 1.92 1.99 1.99 3/179 12196
/proc/meminfo: memFree=30396104/32872528 swapFree=11196/354588
[pid=12196] ppid=12193 vsize=1310276 CPUtime=0.19 cores=1,3,5,7
/proc/12196/stat : 12196 (toysat) R 12193 12196 8429 0 -1 4202496 48049 0 0 0 12 7 0 0 20 0 4 0 106703377 1341722624 48858 33554432000 4194304 16246674 140734434213584 140734434212896 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12196/statm: 327569 48865 799 2943 0 324463 0
[pid=12196/tid=12197] ppid=12193 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12197/stat : 12197 (toysat) S 12193 12196 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106703377 1341722624 48869 33554432000 4194304 16246674 140734434213584 140339702639856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12196/tid=12198] ppid=12193 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12198/stat : 12198 (toysat) S 12193 12196 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106703377 1341722624 48873 33554432000 4194304 16246674 140734434213584 140339692150000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12196/tid=12199] ppid=12193 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12199/stat : 12199 (toysat) S 12193 12196 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106703377 1341722624 48876 33554432000 4194304 16246674 140734434213584 140339681676464 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) 1310276

[startup+0.300496 s]
/proc/loadavg: 1.92 1.99 1.99 3/179 12196
/proc/meminfo: memFree=30396104/32872528 swapFree=11196/354588
[pid=12196] ppid=12193 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/12196/stat : 12196 (toysat) R 12193 12196 8429 0 -1 4202496 58374 0 0 0 20 9 0 0 20 0 4 0 106703377 1344868352 59183 33554432000 4194304 16246674 140734434213584 140734434212896 8057092 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12196/statm: 328337 59183 799 2943 0 325231 0
[pid=12196/tid=12197] ppid=12193 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12197/stat : 12197 (toysat) S 12193 12196 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106703377 1344868352 59183 33554432000 4194304 16246674 140734434213584 140339702639856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12196/tid=12198] ppid=12193 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12198/stat : 12198 (toysat) S 12193 12196 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106703377 1344868352 59183 33554432000 4194304 16246674 140734434213584 140339692150000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12196/tid=12199] ppid=12193 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12199/stat : 12199 (toysat) S 12193 12196 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106703377 1344868352 59183 33554432000 4194304 16246674 140734434213584 140339681676464 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.70042 s]
/proc/loadavg: 1.92 1.99 1.99 3/179 12196
/proc/meminfo: memFree=30396104/32872528 swapFree=11196/354588
[pid=12196] ppid=12193 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/12196/stat : 12196 (toysat) R 12193 12196 8429 0 -1 4202496 88850 0 0 0 55 14 0 0 20 0 4 0 106703377 1344868352 89660 33554432000 4194304 16246674 140734434213584 140734434212896 5885249 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12196/statm: 328337 89670 834 2943 0 325231 0
[pid=12196/tid=12197] ppid=12193 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12197/stat : 12197 (toysat) S 12193 12196 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106703377 1344868352 89676 33554432000 4194304 16246674 140734434213584 140339702639856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12196/tid=12198] ppid=12193 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12198/stat : 12198 (toysat) S 12193 12196 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106703377 1344868352 89681 33554432000 4194304 16246674 140734434213584 140339692150000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12196/tid=12199] ppid=12193 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12199/stat : 12199 (toysat) S 12193 12196 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106703377 1344868352 89686 33554432000 4194304 16246674 140734434213584 140339681676464 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) 1313348

[startup+1.50044 s]
/proc/loadavg: 1.92 1.99 1.99 3/183 12200
/proc/meminfo: memFree=29805076/32872528 swapFree=11196/354588
[pid=12196] ppid=12193 vsize=1338948 CPUtime=1.49 cores=1,3,5,7
/proc/12196/stat : 12196 (toysat) R 12193 12196 8429 0 -1 4202496 147268 0 0 0 126 23 0 0 20 0 4 0 106703377 1371082752 148077 33554432000 4194304 16246674 140734434213584 140734434212896 13767180 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12196/statm: 334737 148077 844 2943 0 331631 0
[pid=12196/tid=12197] ppid=12193 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12197/stat : 12197 (toysat) S 12193 12196 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106703377 1371082752 148077 33554432000 4194304 16246674 140734434213584 140339702639856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12196/tid=12198] ppid=12193 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12198/stat : 12198 (toysat) S 12193 12196 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106703377 1371082752 148077 33554432000 4194304 16246674 140734434213584 140339692150000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12196/tid=12199] ppid=12193 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12199/stat : 12199 (toysat) S 12193 12196 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106703377 1371082752 148077 33554432000 4194304 16246674 140734434213584 140339681676464 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) 1338948

[startup+3.10044 s]
/proc/loadavg: 1.92 1.99 1.99 3/183 12200
/proc/meminfo: memFree=29605668/32872528 swapFree=11196/354588
[pid=12196] ppid=12193 vsize=1377860 CPUtime=3.09 cores=1,3,5,7
/proc/12196/stat : 12196 (toysat) R 12193 12196 8429 0 -1 4202496 284929 0 0 0 268 41 0 0 20 0 4 0 106703377 1410928640 285738 33554432000 4194304 16246674 140734434213584 140734434195456 4221105 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12196/statm: 344465 285745 844 2943 0 341359 0
[pid=12196/tid=12197] ppid=12193 vsize=1377860 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12197/stat : 12197 (toysat) S 12193 12196 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106703377 1410928640 285749 33554432000 4194304 16246674 140734434213584 140339702639856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12196/tid=12198] ppid=12193 vsize=1377860 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12198/stat : 12198 (toysat) S 12193 12196 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106703377 1410928640 285753 33554432000 4194304 16246674 140734434213584 140339692150000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12196/tid=12199] ppid=12193 vsize=1377860 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12199/stat : 12199 (toysat) S 12193 12196 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106703377 1410928640 285757 33554432000 4194304 16246674 140734434213584 140339681676464 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) 1377860

[startup+6.30042 s]
/proc/loadavg: 1.93 1.99 1.99 3/183 12200
/proc/meminfo: memFree=29075068/32872528 swapFree=11196/354588
[pid=12196] ppid=12193 vsize=1555012 CPUtime=6.29 cores=1,3,5,7
/proc/12196/stat : 12196 (toysat) R 12193 12196 8429 0 -1 4202496 329385 0 0 0 582 47 0 0 20 0 4 0 106703377 1592332288 330194 33554432000 4194304 16246674 140734434213584 140734434211392 13767160 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12196/statm: 388753 330194 844 2943 0 385647 0
[pid=12196/tid=12197] ppid=12193 vsize=1555012 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12197/stat : 12197 (toysat) S 12193 12196 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106703377 1592332288 330194 33554432000 4194304 16246674 140734434213584 140339702639856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12196/tid=12198] ppid=12193 vsize=1555012 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12198/stat : 12198 (toysat) S 12193 12196 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106703377 1592332288 330194 33554432000 4194304 16246674 140734434213584 140339692150000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12196/tid=12199] ppid=12193 vsize=1555012 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12199/stat : 12199 (toysat) S 12193 12196 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106703377 1592332288 330194 33554432000 4194304 16246674 140734434213584 140339681676464 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) 1555012

[startup+12.7004 s]
/proc/loadavg: 1.93 1.99 1.99 3/183 12200
/proc/meminfo: memFree=28540064/32872528 swapFree=11196/354588
[pid=12196] ppid=12193 vsize=2443844 CPUtime=12.69 cores=1,3,5,7
/proc/12196/stat : 12196 (toysat) R 12193 12196 8429 0 -1 4202496 551438 0 0 0 1188 81 0 0 20 0 4 0 106703377 2502496256 552248 33554432000 4194304 16246674 140734434213584 140734434211392 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12196/statm: 610961 552256 844 2943 0 607855 0
[pid=12196/tid=12197] ppid=12193 vsize=2443844 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12197/stat : 12197 (toysat) S 12193 12196 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106703377 2502496256 552260 33554432000 4194304 16246674 140734434213584 140339702639856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12196/tid=12198] ppid=12193 vsize=2443844 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12198/stat : 12198 (toysat) S 12193 12196 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106703377 2502496256 552265 33554432000 4194304 16246674 140734434213584 140339692149776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12196/tid=12199] ppid=12193 vsize=2443844 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12199/stat : 12199 (toysat) S 12193 12196 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106703377 2502496256 552268 33554432000 4194304 16246674 140734434213584 140339681676464 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) 2443844

[startup+25.5006 s]
/proc/loadavg: 1.95 1.99 1.99 3/183 12200
/proc/meminfo: memFree=26259824/32872528 swapFree=11196/354588
[pid=12196] ppid=12193 vsize=4365892 CPUtime=25.49 cores=1,3,5,7
/proc/12196/stat : 12196 (toysat) R 12193 12196 8429 0 -1 4202496 1032106 0 0 0 2396 153 0 0 20 0 4 0 106703377 4470673408 1032915 33554432000 4194304 16246674 140734434213584 140734434212760 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12196/statm: 1091473 1032915 844 2943 0 1088367 0
[pid=12196/tid=12197] ppid=12193 vsize=4365892 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12197/stat : 12197 (toysat) S 12193 12196 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106703377 4470673408 1032915 33554432000 4194304 16246674 140734434213584 140339702639856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12196/tid=12198] ppid=12193 vsize=4365892 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12198/stat : 12198 (toysat) S 12193 12196 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106703377 4470673408 1032915 33554432000 4194304 16246674 140734434213584 140339692150000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12196/tid=12199] ppid=12193 vsize=4365892 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12199/stat : 12199 (toysat) S 12193 12196 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106703377 4470673408 1032915 33554432000 4194304 16246674 140734434213584 140339681676464 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) 4365892

[startup+51.1005 s]
/proc/loadavg: 1.96 1.99 1.99 3/183 12200
/proc/meminfo: memFree=22118532/32872528 swapFree=11196/354588
[pid=12196] ppid=12193 vsize=8498756 CPUtime=51.08 cores=1,3,5,7
/proc/12196/stat : 12196 (toysat) R 12193 12196 8429 0 -1 4202496 2065324 0 0 0 4815 293 0 0 20 0 4 0 106703377 8702726144 2066133 33554432000 4194304 16246674 140734434213584 140734434212760 12490408 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12196/statm: 2124689 2066133 844 2943 0 2121583 0
[pid=12196/tid=12197] ppid=12193 vsize=8498756 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12197/stat : 12197 (toysat) S 12193 12196 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106703377 8702726144 2066133 33554432000 4194304 16246674 140734434213584 140339702639856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12196/tid=12198] ppid=12193 vsize=8498756 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12198/stat : 12198 (toysat) S 12193 12196 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106703377 8702726144 2066133 33554432000 4194304 16246674 140734434213584 140339692150000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12196/tid=12199] ppid=12193 vsize=8498756 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12199/stat : 12199 (toysat) S 12193 12196 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106703377 8702726144 2066133 33554432000 4194304 16246674 140734434213584 140339681676464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 8498756

[startup+102.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 12201
/proc/meminfo: memFree=17762452/32872528 swapFree=11196/354588
[pid=12196] ppid=12193 vsize=12845636 CPUtime=102.28 cores=1,3,5,7
/proc/12196/stat : 12196 (toysat) R 12193 12196 8429 0 -1 4202496 3152052 0 0 0 9755 473 0 0 20 0 4 0 106703377 13153931264 3152859 33554432000 4194304 16246674 140734434213584 140734434211392 14002976 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12196/statm: 3211409 3152859 849 2943 0 3208303 0
[pid=12196/tid=12197] ppid=12193 vsize=12845636 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12197/stat : 12197 (toysat) S 12193 12196 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106703377 13153931264 3152859 33554432000 4194304 16246674 140734434213584 140339702639856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12196/tid=12198] ppid=12193 vsize=12845636 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12198/stat : 12198 (toysat) S 12193 12196 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106703377 13153931264 3152859 33554432000 4194304 16246674 140734434213584 140339692149776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12196/tid=12199] ppid=12193 vsize=12845636 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12199/stat : 12199 (toysat) S 12193 12196 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106703377 13153931264 3152859 33554432000 4194304 16246674 140734434213584 140339681676464 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) 12845636



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+149.2 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 12203
/proc/meminfo: memFree=14922424/32872528 swapFree=11196/354588
[pid=12196] ppid=12193 vsize=15904324 CPUtime=149.15 cores=1,3,5,7
/proc/12196/stat : 12196 (toysat) R 12193 12196 8429 0 -1 4202496 3916499 0 0 0 14319 596 0 0 20 0 4 0 106703377 16286027776 3917306 33554432000 4194304 16246674 140734434213584 140734434212680 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12196/statm: 3976081 3917314 849 2943 0 3972975 0
[pid=12196/tid=12197] ppid=12193 vsize=15904324 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12197/stat : 12197 (toysat) S 12193 12196 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106703377 16286027776 3917321 33554432000 4194304 16246674 140734434213584 140339702639856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12196/tid=12198] ppid=12193 vsize=15904324 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12198/stat : 12198 (toysat) S 12193 12196 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106703377 16286027776 3917326 33554432000 4194304 16246674 140734434213584 140339692150000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12196/tid=12199] ppid=12193 vsize=15904324 CPUtime=0 cores=1,3,5,7
/proc/12196/task/12199/stat : 12199 (toysat) S 12193 12196 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106703377 16286027776 3917330 33554432000 4194304 16246674 140734434213584 140339681676464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 149.15
Current children cumulated vsize (KiB) 15904324

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

[startup+149.6 s]
/proc/loadavg: 2.05 2.02 2.00 3/181 12203
/proc/meminfo: memFree=22132564/32872528 swapFree=11196/354588
[pid=12196] ppid=12193 vsize=0 CPUtime=149.56 cores=1,3,5,7
/proc/12196/stat : 12196 (toysat) Z 12193 12196 8429 0 -1 4203532 3916852 0 0 0 14320 636 0 0 20 0 2 0 106703377 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12196/statm: 0 0 0 0 0 0 0
[pid=12196/tid=12198] ppid=12193 vsize=0 CPUtime=0.39 cores=1,3,5,7
/proc/12196/task/12198/stat : 12198 (toysat) R 12193 12196 8429 0 -1 4203588 8 0 0 0 0 39 0 0 20 0 2 0 106703377 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) 149.56
Current children cumulated vsize (KiB) 0

[startup+150 s]
/proc/loadavg: 2.05 2.02 2.00 3/181 12203
/proc/meminfo: memFree=22132564/32872528 swapFree=11196/354588
[pid=12196] ppid=12193 vsize=0 CPUtime=149.95 cores=1,3,5,7
/proc/12196/stat : 12196 (toysat) Z 12193 12196 8429 0 -1 4203532 3916852 0 0 0 14320 675 0 0 20 0 2 0 106703377 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12196/statm: 0 0 0 0 0 0 0
[pid=12196/tid=12198] ppid=12193 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/12196/task/12198/stat : 12198 (toysat) R 12193 12196 8429 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 106703377 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 149.95
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 150.051
CPU time (s): 150.005
CPU user time (s): 143.202
CPU system time (s): 6.80296
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 15904324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 143.202
system time used= 6.80297
maximum resident set size= 15670636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3916852
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= 65
involuntary context switches= 187

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.52292 second user time and 0.847871 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-06 23:14:59
IDJOB=4079075
IDBENCH=2991
IDSOLVER=2542
FILE ID=node126/4079075-1465247699
RUNJOBID= node126-1465218023-8446
PBS_JOBID= 19843210
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554-max.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079075-1465247699/watcher-4079075-1465247699 -o /tmp/evaluation-result-4079075-1465247699/solver-4079075-1465247699 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8446 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079075-1465247699.opb

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

MD5SUM BENCH= 70a36045701f7ebe55c56022c0c942d1
RANDOM SEED=548339616

node126.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.500
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.00
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.500
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.500
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.500
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.500
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.500
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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.500
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:        30396484 kB
Buffers:           51172 kB
Cached:           136960 kB
SwapCached:         2248 kB
Active:          1314276 kB
Inactive:         103536 kB
Active(anon):    1229484 kB
Inactive(anon):     2388 kB
Active(file):      84792 kB
Inactive(file):   101148 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098548 kB
Dirty:             18252 kB
Writeback:             0 kB
AnonPages:       1585224 kB
Mapped:            10880 kB
Shmem:                 0 kB
Slab:             568584 kB
SReclaimable:      12524 kB
SUnreclaim:       556060 kB
KernelStack:        1472 kB
PageTables:         7416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1727008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1531904 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= 71704 MiB
End job on node126 at 2016-06-06 23:17:29