Trace number 4103849

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) 146.841 146.876

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-misc05.opb
MD5SUM4e6161a7dc803af1e0ad1878eef0a0d1
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1076796928
Best CPU time to get the best result obtained on this benchmark48.2697
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1076796928
Optimality of the best value was proved YES
Number of variables1940
Total number of constraints300
Number of constraints which are clauses155
Number of constraints which are cardinality constraints (but not clauses)8
Number of constraints which are nor clauses,nor cardinality constraints137
Minimum length of a constraint2
Maximum length of a constraint451
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 83751857084
Number of bits of the biggest sum of numbers37
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:41:54+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-4103849-1466239314.opb"]
0.00/0.01	c use --random-gen="2304901756 3498355563 2464457939 2822490814 4044605376 2038786053 243999239 640394934 3965719863 2170676655 788069202 2023334866 2045149691 1589541476 2243184220 4094745447 811963038 3565251928 866892074 2479703015 3256602608 762175807 1377490877 2078142795 1502313849 1692649369 3938129476 511388389 2414111860 1850096793 3326383522 2379162875 1281659662 3864997504 604935744 2763790919 2144600161 3390677991 2599725116 2669516125 3623627656 2337887952 1171787824 3655070332 3189339278 2199845078 2292737573 1081473889 1372265110 4001056481 3250319503 3076466992 1626706911 3785103032 4158992891 1067685181 822476280 1939841867 3216905020 1797695972 2678637774 206118338 3726510958 3629150652 3954965714 900017601 264584132 3549251884 2898450322 3014542698 1452331560 2934742626 1217552120 3103400488 171304224 2980881181 2406551959 749354778 1417894530 402428197 608734901 61644747 1537940730 651995343 744021311 1952925389 672689364 1579753785 2266428993 3787066198 3229451449 2349466768 3852192754 299670354 657387472 3861199773 2569224748 4234843401 4230328820 3620517340 3726834642 2212849465 72072624 1311707438 2602963005 3237632936 3710492652 685487336 1510981899 406792459 2167920565 2911361463 2485943559 3676897025 3901324957 4223663867 102495876 3047866136 2965660338 3879971453 3576628892 933591479 1389693922 1955212304 453578221 3236506231 4139488497 2408739444 1521766343 3903624097 576225433 4233651678 4234550516 292683304 2825390443 1612124876 2541239604 2595868725 2461474028 3039607181 3258971879 2875992825 1004733365 3151423471 213548968 3486514134 12200469 3681892022 2921373478 1975282616 762755713 3596626627 1686795168 620213868 2526078461 3343251920 642376184 3332904975 790504119 1327413678 2459652213 957839307 3884545697 1427952509 1267417507 621389548 2387486477 2197951288 3872883859 266988054 1402430473 365252489 4101490484 2113818609 969409347 1165301817 1809399831 3842006762 3111694723 2922002078 1522941033 449369234 2725572278 2055639184 2430079207 4208646119 1302181897 3439188011 3246488510 4020191172 2044799261 4229800637 3458499407 2949408929 3205410477 4115209425 1449121745 651304111 2354893116 3270043880 2398914894 436495337 213516761 3344932112 2210067573 1776169188 1001506241 1075293927 3575566704 980785733 3227879501 325946342 3048677032 3145859106 2099112495 483912098 3592255792 324788435 1025881805 2621202973 443830766 3944414299 2370572852 2437775761 4247923123 2790153783 347827636 1804184597 2603461122 4020615439 3875854922 2950955583 4078681449 3659721559 4079397735 2751862391 3364796341 2073698155 721900943 1899738808 4293974310 3443360146 1532927609 3054568963 1868226898 689051616 4138626551 2247293718 404864502 3114351158 2150830845 2810458783 1331096297 2622027825 4121780826 4279662944 255 362436" option to reproduce the execution
0.00/0.03	c #vars 1940
0.00/0.03	c #constraints 300

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

