Trace number 4103865

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) 185.208 185.249

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-bell3b.opb
MD5SUM2982ffe422921e9a65d384b08247e6aa
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1323375948476250
Best CPU time to get the best result obtained on this benchmark1800.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1351353706341500
Optimality of the best value was proved NO
Number of variables2283
Total number of constraints151
Number of constraints which are clauses22
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints129
Minimum length of a constraint2
Maximum length of a constraint195
Number of terms in the objective function 1780
Biggest coefficient in the objective function 50331648000000000
Number of bits for the biggest coefficient in the objective function 56
Sum of the numbers in the objective function 1076758128151185266
Number of bits of the sum of numbers in the objective function 60
Biggest number in a constraint 50331648000000000
Number of bits of the biggest number in a constraint 56
Biggest sum of numbers in a constraint 1076758128151185266
Number of bits of the biggest sum of numbers60
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:42:24+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-4103865-1466239343.opb"]
0.00/0.01	c use --random-gen="3485987193 2478217883 1117898166 2683346536 493470314 1851976006 1480710401 1285091428 1135276681 1441600311 2461406614 3262058361 490220902 3664333316 2265515264 1263650744 833664230 4284327941 696390233 2680739374 3434127750 2031085082 769116302 2686055770 1174394581 218901204 4251915906 1663196286 2141074192 3225144875 855747469 963764707 1044883521 1491019866 2301871590 2764706908 3115839646 2677107390 3827917569 4062635008 2885521338 2638342501 21194192 2019059714 4171655731 3106751531 213314534 3609438144 2298761358 3148112937 666702377 721567824 341019533 886755768 120590453 631455162 3637744170 1115493335 2705468284 3668802386 100661260 1173388638 698180215 158266202 3133581268 370237518 1640295479 2510553445 2988845493 3812226154 3310748019 2812128084 197565966 2770475676 4195219198 3447879410 1447850752 110105681 2035873843 3980651981 1466846575 3053442776 1468199642 2055943682 3680011312 3425166180 1319599790 1545900175 3916383681 2278694137 847192260 3466011923 1857418095 1199361258 3623348388 623368682 3228581413 2675434690 3299977224 2220165086 2211640480 1057114520 3907209240 4292408136 434062063 2364956180 3529203367 2963171742 3174678598 3954474657 2093806849 3695817558 2933012843 339487868 2162075459 3956667716 330028595 3408896766 1693039146 2984909782 2560560446 3461619857 1169629982 2772879265 2951875376 3369906808 101669679 493885565 1323989736 1075369650 2934264621 810708411 1690528185 1622879248 3760521811 2825255273 1529376268 1920668007 3086858106 1457101618 3045443312 3511984873 597910250 4202126346 3270362437 1600867087 3598310873 2357251902 889133525 513706386 387571934 2699535193 2717681684 3004313110 1070823103 3050252741 520629646 4236699203 1081250172 4228189392 540363693 3393993830 3444235563 1909780379 1910811203 4177424133 825752023 3584415649 676376805 2010875139 3709447750 3321066207 309949471 1345848110 2167535895 860577209 2762850308 3728733582 399072827 2815058309 2910643269 690283537 1258963757 3602854440 3835141049 2204473935 2481790397 2666903152 2615324101 166817862 2337867469 3947639781 261832072 1807083148 1123255917 3753328151 3640508748 302307900 318490721 3795087266 171097262 2703626475 4028846843 3186293099 1570568345 3877669041 312166156 227554035 4210728491 3292007620 2980747712 356085047 1603775122 1088295052 316220910 1907817119 445997755 3843919683 2452471446 3671556537 2980086585 2844205355 1573187064 480006877 2683269919 3787176833 415088500 2867958616 3526100949 3936804587 3587956655 1917945632 4189202592 3303639118 2375053654 2720062638 2801347528 2711398259 3851663502 3154649607 1217714611 1261966429 3468191798 1604443809 1913243542 1225018950 3413991891 547418066 3682701644 3327418901 3180883375 2909309576 655036681 651979311 2665360886 3183705441 255 362436" option to reproduce the execution
0.00/0.04	c #vars 2283
0.00/0.04	c #constraints 151

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

