Trace number 4103933

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) 204.908 204.957

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-mod011.opb
MD5SUM7946286f4c1a7ac44cf771db2f48f590
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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables309773
Total number of constraints5980
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)16
Number of constraints which are nor clauses,nor cardinality constraints5964
Minimum length of a constraint6
Maximum length of a constraint24690
Number of terms in the objective function 212680
Biggest coefficient in the objective function 38252041742581760
Number of bits for the biggest coefficient in the objective function 56
Sum of the numbers in the objective function 82366741301042726133
Number of bits of the sum of numbers in the objective function 67
Biggest number in a constraint 38252041742581760
Number of bits of the biggest number in a constraint 56
Biggest sum of numbers in a constraint 82366741301042726133
Number of bits of the biggest sum of numbers67
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:47:09+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-4103933-1466239628.opb"]
0.00/0.01	c use --random-gen="3788884603 3462239675 1353618111 1447709887 1592145185 2307028316 494082856 2092890667 4056016144 4170243354 3468374638 2667962078 581515517 2551910544 183731627 1998020928 2626613786 2252338205 692739984 3539757540 2765801624 2843490125 168350004 2881686841 2467011114 4092797523 1946433136 1117907728 4153264820 1382129191 1622188462 2426579836 929140890 3939750540 2978315169 3526520749 2135116774 2683848535 2093874432 894854515 44581394 3018003309 2561160554 57852299 109213620 1665142050 594552486 1427545253 2180188468 2574774807 1712002238 2054583450 2371570291 3704767364 379058264 1660544693 864307714 4023105891 1536394243 2230845675 2580461244 1669126990 156741413 3458878547 3701849212 2960645645 2170098234 3585996565 3454727480 3917257745 1949304370 3376476372 660083502 3937969852 4022652278 1289470586 1664545768 4112792175 1957451796 1193096918 198139293 2912571246 1466958620 1185403561 3440442685 4255119669 3485586582 3183694335 1083680515 3505930322 3741751250 2270395551 1719676534 4090564119 1811085104 46152066 3295495557 1217474528 1091178350 4083845949 1617859838 2188337354 3695353624 2249068022 124774933 1536299035 2032863715 3661843833 396040197 3061123057 2720374121 3297314434 205540878 2264124567 608246807 3848339005 1153399430 1864912065 2206027777 2857304525 4003411270 766414852 2233498997 2786471740 675647349 623432854 4256026601 3293186730 3943934135 3153993915 1720192466 3484965192 949540647 2546493017 429749720 3941604500 201188140 890095148 3061823612 1270704449 3397950965 223196756 3254787143 3778510532 1708768204 2074469273 2493271363 2191640019 676120405 2096819982 1665254812 3840070044 2434548106 2856973566 2610483347 1867875782 2102116016 4034053468 1118089898 2248854703 924729839 2999887248 2399860668 2429261358 4122248651 775520063 2519194708 1741877592 1896883942 900671239 3078577804 2188388312 3325024262 1000417524 1667279960 3462506406 1713982490 2998654941 2840905597 1982913978 2374528051 4157544047 1006894330 2923276437 1535276021 3374972338 357040032 3396005840 1828557782 4167960343 2400232253 1229481479 2508734558 1874739933 1270118986 3610237500 955598560 4040412145 3824639193 3271761149 1269351811 2660147071 1561236331 163276608 42069622 4263145465 3479735567 124752897 2842712769 581514773 1257408745 4073431520 767864066 1431975739 959327256 764260785 1358683930 1605627740 3345794542 4044294091 3766749378 1443400298 3748309558 1991999705 948704254 2130473111 2809802255 3767751650 2630568872 1144491875 3522592501 3440901544 1111713483 2079183310 120559027 2711766468 322469846 1735599292 1621773154 2392618191 2906015676 1033265867 803598245 34967190 3105974402 436974831 2781157474 472010078 3609207063 2710665353 2229263112 3561076609 1645061845 3289736844 499236434 3719850087 255 362436" option to reproduce the execution
1.79/1.83	c #vars 309773
1.79/1.83	c #constraints 5980

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-4103933-1466239628/watcher-4103933-1466239628 -o /tmp/evaluation-result-4103933-1466239628/solver-4103933-1466239628 -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-4103933-1466239628.opb 