pid=6019
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.22 2.17 2.10 3/179 6022
/proc/meminfo: memFree=18101772/32872528 swapFree=681964/737152
[pid=6022] ppid=6019 vsize=690620 CPUtime=0 cores=0,2,4,6
/proc/6022/stat : 6022 (toysat) R 6019 6022 1377 0 -1 4202496 2569 0 0 0 0 0 0 0 20 0 4 0 25980638 707194880 2930 33554432000 4194304 16246674 140737286209360 140737286208784 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6022/statm: 173167 2938 441 2943 0 170061 0
[pid=6022/tid=6023] ppid=6019 vsize=708028 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6023/stat : 6023 (toysat) S 6019 6022 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25980639 725020672 2997 33554432000 4194304 16246674 140737286209360 139931892559088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6022/tid=6024] ppid=6019 vsize=712124 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6024/stat : 6024 (toysat) S 6019 6022 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25980639 729214976 3015 33554432000 4194304 16246674 140737286209360 139931882069232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6022/tid=6025] ppid=6019 vsize=716220 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6025/stat : 6025 (toysat) S 6019 6022 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25980639 733409280 3028 33554432000 4194304 16246674 140737286209360 139931871595696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.22 2.17 2.10 3/179 6022
/proc/meminfo: memFree=18101772/32872528 swapFree=681964/737152
[pid=6022] ppid=6019 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/6022/stat : 6022 (toysat) R 6019 6022 1377 0 -1 4202496 33288 0 0 0 5 4 0 0 20 0 4 0 25980638 1247350784 33640 33554432000 4194304 16246674 140737286209360 140737286208784 12449399 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6022/statm: 304529 33654 633 2943 0 301423 0
[pid=6022/tid=6023] ppid=6019 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6023/stat : 6023 (toysat) S 6019 6022 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25980639 1247350784 33663 33554432000 4194304 16246674 140737286209360 139931892559088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6022/tid=6024] ppid=6019 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6024/stat : 6024 (toysat) S 6019 6022 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25980639 1247350784 33673 33554432000 4194304 16246674 140737286209360 139931882069232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6022/tid=6025] ppid=6019 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6025/stat : 6025 (toysat) S 6019 6022 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25980639 1247350784 33683 33554432000 4194304 16246674 140737286209360 139931871595696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200511 s]
/proc/loadavg: 2.22 2.17 2.10 3/179 6022
/proc/meminfo: memFree=18101772/32872528 swapFree=681964/737152
[pid=6022] ppid=6019 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/6022/stat : 6022 (toysat) R 6019 6022 1377 0 -1 4202496 57513 0 0 0 12 7 0 0 20 0 4 0 25980638 1247350784 57865 33554432000 4194304 16246674 140737286209360 140737286208784 12371341 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6022/statm: 304529 57876 633 2943 0 301423 0
[pid=6022/tid=6023] ppid=6019 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6023/stat : 6023 (toysat) S 6019 6022 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25980639 1247350784 57883 33554432000 4194304 16246674 140737286209360 139931892559088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6022/tid=6024] ppid=6019 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6024/stat : 6024 (toysat) S 6019 6022 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25980639 1247350784 57890 33554432000 4194304 16246674 140737286209360 139931882069232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6022/tid=6025] ppid=6019 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6025/stat : 6025 (toysat) S 6019 6022 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25980639 1247350784 57896 33554432000 4194304 16246674 140737286209360 139931871595696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30048 s]
/proc/loadavg: 2.22 2.17 2.10 3/179 6022
/proc/meminfo: memFree=18101772/32872528 swapFree=681964/737152
[pid=6022] ppid=6019 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/6022/stat : 6022 (toysat) R 6019 6022 1377 0 -1 4202496 80416 0 0 0 19 10 0 0 20 0 4 0 25980638 1247350784 80769 33554432000 4194304 16246674 140737286209360 140737286208784 12654121 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6022/statm: 304529 80783 633 2943 0 301423 0
[pid=6022/tid=6023] ppid=6019 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6023/stat : 6023 (toysat) S 6019 6022 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25980639 1247350784 80792 33554432000 4194304 16246674 140737286209360 139931892559088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6022/tid=6024] ppid=6019 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6024/stat : 6024 (toysat) S 6019 6022 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25980639 1247350784 80801 33554432000 4194304 16246674 140737286209360 139931882069232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6022/tid=6025] ppid=6019 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6025/stat : 6025 (toysat) S 6019 6022 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25980639 1247350784 80810 33554432000 4194304 16246674 140737286209360 139931871595696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700407 s]
/proc/loadavg: 2.22 2.17 2.10 3/179 6022
/proc/meminfo: memFree=18101772/32872528 swapFree=681964/737152
[pid=6022] ppid=6019 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/6022/stat : 6022 (toysat) R 6019 6022 1377 0 -1 4202496 167907 0 0 0 48 21 0 0 20 0 4 0 25980638 1247350784 168259 33554432000 4194304 16246674 140737286209360 140737286191232 12429797 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6022/statm: 304529 168265 633 2943 0 301423 0
[pid=6022/tid=6023] ppid=6019 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6023/stat : 6023 (toysat) S 6019 6022 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25980639 1247350784 168268 33554432000 4194304 16246674 140737286209360 139931892559088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6022/tid=6024] ppid=6019 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6024/stat : 6024 (toysat) S 6019 6022 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25980639 1247350784 168272 33554432000 4194304 16246674 140737286209360 139931882069232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6022/tid=6025] ppid=6019 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6025/stat : 6025 (toysat) S 6019 6022 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25980639 1247350784 168276 33554432000 4194304 16246674 140737286209360 139931871595696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.20 2.17 2.10 3/183 6026
/proc/meminfo: memFree=17092392/32872528 swapFree=681964/737152
[pid=6022] ppid=6019 vsize=1306180 CPUtime=1.49 cores=0,2,4,6
/proc/6022/stat : 6022 (toysat) R 6019 6022 1377 0 -1 4202496 267394 0 0 0 115 34 0 0 20 0 4 0 25980638 1337528320 267702 33554432000 4194304 16246674 140737286209360 140737286191232 12449269 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6022/statm: 326545 267702 834 2943 0 323439 0
[pid=6022/tid=6023] ppid=6019 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6023/stat : 6023 (toysat) S 6019 6022 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25980639 1337528320 267702 33554432000 4194304 16246674 140737286209360 139931892559088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6022/tid=6024] ppid=6019 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6024/stat : 6024 (toysat) S 6019 6022 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25980639 1337528320 267702 33554432000 4194304 16246674 140737286209360 139931882069232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6022/tid=6025] ppid=6019 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6025/stat : 6025 (toysat) S 6019 6022 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25980639 1337528320 267702 33554432000 4194304 16246674 140737286209360 139931871595696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1306180

