Trace number 4098857

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02UNSAT 4.68629 4.69984

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111218024.opb
MD5SUMd9f3f17355fadaf757079f4be5a497ea
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.823873
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables169
Total number of constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1228
Number of bits of the biggest sum of numbers11
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-18T01:28:10+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-4098857-1466206089.opb"]
0.00/0.01	c use --random-gen="3392683114 1930503185 2779000243 572049580 3754262885 4014450929 2342914415 1512969314 3888322077 2971801413 2593132526 2010428451 2702908862 746925720 1200237858 2459503626 1913548587 4175053378 1445115210 3552600604 4252557231 2740854452 2802013852 3223225050 508114335 1465799479 1568815072 2443064423 1036372469 2164965335 4269874372 1673339214 322542289 366720151 4077778492 3621932054 852969564 3791696829 2264998066 3104481795 1099036592 4256452092 3353219492 410346663 104091321 2403889786 1975612435 1316306777 2245761398 544942611 2827634531 4262908472 946628639 3145721757 2442068354 4081460422 3056581958 979800522 1352874463 1410109445 925455412 554918323 3638831027 3458485640 1567635262 2142089694 1332508133 3211918485 779767295 1639820291 3078593293 608664033 2950751194 3276170541 3660989695 4189517643 1510444379 3315037147 733430408 447222596 568522328 839753523 4093894800 1656925625 3629625313 2864573964 4010764092 1556337512 2057242639 2416031049 2748521825 2803475577 2634489460 3869207131 4167889708 4185526644 4111111357 518236590 4026451694 3240501669 3280667556 517805300 3258422514 2998917521 1185998536 1377741177 2861009336 3989158797 4065377013 2155919064 4217006902 2581540117 494512881 2876540725 2826307873 2496993035 403040047 1611811889 202738551 4250833133 4256186244 2789961239 349830723 4270872730 2397313519 1439391162 2203768906 238188610 504059291 815469925 3044808071 3925492807 1922865800 556246004 2435238855 838589367 2642679428 3647905907 816044529 3052849259 1096904847 23310940 2375036079 2043320778 429783823 2502370722 39299134 1554303969 888677714 2119635256 853968450 2009006508 2000218891 88832281 2216660977 3009884524 562362568 1671840492 1579489625 3937574829 4116662494 3609240345 1573560961 406981631 1529861098 472701096 2528580659 3631190996 4200089306 4241356336 3145691006 636181936 3300048167 802483252 3249842635 1802121427 3770820000 1675401261 292271536 118370829 3566014364 1041674498 3529530387 395345782 791484282 936677321 1810382574 4179446341 3541686307 754329333 2483507986 2715609196 420200098 3665837336 74893424 875733093 1467113261 2294070692 3841348770 815310703 1759869881 252760335 3497342309 276450127 2413950557 3333741221 1549532458 2413375010 2321208261 4032210915 4041540282 2368910160 1707198797 1616796935 1553395391 1899818162 2324656709 3986094232 2713870787 782584571 4149795834 406048136 468232543 921556078 2460959478 3346636693 3325741867 3875582847 2501538209 251498343 2899119006 2041921921 834952110 854698995 1352466158 1979309039 884152204 443402791 2117627788 768146663 444995934 2897688801 1411424192 2968710955 3155784574 2774365765 4123613645 3418871916 880668015 1102809597 2983398429 1738438035 1513505660 2734378011 1357710814 1114312945 255 362436" option to reproduce the execution
0.00/0.01	c #vars 169
0.00/0.01	c #constraints 101
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       90      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      171 |      100 |       90      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      426 |      250 |      100      2 |        0 |        0
0.09/0.41	c  0.1s |       3 |      761 |      475 |      111      5 |        0 |        0
0.09/0.41	c  0.1s |       4 |     1261 |      813 |      123      9 |        0 |        0
0.09/0.41	c  0.2s |       5 |     2025 |     1320 |      136     14 |        0 |        0
0.09/0.41	c  0.3s |       6 |     3267 |     2081 |      165     21 |        0 |        0
0.09/0.41	c  0.4s |       7 |     5010 |     3223 |      182     28 |        1 |        0
0.58/0.63	c  0.6s |       8 |     7567 |     4936 |      201     40 |        2 |        0
0.89/0.94	c  0.9s |       9 |    11328 |     7506 |      222     56 |        3 |        0
1.39/1.43	c  1.4s |      10 |    16876 |    11361 |      245     79 |        4 |        0
1.98/2.01	c  2.0s |      11 |    25032 |    17144 |      270    113 |        5 |        0
2.68/2.76	c  2.7s |      12 |    37364 |    25819 |      297    155 |       10 |        0
3.88/3.98	c  4.0s |      13 |    55691 |    38832 |      327    224 |       10 |        0
4.58/4.64	c  4.6s |      13 |    65534 |    46013 |      327    257 |      168 |       33
4.58/4.64	c #cpu_time = 4.610s
4.58/4.64	c #wall_clock_time = 4.620s
4.58/4.64	c #decision = 65534
4.58/4.64	c #random_decision = 154
4.58/4.64	c #conflict = 46013
4.58/4.64	c #restart = 13
4.58/4.64	s UNSATISFIABLE
4.58/4.64	c total CPU time = 4.628s
4.58/4.64	c total wall clock time = 4.638s

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