pid=6171
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.19 2.15 2.09 3/179 6174
/proc/meminfo: memFree=30178176/32872528 swapFree=681964/737152
[pid=6174] ppid=6171 vsize=729532 CPUtime=0 cores=0,2,4,6
/proc/6174/stat : 6174 (toysat) R 6171 6174 1377 0 -1 4202496 2724 0 0 0 0 0 0 0 20 0 4 0 26012096 747040768 2573 33554432000 4194304 16246674 140734286922240 140734286921664 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6174/statm: 182895 2583 441 2943 0 179789 0
[pid=6174/tid=6175] ppid=6171 vsize=747964 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6175/stat : 6175 (toysat) S 6171 6174 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012097 765915136 2644 33554432000 4194304 16246674 140734286922240 139986740423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6174/tid=6176] ppid=6171 vsize=752060 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6176/stat : 6176 (toysat) S 6171 6174 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012097 770109440 2661 33554432000 4194304 16246674 140734286922240 139986729934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6174/tid=6177] ppid=6171 vsize=756156 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6177/stat : 6177 (toysat) S 6171 6174 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26012097 774303744 2679 33554432000 4194304 16246674 140734286922240 139986719460528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100159 s]
/proc/loadavg: 2.19 2.15 2.09 3/179 6174
/proc/meminfo: memFree=30178176/32872528 swapFree=681964/737152
[pid=6174] ppid=6171 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/6174/stat : 6174 (toysat) R 6171 6174 1377 0 -1 4202496 31279 0 0 0 5 4 0 0 20 0 4 0 26012096 1334382592 31066 33554432000 4194304 16246674 140734286922240 140734286921552 7374276 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6174/statm: 325777 31081 799 2943 0 322671 0
[pid=6174/tid=6175] ppid=6171 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6175/stat : 6175 (toysat) S 6171 6174 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012097 1334382592 31092 33554432000 4194304 16246674 140734286922240 139986740423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6174/tid=6176] ppid=6171 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6176/stat : 6176 (toysat) S 6171 6174 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012097 1334382592 31103 33554432000 4194304 16246674 140734286922240 139986729934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6174/tid=6177] ppid=6171 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6177/stat : 6177 (toysat) S 6171 6174 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26012097 1334382592 31113 33554432000 4194304 16246674 140734286922240 139986719460528 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) 1303108

[startup+0.200574 s]
/proc/loadavg: 2.19 2.15 2.09 3/179 6174
/proc/meminfo: memFree=30178176/32872528 swapFree=681964/737152
[pid=6174] ppid=6171 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/6174/stat : 6174 (toysat) R 6171 6174 1377 0 -1 4202496 38292 0 0 0 14 5 0 0 20 0 4 0 26012096 1342771200 38590 33554432000 4194304 16246674 140734286922240 140734286921552 4220850 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6174/statm: 327825 38590 799 2943 0 324719 0
[pid=6174/tid=6175] ppid=6171 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6175/stat : 6175 (toysat) S 6171 6174 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012097 1342771200 38590 33554432000 4194304 16246674 140734286922240 139986740423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6174/tid=6176] ppid=6171 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6176/stat : 6176 (toysat) S 6171 6174 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012097 1342771200 38590 33554432000 4194304 16246674 140734286922240 139986729934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6174/tid=6177] ppid=6171 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6177/stat : 6177 (toysat) S 6171 6174 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26012097 1342771200 38590 33554432000 4194304 16246674 140734286922240 139986719460528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300515 s]
/proc/loadavg: 2.19 2.15 2.09 3/179 6174
/proc/meminfo: memFree=30178176/32872528 swapFree=681964/737152
[pid=6174] ppid=6171 vsize=1311300 CPUtime=0.29 cores=0,2,4,6
/proc/6174/stat : 6174 (toysat) R 6171 6174 1377 0 -1 4202496 38294 0 0 0 24 5 0 0 20 0 4 0 26012096 1342771200 38592 33554432000 4194304 16246674 140734286922240 140734286921552 7364308 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6174/statm: 327825 38592 799 2943 0 324719 0
[pid=6174/tid=6175] ppid=6171 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6175/stat : 6175 (toysat) S 6171 6174 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012097 1342771200 38592 33554432000 4194304 16246674 140734286922240 139986740423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6174/tid=6176] ppid=6171 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6176/stat : 6176 (toysat) S 6171 6174 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012097 1342771200 38592 33554432000 4194304 16246674 140734286922240 139986729934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6174/tid=6177] ppid=6171 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6177/stat : 6177 (toysat) S 6171 6174 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26012097 1342771200 38592 33554432000 4194304 16246674 140734286922240 139986719460528 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) 1311300

