Trace number 4105689

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) 160.879 160.944

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=360-sizeP=181-sizeQ=360-885821403-max.opb
MD5SUMdaef519cc387cb4190b46c644ef26a75
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables65701
Total number of constraints195481
Number of constraints which are clauses195480
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 constraint65160
Number of terms in the objective function 181
Biggest coefficient in the objective function 1532495540865888858358347027150309183618739122183602176
Number of bits for the biggest coefficient in the objective function 181
Sum of the numbers in the objective function 3064991081731777716716694054300618367237478244367204351
Number of bits of the sum of numbers in the objective function 181
Biggest number in a constraint 1799565517817278553124215403074392743547878847320766653240302229044735032268595148127616274441556342859968364253408358049283306422197719875603406072346065542053888
Number of bits of the biggest number in a constraint 540
Biggest sum of numbers in a constraint 7198262071269114212496861612297570974191515389283066611663944849260137495841993663922586015605314649454542626583271372705247225059695176544033188317685768654897628
Number of bits of the biggest sum of numbers541
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:08:08+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-4105689-1466255287.opb"]
0.00/0.01	c use --random-gen="729450034 936785238 4084332712 538397384 2344060330 1262925017 462072224 4001081888 4108724222 2772852270 1370185647 1495238399 1670160171 1866691602 365552183 4097540878 3591414987 4198615706 3729630074 1154911304 3583945254 247070924 634500954 3995968084 3141622774 1217110702 1380143503 2522619340 872958860 2246405046 3972548355 623154374 2346339987 599174323 1907575377 1155567976 3590942653 4143768808 3956894188 2499947814 1943096052 696943934 3164372673 845575722 967955052 2584972679 4261115916 2375194176 3334378533 2879333143 2103173079 1663128035 2897222481 2681565293 1245116511 3703154070 3041737512 1072790256 3442258454 3140566352 410632662 2176967289 3170036302 173768616 3385965539 251748509 4176118883 2539911304 1417821093 2234201742 3597702797 3641056690 740285929 3205543039 2325869096 197901811 3135923622 1651576055 689146601 1369604090 932524353 3540805991 3026287899 1980346415 4029605440 3000927118 44026677 2174450818 2173614808 2103585826 629780883 4130899640 751784813 3033337136 3787576760 25837986 3421928134 1233635963 2752949979 3571137858 4198570523 708508229 4280197906 3415175616 3556694305 311426747 1239327247 3640074841 2452831521 723766312 1475689844 622920134 1734444848 2874014398 757650881 1438541173 3583889518 476903037 3672300662 2985484157 2344970054 90492510 3292290666 616760607 3909637616 3133984816 3904124429 2491455524 919155135 2475758469 64192337 1531990355 3962408325 495249134 4117208070 3769404950 1633586355 760797327 900046060 3243614461 2012116393 916708615 2951352782 2406749792 3657800551 1156292410 2881204394 2863166620 3512136813 2508419348 1401111614 3246300430 2219454909 3170282958 3083589609 2752050907 3709107567 3164904847 3342367865 280800736 3988329374 1980695516 1592641431 3185585505 3317919937 1605976566 980282725 3361741726 2325903443 2671651242 1237934202 3965110266 3376820975 646799967 3077339308 1633680119 1267808483 3410509560 3920671276 4228509743 2709606805 1886655553 2726425892 1927263367 1957213588 3497322172 2470426786 1855232436 3291670288 9399846 1159028175 1613161133 293052701 3985761571 3531017283 2162215851 597159009 2992862103 1502049404 865129173 2928880489 297239650 1353476637 420552947 3411340478 675545820 2429898223 109309565 1973477586 2275947864 3419675354 2974875590 2061957867 3288643103 3834821389 2870787819 643700233 1427235655 298267512 751335446 1682443926 3557211222 1494933960 82573878 788094765 3884373920 1927764830 486053665 798320511 2308838585 1425890792 3309089259 2401008988 667769556 4264204261 2197018716 2770444926 1304899204 1566664305 521053204 1399526090 22052217 1661995799 2916937512 1274325568 2479969011 2930421718 848116638 1695604387 1257964877 1461349490 2033290757 3725899729 786223789 270871749 1712147478 255 362436" option to reproduce the execution
1.49/1.51	c #vars 65701
1.49/1.51	c #constraints 195481

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