pid=11232
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 0.28 0.09 3/179 11235
/proc/meminfo: memFree=31202392/32872528 swapFree=534252/566956
[pid=11235] ppid=11232 vsize=772540 CPUtime=0 cores=1,3,5,7
/proc/11235/stat : 11235 (toysat) R 11232 11235 10353 0 -1 4202496 2888 0 0 0 0 0 0 0 20 0 4 0 22654587 791080960 3249 33554432000 4194304 16246674 140736457096992 140736457096416 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11235/statm: 193647 3259 441 2943 0 190541 0
[pid=11235/tid=11236] ppid=11232 vsize=789948 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11236/stat : 11236 (toysat) S 11232 11235 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22654587 808906752 3318 33554432000 4194304 16246674 140736457096992 139887743315184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11235/tid=11237] ppid=11232 vsize=795068 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654587 814149632 3337 33554432000 4194304 16246674 140736457096992 139887732825328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11235/tid=11238] ppid=11232 vsize=799164 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22654587 818343936 3353 33554432000 4194304 16246674 140736457096992 139887722351792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 1.00 0.28 0.09 3/179 11235
/proc/meminfo: memFree=31202392/32872528 swapFree=534252/566956
[pid=11235] ppid=11232 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/11235/stat : 11235 (toysat) R 11232 11235 10353 0 -1 4202496 18015 0 0 0 6 3 0 0 20 0 4 0 22654587 1247350784 18365 33554432000 4194304 16246674 140736457096992 140736457079984 5667714 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11235/statm: 304529 18371 733 2943 0 301423 0
[pid=11235/tid=11236] ppid=11232 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11236/stat : 11236 (toysat) S 11232 11235 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22654587 1247350784 18373 33554432000 4194304 16246674 140736457096992 139887743315184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11235/tid=11237] ppid=11232 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654587 1247350784 18380 33554432000 4194304 16246674 140736457096992 139887732825328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11235/tid=11238] ppid=11232 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22654587 1247350784 18384 33554432000 4194304 16246674 140736457096992 139887722351792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.510368 s]
/proc/loadavg: 1.00 0.28 0.09 3/179 11235
/proc/meminfo: memFree=31202392/32872528 swapFree=534252/566956
[pid=11235] ppid=11232 vsize=1218116 CPUtime=0.49 cores=1,3,5,7
/proc/11235/stat : 11235 (toysat) R 11232 11235 10353 0 -1 4202496 76195 0 0 0 39 10 0 0 20 0 4 0 22654587 1247350784 76546 33554432000 4194304 16246674 140736457096992 140736457078912 13954410 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11235/statm: 304529 76554 734 2943 0 301423 0
[pid=11235/tid=11236] ppid=11232 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11236/stat : 11236 (toysat) S 11232 11235 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22654587 1247350784 76557 33554432000 4194304 16246674 140736457096992 139887743315184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11235/tid=11237] ppid=11232 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654587 1247350784 76564 33554432000 4194304 16246674 140736457096992 139887732825328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11235/tid=11238] ppid=11232 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22654587 1247350784 76569 33554432000 4194304 16246674 140736457096992 139887722351792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 1218116

[startup+0.600494 s]
/proc/loadavg: 1.00 0.28 0.09 3/179 11235
/proc/meminfo: memFree=31202392/32872528 swapFree=534252/566956
[pid=11235] ppid=11232 vsize=1218116 CPUtime=0.58 cores=1,3,5,7
/proc/11235/stat : 11235 (toysat) R 11232 11235 10353 0 -1 4202496 89197 0 0 0 46 12 0 0 20 0 4 0 22654587 1247350784 89547 33554432000 4194304 16246674 140736457096992 140736457078912 12478333 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11235/statm: 304529 89556 734 2943 0 301423 0
[pid=11235/tid=11236] ppid=11232 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11236/stat : 11236 (toysat) S 11232 11235 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22654587 1247350784 89559 33554432000 4194304 16246674 140736457096992 139887743315184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11235/tid=11237] ppid=11232 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654587 1247350784 89562 33554432000 4194304 16246674 140736457096992 139887732825328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11235/tid=11238] ppid=11232 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22654587 1247350784 89567 33554432000 4194304 16246674 140736457096992 139887722351792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 1218116