[startup+0.700429 s]
/proc/loadavg: 2.19 2.15 2.09 3/179 6174
/proc/meminfo: memFree=30178176/32872528 swapFree=681964/737152
[pid=6174] ppid=6171 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/6174/stat : 6174 (toysat) R 6171 6174 1377 0 -1 4202496 63851 0 0 0 59 10 0 0 20 0 4 0 26012096 1343819776 64149 33554432000 4194304 16246674 140734286922240 140734286921552 13927320 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6174/statm: 328081 64149 802 2943 0 324975 0
[pid=6174/tid=6175] ppid=6171 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6175/stat : 6175 (toysat) S 6171 6174 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012097 1343819776 64149 33554432000 4194304 16246674 140734286922240 139986740423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6174/tid=6176] ppid=6171 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6176/stat : 6176 (toysat) S 6171 6174 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012097 1343819776 64149 33554432000 4194304 16246674 140734286922240 139986729934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6174/tid=6177] ppid=6171 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6177/stat : 6177 (toysat) S 6171 6174 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26012097 1343819776 64149 33554432000 4194304 16246674 140734286922240 139986719460528 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) 1312324

[startup+1.50043 s]
/proc/loadavg: 2.25 2.16 2.10 3/183 6178
/proc/meminfo: memFree=29900496/32872528 swapFree=681964/737152
[pid=6174] ppid=6171 vsize=1349188 CPUtime=1.49 cores=0,2,4,6
/proc/6174/stat : 6174 (toysat) R 6171 6174 1377 0 -1 4202496 66881 0 0 0 138 11 0 0 20 0 4 0 26012096 1381568512 73822 33554432000 4194304 16246674 140734286922240 140734286904128 14073329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6174/statm: 337297 73822 802 2943 0 334191 0
[pid=6174/tid=6175] ppid=6171 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6175/stat : 6175 (toysat) S 6171 6174 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012097 1381568512 73822 33554432000 4194304 16246674 140734286922240 139986740423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6174/tid=6176] ppid=6171 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6176/stat : 6176 (toysat) S 6171 6174 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012097 1381568512 73822 33554432000 4194304 16246674 140734286922240 139986729934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6174/tid=6177] ppid=6171 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6177/stat : 6177 (toysat) S 6171 6174 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26012097 1381568512 73822 33554432000 4194304 16246674 140734286922240 139986719460528 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) 1349188

[startup+3.10042 s]
/proc/loadavg: 2.25 2.16 2.10 3/183 6178
/proc/meminfo: memFree=29661956/32872528 swapFree=681964/737152
[pid=6174] ppid=6171 vsize=1454660 CPUtime=3.08 cores=0,2,4,6
/proc/6174/stat : 6174 (toysat) R 6171 6174 1377 0 -1 4202496 166181 0 0 0 285 23 0 0 20 0 4 0 26012096 1489571840 175677 33554432000 4194304 16246674 140734286922240 140734286921552 12654409 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6174/statm: 363665 175677 841 2943 0 360559 0
[pid=6174/tid=6175] ppid=6171 vsize=1454660 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6175/stat : 6175 (toysat) S 6171 6174 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012097 1489571840 175677 33554432000 4194304 16246674 140734286922240 139986740423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6174/tid=6176] ppid=6171 vsize=1454660 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6176/stat : 6176 (toysat) S 6171 6174 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012097 1489571840 175677 33554432000 4194304 16246674 140734286922240 139986729934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6174/tid=6177] ppid=6171 vsize=1454660 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6177/stat : 6177 (toysat) S 6171 6174 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26012097 1489571840 175677 33554432000 4194304 16246674 140734286922240 139986719460528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1454660

