Trace number 4108125

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 9.1906 9.20466

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j605_1-unsat.opb
MD5SUM42cd00962bc65fa4ff073d4ddf5f250d
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 benchmark2.35364
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9272
Total number of constraints29174
Number of constraints which are clauses28874
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints300
Minimum length of a constraint1
Maximum length of a constraint35
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 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 231
Number of bits of the biggest sum of numbers8
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-19T00:58:52+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4108125-1466290732.opb"]
0.00/0.01	c use --random-gen="2457799071 179057745 1163072785 2487583855 2777683668 2078460580 3744822127 2366280182 557185523 2481727666 3533328791 277501897 2109059530 935139800 1836518982 644585896 3579956542 1532217435 945724181 1983923419 32485960 1711248238 944274042 785638627 197992359 489383560 3517454462 2843395776 476816290 2222987304 2320144852 993333765 3987195816 3884038768 703329409 3215844131 1543501451 970580388 3845351147 1314447468 3725355294 235742312 134411783 782775950 315303744 2723284382 2116306513 1071681748 2821624407 1847915455 385753052 389399616 2703252106 2303389660 4055568649 632508478 496103130 1177108093 4122380808 2787676230 535407445 528439014 4041193662 3862952582 1798671147 1939496283 1638496802 3100658597 1555052620 777562632 3461742918 1998428437 1107339955 475372928 2122946014 4137827645 1540881328 3071958168 763291177 2456494291 1755375987 2953892492 3078829844 3316357387 1248683260 2983545742 3309689041 2013682836 3155804567 37083667 743637133 2213515234 1617436508 167886849 2047301169 1362140465 3838614824 2065788753 2878217462 3383157948 743800384 23660249 1993488630 304411750 3629837371 1532355500 1578735223 630755849 4130517391 4096410848 2023120659 1812487227 3472637547 2087928550 466274331 4289462679 749282144 2529974481 3943244441 2467973987 3341575222 2116794 1145611364 4041606603 360957154 4179445820 207675956 137107336 3431591810 3196947065 666466689 3597056461 3039231339 258475798 1355821353 619166606 809460191 2660158035 175604462 3714356078 4077751801 1271009424 2271726141 129673376 3215870737 39955530 394146788 642341143 35976175 3552093244 399456274 1651347558 4042589627 1144472515 1903324880 3323126139 1274096020 3823549831 1756838131 1674333425 3279863097 3074609477 3370183140 2417309346 3896190255 3157077067 2650296102 316093893 2084612366 3931004501 2198919737 2915813386 1969679516 3857565840 873343434 3597067991 2075131180 2756965189 1615717320 3967574683 2274149177 720980756 1969050158 2770964242 3202661527 361719453 3611390593 3425590541 3899224149 1337734862 2091007561 4261842162 523867300 1290583428 1260227564 545049721 3119703894 3003912393 1885386453 3944540706 438213971 1497203085 414772362 3398027451 3342792392 3488614785 764460199 712050682 798603218 2740136709 2477855123 1076119192 222265654 872716867 3439474492 1003506728 4256225301 1597773518 545881723 294292900 1967932396 82206417 3532586728 1619067561 2373794247 1907827390 3990052710 795755071 74535433 3073980197 1869091733 1976555409 1432262984 2373672396 1527387965 3192988329 2919876926 3219201328 3193367248 2561815704 3249583962 870101113 539994283 3596081468 131494239 91781824 2209626872 263026903 3947037174 2624247634 181436276 2736798053 3016921573 2456298571 3781294283 2142714438 255 362436" option to reproduce the execution
0.19/0.22	c #vars 9272
0.19/0.22	c #constraints 29174
0.39/0.45	c Solving starts ...
0.39/0.45	c ============================[ Search Statistics ]============================
0.39/0.45	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.45	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.45	c =============================================================================
0.49/0.50	c  0.0s |       0 |        0 |        0 |     8489      0 |     5269 |        0
0.49/0.58	c  0.1s |       1 |      151 |      100 |     8489      0 |     5269 |     5920
0.69/0.72	c  0.2s |       2 |      372 |      250 |     9338      0 |     5269 |     5920
0.88/0.98	c  0.5s |       3 |      658 |      475 |    10272      0 |     5269 |     5920
1.38/1.45	c  1.0s |       4 |     1122 |      813 |    11300      0 |     5269 |     5920
1.99/2.09	c  1.6s |       5 |     1744 |     1320 |    12431      0 |     5269 |     5920
2.89/2.94	c  2.4s |       6 |     2785 |     2081 |    15043      0 |     5289 |     5982
4.19/4.28	c  3.8s |       7 |     4222 |     3223 |    16548      0 |     5289 |     5982
6.19/6.28	c  5.8s |       7 |     6413 |     4923 |    18203      0 |     5297 |     6006
6.19/6.29	c  5.8s |       8 |     6435 |     4936 |    18203      0 |     5297 |     6006
8.29/8.32	c  7.8s |       8 |     8212 |     6436 |    18203      0 |     5297 |     6006
9.09/9.13	c  8.6s |       8 |     8919 |     7044 |    18203      0 |     7778 |    10742
9.09/9.13	c #cpu_time = 8.632s
9.09/9.13	c #wall_clock_time = 8.634s
9.09/9.13	c #decision = 8919
9.09/9.13	c #random_decision = 20
9.09/9.13	c #conflict = 7044
9.09/9.13	c #restart = 8
9.09/9.13	s UNSATISFIABLE
9.09/9.13	c total CPU time = 9.129s
9.09/9.13	c total wall clock time = 9.131s

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

