Trace number 4079084

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (MO) 158.202 158.249

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159-max.opb
MD5SUM7e6b5d1bb2d5498810142d4e4cc2c6f4
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 variables45751
Total number of constraints135901
Number of constraints which are clauses135900
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 constraint45300
Number of terms in the objective function 151
Biggest coefficient in the objective function 1427247692705959881058285969449495136382746624
Number of bits for the biggest coefficient in the objective function 151
Sum of the numbers in the objective function 2854495385411919762116571938898990272765493247
Number of bits of the sum of numbers in the objective function 151
Biggest number in a constraint 1453677448591213781098647615776009068707282721374636120562980398361278576226795846652382101427527131121525043212532355867069203257229312
Number of bits of the biggest number in a constraint 450
Biggest sum of numbers in a constraint 5814709794364855124394590463104036274829130884415680534709393500410164485780207399841635394555886269312423583179230372744812869772975784
Number of bits of the biggest sum of numbers451
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:17:30+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-4079084-1465247850.opb"]
0.00/0.01	c use --random-gen="631323573 172022263 1479840207 1063188452 1936379860 2600409386 3285781661 811790041 1168650995 3021749566 3116645843 2157975603 870709846 1419643040 3267567466 2297258647 1936761299 2401225791 2603808473 801733301 1632349358 326125362 3812212836 2549381512 2912586250 2033843392 1991319190 3293062398 4191275384 1653956155 37632310 4056915903 3850583563 1674265640 249927579 489578819 196086605 789922019 2188932526 3614725359 4098028783 1258242423 2154880365 2714695221 2860253593 692054661 392423150 2883917438 1706621267 2744336369 343035292 3017353769 1625213961 3448819510 2280284971 2552318488 1851778393 1178372343 1823319822 2479998997 1741445007 1501976394 1768408267 2267212285 938849183 3325028843 1780566067 526786393 1747918322 3047656676 1643213420 3488705785 4212959171 3259551557 421343847 1721000138 3146205181 2825520322 2298710399 2260544097 2518300290 2114769733 2282992362 3759489217 72945429 2491452182 520814360 192685497 3236417369 3922816920 963513777 1777704300 1435826082 1558125399 2486513413 869631315 744398336 2653209222 2239244044 3028927526 2206965569 3127408276 1731749577 2389878556 2844927270 3900051416 2273637265 1096664709 2151420280 3036359032 684234729 3597205717 3703641082 2010124127 2143559050 2788412947 2390410764 2878852511 72721506 3134687082 3393860274 3856106004 3373651391 1437953136 3116039703 636398868 582582782 279843179 2409861194 2803636788 2862957198 367149188 3884293468 856073124 441431867 4008434097 786336303 927082594 3257885254 2790087213 1266617801 1307542386 49307717 2244956361 2494972295 3045544341 2526506034 3118348417 411034124 4128369141 3804056140 2909035961 3073634114 2878521433 428441822 3075782729 2408535432 2289466072 1625683457 533939429 1539350210 569003747 3566355709 2285593505 4266085911 1092126882 3493225634 1927070830 3362665961 1948567719 376220503 786445957 2017368221 2722605676 1387985915 3977843982 2533650117 3495540037 2775057901 2860837795 2547869532 481033056 3665720800 1436591119 424992015 1095461711 1486144282 2636638654 2618796729 3055591599 1654423817 422383285 284244715 3192517204 6531297 2202123279 171885753 1227365515 651430270 3280208509 3883222513 4076865466 2427046658 2379736655 2927183830 3658309298 1530356246 3718647287 2597666293 4143860564 1093308117 504165811 3541433818 2189310778 3342967755 367845000 3052564400 798562495 1912074554 2069911342 3598055475 3387118794 3583482354 2366646745 551173930 1828582400 3445582534 3406253514 2407689907 3097593233 2824933511 2887804376 2795474817 2258213656 4074197667 1116032051 3342048499 3227097250 2550297458 1236669211 1573315346 3726462209 1683122050 866392254 3879687666 2801463077 410029119 3690703624 952829771 2937847369 666105847 4206098220 3295142506 1589473869 2017344492 1351373828 255 362436" option to reproduce the execution
0.89/0.99	c #vars 45751
0.89/0.99	c #constraints 135901

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

