Trace number 4103769

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) 182.906 182.943

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-scsd8.opb
MD5SUM68f48570ba6245cb642bc98d786c3bfe
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 variables82500
Total number of constraints397
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints397
Minimum length of a constraint300
Maximum length of a constraint720
Number of terms in the objective function 82500
Biggest coefficient in the objective function 221357547985043456
Number of bits for the biggest coefficient in the objective function 58
Sum of the numbers in the objective function 595796164546237514244
Number of bits of the sum of numbers in the objective function 70
Biggest number in a constraint 221357547985043456
Number of bits of the biggest number in a constraint 58
Biggest sum of numbers in a constraint 595796164546237514244
Number of bits of the biggest sum of numbers70
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-18T10:36:52+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-4103769-1466239011.opb"]
0.00/0.01	c use --random-gen="4013571326 3078358277 2155256221 928426071 2856201789 3380368653 1107844689 2533488134 308122041 3205551789 822834617 2940762851 3686621253 3484983313 837306360 615796686 2049142274 905376651 4086847543 1954828914 87788281 1403282682 1570711380 384537309 52592830 3854962316 689515911 2844341605 2130360489 1666275993 3999392176 2124557082 1909411215 1806567731 489822594 503888113 2564102651 2600276846 243526800 24531702 1096707072 1626296858 4125132281 2329998888 3851396050 202137297 1073170046 3713576429 2268489270 399066149 1757458868 2354799472 3004161059 711170028 3128771026 3015872622 3989187801 2124674868 3693622202 1627892985 1609277466 1163016324 3059690872 1691701210 4217465023 1757061067 522185325 2357044289 372152026 138487072 311824434 94883185 1598831716 4138668272 3581070590 2363225854 1282465866 1214304315 4214153433 2419894295 2177194683 1046596646 1432608358 39490338 1197373237 2386265669 2247765211 2250503705 664923398 787833050 780840256 3831135653 471316989 1212051194 1989255875 2961172935 3089786687 2473075668 1420941974 4275321707 262939979 3334795517 2881957545 610304742 2096128409 3945282183 772947937 3631564810 3718621646 124605795 304800194 3505013237 770974808 3448401368 3640401121 461744035 1977452228 1213440443 1830385949 1030553433 158588844 3514899266 2447961962 2028398668 123230728 2092289896 140068067 1632077236 3986151682 1685873595 444764820 1164045096 4230333314 826421867 4279701668 4136679092 3395065166 2489161023 3466449549 2987599396 707614630 3224308598 1648389387 2581312621 393584048 275705576 3515858650 565354716 350443207 2198586320 3018796238 4153376606 1039355623 755559005 1336652738 1426667567 4201076560 231455663 2108525085 1909570027 2499318874 3058342912 3138282843 1458483021 2495365186 895586048 1235338347 1730631080 2668671166 1665794261 1446781310 3869120502 1437669976 3938777549 4072143127 3454066965 2218329176 329446378 270999905 2263482547 3947309980 177089297 515807162 1722346987 980676033 3402244171 3757504042 1831540326 1375931522 942035640 3656537411 2887279106 2500999180 881390997 2420276159 1881342445 3575748601 1591561720 331109944 1716058544 1074647271 2196535273 1685852651 1106092888 1424766253 2155340064 4171800105 55120660 1342227824 3258494861 2270286879 720537319 3491568383 364717585 657131158 2850873750 2243297569 1834364091 3722990195 4083039789 111706369 4014070962 1350711284 1893204805 1629686523 519797093 3527625847 3133132099 2056617498 2685973189 2994270024 3231317425 3964330091 3850008217 3777328182 2315647615 3515940652 1287040546 1115938559 3138567146 164494754 1888576184 708534847 3720438014 1488335382 1300245605 3500819446 40570966 2432178786 3094201345 712417503 940905086 3702880158 1280647773 3930561856 355322601 255 362436" option to reproduce the execution
0.68/0.75	c #vars 82500
0.68/0.75	c #constraints 397

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