pid=11846
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: 1.96 2.01 2.00 3/179 11849
/proc/meminfo: memFree=29979856/32872528 swapFree=496868/529572
[pid=11849] ppid=11846 vsize=290236 CPUtime=0 cores=0,2,4,6
/proc/11849/stat : 11849 (toysat) R 11846 11849 7739 0 -1 4202496 1007 0 0 0 0 0 0 0 20 0 4 0 31118664 297201664 1368 33554432000 4194304 16246674 140736368075808 140736368075232 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11849/statm: 73327 1378 441 2943 0 70221 0
[pid=11849/tid=11850] ppid=11846 vsize=306620 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11850/stat : 11850 (toysat) S 11846 11849 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118665 313978880 1434 33554432000 4194304 16246674 140736368075808 139791820631280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11849/tid=11851] ppid=11846 vsize=310716 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11851/stat : 11851 (toysat) S 11846 11849 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118665 318173184 1450 33554432000 4194304 16246674 140736368075808 139791810141424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11849/tid=11852] ppid=11846 vsize=314812 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11852/stat : 11852 (toysat) S 11846 11849 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31118665 322367488 1466 33554432000 4194304 16246674 140736368075808 139791723130032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100129 s]
/proc/loadavg: 1.96 2.01 2.00 3/179 11849
/proc/meminfo: memFree=29979856/32872528 swapFree=496868/529572
[pid=11849] ppid=11846 vsize=1220164 CPUtime=0.08 cores=0,2,4,6
/proc/11849/stat : 11849 (toysat) R 11846 11849 7739 0 -1 4202496 24784 0 0 0 5 3 0 0 20 0 4 0 31118664 1249447936 25083 33554432000 4194304 16246674 140736368075808 140736368075120 4220480 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11849/statm: 305041 25083 802 2943 0 301935 0
[pid=11849/tid=11850] ppid=11846 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11850/stat : 11850 (toysat) S 11846 11849 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118665 1249447936 25083 33554432000 4194304 16246674 140736368075808 139791820631280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11849/tid=11851] ppid=11846 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11851/stat : 11851 (toysat) S 11846 11849 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118665 1249447936 25083 33554432000 4194304 16246674 140736368075808 139791810141424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11849/tid=11852] ppid=11846 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11852/stat : 11852 (toysat) S 11846 11849 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31118665 1249447936 25083 33554432000 4194304 16246674 140736368075808 139791723130032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200502 s]
/proc/loadavg: 1.96 2.01 2.00 3/179 11849
/proc/meminfo: memFree=29979856/32872528 swapFree=496868/529572
[pid=11849] ppid=11846 vsize=1309252 CPUtime=0.19 cores=0,2,4,6
/proc/11849/stat : 11849 (toysat) R 11846 11849 7739 0 -1 4202496 47320 0 0 0 12 7 0 0 20 0 4 0 31118664 1340674048 48131 33554432000 4194304 16246674 140736368075808 140736368075120 4221105 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11849/statm: 327313 48133 802 2943 0 324207 0
[pid=11849/tid=11850] ppid=11846 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11850/stat : 11850 (toysat) S 11846 11849 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118665 1340674048 48136 33554432000 4194304 16246674 140736368075808 139791820631280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11849/tid=11851] ppid=11846 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11851/stat : 11851 (toysat) S 11846 11849 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118665 1340674048 48139 33554432000 4194304 16246674 140736368075808 139791810141424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11849/tid=11852] ppid=11846 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11852/stat : 11852 (toysat) S 11846 11849 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31118665 1340674048 48141 33554432000 4194304 16246674 140736368075808 139791723130032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1309252