[startup+0.70039 s]
/proc/loadavg: 1.00 0.28 0.09 3/179 11235
/proc/meminfo: memFree=31202392/32872528 swapFree=534252/566956
[pid=11235] ppid=11232 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/11235/stat : 11235 (toysat) R 11232 11235 10353 0 -1 4202496 103200 0 0 0 54 15 0 0 20 0 4 0 22654587 1247350784 103550 33554432000 4194304 16246674 140736457096992 140736457079992 13943664 0 0 0 34082818 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11235/statm: 304529 103550 734 2943 0 301423 0
[pid=11235/tid=11236] ppid=11232 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11236/stat : 11236 (toysat) S 11232 11235 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22654587 1247350784 103550 33554432000 4194304 16246674 140736457096992 139887743315184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11235/tid=11237] ppid=11232 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654587 1247350784 103550 33554432000 4194304 16246674 140736457096992 139887732825328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11235/tid=11238] ppid=11232 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22654587 1247350784 103550 33554432000 4194304 16246674 140736457096992 139887722351792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50758 s]
/proc/loadavg: 1.00 0.28 0.09 3/183 11239
/proc/meminfo: memFree=29645872/32872528 swapFree=534252/566956
[pid=11235] ppid=11232 vsize=1218116 CPUtime=1.48 cores=1,3,5,7
/proc/11235/stat : 11235 (toysat) R 11232 11235 10353 0 -1 4202496 220490 0 0 0 117 31 0 0 20 0 4 0 22654587 1247350784 220840 33554432000 4194304 16246674 140736457096992 140736457079992 5546181 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11235/statm: 304529 220850 735 2943 0 301423 0
[pid=11235/tid=11236] ppid=11232 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11236/stat : 11236 (toysat) S 11232 11235 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22654587 1247350784 220852 33554432000 4194304 16246674 140736457096992 139887743315184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11235/tid=11237] ppid=11232 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654587 1247350784 220857 33554432000 4194304 16246674 140736457096992 139887732825328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11235/tid=11238] ppid=11232 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22654587 1247350784 220861 33554432000 4194304 16246674 140736457096992 139887722351792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1218116

[startup+3.10039 s]
/proc/loadavg: 1.00 0.28 0.09 3/183 11239
/proc/meminfo: memFree=29418696/32872528 swapFree=534252/566956
[pid=11235] ppid=11232 vsize=1305156 CPUtime=3.08 cores=1,3,5,7
/proc/11235/stat : 11235 (toysat) R 11232 11235 10353 0 -1 4202496 267283 0 0 0 270 38 0 0 20 0 4 0 22654587 1336479744 267613 33554432000 4194304 16246674 140736457096992 140736457079992 5518912 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11235/statm: 326289 267613 799 2943 0 323183 0
[pid=11235/tid=11236] ppid=11232 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11236/stat : 11236 (toysat) S 11232 11235 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22654587 1336479744 267613 33554432000 4194304 16246674 140736457096992 139887743315184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11235/tid=11237] ppid=11232 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654587 1336479744 267613 33554432000 4194304 16246674 140736457096992 139887732825328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11235/tid=11238] ppid=11232 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22654587 1336479744 267613 33554432000 4194304 16246674 140736457096992 139887722351792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1305156

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11235 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.50043 s]
/proc/loadavg: 1.00 0.28 0.09 3/183 11239
/proc/meminfo: memFree=29418696/32872528 swapFree=534252/566956
[pid=11235] ppid=11232 vsize=1305156 CPUtime=3.48 cores=1,3,5,7
/proc/11235/stat : 11235 (toysat) R 11232 11235 10353 0 -1 4202496 267283 0 0 0 310 38 0 0 20 0 4 0 22654587 1336479744 267613 33554432000 4194304 16246674 140736457096992 140736457079992 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11235/statm: 326289 267613 799 2943 0 323183 0
[pid=11235/tid=11236] ppid=11232 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11236/stat : 11236 (toysat) S 11232 11235 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22654587 1336479744 267613 33554432000 4194304 16246674 140736457096992 139887743315184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11235/tid=11237] ppid=11232 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654587 1336479744 267613 33554432000 4194304 16246674 140736457096992 139887732825328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11235/tid=11238] ppid=11232 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22654587 1336479744 267613 33554432000 4194304 16246674 140736457096992 139887722351792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 1305156