pid=4307
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.04 2.01 2.00 3/179 4310
/proc/meminfo: memFree=30552076/32872528 swapFree=10676/249824
[pid=4310] ppid=4307 vsize=702908 CPUtime=0 cores=0,2,4,6
/proc/4310/stat : 4310 (toysat) R 4307 4310 1222 0 -1 4202496 2617 0 0 0 0 0 0 0 20 0 4 0 106720472 719777792 2978 33554432000 4194304 16246674 140735589735888 140735589735312 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4310/statm: 176495 2990 441 2943 0 173389 0
[pid=4310/tid=4311] ppid=4307 vsize=721340 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4311/stat : 4311 (toysat) S 4307 4310 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106720472 738652160 3052 33554432000 4194304 16246674 140735589735888 140006674902256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4310/tid=4312] ppid=4307 vsize=725436 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4312/stat : 4312 (toysat) S 4307 4310 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106720472 742846464 3068 33554432000 4194304 16246674 140735589735888 140006664412400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4310/tid=4313] ppid=4307 vsize=730556 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4313/stat : 4313 (toysat) S 4307 4310 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106720472 748089344 3084 33554432000 4194304 16246674 140735589735888 140006653938864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 4310
/proc/meminfo: memFree=30552076/32872528 swapFree=10676/249824
[pid=4310] ppid=4307 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/4310/stat : 4310 (toysat) R 4307 4310 1222 0 -1 4202496 27362 0 0 0 5 4 0 0 20 0 4 0 106720472 1332285440 27661 33554432000 4194304 16246674 140735589735888 140735589735200 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4310/statm: 325265 27676 801 2943 0 322159 0
[pid=4310/tid=4311] ppid=4307 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4311/stat : 4311 (toysat) S 4307 4310 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106720472 1332285440 27687 33554432000 4194304 16246674 140735589735888 140006674902256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4310/tid=4312] ppid=4307 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4312/stat : 4312 (toysat) S 4307 4310 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106720472 1332285440 27697 33554432000 4194304 16246674 140735589735888 140006664412400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4310/tid=4313] ppid=4307 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4313/stat : 4313 (toysat) S 4307 4310 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106720472 1332285440 27709 33554432000 4194304 16246674 140735589735888 140006653938864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200507 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 4310
/proc/meminfo: memFree=30552076/32872528 swapFree=10676/249824
[pid=4310] ppid=4307 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/4310/stat : 4310 (toysat) R 4307 4310 1222 0 -1 4202496 49721 0 0 0 11 8 0 0 20 0 4 0 106720472 1344868352 50532 33554432000 4194304 16246674 140735589735888 140735589735200 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4310/statm: 328337 50538 801 2943 0 325231 0
[pid=4310/tid=4311] ppid=4307 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4311/stat : 4311 (toysat) S 4307 4310 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106720472 1344868352 50542 33554432000 4194304 16246674 140735589735888 140006674902256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4310/tid=4312] ppid=4307 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4312/stat : 4312 (toysat) S 4307 4310 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106720472 1344868352 50546 33554432000 4194304 16246674 140735589735888 140006664412400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4310/tid=4313] ppid=4307 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4313/stat : 4313 (toysat) S 4307 4310 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106720472 1344868352 50551 33554432000 4194304 16246674 140735589735888 140006653938864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300457 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 4310
/proc/meminfo: memFree=30552076/32872528 swapFree=10676/249824
[pid=4310] ppid=4307 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/4310/stat : 4310 (toysat) R 4307 4310 1222 0 -1 4202496 61487 0 0 0 19 10 0 0 20 0 4 0 106720472 1345916928 62297 33554432000 4194304 16246674 140735589735888 140735589735200 4220990 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4310/statm: 328593 62297 801 2943 0 325487 0
[pid=4310/tid=4311] ppid=4307 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4311/stat : 4311 (toysat) S 4307 4310 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106720472 1345916928 62297 33554432000 4194304 16246674 140735589735888 140006674902256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4310/tid=4312] ppid=4307 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4312/stat : 4312 (toysat) S 4307 4310 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106720472 1345916928 62297 33554432000 4194304 16246674 140735589735888 140006664412400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4310/tid=4313] ppid=4307 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4313/stat : 4313 (toysat) S 4307 4310 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106720472 1345916928 62297 33554432000 4194304 16246674 140735589735888 140006653938864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700404 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 4310
/proc/meminfo: memFree=30552076/32872528 swapFree=10676/249824
[pid=4310] ppid=4307 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/4310/stat : 4310 (toysat) R 4307 4310 1222 0 -1 4202496 70702 0 0 0 58 11 0 0 20 0 4 0 106720472 1345916928 71512 33554432000 4194304 16246674 140735589735888 140735589735200 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4310/statm: 328593 71512 801 2943 0 325487 0
[pid=4310/tid=4311] ppid=4307 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4311/stat : 4311 (toysat) S 4307 4310 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106720472 1345916928 71512 33554432000 4194304 16246674 140735589735888 140006674902256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4310/tid=4312] ppid=4307 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4312/stat : 4312 (toysat) S 4307 4310 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106720472 1345916928 71512 33554432000 4194304 16246674 140735589735888 140006664412400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4310/tid=4313] ppid=4307 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4313/stat : 4313 (toysat) S 4307 4310 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106720472 1345916928 71512 33554432000 4194304 16246674 140735589735888 140006653938864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50039 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 4314
/proc/meminfo: memFree=30253904/32872528 swapFree=10676/249824
[pid=4310] ppid=4307 vsize=1327684 CPUtime=1.49 cores=0,2,4,6
/proc/4310/stat : 4310 (toysat) R 4307 4310 1222 0 -1 4202496 141714 0 0 0 128 21 0 0 20 0 4 0 106720472 1359548416 144568 33554432000 4194304 16246674 140735589735888 140735589717760 6756338 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4310/statm: 331921 144576 836 2943 0 328815 0
[pid=4310/tid=4311] ppid=4307 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4311/stat : 4311 (toysat) S 4307 4310 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106720472 1359548416 144581 33554432000 4194304 16246674 140735589735888 140006674902256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4310/tid=4312] ppid=4307 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4312/stat : 4312 (toysat) S 4307 4310 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106720472 1359548416 144587 33554432000 4194304 16246674 140735589735888 140006664412400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4310/tid=4313] ppid=4307 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4313/stat : 4313 (toysat) S 4307 4310 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106720472 1359548416 144591 33554432000 4194304 16246674 140735589735888 140006653938864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1327684