pid=21567
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: 2.27 2.29 2.27 2/179 21570
/proc/meminfo: memFree=16730392/32872528 swapFree=1459628/1655852
[pid=21570] ppid=21567 vsize=646588 CPUtime=0 cores=1,3,5,7
/proc/21570/stat : 21570 (toysat) R 21567 21570 16189 0 -1 4202496 2399 0 0 0 0 0 0 0 20 0 4 0 25946698 662106112 2760 33554432000 4194304 16246674 140736633044576 140736633044000 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21570/statm: 162415 2769 441 2943 0 159309 0
[pid=21570/tid=21571] ppid=21567 vsize=665020 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21571/stat : 21571 (toysat) S 21567 21570 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25946699 680980480 2828 33554432000 4194304 16246674 140736633044576 140050939489520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21570/tid=21572] ppid=21567 vsize=669116 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21572/stat : 21572 (toysat) S 21567 21570 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946699 685174784 2845 33554432000 4194304 16246674 140736633044576 140050928999664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21570/tid=21573] ppid=21567 vsize=673212 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21573/stat : 21573 (toysat) S 21567 21570 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25946699 689369088 2862 33554432000 4194304 16246674 140736633044576 140050918526128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100156 s]
/proc/loadavg: 2.27 2.29 2.27 2/179 21570
/proc/meminfo: memFree=16730392/32872528 swapFree=1459628/1655852
[pid=21570] ppid=21567 vsize=1304132 CPUtime=0.09 cores=1,3,5,7
/proc/21570/stat : 21570 (toysat) R 21567 21570 16189 0 -1 4202496 30176 0 0 0 5 4 0 0 20 0 4 0 25946698 1335431168 30476 33554432000 4194304 16246674 140736633044576 140736633043888 7371468 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21570/statm: 326033 30491 797 2943 0 322927 0
[pid=21570/tid=21571] ppid=21567 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21571/stat : 21571 (toysat) S 21567 21570 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25946699 1335431168 30503 33554432000 4194304 16246674 140736633044576 140050939489520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21570/tid=21572] ppid=21567 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21572/stat : 21572 (toysat) S 21567 21570 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946699 1335431168 30513 33554432000 4194304 16246674 140736633044576 140050928999664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21570/tid=21573] ppid=21567 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21573/stat : 21573 (toysat) S 21567 21570 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25946699 1335431168 30523 33554432000 4194304 16246674 140736633044576 140050918526128 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) 1304132

[startup+0.200537 s]
/proc/loadavg: 2.27 2.29 2.27 2/179 21570
/proc/meminfo: memFree=16730392/32872528 swapFree=1459628/1655852
[pid=21570] ppid=21567 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/21570/stat : 21570 (toysat) R 21567 21570 16189 0 -1 4202496 37744 0 0 0 14 5 0 0 20 0 4 0 25946698 1342771200 38554 33554432000 4194304 16246674 140736633044576 140736633043888 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21570/statm: 327825 38554 798 2943 0 324719 0
[pid=21570/tid=21571] ppid=21567 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21571/stat : 21571 (toysat) S 21567 21570 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25946699 1342771200 38554 33554432000 4194304 16246674 140736633044576 140050939489520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21570/tid=21572] ppid=21567 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21572/stat : 21572 (toysat) S 21567 21570 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946699 1342771200 38554 33554432000 4194304 16246674 140736633044576 140050928999664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21570/tid=21573] ppid=21567 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21573/stat : 21573 (toysat) S 21567 21570 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25946699 1342771200 38554 33554432000 4194304 16246674 140736633044576 140050918526128 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) 1311300

[startup+0.300508 s]
/proc/loadavg: 2.27 2.29 2.27 2/179 21570
/proc/meminfo: memFree=16730392/32872528 swapFree=1459628/1655852
[pid=21570] ppid=21567 vsize=1311300 CPUtime=0.29 cores=1,3,5,7
/proc/21570/stat : 21570 (toysat) R 21567 21570 16189 0 -1 4202496 37752 0 0 0 24 5 0 0 20 0 4 0 25946698 1342771200 38562 33554432000 4194304 16246674 140736633044576 140736633043888 7371388 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21570/statm: 327825 38562 799 2943 0 324719 0
[pid=21570/tid=21571] ppid=21567 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21571/stat : 21571 (toysat) S 21567 21570 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25946699 1342771200 38562 33554432000 4194304 16246674 140736633044576 140050939489520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21570/tid=21572] ppid=21567 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21572/stat : 21572 (toysat) S 21567 21570 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946699 1342771200 38562 33554432000 4194304 16246674 140736633044576 140050928999664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21570/tid=21573] ppid=21567 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21573/stat : 21573 (toysat) S 21567 21570 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25946699 1342771200 38562 33554432000 4194304 16246674 140736633044576 140050918526128 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) 1311300