pid=6169
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.01 2.05 2.08 3/179 6172
/proc/meminfo: memFree=30162072/32872528 swapFree=526336/559040
[pid=6172] ppid=6169 vsize=465340 CPUtime=0 cores=0,2,4,6
/proc/6172/stat : 6172 (toysat) R 6169 6172 28898 0 -1 4202496 1688 0 0 0 0 0 0 0 20 0 4 0 27578919 476508160 2560 33554432000 4194304 16246674 140735460346560 140735460345984 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6172/statm: 117103 2570 441 2943 0 113997 0
[pid=6172/tid=6173] ppid=6169 vsize=510396 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6173/stat : 6173 (toysat) S 6169 6172 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27578919 522645504 2737 33554432000 4194304 16246674 140735460346560 139772049730800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6172/tid=6174] ppid=6169 vsize=516540 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6174/stat : 6174 (toysat) S 6169 6172 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27578919 528936960 2757 33554432000 4194304 16246674 140735460346560 139772039240944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6172/tid=6175] ppid=6169 vsize=520636 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6175/stat : 6175 (toysat) S 6169 6172 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27578919 533131264 2775 33554432000 4194304 16246674 140735460346560 139771926015152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100205 s]
/proc/loadavg: 2.01 2.05 2.08 3/179 6172
/proc/meminfo: memFree=30162072/32872528 swapFree=526336/559040
[pid=6172] ppid=6169 vsize=1221188 CPUtime=0.08 cores=0,2,4,6
/proc/6172/stat : 6172 (toysat) R 6169 6172 28898 0 -1 4202496 26103 0 0 0 5 3 0 0 20 0 4 0 27578919 1250496512 26912 33554432000 4194304 16246674 140735460346560 140735460345872 4221137 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6172/statm: 305297 26912 800 2943 0 302191 0
[pid=6172/tid=6173] ppid=6169 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6173/stat : 6173 (toysat) S 6169 6172 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27578919 1250496512 26912 33554432000 4194304 16246674 140735460346560 139772049730800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6172/tid=6174] ppid=6169 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6174/stat : 6174 (toysat) S 6169 6172 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27578919 1250496512 26912 33554432000 4194304 16246674 140735460346560 139772039240944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6172/tid=6175] ppid=6169 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6175/stat : 6175 (toysat) S 6169 6172 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27578919 1250496512 26912 33554432000 4194304 16246674 140735460346560 139771926015152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.200528 s]
/proc/loadavg: 2.01 2.05 2.08 3/179 6172
/proc/meminfo: memFree=30162072/32872528 swapFree=526336/559040
[pid=6172] ppid=6169 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/6172/stat : 6172 (toysat) R 6169 6172 28898 0 -1 4202496 48051 0 0 0 13 6 0 0 20 0 4 0 27578919 1342771200 49371 33554432000 4194304 16246674 140735460346560 140735460345872 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6172/statm: 327825 49378 800 2943 0 324719 0
[pid=6172/tid=6173] ppid=6169 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6173/stat : 6173 (toysat) S 6169 6172 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27578919 1342771200 49383 33554432000 4194304 16246674 140735460346560 139772049730800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6172/tid=6174] ppid=6169 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6174/stat : 6174 (toysat) S 6169 6172 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27578919 1342771200 49387 33554432000 4194304 16246674 140735460346560 139772039240944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6172/tid=6175] ppid=6169 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6175/stat : 6175 (toysat) S 6169 6172 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27578919 1342771200 49391 33554432000 4194304 16246674 140735460346560 139771926015152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300478 s]
/proc/loadavg: 2.01 2.05 2.08 3/179 6172
/proc/meminfo: memFree=30162072/32872528 swapFree=526336/559040
[pid=6172] ppid=6169 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/6172/stat : 6172 (toysat) R 6169 6172 28898 0 -1 4202496 61154 0 0 0 20 8 0 0 20 0 4 0 27578919 1344868352 62474 33554432000 4194304 16246674 140735460346560 140735460345872 4220978 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6172/statm: 328337 62474 800 2943 0 325231 0
[pid=6172/tid=6173] ppid=6169 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6173/stat : 6173 (toysat) S 6169 6172 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27578919 1344868352 62474 33554432000 4194304 16246674 140735460346560 139772049730800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6172/tid=6174] ppid=6169 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6174/stat : 6174 (toysat) S 6169 6172 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27578919 1344868352 62474 33554432000 4194304 16246674 140735460346560 139772039240944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6172/tid=6175] ppid=6169 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6175/stat : 6175 (toysat) S 6169 6172 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27578919 1344868352 62474 33554432000 4194304 16246674 140735460346560 139771926015152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700412 s]
/proc/loadavg: 2.01 2.05 2.08 3/179 6172
/proc/meminfo: memFree=30162072/32872528 swapFree=526336/559040
[pid=6172] ppid=6169 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/6172/stat : 6172 (toysat) R 6169 6172 28898 0 -1 4202496 70192 0 0 0 59 10 0 0 20 0 4 0 27578919 1344868352 71512 33554432000 4194304 16246674 140735460346560 140735460329552 7383953 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6172/statm: 328337 71512 801 2943 0 325231 0
[pid=6172/tid=6173] ppid=6169 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6173/stat : 6173 (toysat) S 6169 6172 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27578919 1344868352 71512 33554432000 4194304 16246674 140735460346560 139772049730800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6172/tid=6174] ppid=6169 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6174/stat : 6174 (toysat) S 6169 6172 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27578919 1344868352 71512 33554432000 4194304 16246674 140735460346560 139772039240944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6172/tid=6175] ppid=6169 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6175/stat : 6175 (toysat) S 6169 6172 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27578919 1344868352 71512 33554432000 4194304 16246674 140735460346560 139771926015152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50041 s]
/proc/loadavg: 2.01 2.05 2.08 3/183 6176
/proc/meminfo: memFree=29843896/32872528 swapFree=526336/559040
[pid=6172] ppid=6169 vsize=1325636 CPUtime=1.49 cores=0,2,4,6
/proc/6172/stat : 6172 (toysat) R 6169 6172 28898 0 -1 4202496 78488 0 0 0 137 12 0 0 20 0 4 0 27578919 1357451264 82874 33554432000 4194304 16246674 140735460346560 140735460329552 14073425 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6172/statm: 331409 82874 803 2943 0 328303 0
[pid=6172/tid=6173] ppid=6169 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6173/stat : 6173 (toysat) S 6169 6172 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27578919 1357451264 82874 33554432000 4194304 16246674 140735460346560 139772049730800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6172/tid=6174] ppid=6169 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6174/stat : 6174 (toysat) S 6169 6172 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27578919 1357451264 82874 33554432000 4194304 16246674 140735460346560 139772039240944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6172/tid=6175] ppid=6169 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6175/stat : 6175 (toysat) S 6169 6172 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27578919 1357451264 82874 33554432000 4194304 16246674 140735460346560 139771926015152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1325636