[startup+3.10037 s]
/proc/loadavg: 2.20 2.17 2.10 3/183 6026
/proc/meminfo: memFree=16950660/32872528 swapFree=681964/737152
[pid=6022] ppid=6019 vsize=1387076 CPUtime=3.09 cores=0,2,4,6
/proc/6022/stat : 6022 (toysat) R 6019 6022 1377 0 -1 4202496 287877 0 0 0 273 36 0 0 20 0 4 0 25980638 1420365824 288185 33554432000 4194304 16246674 140737286209360 140737286208672 12429109 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6022/statm: 346769 288185 834 2943 0 343663 0
[pid=6022/tid=6023] ppid=6019 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6023/stat : 6023 (toysat) S 6019 6022 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25980639 1420365824 288185 33554432000 4194304 16246674 140737286209360 139931892559088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6022/tid=6024] ppid=6019 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6024/stat : 6024 (toysat) S 6019 6022 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25980639 1420365824 288185 33554432000 4194304 16246674 140737286209360 139931882069232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6022/tid=6025] ppid=6019 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6025/stat : 6025 (toysat) S 6019 6022 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25980639 1420365824 288185 33554432000 4194304 16246674 140737286209360 139931871595696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1387076

[startup+6.30036 s]
/proc/loadavg: 2.20 2.17 2.10 3/183 6026
/proc/meminfo: memFree=16633604/32872528 swapFree=681964/737152
[pid=6022] ppid=6019 vsize=1702468 CPUtime=6.29 cores=0,2,4,6
/proc/6022/stat : 6022 (toysat) R 6019 6022 1377 0 -1 4202496 366725 0 0 0 582 47 0 0 20 0 4 0 25980638 1743327232 367033 33554432000 4194304 16246674 140737286209360 140737286191232 4221105 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6022/statm: 425617 367033 834 2943 0 422511 0
[pid=6022/tid=6023] ppid=6019 vsize=1702468 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6023/stat : 6023 (toysat) S 6019 6022 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25980639 1743327232 367033 33554432000 4194304 16246674 140737286209360 139931892559088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6022/tid=6024] ppid=6019 vsize=1702468 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6024/stat : 6024 (toysat) S 6019 6022 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25980639 1743327232 367033 33554432000 4194304 16246674 140737286209360 139931882069232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6022/tid=6025] ppid=6019 vsize=1702468 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6025/stat : 6025 (toysat) S 6019 6022 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25980639 1743327232 367033 33554432000 4194304 16246674 140737286209360 139931871595696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1702468