[startup+6.30044 s]
/proc/loadavg: 2.25 2.16 2.10 4/183 6178
/proc/meminfo: memFree=28925660/32872528 swapFree=681964/737152
[pid=6174] ppid=6171 vsize=1526340 CPUtime=6.29 cores=0,2,4,6
/proc/6174/stat : 6174 (toysat) R 6171 6174 1377 0 -1 4202496 313014 0 0 0 587 42 0 0 20 0 4 0 26012096 1562972160 322510 33554432000 4194304 16246674 140734286922240 140734286921552 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6174/statm: 381585 322510 841 2943 0 378479 0
[pid=6174/tid=6175] ppid=6171 vsize=1526340 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6175/stat : 6175 (toysat) S 6171 6174 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012097 1562972160 322510 33554432000 4194304 16246674 140734286922240 139986740423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6174/tid=6176] ppid=6171 vsize=1526340 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6176/stat : 6176 (toysat) S 6171 6174 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012097 1562972160 322510 33554432000 4194304 16246674 140734286922240 139986729934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6174/tid=6177] ppid=6171 vsize=1526340 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6177/stat : 6177 (toysat) S 6171 6174 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26012097 1562972160 322510 33554432000 4194304 16246674 140734286922240 139986719460528 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) 1526340

[startup+12.7005 s]
/proc/loadavg: 2.21 2.16 2.10 3/183 6178
/proc/meminfo: memFree=27667572/32872528 swapFree=681964/737152
[pid=6174] ppid=6171 vsize=3063364 CPUtime=12.69 cores=0,2,4,6
/proc/6174/stat : 6174 (toysat) R 6171 6174 1377 0 -1 4202496 697270 0 0 0 1179 90 0 0 20 0 4 0 26012096 3136884736 706766 33554432000 4194304 16246674 140734286922240 140734286921552 4221108 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6174/statm: 765841 706766 841 2943 0 762735 0
[pid=6174/tid=6175] ppid=6171 vsize=3063364 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6175/stat : 6175 (toysat) S 6171 6174 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012097 3136884736 706766 33554432000 4194304 16246674 140734286922240 139986740423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6174/tid=6176] ppid=6171 vsize=3063364 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6176/stat : 6176 (toysat) S 6171 6174 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012097 3136884736 706766 33554432000 4194304 16246674 140734286922240 139986729934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6174/tid=6177] ppid=6171 vsize=3063364 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6177/stat : 6177 (toysat) S 6171 6174 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26012097 3136884736 706766 33554432000 4194304 16246674 140734286922240 139986719460528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 3063364

[startup+25.5005 s]
/proc/loadavg: 2.25 2.17 2.10 3/183 6179
/proc/meminfo: memFree=25385732/32872528 swapFree=681964/737152
[pid=6174] ppid=6171 vsize=5024324 CPUtime=25.48 cores=0,2,4,6
/proc/6174/stat : 6174 (toysat) R 6171 6174 1377 0 -1 4202496 1187512 0 0 0 2394 154 0 0 20 0 4 0 26012096 5144907776 1197008 33554432000 4194304 16246674 140734286922240 140734286921416 4220480 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6174/statm: 1256081 1197008 842 2943 0 1252975 0
[pid=6174/tid=6175] ppid=6171 vsize=5024324 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6175/stat : 6175 (toysat) S 6171 6174 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012097 5144907776 1197008 33554432000 4194304 16246674 140734286922240 139986740423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6174/tid=6176] ppid=6171 vsize=5024324 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6176/stat : 6176 (toysat) S 6171 6174 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012097 5144907776 1197008 33554432000 4194304 16246674 140734286922240 139986729934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6174/tid=6177] ppid=6171 vsize=5024324 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6177/stat : 6177 (toysat) S 6171 6174 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26012097 5144907776 1197008 33554432000 4194304 16246674 140734286922240 139986719460528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 5024324

[startup+51.1005 s]
/proc/loadavg: 2.17 2.15 2.10 3/183 6179
/proc/meminfo: memFree=20584004/32872528 swapFree=681964/737152
[pid=6174] ppid=6171 vsize=9815620 CPUtime=51.08 cores=0,2,4,6
/proc/6174/stat : 6174 (toysat) R 6171 6174 1377 0 -1 4202496 2385338 0 0 0 4797 311 0 0 20 0 4 0 26012096 10051194880 2394834 33554432000 4194304 16246674 140734286922240 140734286921336 4220480 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6174/statm: 2453905 2394834 842 2943 0 2450799 0
[pid=6174/tid=6175] ppid=6171 vsize=9815620 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6175/stat : 6175 (toysat) S 6171 6174 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012097 10051194880 2394834 33554432000 4194304 16246674 140734286922240 139986740423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6174/tid=6176] ppid=6171 vsize=9815620 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6176/stat : 6176 (toysat) S 6171 6174 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012097 10051194880 2394834 33554432000 4194304 16246674 140734286922240 139986729934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6174/tid=6177] ppid=6171 vsize=9815620 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6177/stat : 6177 (toysat) S 6171 6174 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26012097 10051194880 2394834 33554432000 4194304 16246674 140734286922240 139986719460528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9815620