[startup+3.1004 s]
/proc/loadavg: 2.01 2.05 2.08 3/183 6176
/proc/meminfo: memFree=29455516/32872528 swapFree=526336/559040
[pid=6172] ppid=6169 vsize=1336900 CPUtime=3.09 cores=0,2,4,6
/proc/6172/stat : 6172 (toysat) R 6169 6172 28898 0 -1 4202496 271773 0 0 0 267 42 0 0 20 0 4 0 27578919 1368985600 276159 33554432000 4194304 16246674 140735460346560 140735460328448 6938580 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6172/statm: 334225 276159 837 2943 0 331119 0
[pid=6172/tid=6173] ppid=6169 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6173/stat : 6173 (toysat) S 6169 6172 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27578919 1368985600 276159 33554432000 4194304 16246674 140735460346560 139772049730800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6172/tid=6174] ppid=6169 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6174/stat : 6174 (toysat) S 6169 6172 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27578919 1368985600 276159 33554432000 4194304 16246674 140735460346560 139772039240944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6172/tid=6175] ppid=6169 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6175/stat : 6175 (toysat) S 6169 6172 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27578919 1368985600 276159 33554432000 4194304 16246674 140735460346560 139771926015152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1336900

[startup+6.30041 s]
/proc/loadavg: 2.01 2.05 2.08 3/183 6176
/proc/meminfo: memFree=29050352/32872528 swapFree=526336/559040
[pid=6172] ppid=6169 vsize=1504836 CPUtime=6.29 cores=0,2,4,6
/proc/6172/stat : 6172 (toysat) R 6169 6172 28898 0 -1 4202496 313725 0 0 0 581 48 0 0 20 0 4 0 27578919 1540952064 318111 33554432000 4194304 16246674 140735460346560 140735460345872 4206600 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6172/statm: 376209 318111 847 2943 0 373103 0
[pid=6172/tid=6173] ppid=6169 vsize=1504836 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6173/stat : 6173 (toysat) S 6169 6172 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27578919 1540952064 318111 33554432000 4194304 16246674 140735460346560 139772049730800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6172/tid=6174] ppid=6169 vsize=1504836 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6174/stat : 6174 (toysat) S 6169 6172 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27578919 1540952064 318111 33554432000 4194304 16246674 140735460346560 139772039240944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6172/tid=6175] ppid=6169 vsize=1504836 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6175/stat : 6175 (toysat) S 6169 6172 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27578919 1540952064 318111 33554432000 4194304 16246674 140735460346560 139771926015152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1504836