pid=21722
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: 3.05 2.55 2.36 2/179 21725
/proc/meminfo: memFree=15667516/32872528 swapFree=1459628/1655852
[pid=21725] ppid=21722 vsize=521796 CPUtime=0 cores=0,2,4,6
/proc/21725/stat : 21725 (toysat) R 21722 21725 16189 0 -1 4202496 1909 0 0 0 0 0 0 0 20 0 4 0 25979905 534319104 2781 33554432000 4194304 16246674 140734123014832 140734123014256 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21725/statm: 130961 2788 442 2943 0 127855 0
[pid=21725/tid=21726] ppid=21722 vsize=539204 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21726/stat : 21726 (toysat) S 21722 21725 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25979905 552144896 2848 33554432000 4194304 16246674 140734123014832 140337934740720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21725/tid=21727] ppid=21722 vsize=543300 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21727/stat : 21727 (toysat) S 21722 21725 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25979905 556339200 2865 33554432000 4194304 16246674 140734123014832 140337855048944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21725/tid=21728] ppid=21722 vsize=547396 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21728/stat : 21728 (toysat) S 21722 21725 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25979905 560533504 2880 33554432000 4194304 16246674 140734123014832 140337844575408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100129 s]
/proc/loadavg: 3.05 2.55 2.36 2/179 21725
/proc/meminfo: memFree=15667516/32872528 swapFree=1459628/1655852
[pid=21725] ppid=21722 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/21725/stat : 21725 (toysat) R 21722 21725 16189 0 -1 4202496 27428 0 0 0 5 4 0 0 20 0 4 0 25979905 1247350784 28291 33554432000 4194304 16246674 140734123014832 140734123014256 12449399 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21725/statm: 304529 28302 649 2943 0 301423 0
[pid=21725/tid=21726] ppid=21722 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21726/stat : 21726 (toysat) S 21722 21725 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25979905 1247350784 28311 33554432000 4194304 16246674 140734123014832 140337934740720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21725/tid=21727] ppid=21722 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21727/stat : 21727 (toysat) S 21722 21725 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25979905 1247350784 28320 33554432000 4194304 16246674 140734123014832 140337855048944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21725/tid=21728] ppid=21722 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21728/stat : 21728 (toysat) S 21722 21725 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25979905 1247350784 28327 33554432000 4194304 16246674 140734123014832 140337844575408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200459 s]
/proc/loadavg: 3.05 2.55 2.36 2/179 21725
/proc/meminfo: memFree=15667516/32872528 swapFree=1459628/1655852
[pid=21725] ppid=21722 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/21725/stat : 21725 (toysat) R 21722 21725 16189 0 -1 4202496 48603 0 0 0 12 7 0 0 20 0 4 0 25979905 1247350784 49465 33554432000 4194304 16246674 140734123014832 140734123014256 12429797 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21725/statm: 304529 49470 649 2943 0 301423 0
[pid=21725/tid=21726] ppid=21722 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21726/stat : 21726 (toysat) S 21722 21725 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25979905 1247350784 49474 33554432000 4194304 16246674 140734123014832 140337934740720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21725/tid=21727] ppid=21722 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21727/stat : 21727 (toysat) S 21722 21725 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25979905 1247350784 49477 33554432000 4194304 16246674 140734123014832 140337855048944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21725/tid=21728] ppid=21722 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21728/stat : 21728 (toysat) S 21722 21725 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25979905 1247350784 49481 33554432000 4194304 16246674 140734123014832 140337844575408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300419 s]
/proc/loadavg: 3.05 2.55 2.36 2/179 21725
/proc/meminfo: memFree=15667516/32872528 swapFree=1459628/1655852
[pid=21725] ppid=21722 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/21725/stat : 21725 (toysat) R 21722 21725 16189 0 -1 4202496 72675 0 0 0 18 11 0 0 20 0 4 0 25979905 1247350784 73538 33554432000 4194304 16246674 140734123014832 140734123014256 12652961 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21725/statm: 304529 73546 649 2943 0 301423 0
[pid=21725/tid=21726] ppid=21722 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21726/stat : 21726 (toysat) S 21722 21725 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25979905 1247350784 73551 33554432000 4194304 16246674 140734123014832 140337934740720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21725/tid=21727] ppid=21722 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21727/stat : 21727 (toysat) S 21722 21725 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25979905 1247350784 73556 33554432000 4194304 16246674 140734123014832 140337855048944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21725/tid=21728] ppid=21722 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21728/stat : 21728 (toysat) S 21722 21725 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25979905 1247350784 73563 33554432000 4194304 16246674 140734123014832 140337844575408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700345 s]
/proc/loadavg: 3.05 2.55 2.36 2/179 21725
/proc/meminfo: memFree=15667516/32872528 swapFree=1459628/1655852
[pid=21725] ppid=21722 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/21725/stat : 21725 (toysat) R 21722 21725 16189 0 -1 4202496 152291 0 0 0 48 21 0 0 20 0 4 0 25979905 1247350784 153154 33554432000 4194304 16246674 140734123014832 140734122996736 6958849 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21725/statm: 304529 153164 649 2943 0 301423 0
[pid=21725/tid=21726] ppid=21722 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21726/stat : 21726 (toysat) S 21722 21725 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25979905 1247350784 153171 33554432000 4194304 16246674 140734123014832 140337934740720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21725/tid=21727] ppid=21722 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21727/stat : 21727 (toysat) S 21722 21725 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25979905 1247350784 153178 33554432000 4194304 16246674 140734123014832 140337855048944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21725/tid=21728] ppid=21722 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21728/stat : 21728 (toysat) S 21722 21725 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25979905 1247350784 153185 33554432000 4194304 16246674 140734123014832 140337844575408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 3.05 2.55 2.36 3/183 21729
/proc/meminfo: memFree=14687796/32872528 swapFree=1459628/1655852
[pid=21725] ppid=21722 vsize=1404484 CPUtime=1.49 cores=0,2,4,6
/proc/21725/stat : 21725 (toysat) R 21722 21725 16189 0 -1 4202496 292195 0 0 0 109 40 0 0 20 0 4 0 25979905 1438191616 293013 33554432000 4194304 16246674 140734123014832 140734123014048 12654452 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21725/statm: 351121 293013 842 2943 0 348015 0
[pid=21725/tid=21726] ppid=21722 vsize=1404484 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21726/stat : 21726 (toysat) S 21722 21725 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25979905 1438191616 293013 33554432000 4194304 16246674 140734123014832 140337934740720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21725/tid=21727] ppid=21722 vsize=1404484 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21727/stat : 21727 (toysat) S 21722 21725 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25979905 1438191616 293013 33554432000 4194304 16246674 140734123014832 140337855048944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21725/tid=21728] ppid=21722 vsize=1404484 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21728/stat : 21728 (toysat) S 21722 21725 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25979905 1438191616 293013 33554432000 4194304 16246674 140734123014832 140337844575408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1404484