[startup+0.700356 s]
/proc/loadavg: 2.27 2.29 2.27 2/179 21570
/proc/meminfo: memFree=16730392/32872528 swapFree=1459628/1655852
[pid=21570] ppid=21567 vsize=1323588 CPUtime=0.68 cores=1,3,5,7
/proc/21570/stat : 21570 (toysat) R 21567 21570 16189 0 -1 4202496 48656 0 0 0 62 6 0 0 20 0 4 0 25946698 1355354112 51510 33554432000 4194304 16246674 140736633044576 140736633027568 4220520 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21570/statm: 330897 51510 802 2943 0 327791 0
[pid=21570/tid=21571] ppid=21567 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21571/stat : 21571 (toysat) S 21567 21570 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25946699 1355354112 51510 33554432000 4194304 16246674 140736633044576 140050939489520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21570/tid=21572] ppid=21567 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21572/stat : 21572 (toysat) S 21567 21570 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946699 1355354112 51510 33554432000 4194304 16246674 140736633044576 140050928999664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21570/tid=21573] ppid=21567 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21573/stat : 21573 (toysat) S 21567 21570 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25946699 1355354112 51510 33554432000 4194304 16246674 140736633044576 140050918526128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1323588

[startup+1.50044 s]
/proc/loadavg: 2.27 2.29 2.27 3/183 21574
/proc/meminfo: memFree=16467820/32872528 swapFree=1459628/1655852
[pid=21570] ppid=21567 vsize=1345092 CPUtime=1.49 cores=1,3,5,7
/proc/21570/stat : 21570 (toysat) R 21567 21570 16189 0 -1 4202496 61912 0 0 0 140 9 0 0 20 0 4 0 25946698 1377374208 65788 33554432000 4194304 16246674 140736633044576 140736633043888 13774021 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21570/statm: 336273 65788 829 2943 0 333167 0
[pid=21570/tid=21571] ppid=21567 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21571/stat : 21571 (toysat) S 21567 21570 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25946699 1377374208 65788 33554432000 4194304 16246674 140736633044576 140050939489520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21570/tid=21572] ppid=21567 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21572/stat : 21572 (toysat) S 21567 21570 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946699 1377374208 65788 33554432000 4194304 16246674 140736633044576 140050928999664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21570/tid=21573] ppid=21567 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21573/stat : 21573 (toysat) S 21567 21570 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25946699 1377374208 65788 33554432000 4194304 16246674 140736633044576 140050918526128 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) 1345092

[startup+3.1004 s]
/proc/loadavg: 2.27 2.29 2.27 3/183 21574
/proc/meminfo: memFree=16184356/32872528 swapFree=1459628/1655852
[pid=21570] ppid=21567 vsize=1491524 CPUtime=3.09 cores=1,3,5,7
/proc/21570/stat : 21570 (toysat) R 21567 21570 16189 0 -1 4202496 310427 0 0 0 268 41 0 0 20 0 4 0 25946698 1527320576 314303 33554432000 4194304 16246674 140736633044576 140736633043888 12652936 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21570/statm: 372881 314303 836 2943 0 369775 0
[pid=21570/tid=21571] ppid=21567 vsize=1491524 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21571/stat : 21571 (toysat) S 21567 21570 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25946699 1527320576 314303 33554432000 4194304 16246674 140736633044576 140050939489520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21570/tid=21572] ppid=21567 vsize=1491524 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21572/stat : 21572 (toysat) S 21567 21570 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946699 1527320576 314303 33554432000 4194304 16246674 140736633044576 140050928999664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21570/tid=21573] ppid=21567 vsize=1491524 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21573/stat : 21573 (toysat) S 21567 21570 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25946699 1527320576 314303 33554432000 4194304 16246674 140736633044576 140050918526128 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) 1491524