[startup+3.1004 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 4314
/proc/meminfo: memFree=29486592/32872528 swapFree=10676/249824
[pid=4310] ppid=4307 vsize=1327684 CPUtime=3.09 cores=0,2,4,6
/proc/4310/stat : 4310 (toysat) R 4307 4310 1222 0 -1 4202496 269478 0 0 0 270 39 0 0 20 0 4 0 106720472 1359548416 273354 33554432000 4194304 16246674 140735589735888 140735589733824 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4310/statm: 331921 273354 836 2943 0 328815 0
[pid=4310/tid=4311] ppid=4307 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4311/stat : 4311 (toysat) S 4307 4310 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106720472 1359548416 273354 33554432000 4194304 16246674 140735589735888 140006674902256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4310/tid=4312] ppid=4307 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4312/stat : 4312 (toysat) S 4307 4310 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106720472 1359548416 273354 33554432000 4194304 16246674 140735589735888 140006664412400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4310/tid=4313] ppid=4307 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4313/stat : 4313 (toysat) S 4307 4310 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106720472 1359548416 273354 33554432000 4194304 16246674 140735589735888 140006653938864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1327684

[startup+6.3004 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 4314
/proc/meminfo: memFree=29218008/32872528 swapFree=10676/249824
[pid=4310] ppid=4307 vsize=1568324 CPUtime=6.28 cores=0,2,4,6
/proc/4310/stat : 4310 (toysat) R 4307 4310 1222 0 -1 4202496 329553 0 0 0 582 46 0 0 20 0 4 0 106720472 1605963776 333429 33554432000 4194304 16246674 140735589735888 140735589735200 13767180 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4310/statm: 392081 333429 845 2943 0 388975 0
[pid=4310/tid=4311] ppid=4307 vsize=1568324 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4311/stat : 4311 (toysat) S 4307 4310 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106720472 1605963776 333429 33554432000 4194304 16246674 140735589735888 140006674902256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4310/tid=4312] ppid=4307 vsize=1568324 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4312/stat : 4312 (toysat) S 4307 4310 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106720472 1605963776 333429 33554432000 4194304 16246674 140735589735888 140006664412400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4310/tid=4313] ppid=4307 vsize=1568324 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4313/stat : 4313 (toysat) S 4307 4310 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106720472 1605963776 333429 33554432000 4194304 16246674 140735589735888 140006653938864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1568324