[startup+102.3 s]
/proc/loadavg: 2.13 2.14 2.09 3/183 6180
/proc/meminfo: memFree=18325248/32872528 swapFree=681964/737152
[pid=6174] ppid=6171 vsize=12069444 CPUtime=102.28 cores=0,2,4,6
/proc/6174/stat : 6174 (toysat) R 6171 6174 1377 0 -1 4202496 2948800 0 0 0 9841 387 0 0 20 0 4 0 26012096 12359110656 2958296 33554432000 4194304 16246674 140734286922240 140734286921416 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6174/statm: 3017361 2958296 847 2943 0 3014255 0
[pid=6174/tid=6175] ppid=6171 vsize=12069444 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6175/stat : 6175 (toysat) S 6171 6174 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012097 12359110656 2958296 33554432000 4194304 16246674 140734286922240 139986740423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6174/tid=6176] ppid=6171 vsize=12069444 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6176/stat : 6176 (toysat) S 6171 6174 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012097 12359110656 2958296 33554432000 4194304 16246674 140734286922240 139986729934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6174/tid=6177] ppid=6171 vsize=12069444 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6177/stat : 6177 (toysat) S 6171 6174 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26012097 12359110656 2958296 33554432000 4194304 16246674 140734286922240 139986719460528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 12069444

[startup+162.3 s]
/proc/loadavg: 2.08 2.13 2.09 3/183 6181
/proc/meminfo: memFree=16929544/32872528 swapFree=681964/737152
[pid=6174] ppid=6171 vsize=13447748 CPUtime=162.26 cores=0,2,4,6
/proc/6174/stat : 6174 (toysat) R 6171 6174 1377 0 -1 4202496 3197065 0 0 0 15792 434 0 0 20 0 4 0 26012096 13770493952 3302629 33554432000 4194304 16246674 140734286922240 140734286920192 13899629 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6174/statm: 3361937 3302629 847 2943 0 3358831 0
[pid=6174/tid=6175] ppid=6171 vsize=13447748 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6175/stat : 6175 (toysat) S 6171 6174 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012097 13770493952 3302629 33554432000 4194304 16246674 140734286922240 139986740423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6174/tid=6176] ppid=6171 vsize=13447748 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6176/stat : 6176 (toysat) S 6171 6174 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012097 13770493952 3302629 33554432000 4194304 16246674 140734286922240 139986729933840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6174/tid=6177] ppid=6171 vsize=13447748 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6177/stat : 6177 (toysat) S 6171 6174 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26012097 13770493952 3302629 33554432000 4194304 16246674 140734286922240 139986719460528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 13447748



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+204.1 s]
/proc/loadavg: 2.15 2.14 2.09 3/184 6185
/proc/meminfo: memFree=14716540/32872528 swapFree=681964/737152
[pid=6174] ppid=6171 vsize=15901252 CPUtime=204.05 cores=0,2,4,6
/proc/6174/stat : 6174 (toysat) R 6171 6174 1377 0 -1 4202496 3810487 0 0 0 19878 527 0 0 20 0 4 0 26012096 16282882048 3916051 33554432000 4194304 16246674 140734286922240 140734286921336 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6174/statm: 3975313 3916059 847 2943 0 3972207 0
[pid=6174/tid=6175] ppid=6171 vsize=15901252 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6175/stat : 6175 (toysat) S 6171 6174 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012097 16282882048 3916064 33554432000 4194304 16246674 140734286922240 139986740423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6174/tid=6176] ppid=6171 vsize=15901252 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6176/stat : 6176 (toysat) S 6171 6174 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012097 16282882048 3916071 33554432000 4194304 16246674 140734286922240 139986729934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6174/tid=6177] ppid=6171 vsize=15901252 CPUtime=0 cores=0,2,4,6
/proc/6174/task/6177/stat : 6177 (toysat) S 6171 6174 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26012097 16282882048 3916075 33554432000 4194304 16246674 140734286922240 139986719460528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 204.05
Current children cumulated vsize (KiB) 15901252

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