[startup+12.7004 s]
/proc/loadavg: 2.17 2.16 2.10 3/183 6026
/proc/meminfo: memFree=15565232/32872528 swapFree=681964/737152
[pid=6022] ppid=6019 vsize=3220036 CPUtime=12.68 cores=0,2,4,6
/proc/6022/stat : 6022 (toysat) R 6019 6022 1377 0 -1 4202496 746038 0 0 0 1172 96 0 0 20 0 4 0 25980638 3297316864 746347 33554432000 4194304 16246674 140737286209360 140737286208024 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6022/statm: 805009 746355 835 2943 0 801903 0
[pid=6022/tid=6023] ppid=6019 vsize=3220036 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6023/stat : 6023 (toysat) S 6019 6022 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25980639 3297316864 746361 33554432000 4194304 16246674 140737286209360 139931892559088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6022/tid=6024] ppid=6019 vsize=3220036 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6024/stat : 6024 (toysat) S 6019 6022 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25980639 3297316864 746368 33554432000 4194304 16246674 140737286209360 139931882069008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6022/tid=6025] ppid=6019 vsize=3220036 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6025/stat : 6025 (toysat) S 6019 6022 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25980639 3297316864 746373 33554432000 4194304 16246674 140737286209360 139931871595696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 3220036

[startup+25.5005 s]
/proc/loadavg: 2.14 2.16 2.10 4/183 6026
/proc/meminfo: memFree=13246552/32872528 swapFree=681964/737152
[pid=6022] ppid=6019 vsize=5083716 CPUtime=25.49 cores=0,2,4,6
/proc/6022/stat : 6022 (toysat) R 6019 6022 1377 0 -1 4202496 1212039 0 0 0 2390 159 0 0 20 0 4 0 25980638 5205725184 1212347 33554432000 4194304 16246674 140737286209360 140737286208536 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6022/statm: 1270929 1212347 835 2943 0 1267823 0
[pid=6022/tid=6023] ppid=6019 vsize=5083716 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6023/stat : 6023 (toysat) S 6019 6022 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25980639 5205725184 1212347 33554432000 4194304 16246674 140737286209360 139931892559088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6022/tid=6024] ppid=6019 vsize=5083716 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6024/stat : 6024 (toysat) S 6019 6022 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25980639 5205725184 1212347 33554432000 4194304 16246674 140737286209360 139931882069232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6022/tid=6025] ppid=6019 vsize=5083716 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6025/stat : 6025 (toysat) S 6019 6022 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25980639 5205725184 1212347 33554432000 4194304 16246674 140737286209360 139931871595696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 5083716

[startup+51.1005 s]
/proc/loadavg: 2.21 2.17 2.10 3/183 6027
/proc/meminfo: memFree=7799580/32872528 swapFree=681964/737152
[pid=6022] ppid=6019 vsize=10520132 CPUtime=51.09 cores=0,2,4,6
/proc/6022/stat : 6022 (toysat) R 6019 6022 1377 0 -1 4202496 2571145 0 0 0 4763 346 0 0 20 0 4 0 25980638 10772615168 2571453 33554432000 4194304 16246674 140737286209360 140737286208536 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6022/statm: 2630033 2571453 835 2943 0 2626927 0
[pid=6022/tid=6023] ppid=6019 vsize=10520132 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6023/stat : 6023 (toysat) S 6019 6022 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25980639 10772615168 2571453 33554432000 4194304 16246674 140737286209360 139931892559088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6022/tid=6024] ppid=6019 vsize=10520132 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6024/stat : 6024 (toysat) S 6019 6022 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25980639 10772615168 2571453 33554432000 4194304 16246674 140737286209360 139931882069232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6022/tid=6025] ppid=6019 vsize=10520132 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6025/stat : 6025 (toysat) S 6019 6022 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25980639 10772615168 2571453 33554432000 4194304 16246674 140737286209360 139931871595696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 10520132

[startup+102.3 s]
/proc/loadavg: 2.14 2.16 2.10 3/183 6028
/proc/meminfo: memFree=2918660/32872528 swapFree=681968/737156
[pid=6022] ppid=6019 vsize=14064196 CPUtime=102.29 cores=0,2,4,6
/proc/6022/stat : 6022 (toysat) R 6019 6022 1377 0 -1 4202496 3457167 0 0 0 9757 472 0 0 20 0 4 0 25980638 14401736704 3457475 33554432000 4194304 16246674 140737286209360 140737286208456 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6022/statm: 3516049 3457475 840 2943 0 3512943 0
[pid=6022/tid=6023] ppid=6019 vsize=14064196 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6023/stat : 6023 (toysat) S 6019 6022 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25980639 14401736704 3457475 33554432000 4194304 16246674 140737286209360 139931892559088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6022/tid=6024] ppid=6019 vsize=14064196 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6024/stat : 6024 (toysat) S 6019 6022 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25980639 14401736704 3457475 33554432000 4194304 16246674 140737286209360 139931882069232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6022/tid=6025] ppid=6019 vsize=14064196 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6025/stat : 6025 (toysat) S 6019 6022 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25980639 14401736704 3457475 33554432000 4194304 16246674 140737286209360 139931871595696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 14064196



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+146 s]
/proc/loadavg: 2.13 2.15 2.09 4/183 6078
/proc/meminfo: memFree=14849808/32872528 swapFree=681964/737152
[pid=6022] ppid=6019 vsize=15917636 CPUtime=145.97 cores=0,2,4,6
/proc/6022/stat : 6022 (toysat) R 6019 6022 1377 0 -1 4202496 3920277 0 0 0 14053 544 0 0 20 0 4 0 25980638 16299659264 3920585 33554432000 4194304 16246674 140737286209360 140737286208456 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6022/statm: 3979409 3920585 840 2943 0 3976303 0
[pid=6022/tid=6023] ppid=6019 vsize=15917636 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6023/stat : 6023 (toysat) S 6019 6022 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25980639 16299659264 3920585 33554432000 4194304 16246674 140737286209360 139931892559088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6022/tid=6024] ppid=6019 vsize=15917636 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6024/stat : 6024 (toysat) S 6019 6022 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25980639 16299659264 3920585 33554432000 4194304 16246674 140737286209360 139931882069232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6022/tid=6025] ppid=6019 vsize=15917636 CPUtime=0 cores=0,2,4,6
/proc/6022/task/6025/stat : 6025 (toysat) S 6019 6022 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25980639 16299659264 3920585 33554432000 4194304 16246674 140737286209360 139931871595696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 145.97
Current children cumulated vsize (KiB) 15917636

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