[startup+12.7004 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 4314
/proc/meminfo: memFree=28892464/32872528 swapFree=10676/249824
[pid=4310] ppid=4307 vsize=1892932 CPUtime=12.69 cores=0,2,4,6
/proc/4310/stat : 4310 (toysat) R 4307 4310 1222 0 -1 4202496 410800 0 0 0 1212 57 0 0 20 0 4 0 106720472 1938362368 414676 33554432000 4194304 16246674 140735589735888 140735589734984 4225146 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4310/statm: 473233 414676 845 2943 0 470127 0
[pid=4310/tid=4311] ppid=4307 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4311/stat : 4311 (toysat) S 4307 4310 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106720472 1938362368 414676 33554432000 4194304 16246674 140735589735888 140006674902256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4310/tid=4312] ppid=4307 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4312/stat : 4312 (toysat) S 4307 4310 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106720472 1938362368 414676 33554432000 4194304 16246674 140735589735888 140006664412400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4310/tid=4313] ppid=4307 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4313/stat : 4313 (toysat) S 4307 4310 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106720472 1938362368 414676 33554432000 4194304 16246674 140735589735888 140006653938864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1892932

[startup+25.5005 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 4314
/proc/meminfo: memFree=26796480/32872528 swapFree=10676/249824
[pid=4310] ppid=4307 vsize=3984964 CPUtime=25.48 cores=0,2,4,6
/proc/4310/stat : 4310 (toysat) R 4307 4310 1222 0 -1 4202496 933808 0 0 0 2423 125 0 0 20 0 4 0 106720472 4080603136 937684 33554432000 4194304 16246674 140735589735888 140735589734984 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4310/statm: 996241 937684 845 2943 0 993135 0
[pid=4310/tid=4311] ppid=4307 vsize=3984964 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4311/stat : 4311 (toysat) S 4307 4310 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106720472 4080603136 937684 33554432000 4194304 16246674 140735589735888 140006674902256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4310/tid=4312] ppid=4307 vsize=3984964 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4312/stat : 4312 (toysat) S 4307 4310 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106720472 4080603136 937684 33554432000 4194304 16246674 140735589735888 140006664412400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4310/tid=4313] ppid=4307 vsize=3984964 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4313/stat : 4313 (toysat) S 4307 4310 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106720472 4080603136 937684 33554432000 4194304 16246674 140735589735888 140006653938864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3984964