[startup+4.30037 s]
/proc/loadavg: 1.00 0.28 0.09 3/183 11239
/proc/meminfo: memFree=29311560/32872528 swapFree=534252/566956
[pid=11235] ppid=11232 vsize=1306180 CPUtime=4.28 cores=1,3,5,7
/proc/11235/stat : 11235 (toysat) R 11232 11235 10353 0 -1 4202496 267421 0 0 0 390 38 0 0 20 0 4 0 22654587 1337528320 267751 33554432000 4194304 16246674 140736457096992 140736457079992 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11235/statm: 326545 267751 799 2943 0 323439 0
[pid=11235/tid=11236] ppid=11232 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11236/stat : 11236 (toysat) S 11232 11235 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22654587 1337528320 267751 33554432000 4194304 16246674 140736457096992 139887743315184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11235/tid=11237] ppid=11232 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654587 1337528320 267751 33554432000 4194304 16246674 140736457096992 139887732825328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11235/tid=11238] ppid=11232 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22654587 1337528320 267751 33554432000 4194304 16246674 140736457096992 139887722351792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 1306180

[startup+4.50041 s]
/proc/loadavg: 1.00 0.28 0.09 3/183 11239
/proc/meminfo: memFree=29311560/32872528 swapFree=534252/566956
[pid=11235] ppid=11232 vsize=1306180 CPUtime=4.48 cores=1,3,5,7
/proc/11235/stat : 11235 (toysat) R 11232 11235 10353 0 -1 4202496 267421 0 0 0 410 38 0 0 20 0 4 0 22654587 1337528320 267751 33554432000 4194304 16246674 140736457096992 140736457079992 5829844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11235/statm: 326545 267751 799 2943 0 323439 0
[pid=11235/tid=11236] ppid=11232 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11236/stat : 11236 (toysat) S 11232 11235 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22654587 1337528320 267751 33554432000 4194304 16246674 140736457096992 139887743315184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11235/tid=11237] ppid=11232 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654587 1337528320 267751 33554432000 4194304 16246674 140736457096992 139887732825328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11235/tid=11238] ppid=11232 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22654587 1337528320 267751 33554432000 4194304 16246674 140736457096992 139887722351792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 1306180

[startup+4.60044 s]
/proc/loadavg: 1.00 0.28 0.09 3/183 11239
/proc/meminfo: memFree=29311560/32872528 swapFree=534252/566956
[pid=11235] ppid=11232 vsize=1306180 CPUtime=4.58 cores=1,3,5,7
/proc/11235/stat : 11235 (toysat) R 11232 11235 10353 0 -1 4202496 267421 0 0 0 420 38 0 0 20 0 4 0 22654587 1337528320 267751 33554432000 4194304 16246674 140736457096992 140736457079992 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11235/statm: 326545 267751 799 2943 0 323439 0
[pid=11235/tid=11236] ppid=11232 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11236/stat : 11236 (toysat) S 11232 11235 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22654587 1337528320 267751 33554432000 4194304 16246674 140736457096992 139887743315184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11235/tid=11237] ppid=11232 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11237/stat : 11237 (toysat) S 11232 11235 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654587 1337528320 267751 33554432000 4194304 16246674 140736457096992 139887732825328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11235/tid=11238] ppid=11232 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11235/task/11238/stat : 11238 (toysat) S 11232 11235 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22654587 1337528320 267751 33554432000 4194304 16246674 140736457096992 139887722351792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.58
Current children cumulated vsize (KiB) 1306180

Child status: 0
Real time (s): 4.69984
CPU time (s): 4.68629
CPU user time (s): 4.24535
CPU system time (s): 0.440932
CPU usage (%): 99.7117
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.24535
system time used= 0.440932
maximum resident set size= 1071028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267429
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= 22
involuntary context switches= 36

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035994 second user time and 0.039993 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-18 01:28:10
IDJOB=4098857
IDBENCH=1260
IDSOLVER=2542
FILE ID=node138/4098857-1466206089
RUNJOBID= node138-1466206053-10370
PBS_JOBID= 19918139
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218024.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098857-1466206089/watcher-4098857-1466206089 -o /tmp/evaluation-result-4098857-1466206089/solver-4098857-1466206089 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10370 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098857-1466206089.opb

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

MD5SUM BENCH= d9f3f17355fadaf757079f4be5a497ea
RANDOM SEED=805269667

node138.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.395
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	: 5332.79
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.395
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.395
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.55
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.395
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.395
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.395
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.395
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.54
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.395
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31217440 kB
Buffers:           38100 kB
Cached:            98480 kB
SwapCached:         1056 kB
Active:           322344 kB
Inactive:          56544 kB
Active(anon):     243300 kB
Inactive(anon):     1192 kB
Active(file):      79044 kB
Inactive(file):    55352 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099604 kB
Dirty:             33456 kB
Writeback:             0 kB
AnonPages:        804808 kB
Mapped:            10116 kB
Shmem:                 0 kB
Slab:             574208 kB
SReclaimable:      16948 kB
SUnreclaim:       557260 kB
KernelStack:        1408 kB
PageTables:         7160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1695632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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= 71716 MiB
End job on node138 at 2016-06-18 01:28:14