[startup+12.7004 s]
/proc/loadavg: 2.01 2.05 2.08 3/183 6176
/proc/meminfo: memFree=28295728/32872528 swapFree=526336/559040
[pid=6172] ppid=6169 vsize=2098756 CPUtime=12.69 cores=0,2,4,6
/proc/6172/stat : 6172 (toysat) R 6169 6172 28898 0 -1 4202496 462256 0 0 0 1204 65 0 0 20 0 4 0 27578919 2149126144 466642 33554432000 4194304 16246674 140735460346560 140735460345736 13878758 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6172/statm: 524689 466642 847 2943 0 521583 0
[pid=6172/tid=6173] ppid=6169 vsize=2098756 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6173/stat : 6173 (toysat) S 6169 6172 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27578919 2149126144 466642 33554432000 4194304 16246674 140735460346560 139772049730800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6172/tid=6174] ppid=6169 vsize=2098756 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6174/stat : 6174 (toysat) S 6169 6172 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27578919 2149126144 466642 33554432000 4194304 16246674 140735460346560 139772039240944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6172/tid=6175] ppid=6169 vsize=2098756 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6175/stat : 6175 (toysat) S 6169 6172 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27578919 2149126144 466642 33554432000 4194304 16246674 140735460346560 139771926015152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2098756

[startup+25.5005 s]
/proc/loadavg: 2.01 2.05 2.07 3/183 6176
/proc/meminfo: memFree=25840032/32872528 swapFree=526336/559040
[pid=6172] ppid=6169 vsize=4550212 CPUtime=25.48 cores=0,2,4,6
/proc/6172/stat : 6172 (toysat) R 6169 6172 28898 0 -1 4202496 1075121 0 0 0 2401 147 0 0 20 0 4 0 27578919 4659417088 1079510 33554432000 4194304 16246674 140735460346560 140735460345656 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6172/statm: 1137553 1079510 847 2943 0 1134447 0
[pid=6172/tid=6173] ppid=6169 vsize=4550212 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6173/stat : 6173 (toysat) S 6169 6172 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27578919 4659417088 1079510 33554432000 4194304 16246674 140735460346560 139772049730800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6172/tid=6174] ppid=6169 vsize=4550212 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6174/stat : 6174 (toysat) S 6169 6172 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27578919 4659417088 1079510 33554432000 4194304 16246674 140735460346560 139772039240944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6172/tid=6175] ppid=6169 vsize=4550212 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6175/stat : 6175 (toysat) S 6169 6172 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27578919 4659417088 1079510 33554432000 4194304 16246674 140735460346560 139771926015152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4550212