[startup+51.1005 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 4314
/proc/meminfo: memFree=21645616/32872528 swapFree=10676/249824
[pid=4310] ppid=4307 vsize=9125444 CPUtime=51.09 cores=0,2,4,6
/proc/4310/stat : 4310 (toysat) R 4307 4310 1222 0 -1 4202496 2218930 0 0 0 4813 296 0 0 20 0 4 0 106720472 9344454656 2222806 33554432000 4194304 16246674 140735589735888 140735589734984 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4310/statm: 2281361 2222806 845 2943 0 2278255 0
[pid=4310/tid=4311] ppid=4307 vsize=9125444 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4311/stat : 4311 (toysat) S 4307 4310 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106720472 9344454656 2222806 33554432000 4194304 16246674 140735589735888 140006674902256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4310/tid=4312] ppid=4307 vsize=9125444 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4312/stat : 4312 (toysat) S 4307 4310 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106720472 9344454656 2222806 33554432000 4194304 16246674 140735589735888 140006664412400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4310/tid=4313] ppid=4307 vsize=9125444 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4313/stat : 4313 (toysat) S 4307 4310 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106720472 9344454656 2222806 33554432000 4194304 16246674 140735589735888 140006653938864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 9125444

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4315
/proc/meminfo: memFree=17819060/32872528 swapFree=10676/249824
[pid=4310] ppid=4307 vsize=12944964 CPUtime=102.28 cores=0,2,4,6
/proc/4310/stat : 4310 (toysat) R 4307 4310 1222 0 -1 4202496 3173816 0 0 0 9796 432 0 0 20 0 4 0 106720472 13255643136 3177692 33554432000 4194304 16246674 140735589735888 140735589733696 14013949 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4310/statm: 3236241 3177692 850 2943 0 3233135 0
[pid=4310/tid=4311] ppid=4307 vsize=12944964 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4311/stat : 4311 (toysat) S 4307 4310 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106720472 13255643136 3177692 33554432000 4194304 16246674 140735589735888 140006674902256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4310/tid=4312] ppid=4307 vsize=12944964 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4312/stat : 4312 (toysat) S 4307 4310 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106720472 13255643136 3177692 33554432000 4194304 16246674 140735589735888 140006664412176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4310/tid=4313] ppid=4307 vsize=12944964 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4313/stat : 4313 (toysat) S 4307 4310 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106720472 13255643136 3177692 33554432000 4194304 16246674 140735589735888 140006653938864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 12944964



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+157.2 s]
/proc/loadavg: 2.05 2.01 2.00 3/184 4319
/proc/meminfo: memFree=15141472/32872528 swapFree=10676/249824
[pid=4310] ppid=4307 vsize=15903300 CPUtime=157.16 cores=0,2,4,6
/proc/4310/stat : 4310 (toysat) R 4307 4310 1222 0 -1 4202496 3913184 0 0 0 15168 548 0 0 20 0 4 0 106720472 16284979200 3917058 33554432000 4194304 16246674 140735589735888 140735589734984 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4310/statm: 3975825 3917058 850 2943 0 3972719 0
[pid=4310/tid=4311] ppid=4307 vsize=15903300 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4311/stat : 4311 (toysat) S 4307 4310 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106720472 16284979200 3917058 33554432000 4194304 16246674 140735589735888 140006674902256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4310/tid=4312] ppid=4307 vsize=15903300 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4312/stat : 4312 (toysat) S 4307 4310 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106720472 16284979200 3917058 33554432000 4194304 16246674 140735589735888 140006664412400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4310/tid=4313] ppid=4307 vsize=15903300 CPUtime=0 cores=0,2,4,6
/proc/4310/task/4313/stat : 4313 (toysat) S 4307 4310 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106720472 16284979200 3917058 33554432000 4194304 16246674 140735589735888 140006653938864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 157.16
Current children cumulated vsize (KiB) 15903300

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