[startup+6.30039 s]
/proc/loadavg: 2.33 2.30 2.27 3/183 21574
/proc/meminfo: memFree=15473028/32872528 swapFree=1459628/1655852
[pid=21570] ppid=21567 vsize=1491524 CPUtime=6.29 cores=1,3,5,7
/proc/21570/stat : 21570 (toysat) R 21567 21570 16189 0 -1 4202496 310438 0 0 0 588 41 0 0 20 0 4 0 25946698 1527320576 314314 33554432000 4194304 16246674 140736633044576 140736633042304 4206877 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21570/statm: 372881 314314 836 2943 0 369775 0
[pid=21570/tid=21571] ppid=21567 vsize=1491524 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21571/stat : 21571 (toysat) S 21567 21570 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25946699 1527320576 314314 33554432000 4194304 16246674 140736633044576 140050939489520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21570/tid=21572] ppid=21567 vsize=1491524 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21572/stat : 21572 (toysat) S 21567 21570 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946699 1527320576 314314 33554432000 4194304 16246674 140736633044576 140050928999664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21570/tid=21573] ppid=21567 vsize=1491524 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21573/stat : 21573 (toysat) S 21567 21570 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25946699 1527320576 314314 33554432000 4194304 16246674 140736633044576 140050918526128 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) 1491524

[startup+12.7004 s]
/proc/loadavg: 2.39 2.31 2.28 3/183 21574
/proc/meminfo: memFree=14357708/32872528 swapFree=1459628/1655852
[pid=21570] ppid=21567 vsize=2992708 CPUtime=12.69 cores=1,3,5,7
/proc/21570/stat : 21570 (toysat) R 21567 21570 16189 0 -1 4202496 685513 0 0 0 1181 88 0 0 20 0 4 0 25946698 3064532992 689390 33554432000 4194304 16246674 140736633044576 140736633042368 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21570/statm: 748177 689398 836 2943 0 745071 0
[pid=21570/tid=21571] ppid=21567 vsize=2992708 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21571/stat : 21571 (toysat) S 21567 21570 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25946699 3064532992 689402 33554432000 4194304 16246674 140736633044576 140050939489520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21570/tid=21572] ppid=21567 vsize=2992708 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21572/stat : 21572 (toysat) S 21567 21570 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946699 3064532992 689405 33554432000 4194304 16246674 140736633044576 140050928999440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21570/tid=21573] ppid=21567 vsize=2992708 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21573/stat : 21573 (toysat) S 21567 21570 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25946699 3064532992 689410 33554432000 4194304 16246674 140736633044576 140050918526128 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) 2992708

[startup+25.5005 s]
/proc/loadavg: 2.37 2.31 2.28 3/183 21574
/proc/meminfo: memFree=10725856/32872528 swapFree=1459628/1655852
[pid=21570] ppid=21567 vsize=4348484 CPUtime=25.49 cores=1,3,5,7
/proc/21570/stat : 21570 (toysat) R 21567 21570 16189 0 -1 4202496 1024680 0 0 0 2417 132 0 0 20 0 4 0 25946698 4452847616 1028556 33554432000 4194304 16246674 140736633044576 140736633042560 4220990 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21570/statm: 1087121 1028556 837 2943 0 1084015 0
[pid=21570/tid=21571] ppid=21567 vsize=4348484 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21571/stat : 21571 (toysat) S 21567 21570 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25946699 4452847616 1028556 33554432000 4194304 16246674 140736633044576 140050939489520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21570/tid=21572] ppid=21567 vsize=4348484 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21572/stat : 21572 (toysat) S 21567 21570 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946699 4452847616 1028556 33554432000 4194304 16246674 140736633044576 140050928999440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21570/tid=21573] ppid=21567 vsize=4348484 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21573/stat : 21573 (toysat) S 21567 21570 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25946699 4452847616 1028556 33554432000 4194304 16246674 140736633044576 140050918526128 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) 4348484

[startup+51.1005 s]
/proc/loadavg: 2.37 2.32 2.28 3/183 21574
/proc/meminfo: memFree=7000908/32872528 swapFree=1459628/1655852
[pid=21570] ppid=21567 vsize=8065604 CPUtime=51.08 cores=1,3,5,7
/proc/21570/stat : 21570 (toysat) R 21567 21570 16189 0 -1 4202496 1953962 0 0 0 4850 258 0 0 20 0 4 0 25946698 8259178496 1957838 33554432000 4194304 16246674 140736633044576 140736633042368 4207014 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21570/statm: 2016401 1957838 837 2943 0 2013295 0
[pid=21570/tid=21571] ppid=21567 vsize=8065604 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21571/stat : 21571 (toysat) S 21567 21570 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25946699 8259178496 1957838 33554432000 4194304 16246674 140736633044576 140050939489520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21570/tid=21572] ppid=21567 vsize=8065604 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21572/stat : 21572 (toysat) S 21567 21570 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946699 8259178496 1957838 33554432000 4194304 16246674 140736633044576 140050928999440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21570/tid=21573] ppid=21567 vsize=8065604 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21573/stat : 21573 (toysat) S 21567 21570 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25946699 8259178496 1957838 33554432000 4194304 16246674 140736633044576 140050918526128 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) 8065604