[startup+0.300438 s]
/proc/loadavg: 1.96 2.01 2.00 3/179 11849
/proc/meminfo: memFree=29979856/32872528 swapFree=496868/529572
[pid=11849] ppid=11846 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/11849/stat : 11849 (toysat) R 11846 11849 7739 0 -1 4202496 48633 0 0 0 22 7 0 0 20 0 4 0 31118664 1345916928 49443 33554432000 4194304 16246674 140736368075808 140736368075120 6970208 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11849/statm: 328593 49443 838 2943 0 325487 0
[pid=11849/tid=11850] ppid=11846 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11850/stat : 11850 (toysat) S 11846 11849 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118665 1345916928 49443 33554432000 4194304 16246674 140736368075808 139791820631280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11849/tid=11851] ppid=11846 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11851/stat : 11851 (toysat) S 11846 11849 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118665 1345916928 49443 33554432000 4194304 16246674 140736368075808 139791810141424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11849/tid=11852] ppid=11846 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11852/stat : 11852 (toysat) S 11846 11849 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31118665 1345916928 49443 33554432000 4194304 16246674 140736368075808 139791723130032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700397 s]
/proc/loadavg: 1.96 2.01 2.00 3/179 11849
/proc/meminfo: memFree=29979856/32872528 swapFree=496868/529572
[pid=11849] ppid=11846 vsize=1319492 CPUtime=0.69 cores=0,2,4,6
/proc/11849/stat : 11849 (toysat) R 11846 11849 7739 0 -1 4202496 69924 0 0 0 59 10 0 0 20 0 4 0 31118664 1351159808 70734 33554432000 4194304 16246674 140736368075808 140736368057728 6022624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11849/statm: 329873 70734 885 2943 0 326767 0
[pid=11849/tid=11850] ppid=11846 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11850/stat : 11850 (toysat) S 11846 11849 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118665 1351159808 70734 33554432000 4194304 16246674 140736368075808 139791820631280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11849/tid=11851] ppid=11846 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11851/stat : 11851 (toysat) S 11846 11849 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118665 1351159808 70734 33554432000 4194304 16246674 140736368075808 139791810141424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11849/tid=11852] ppid=11846 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11852/stat : 11852 (toysat) S 11846 11849 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31118665 1351159808 70734 33554432000 4194304 16246674 140736368075808 139791723130032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1319492

[startup+1.50039 s]
/proc/loadavg: 1.97 2.00 2.00 3/183 11853
/proc/meminfo: memFree=29495900/32872528 swapFree=496868/529572
[pid=11849] ppid=11846 vsize=1319492 CPUtime=1.49 cores=0,2,4,6
/proc/11849/stat : 11849 (toysat) R 11846 11849 7739 0 -1 4202496 180179 0 0 0 123 26 0 0 20 0 4 0 31118664 1351159808 180989 33554432000 4194304 16246674 140736368075808 140736368057728 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11849/statm: 329873 180997 885 2943 0 326767 0
[pid=11849/tid=11850] ppid=11846 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11850/stat : 11850 (toysat) S 11846 11849 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118665 1351159808 181002 33554432000 4194304 16246674 140736368075808 139791820631280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11849/tid=11851] ppid=11846 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11851/stat : 11851 (toysat) S 11846 11849 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118665 1351159808 181007 33554432000 4194304 16246674 140736368075808 139791810141424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11849/tid=11852] ppid=11846 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11852/stat : 11852 (toysat) S 11846 11849 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31118665 1351159808 181012 33554432000 4194304 16246674 140736368075808 139791723130032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1319492