[startup+3.10037 s]
/proc/loadavg: 3.05 2.55 2.36 2/183 21729
/proc/meminfo: memFree=14467696/32872528 swapFree=1459628/1655852
[pid=21725] ppid=21722 vsize=1404484 CPUtime=3.09 cores=0,2,4,6
/proc/21725/stat : 21725 (toysat) R 21722 21725 16189 0 -1 4202496 292238 0 0 0 269 40 0 0 20 0 4 0 25979905 1438191616 293056 33554432000 4194304 16246674 140734123014832 140734122996736 13950192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21725/statm: 351121 293056 842 2943 0 348015 0
[pid=21725/tid=21726] ppid=21722 vsize=1404484 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21726/stat : 21726 (toysat) S 21722 21725 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25979905 1438191616 293056 33554432000 4194304 16246674 140734123014832 140337934740720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21725/tid=21727] ppid=21722 vsize=1404484 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21727/stat : 21727 (toysat) S 21722 21725 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25979905 1438191616 293056 33554432000 4194304 16246674 140734123014832 140337855048944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21725/tid=21728] ppid=21722 vsize=1404484 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21728/stat : 21728 (toysat) S 21722 21725 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25979905 1438191616 293056 33554432000 4194304 16246674 140734123014832 140337844575408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1404484