[startup+102.301 s]
/proc/loadavg: 2.36 2.31 2.28 3/183 21624
/proc/meminfo: memFree=11643816/32872528 swapFree=1459628/1655852
[pid=21570] ppid=21567 vsize=14206532 CPUtime=102.28 cores=1,3,5,7
/proc/21570/stat : 21570 (toysat) R 21567 21570 16189 0 -1 4202496 3489196 0 0 0 9758 470 0 0 20 0 4 0 25946698 14547488768 3493075 33554432000 4194304 16246674 140736633044576 140736633042496 4220530 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21570/statm: 3551633 3493075 838 2943 0 3548527 0
[pid=21570/tid=21571] ppid=21567 vsize=14206532 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21571/stat : 21571 (toysat) S 21567 21570 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25946699 14547488768 3493075 33554432000 4194304 16246674 140736633044576 140050939489520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21570/tid=21572] ppid=21567 vsize=14206532 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21572/stat : 21572 (toysat) S 21567 21570 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946699 14547488768 3493075 33554432000 4194304 16246674 140736633044576 140050928999440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21570/tid=21573] ppid=21567 vsize=14206532 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21573/stat : 21573 (toysat) S 21567 21570 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25946699 14547488768 3493075 33554432000 4194304 16246674 140736633044576 140050918526128 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) 14206532

[startup+162.3 s]
/proc/loadavg: 2.30 2.30 2.27 3/183 21625
/proc/meminfo: memFree=2073972/32872528 swapFree=1459628/1655852
[pid=21570] ppid=21567 vsize=14790212 CPUtime=162.26 cores=1,3,5,7
/proc/21570/stat : 21570 (toysat) R 21567 21570 16189 0 -1 4202496 3579703 0 0 0 15738 488 0 0 20 0 4 0 25946698 15145177088 3638770 33554432000 4194304 16246674 140736633044576 140736633042496 14014083 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21570/statm: 3697553 3638770 842 2943 0 3694447 0
[pid=21570/tid=21571] ppid=21567 vsize=14790212 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21571/stat : 21571 (toysat) S 21567 21570 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25946699 15145177088 3638770 33554432000 4194304 16246674 140736633044576 140050939489520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21570/tid=21572] ppid=21567 vsize=14790212 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21572/stat : 21572 (toysat) S 21567 21570 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946699 15145177088 3638770 33554432000 4194304 16246674 140736633044576 140050928999440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21570/tid=21573] ppid=21567 vsize=14790212 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21573/stat : 21573 (toysat) S 21567 21570 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25946699 15145177088 3638770 33554432000 4194304 16246674 140736633044576 140050918526128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 14790212



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+182.1 s]
/proc/loadavg: 2.28 2.29 2.27 3/183 21626
/proc/meminfo: memFree=1243016/32872528 swapFree=1459628/1655852
[pid=21570] ppid=21567 vsize=15881796 CPUtime=182.07 cores=1,3,5,7
/proc/21570/stat : 21570 (toysat) R 21567 21570 16189 0 -1 4202496 3852744 0 0 0 17673 534 0 0 20 0 4 0 25946698 16262959104 3911811 33554432000 4194304 16246674 140736633044576 140736633043240 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21570/statm: 3970449 3911821 842 2943 0 3967343 0
[pid=21570/tid=21571] ppid=21567 vsize=15881796 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21571/stat : 21571 (toysat) S 21567 21570 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25946699 16262959104 3911827 33554432000 4194304 16246674 140736633044576 140050939489520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21570/tid=21572] ppid=21567 vsize=15881796 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21572/stat : 21572 (toysat) S 21567 21570 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946699 16262959104 3911832 33554432000 4194304 16246674 140736633044576 140050928999664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21570/tid=21573] ppid=21567 vsize=15881796 CPUtime=0 cores=1,3,5,7
/proc/21570/task/21573/stat : 21573 (toysat) S 21567 21570 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25946699 16262959104 3911837 33554432000 4194304 16246674 140736633044576 140050918526128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 182.07
Current children cumulated vsize (KiB) 15881796

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