[startup+3.1004 s]
/proc/loadavg: 1.97 2.00 2.00 3/183 11853
/proc/meminfo: memFree=28895352/32872528 swapFree=496868/529572
[pid=11849] ppid=11846 vsize=1319492 CPUtime=3.09 cores=0,2,4,6
/proc/11849/stat : 11849 (toysat) R 11846 11849 7739 0 -1 4202496 270551 0 0 0 269 40 0 0 20 0 4 0 31118664 1351159808 271361 33554432000 4194304 16246674 140736368075808 140736368057728 5722180 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11849/statm: 329873 271361 893 2943 0 326767 0
[pid=11849/tid=11850] ppid=11846 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11850/stat : 11850 (toysat) S 11846 11849 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118665 1351159808 271361 33554432000 4194304 16246674 140736368075808 139791820631280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11849/tid=11851] ppid=11846 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11851/stat : 11851 (toysat) S 11846 11849 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118665 1351159808 271361 33554432000 4194304 16246674 140736368075808 139791810141424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11849/tid=11852] ppid=11846 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11852/stat : 11852 (toysat) S 11846 11849 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31118665 1351159808 271361 33554432000 4194304 16246674 140736368075808 139791723130032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1319492

[startup+6.3004 s]
/proc/loadavg: 1.97 2.00 2.00 3/183 11853
/proc/meminfo: memFree=28895240/32872528 swapFree=496868/529572
[pid=11849] ppid=11846 vsize=1319492 CPUtime=6.29 cores=0,2,4,6
/proc/11849/stat : 11849 (toysat) R 11846 11849 7739 0 -1 4202496 270551 0 0 0 589 40 0 0 20 0 4 0 31118664 1351159808 271361 33554432000 4194304 16246674 140736368075808 140736368057728 13005960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11849/statm: 329873 271361 893 2943 0 326767 0
[pid=11849/tid=11850] ppid=11846 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11850/stat : 11850 (toysat) S 11846 11849 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118665 1351159808 271361 33554432000 4194304 16246674 140736368075808 139791820631280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11849/tid=11851] ppid=11846 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11851/stat : 11851 (toysat) S 11846 11849 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118665 1351159808 271361 33554432000 4194304 16246674 140736368075808 139791810141424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11849/tid=11852] ppid=11846 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11852/stat : 11852 (toysat) S 11846 11849 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31118665 1351159808 271361 33554432000 4194304 16246674 140736368075808 139791723130032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1319492

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

[startup+6.40048 s]
/proc/loadavg: 1.97 2.00 2.00 3/183 11853
/proc/meminfo: memFree=28895240/32872528 swapFree=496868/529572
[pid=11849] ppid=11846 vsize=1319492 CPUtime=6.39 cores=0,2,4,6
/proc/11849/stat : 11849 (toysat) R 11846 11849 7739 0 -1 4202496 270551 0 0 0 599 40 0 0 20 0 4 0 31118664 1351159808 271361 33554432000 4194304 16246674 140736368075808 140736368057728 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11849/statm: 329873 271361 893 2943 0 326767 0
[pid=11849/tid=11850] ppid=11846 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11850/stat : 11850 (toysat) S 11846 11849 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118665 1351159808 271361 33554432000 4194304 16246674 140736368075808 139791820631280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11849/tid=11851] ppid=11846 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11851/stat : 11851 (toysat) S 11846 11849 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118665 1351159808 271361 33554432000 4194304 16246674 140736368075808 139791810141424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11849/tid=11852] ppid=11846 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11852/stat : 11852 (toysat) S 11846 11849 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31118665 1351159808 271361 33554432000 4194304 16246674 140736368075808 139791723130032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 1319492

[startup+8.00037 s]
/proc/loadavg: 1.97 2.00 2.00 3/183 11853
/proc/meminfo: memFree=28895868/32872528 swapFree=496868/529572
[pid=11849] ppid=11846 vsize=1319492 CPUtime=7.99 cores=0,2,4,6
/proc/11849/stat : 11849 (toysat) R 11846 11849 7739 0 -1 4202496 270551 0 0 0 759 40 0 0 20 0 4 0 31118664 1351159808 271361 33554432000 4194304 16246674 140736368075808 140736368057728 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11849/statm: 329873 271361 893 2943 0 326767 0
[pid=11849/tid=11850] ppid=11846 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11850/stat : 11850 (toysat) S 11846 11849 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118665 1351159808 271361 33554432000 4194304 16246674 140736368075808 139791820631280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11849/tid=11851] ppid=11846 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11851/stat : 11851 (toysat) S 11846 11849 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118665 1351159808 271361 33554432000 4194304 16246674 140736368075808 139791810141424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11849/tid=11852] ppid=11846 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11852/stat : 11852 (toysat) S 11846 11849 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31118665 1351159808 271361 33554432000 4194304 16246674 140736368075808 139791723130032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.99
Current children cumulated vsize (KiB) 1319492