[startup+6.30043 s]
/proc/loadavg: 3.13 2.58 2.37 2/183 21729
/proc/meminfo: memFree=14387248/32872528 swapFree=1459628/1655852
[pid=21725] ppid=21722 vsize=1436228 CPUtime=6.28 cores=0,2,4,6
/proc/21725/stat : 21725 (toysat) R 21722 21725 16189 0 -1 4202496 300022 0 0 0 588 40 0 0 20 0 4 0 25979905 1470697472 300840 33554432000 4194304 16246674 140734123014832 140734123014144 13885029 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21725/statm: 359057 300840 843 2943 0 355951 0
[pid=21725/tid=21726] ppid=21722 vsize=1436228 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21726/stat : 21726 (toysat) S 21722 21725 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25979905 1470697472 300840 33554432000 4194304 16246674 140734123014832 140337934740720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21725/tid=21727] ppid=21722 vsize=1436228 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21727/stat : 21727 (toysat) S 21722 21725 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25979905 1470697472 300840 33554432000 4194304 16246674 140734123014832 140337855048944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21725/tid=21728] ppid=21722 vsize=1436228 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21728/stat : 21728 (toysat) S 21722 21725 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25979905 1470697472 300840 33554432000 4194304 16246674 140734123014832 140337844575408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1436228

[startup+12.7004 s]
/proc/loadavg: 3.04 2.57 2.37 4/183 21729
/proc/meminfo: memFree=13354496/32872528 swapFree=1459628/1655852
[pid=21725] ppid=21722 vsize=2283076 CPUtime=12.68 cores=0,2,4,6
/proc/21725/stat : 21725 (toysat) R 21722 21725 16189 0 -1 4202496 511887 0 0 0 1197 71 0 0 20 0 4 0 25979905 2337869824 512705 33554432000 4194304 16246674 140734123014832 140734123013928 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21725/statm: 570769 512705 843 2943 0 567663 0
[pid=21725/tid=21726] ppid=21722 vsize=2283076 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21726/stat : 21726 (toysat) S 21722 21725 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25979905 2337869824 512705 33554432000 4194304 16246674 140734123014832 140337934740720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21725/tid=21727] ppid=21722 vsize=2283076 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21727/stat : 21727 (toysat) S 21722 21725 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25979905 2337869824 512705 33554432000 4194304 16246674 140734123014832 140337855048944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21725/tid=21728] ppid=21722 vsize=2283076 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21728/stat : 21728 (toysat) S 21722 21725 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25979905 2337869824 512705 33554432000 4194304 16246674 140734123014832 140337844575408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2283076

[startup+25.5005 s]
/proc/loadavg: 2.87 2.55 2.37 3/183 21729
/proc/meminfo: memFree=11041976/32872528 swapFree=1459628/1655852
[pid=21725] ppid=21722 vsize=4543044 CPUtime=25.48 cores=0,2,4,6
/proc/21725/stat : 21725 (toysat) R 21722 21725 16189 0 -1 4202496 1076879 0 0 0 2408 140 0 0 20 0 4 0 25979905 4652077056 1077697 33554432000 4194304 16246674 140734123014832 140734123014008 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21725/statm: 1135761 1077697 843 2943 0 1132655 0
[pid=21725/tid=21726] ppid=21722 vsize=4543044 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21726/stat : 21726 (toysat) S 21722 21725 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25979905 4652077056 1077697 33554432000 4194304 16246674 140734123014832 140337934740720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21725/tid=21727] ppid=21722 vsize=4543044 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21727/stat : 21727 (toysat) S 21722 21725 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25979905 4652077056 1077697 33554432000 4194304 16246674 140734123014832 140337855048944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21725/tid=21728] ppid=21722 vsize=4543044 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21728/stat : 21728 (toysat) S 21722 21725 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25979905 4652077056 1077697 33554432000 4194304 16246674 140734123014832 140337844575408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4543044