[startup+182.4 s]
/proc/loadavg: 2.28 2.29 2.27 3/183 21626
/proc/meminfo: memFree=1243016/32872528 swapFree=1459628/1655852
[pid=21570] ppid=21567 vsize=0 CPUtime=182.37 cores=1,3,5,7
/proc/21570/stat : 21570 (toysat) Z 21567 21570 16189 0 -1 4203532 3853237 0 0 0 17673 564 0 0 20 0 2 0 25946698 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21570/statm: 0 0 0 0 0 0 0
[pid=21570/tid=21572] ppid=21567 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/21570/task/21572/stat : 21572 (toysat) R 21567 21570 16189 0 -1 4203588 8 0 0 0 0 28 0 0 20 0 2 0 25946699 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) 182.37
Current children cumulated vsize (KiB) 0

[startup+182.8 s]
/proc/loadavg: 2.28 2.29 2.27 3/181 21626
/proc/meminfo: memFree=10274272/32872528 swapFree=1459628/1655852
[pid=21570] ppid=21567 vsize=0 CPUtime=182.77 cores=1,3,5,7
/proc/21570/stat : 21570 (toysat) Z 21567 21570 16189 0 -1 4203532 3853237 0 0 0 17673 604 0 0 20 0 2 0 25946698 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21570/statm: 0 0 0 0 0 0 0
[pid=21570/tid=21572] ppid=21567 vsize=0 CPUtime=0.68 cores=1,3,5,7
/proc/21570/task/21572/stat : 21572 (toysat) R 21567 21570 16189 0 -1 4203588 8 0 0 0 0 68 0 0 20 0 2 0 25946699 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) 182.77
Current children cumulated vsize (KiB) 0

[startup+182.9 s]
/proc/loadavg: 2.28 2.29 2.27 3/181 21626
/proc/meminfo: memFree=10274272/32872528 swapFree=1459628/1655852
[pid=21570] ppid=21567 vsize=0 CPUtime=182.87 cores=1,3,5,7
/proc/21570/stat : 21570 (toysat) Z 21567 21570 16189 0 -1 4203532 3853237 0 0 0 17673 614 0 0 20 0 2 0 25946698 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21570/statm: 0 0 0 0 0 0 0
[pid=21570/tid=21572] ppid=21567 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/21570/task/21572/stat : 21572 (toysat) R 21567 21570 16189 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 25946699 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) 182.87
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 182.943
CPU time (s): 182.906
CPU user time (s): 176.731
CPU system time (s): 6.17506
CPU usage (%): 99.9801
Max. virtual memory (cumulated for all children) (KiB): 15881796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 176.731
system time used= 6.17506
maximum resident set size= 15649216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3853237
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= 63
involuntary context switches= 196

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.483926 second user time and 0.702893 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-18 10:36:52
IDJOB=4103769
IDBENCH=2456
IDSOLVER=2542
FILE ID=node136/4103769-1466239011
RUNJOBID= node136-1466206055-16206
PBS_JOBID= 19918141
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd8.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103769-1466239011/watcher-4103769-1466239011 -o /tmp/evaluation-result-4103769-1466239011/solver-4103769-1466239011 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16206 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103769-1466239011.opb

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

MD5SUM BENCH= 68f48570ba6245cb642bc98d786c3bfe
RANDOM SEED=368559938

node136.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.278
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.55
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.278
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.278
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		: 2667.278
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		: 2667.278
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.278
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.278
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.67
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.278
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:        16730532 kB
Buffers:          110508 kB
Cached:           173476 kB
SwapCached:            0 kB
Active:         13513592 kB
Inactive:         204140 kB
Active(anon):   13404596 kB
Inactive(anon):    31708 kB
Active(file):     108996 kB
Inactive(file):   172432 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             23468 kB
Writeback:             0 kB
AnonPages:      15091544 kB
Mapped:            16264 kB
Shmem:               204 kB
Slab:             608724 kB
SReclaimable:      52676 kB
SUnreclaim:       556048 kB
KernelStack:        1464 kB
PageTables:        33560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   15223256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    204800 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node136 at 2016-06-18 10:39:55