[startup+8.80036 s]
/proc/loadavg: 1.97 2.00 2.00 4/183 11853
/proc/meminfo: memFree=28895868/32872528 swapFree=496868/529572
[pid=11849] ppid=11846 vsize=1319492 CPUtime=8.79 cores=0,2,4,6
/proc/11849/stat : 11849 (toysat) R 11846 11849 7739 0 -1 4202496 270551 0 0 0 839 40 0 0 20 0 4 0 31118664 1351159808 271361 33554432000 4194304 16246674 140736368075808 140736368057728 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11849/statm: 329873 271361 893 2943 0 326767 0
[pid=11849/tid=11850] ppid=11846 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11850/stat : 11850 (toysat) S 11846 11849 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118665 1351159808 271361 33554432000 4194304 16246674 140736368075808 139791820631280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11849/tid=11851] ppid=11846 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11851/stat : 11851 (toysat) S 11846 11849 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118665 1351159808 271361 33554432000 4194304 16246674 140736368075808 139791810141424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11849/tid=11852] ppid=11846 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11849/task/11852/stat : 11852 (toysat) S 11846 11849 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31118665 1351159808 271361 33554432000 4194304 16246674 140736368075808 139791723130032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.79
Current children cumulated vsize (KiB) 1319492

[startup+9.20036 s]
/proc/loadavg: 1.97 2.00 2.00 4/183 11853
/proc/meminfo: memFree=28895868/32872528 swapFree=496868/529572
[pid=11849] ppid=11846 vsize=0 CPUtime=9.17 cores=0,2,4,6
/proc/11849/stat : 11849 (toysat) R 11846 11849 7739 0 -1 4202500 270555 0 0 0 872 45 0 0 20 0 1 0 31118664 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11849/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.17
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 9.20466
CPU time (s): 9.1906
CPU user time (s): 8.72767
CPU system time (s): 0.462929
CPU usage (%): 99.8473
Max. virtual memory (cumulated for all children) (KiB): 1319492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.72767
system time used= 0.462929
maximum resident set size= 1085456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270555
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= 19
involuntary context switches= 21

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.013997 second user time and 0.075988 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-19 00:58:52
IDJOB=4108125
IDBENCH=75714
IDSOLVER=2542
FILE ID=node141/4108125-1466290732
RUNJOBID= node141-1466264081-7755
PBS_JOBID= 19918217
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j60/normalized-j605_1-unsat.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108125-1466290732/watcher-4108125-1466290732 -o /tmp/evaluation-result-4108125-1466290732/solver-4108125-1466290732 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7755 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108125-1466290732.opb

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

MD5SUM BENCH= 42cd00962bc65fa4ff073d4ddf5f250d
RANDOM SEED=373289049

node141.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.547
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.09
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.547
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.547
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.54
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.547
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.547
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.56
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.547
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.547
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.547
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:        29980128 kB
Buffers:          169628 kB
Cached:           280272 kB
SwapCached:         2528 kB
Active:          1319752 kB
Inactive:         294400 kB
Active(anon):    1164512 kB
Inactive(anon):     2028 kB
Active(file):     155240 kB
Inactive(file):   292372 kB
Unevictable:      529572 kB
Mlocked:          496868 kB
SwapTotal:      67108856 kB
SwapFree:       67099068 kB
Dirty:             17716 kB
Writeback:            52 kB
AnonPages:       1694148 kB
Mapped:            10688 kB
Shmem:                 0 kB
Slab:             612536 kB
SReclaimable:      55160 kB
SUnreclaim:       557376 kB
KernelStack:        1496 kB
PageTables:         7460 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1834836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    991232 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= 71692 MiB
End job on node141 at 2016-06-19 00:59:02