[startup+51.1005 s]
/proc/loadavg: 2.64 2.52 2.36 4/183 21729
/proc/meminfo: memFree=6370784/32872528 swapFree=1459628/1655852
[pid=21725] ppid=21722 vsize=8910404 CPUtime=51.07 cores=0,2,4,6
/proc/21725/stat : 21725 (toysat) R 21722 21725 16189 0 -1 4202496 2168722 0 0 0 4827 280 0 0 20 0 4 0 25979905 9124253696 2169540 33554432000 4194304 16246674 140734123014832 140734123013928 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21725/statm: 2227601 2169540 843 2943 0 2224495 0
[pid=21725/tid=21726] ppid=21722 vsize=8910404 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21726/stat : 21726 (toysat) S 21722 21725 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25979905 9124253696 2169540 33554432000 4194304 16246674 140734123014832 140337934740720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21725/tid=21727] ppid=21722 vsize=8910404 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21727/stat : 21727 (toysat) S 21722 21725 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25979905 9124253696 2169540 33554432000 4194304 16246674 140734123014832 140337855048944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21725/tid=21728] ppid=21722 vsize=8910404 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21728/stat : 21728 (toysat) S 21722 21725 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25979905 9124253696 2169540 33554432000 4194304 16246674 140734123014832 140337844575408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 8910404

[startup+102.3 s]
/proc/loadavg: 2.57 2.52 2.37 4/183 21778
/proc/meminfo: memFree=10667884/32872528 swapFree=1459628/1655852
[pid=21725] ppid=21722 vsize=13859396 CPUtime=102.27 cores=0,2,4,6
/proc/21725/stat : 21725 (toysat) R 21722 21725 16189 0 -1 4202496 3405976 0 0 0 9775 452 0 0 20 0 4 0 25979905 14192021504 3406801 33554432000 4194304 16246674 140734123014832 140734123012672 14003269 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21725/statm: 3464849 3406801 848 2943 0 3461743 0
[pid=21725/tid=21726] ppid=21722 vsize=13859396 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21726/stat : 21726 (toysat) S 21722 21725 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25979905 14192021504 3406801 33554432000 4194304 16246674 140734123014832 140337934740720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21725/tid=21727] ppid=21722 vsize=13859396 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21727/stat : 21727 (toysat) S 21722 21725 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25979905 14192021504 3406801 33554432000 4194304 16246674 140734123014832 140337855048720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21725/tid=21728] ppid=21722 vsize=13859396 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21728/stat : 21728 (toysat) S 21722 21725 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25979905 14192021504 3406801 33554432000 4194304 16246674 140734123014832 140337844575408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 13859396

[startup+162.3 s]
/proc/loadavg: 2.31 2.45 2.35 3/183 21780
/proc/meminfo: memFree=6213724/32872528 swapFree=1459628/1655852
[pid=21725] ppid=21722 vsize=13859396 CPUtime=162.26 cores=0,2,4,6
/proc/21725/stat : 21725 (toysat) R 21722 21725 16189 0 -1 4202496 3405976 0 0 0 15772 454 0 0 20 0 4 0 25979905 14192021504 3406801 33554432000 4194304 16246674 140734123014832 140734123012800 14013920 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21725/statm: 3464849 3406801 848 2943 0 3461743 0
[pid=21725/tid=21726] ppid=21722 vsize=13859396 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21726/stat : 21726 (toysat) S 21722 21725 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25979905 14192021504 3406801 33554432000 4194304 16246674 140734123014832 140337934740720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21725/tid=21727] ppid=21722 vsize=13859396 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21727/stat : 21727 (toysat) S 21722 21725 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25979905 14192021504 3406801 33554432000 4194304 16246674 140734123014832 140337855048720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21725/tid=21728] ppid=21722 vsize=13859396 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21728/stat : 21728 (toysat) S 21722 21725 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25979905 14192021504 3406801 33554432000 4194304 16246674 140734123014832 140337844575408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 13859396



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+184.4 s]
/proc/loadavg: 2.26 2.43 2.35 3/183 21781
/proc/meminfo: memFree=4473844/32872528 swapFree=1459628/1655852
[pid=21725] ppid=21722 vsize=15883844 CPUtime=184.36 cores=0,2,4,6
/proc/21725/stat : 21725 (toysat) R 21722 21725 16189 0 -1 4202496 3911898 0 0 0 17906 530 0 0 20 0 4 0 25979905 16265056256 3912723 33554432000 4194304 16246674 140734123014832 140734123013928 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21725/statm: 3970961 3912723 848 2943 0 3967855 0
[pid=21725/tid=21726] ppid=21722 vsize=15883844 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21726/stat : 21726 (toysat) S 21722 21725 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25979905 16265056256 3912723 33554432000 4194304 16246674 140734123014832 140337934740720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21725/tid=21727] ppid=21722 vsize=15883844 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21727/stat : 21727 (toysat) S 21722 21725 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25979905 16265056256 3912723 33554432000 4194304 16246674 140734123014832 140337855048944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21725/tid=21728] ppid=21722 vsize=15883844 CPUtime=0 cores=0,2,4,6
/proc/21725/task/21728/stat : 21728 (toysat) S 21722 21725 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25979905 16265056256 3912723 33554432000 4194304 16246674 140734123014832 140337844575408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 184.36
Current children cumulated vsize (KiB) 15883844

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