[startup+157.6 s]
/proc/loadavg: 2.05 2.01 2.00 3/182 4319
/proc/meminfo: memFree=16536700/32872528 swapFree=10676/249824
[pid=4310] ppid=4307 vsize=0 CPUtime=157.55 cores=0,2,4,6
/proc/4310/stat : 4310 (toysat) Z 4307 4310 1222 0 -1 4203532 3913704 0 0 0 15168 587 0 0 20 0 2 0 106720472 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4310/statm: 0 0 0 0 0 0 0
[pid=4310/tid=4311] ppid=4307 vsize=0 CPUtime=0.38 cores=0,2,4,6
/proc/4310/task/4311/stat : 4311 (toysat) R 4307 4310 1222 0 -1 4203588 9 0 0 0 0 38 0 0 20 0 2 0 106720472 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 157.55
Current children cumulated vsize (KiB) 0

[startup+158 s]
/proc/loadavg: 2.05 2.01 2.00 3/182 4319
/proc/meminfo: memFree=16536700/32872528 swapFree=10676/249824
[pid=4310] ppid=4307 vsize=0 CPUtime=157.95 cores=0,2,4,6
/proc/4310/stat : 4310 (toysat) Z 4307 4310 1222 0 -1 4203532 3913704 0 0 0 15168 627 0 0 20 0 2 0 106720472 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4310/statm: 0 0 0 0 0 0 0
[pid=4310/tid=4311] ppid=4307 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/4310/task/4311/stat : 4311 (toysat) R 4307 4310 1222 0 -1 4203588 9 0 0 0 0 78 0 0 20 0 2 0 106720472 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 157.95
Current children cumulated vsize (KiB) 0

[startup+158.2 s]
/proc/loadavg: 2.05 2.01 2.00 3/182 4319
/proc/meminfo: memFree=16536700/32872528 swapFree=10676/249824
[pid=4310] ppid=4307 vsize=0 CPUtime=158.15 cores=0,2,4,6
/proc/4310/stat : 4310 (toysat) Z 4307 4310 1222 0 -1 4203532 3913704 0 0 0 15168 647 0 0 20 0 2 0 106720472 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4310/statm: 0 0 0 0 0 0 0
[pid=4310/tid=4311] ppid=4307 vsize=0 CPUtime=0.98 cores=0,2,4,6
/proc/4310/task/4311/stat : 4311 (toysat) R 4307 4310 1222 0 -1 4203588 9 0 0 0 0 98 0 0 20 0 2 0 106720472 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 158.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 158.249
CPU time (s): 158.202
CPU user time (s): 151.687
CPU system time (s): 6.51501
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 15903300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 151.687
system time used= 6.51501
maximum resident set size= 15670312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3913704
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= 172

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.52492 second user time and 0.677896 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-06 23:17:30
IDJOB=4079084
IDBENCH=3012
IDSOLVER=2542
FILE ID=node103/4079084-1465247850
RUNJOBID= node103-1465221288-1238
PBS_JOBID= 19843228
Free space on /tmp= 71700 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159-max.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079084-1465247850/watcher-4079084-1465247850 -o /tmp/evaluation-result-4079084-1465247850/solver-4079084-1465247850 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1238 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079084-1465247850.opb

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

MD5SUM BENCH= 7e6b5d1bb2d5498810142d4e4cc2c6f4
RANDOM SEED=645843063

node103.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.760
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.52
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.760
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.760
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.56
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.760
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.760
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.760
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.760
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.760
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:        30552216 kB
Buffers:           52560 kB
Cached:           155572 kB
SwapCached:         1716 kB
Active:          1278336 kB
Inactive:          87676 kB
Active(anon):    1158956 kB
Inactive(anon):     1160 kB
Active(file):     119380 kB
Inactive(file):    86516 kB
Unevictable:      249824 kB
Mlocked:           10676 kB
SwapTotal:      67108856 kB
SwapFree:       67096644 kB
Dirty:             23400 kB
Writeback:             0 kB
AnonPages:       1478648 kB
Mapped:            10624 kB
Shmem:                 0 kB
Slab:             570156 kB
SReclaimable:      14196 kB
SUnreclaim:       555960 kB
KernelStack:        1480 kB
PageTables:         6804 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1551248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1294336 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= 71684 MiB
End job on node103 at 2016-06-06 23:20:08