[startup+51.1005 s]
/proc/loadavg: 2.00 2.04 2.07 3/183 6176
/proc/meminfo: memFree=21215812/32872528 swapFree=526336/559040
[pid=6172] ppid=6169 vsize=9478724 CPUtime=51.08 cores=0,2,4,6
/proc/6172/stat : 6172 (toysat) R 6169 6172 28898 0 -1 4202496 2307128 0 0 0 4800 308 0 0 20 0 4 0 27578919 9706213376 2311517 33554432000 4194304 16246674 140735460346560 140735460345224 4221799 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6172/statm: 2369681 2311524 847 2943 0 2366575 0
[pid=6172/tid=6173] ppid=6169 vsize=9478724 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6173/stat : 6173 (toysat) S 6169 6172 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27578919 9706213376 2311528 33554432000 4194304 16246674 140735460346560 139772049730800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6172/tid=6174] ppid=6169 vsize=9478724 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6174/stat : 6174 (toysat) S 6169 6172 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27578919 9706213376 2311533 33554432000 4194304 16246674 140735460346560 139772039240720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6172/tid=6175] ppid=6169 vsize=9478724 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6175/stat : 6175 (toysat) S 6169 6172 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27578919 9706213376 2311537 33554432000 4194304 16246674 140735460346560 139771926015152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9478724

[startup+102.3 s]
/proc/loadavg: 2.11 2.07 2.08 3/183 6178
/proc/meminfo: memFree=16867112/32872528 swapFree=526336/559040
[pid=6172] ppid=6169 vsize=13505092 CPUtime=102.27 cores=0,2,4,6
/proc/6172/stat : 6172 (toysat) R 6169 6172 28898 0 -1 4202496 3313845 0 0 0 9773 454 0 0 20 0 4 0 27578919 13829214208 3318234 33554432000 4194304 16246674 140735460346560 140735460344512 13899626 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6172/statm: 3376273 3318234 848 2943 0 3373167 0
[pid=6172/tid=6173] ppid=6169 vsize=13505092 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6173/stat : 6173 (toysat) S 6169 6172 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27578919 13829214208 3318234 33554432000 4194304 16246674 140735460346560 139772049730800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6172/tid=6174] ppid=6169 vsize=13505092 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6174/stat : 6174 (toysat) S 6169 6172 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27578919 13829214208 3318234 33554432000 4194304 16246674 140735460346560 139772039240720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6172/tid=6175] ppid=6169 vsize=13505092 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6175/stat : 6175 (toysat) S 6169 6172 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27578919 13829214208 3318234 33554432000 4194304 16246674 140735460346560 139771926015152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 13505092



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+160.1 s]
/proc/loadavg: 2.04 2.05 2.07 3/184 6182
/proc/meminfo: memFree=14572104/32872528 swapFree=526336/559040
[pid=6172] ppid=6169 vsize=15875652 CPUtime=160.04 cores=0,2,4,6
/proc/6172/stat : 6172 (toysat) R 6169 6172 28898 0 -1 4202496 3906391 0 0 0 15461 543 0 0 20 0 4 0 27578919 16256667648 3910780 33554432000 4194304 16246674 140735460346560 140735460345736 12490031 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6172/statm: 3968913 3910780 852 2943 0 3965807 0
[pid=6172/tid=6173] ppid=6169 vsize=15875652 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6173/stat : 6173 (toysat) S 6169 6172 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27578919 16256667648 3910780 33554432000 4194304 16246674 140735460346560 139772049730800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6172/tid=6174] ppid=6169 vsize=15875652 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6174/stat : 6174 (toysat) S 6169 6172 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27578919 16256667648 3910780 33554432000 4194304 16246674 140735460346560 139772039240944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6172/tid=6175] ppid=6169 vsize=15875652 CPUtime=0 cores=0,2,4,6
/proc/6172/task/6175/stat : 6175 (toysat) S 6169 6172 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27578919 16256667648 3910780 33554432000 4194304 16246674 140735460346560 139771926015152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (KiB) 15875652

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