[startup+184.8 s]
/proc/loadavg: 2.26 2.43 2.35 3/181 21781
/proc/meminfo: memFree=11344268/32872528 swapFree=1459628/1655852
[pid=21725] ppid=21722 vsize=0 CPUtime=184.76 cores=0,2,4,6
/proc/21725/stat : 21725 (toysat) Z 21722 21725 16189 0 -1 4203532 3912364 0 0 0 17906 570 0 0 20 0 2 0 25979905 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21725/statm: 0 0 0 0 0 0 0
[pid=21725/tid=21727] ppid=21722 vsize=0 CPUtime=0.39 cores=0,2,4,6
/proc/21725/task/21727/stat : 21727 (toysat) R 21722 21725 16189 0 -1 4203588 7 0 0 0 0 39 0 0 20 0 2 0 25979905 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) 184.76
Current children cumulated vsize (KiB) 0

[startup+185.2 s]
/proc/loadavg: 2.26 2.43 2.35 3/181 21781
/proc/meminfo: memFree=11344268/32872528 swapFree=1459628/1655852
[pid=21725] ppid=21722 vsize=0 CPUtime=185.15 cores=0,2,4,6
/proc/21725/stat : 21725 (toysat) Z 21722 21725 16189 0 -1 4203532 3912364 0 0 0 17906 609 0 0 20 0 2 0 25979905 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21725/statm: 0 0 0 0 0 0 0
[pid=21725/tid=21727] ppid=21722 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/21725/task/21727/stat : 21727 (toysat) R 21722 21725 16189 0 -1 4203588 7 0 0 0 0 78 0 0 20 0 2 0 25979905 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) 185.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 185.249
CPU time (s): 185.208
CPU user time (s): 179.069
CPU system time (s): 6.13907
CPU usage (%): 99.9778
Max. virtual memory (cumulated for all children) (KiB): 15883844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 179.069
system time used= 6.13907
maximum resident set size= 15652756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3912364
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= 71
involuntary context switches= 197

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.489925 second user time and 0.713891 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-18 10:42:24
IDJOB=4103865
IDBENCH=2490
IDSOLVER=2542
FILE ID=node136/4103865-1466239343
RUNJOBID= node136-1466206055-16205
PBS_JOBID= 19918141
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3b.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103865-1466239343/watcher-4103865-1466239343 -o /tmp/evaluation-result-4103865-1466239343/solver-4103865-1466239343 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16205 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103865-1466239343.opb

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

MD5SUM BENCH= 2982ffe422921e9a65d384b08247e6aa
RANDOM SEED=1013367389

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:        15668160 kB
Buffers:             684 kB
Cached:            52220 kB
SwapCached:       602620 kB
Active:         13108108 kB
Inactive:        1701708 kB
Active(anon):   13086032 kB
Inactive(anon):  1673468 kB
Active(file):      22076 kB
Inactive(file):    28240 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       66179504 kB
Dirty:             16308 kB
Writeback:             0 kB
AnonPages:      16103824 kB
Mapped:            11300 kB
Shmem:                 0 kB
Slab:             572820 kB
SReclaimable:      15508 kB
SUnreclaim:       557312 kB
KernelStack:        1464 kB
PageTables:        37100 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   16829796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    198656 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= 71708 MiB
End job on node136 at 2016-06-18 10:45:29