[startup+146.407 s]
/proc/loadavg: 2.12 2.15 2.09 3/181 6078
/proc/meminfo: memFree=19980368/32872528 swapFree=681964/737152
[pid=6022] ppid=6019 vsize=0 CPUtime=146.38 cores=0,2,4,6
/proc/6022/stat : 6022 (toysat) Z 6019 6022 1377 0 -1 4203532 3920789 0 0 0 14053 585 0 0 20 0 2 0 25980638 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6022/statm: 0 0 0 0 0 0 0
[pid=6022/tid=6024] ppid=6019 vsize=0 CPUtime=0.39 cores=0,2,4,6
/proc/6022/task/6024/stat : 6024 (toysat) R 6019 6022 1377 0 -1 4203588 8 0 0 0 0 39 0 0 20 0 2 0 25980639 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 146.38
Current children cumulated vsize (KiB) 0

[startup+146.8 s]
/proc/loadavg: 2.12 2.15 2.09 3/181 6078
/proc/meminfo: memFree=19980368/32872528 swapFree=681964/737152
[pid=6022] ppid=6019 vsize=0 CPUtime=146.77 cores=0,2,4,6
/proc/6022/stat : 6022 (toysat) Z 6019 6022 1377 0 -1 4203532 3920789 0 0 0 14053 624 0 0 20 0 2 0 25980638 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6022/statm: 0 0 0 0 0 0 0
[pid=6022/tid=6024] ppid=6019 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/6022/task/6024/stat : 6024 (toysat) R 6019 6022 1377 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 25980639 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 146.77
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 146.876
CPU time (s): 146.841
CPU user time (s): 140.535
CPU system time (s): 6.30604
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 15917636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 140.535
system time used= 6.30604
maximum resident set size= 15684388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3920789
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= 61
involuntary context switches= 160

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.358945 second user time and 0.59091 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 10:41:54
IDJOB=4103849
IDBENCH=2484
IDSOLVER=2542
FILE ID=node112/4103849-1466239314
RUNJOBID= node112-1466206100-1394
PBS_JOBID= 19918164
Free space on /tmp= 71696 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-misc05.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103849-1466239314/watcher-4103849-1466239314 -o /tmp/evaluation-result-4103849-1466239314/solver-4103849-1466239314 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1394 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103849-1466239314.opb

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

MD5SUM BENCH= 4e6161a7dc803af1e0ad1878eef0a0d1
RANDOM SEED=357954743

node112.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.734
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.46
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.734
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.734
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	: 5321.48
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.734
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.734
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.734
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.734
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.734
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        18101772 kB
Buffers:           25044 kB
Cached:            90092 kB
SwapCached:         2288 kB
Active:         13230200 kB
Inactive:          43968 kB
Active(anon):   13158964 kB
Inactive(anon):     2416 kB
Active(file):      71236 kB
Inactive(file):    41552 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67093596 kB
Dirty:             16696 kB
Writeback:             0 kB
AnonPages:      13895420 kB
Mapped:            10116 kB
Shmem:                 0 kB
Slab:             600884 kB
SReclaimable:      44632 kB
SUnreclaim:       556252 kB
KernelStack:        1520 kB
PageTables:        31692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   14040728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     59392 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= 71680 MiB
End job on node112 at 2016-06-18 10:44:21