[startup+204.4 s]
/proc/loadavg: 2.15 2.14 2.09 3/184 6185
/proc/meminfo: memFree=14716540/32872528 swapFree=681964/737152
[pid=6174] ppid=6171 vsize=0 CPUtime=204.36 cores=0,2,4,6
/proc/6174/stat : 6174 (toysat) Z 6171 6174 1377 0 -1 4203532 3810947 0 0 0 19879 557 0 0 20 0 2 0 26012096 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6174/statm: 0 0 0 0 0 0 0
[pid=6174/tid=6176] ppid=6171 vsize=0 CPUtime=0.28 cores=0,2,4,6
/proc/6174/task/6176/stat : 6176 (toysat) R 6171 6174 1377 0 -1 4203588 8 0 0 0 0 28 0 0 20 0 2 0 26012097 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) 204.36
Current children cumulated vsize (KiB) 0

[startup+204.8 s]
/proc/loadavg: 2.15 2.14 2.09 3/182 6185
/proc/meminfo: memFree=23739376/32872528 swapFree=681964/737152
[pid=6174] ppid=6171 vsize=0 CPUtime=204.76 cores=0,2,4,6
/proc/6174/stat : 6174 (toysat) Z 6171 6174 1377 0 -1 4203532 3810947 0 0 0 19879 597 0 0 20 0 2 0 26012096 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6174/statm: 0 0 0 0 0 0 0
[pid=6174/tid=6176] ppid=6171 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/6174/task/6176/stat : 6176 (toysat) R 6171 6174 1377 0 -1 4203588 8 0 0 0 0 68 0 0 20 0 2 0 26012097 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) 204.76
Current children cumulated vsize (KiB) 0

[startup+204.9 s]
/proc/loadavg: 2.15 2.14 2.09 3/182 6185
/proc/meminfo: memFree=23739376/32872528 swapFree=681964/737152
[pid=6174] ppid=6171 vsize=0 CPUtime=204.86 cores=0,2,4,6
/proc/6174/stat : 6174 (toysat) Z 6171 6174 1377 0 -1 4203532 3810947 0 0 0 19879 607 0 0 20 0 2 0 26012096 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6174/statm: 0 0 0 0 0 0 0
[pid=6174/tid=6176] ppid=6171 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/6174/task/6176/stat : 6176 (toysat) R 6171 6174 1377 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 26012097 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) 204.86
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 204.957
CPU time (s): 204.908
CPU user time (s): 198.791
CPU system time (s): 6.11707
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 15901252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 198.791
system time used= 6.11707
maximum resident set size= 15666044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3810947
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= 210

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.64575 second user time and 1.47578 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 10:47:09
IDJOB=4103933
IDBENCH=2509
IDSOLVER=2542
FILE ID=node112/4103933-1466239628
RUNJOBID= node112-1466206100-1394
PBS_JOBID= 19918164
Free space on /tmp= 71684 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mod011.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103933-1466239628/watcher-4103933-1466239628 -o /tmp/evaluation-result-4103933-1466239628/solver-4103933-1466239628 -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-4103933-1466239628.opb

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

MD5SUM BENCH= 7946286f4c1a7ac44cf771db2f48f590
RANDOM SEED=2048305593

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:        30178472 kB
Buffers:           25588 kB
Cached:           108356 kB
SwapCached:         2292 kB
Active:          1172616 kB
Inactive:          47892 kB
Active(anon):    1086132 kB
Inactive(anon):     2444 kB
Active(file):      86484 kB
Inactive(file):    45448 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67093620 kB
Dirty:             30604 kB
Writeback:             0 kB
AnonPages:       1824480 kB
Mapped:            10436 kB
Shmem:                 0 kB
Slab:             601672 kB
SReclaimable:      45228 kB
SUnreclaim:       556444 kB
KernelStack:        1480 kB
PageTables:         7760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1969816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    278528 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= 71664 MiB
End job on node112 at 2016-06-18 10:50:34