[startup+160.4 s]
/proc/loadavg: 2.04 2.05 2.07 3/184 6182
/proc/meminfo: memFree=14572104/32872528 swapFree=526336/559040
[pid=6172] ppid=6169 vsize=0 CPUtime=160.33 cores=0,2,4,6
/proc/6172/stat : 6172 (toysat) Z 6169 6172 28898 0 -1 4203532 3906568 0 0 0 15461 572 0 0 20 0 2 0 27578919 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6172/statm: 0 0 0 0 0 0 0
[pid=6172/tid=6173] ppid=6169 vsize=0 CPUtime=0.28 cores=0,2,4,6
/proc/6172/task/6173/stat : 6173 (toysat) R 6169 6172 28898 0 -1 4203588 9 0 0 0 0 28 0 0 20 0 2 0 27578919 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) 160.33
Current children cumulated vsize (KiB) 0

[startup+160.8 s]
/proc/loadavg: 2.04 2.05 2.07 3/182 6182
/proc/meminfo: memFree=23939052/32872528 swapFree=526336/559040
[pid=6172] ppid=6169 vsize=0 CPUtime=160.73 cores=0,2,4,6
/proc/6172/stat : 6172 (toysat) Z 6169 6172 28898 0 -1 4203532 3906568 0 0 0 15461 612 0 0 20 0 2 0 27578919 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6172/statm: 0 0 0 0 0 0 0
[pid=6172/tid=6173] ppid=6169 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/6172/task/6173/stat : 6173 (toysat) R 6169 6172 28898 0 -1 4203588 9 0 0 0 0 68 0 0 20 0 2 0 27578919 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) 160.73
Current children cumulated vsize (KiB) 0

[startup+160.9 s]
/proc/loadavg: 2.04 2.05 2.07 3/182 6182
/proc/meminfo: memFree=23939052/32872528 swapFree=526336/559040
[pid=6172] ppid=6169 vsize=0 CPUtime=160.83 cores=0,2,4,6
/proc/6172/stat : 6172 (toysat) Z 6169 6172 28898 0 -1 4203532 3906568 0 0 0 15461 622 0 0 20 0 2 0 27578919 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6172/statm: 0 0 0 0 0 0 0
[pid=6172/tid=6173] ppid=6169 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/6172/task/6173/stat : 6173 (toysat) R 6169 6172 28898 0 -1 4203588 9 0 0 0 0 78 0 0 20 0 2 0 27578919 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) 160.83
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 160.944
CPU time (s): 160.879
CPU user time (s): 154.619
CPU system time (s): 6.26005
CPU usage (%): 99.9591
Max. virtual memory (cumulated for all children) (KiB): 15875652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 154.618
system time used= 6.26005
maximum resident set size= 15643828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3906568
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= 88
involuntary context switches= 179

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.410937 second user time and 0.624905 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 15:08:08
IDJOB=4105689
IDBENCH=2979
IDSOLVER=2542
FILE ID=node106/4105689-1466255287
RUNJOBID= node106-1466241787-28914
PBS_JOBID= 19918214
Free space on /tmp= 71676 MiB

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

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

MD5SUM BENCH= daef519cc387cb4190b46c644ef26a75
RANDOM SEED=432899552

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30162708 kB
Buffers:          101176 kB
Cached:           228740 kB
SwapCached:         1868 kB
Active:          1177460 kB
Inactive:         225572 kB
Active(anon):    1072696 kB
Inactive(anon):     3048 kB
Active(file):     104764 kB
Inactive(file):   222524 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             27192 kB
Writeback:             0 kB
AnonPages:       1631816 kB
Mapped:            10464 kB
Shmem:                 0 kB
Slab:             612628 kB
SReclaimable:      56280 kB
SUnreclaim:       556348 kB
KernelStack:        1464 kB
PageTables:         7392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1777172 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1099776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

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