Trace number 4107570

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? (TO) 1800.34 1800.67

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/
random/rand.newlist/normalized-randd92c9f.cudf.trendy.opb
MD5SUM9a691c3b1700d95cd917852b9436eebd
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark13908610268
Best CPU time to get the best result obtained on this benchmark2.6136
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6415
Total number of constraints26784
Number of constraints which are clauses26523
Number of constraints which are cardinality constraints (but not clauses)261
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 3016
Biggest coefficient in the objective function 3442951000
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 1900504392757
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 3442951000
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 1900504392757
Number of bits of the biggest sum of numbers41
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:00:18+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-4107570-1466287218.opb"]
0.00/0.01	c use --random-gen="2866583363 1315907970 37017727 736128696 2102790280 2257954739 3232526082 3371317583 195069773 1782166424 868220210 710161663 1937808138 3748491466 141215204 985931374 2036762469 161193875 665870949 368745424 1422936969 2584374943 1184777202 3546307360 3749804583 3847900535 1186629384 720444219 692575803 586158315 3597788721 1219323900 349931052 2831006221 2873842822 299867446 3180842247 3703403314 551695837 811260998 4059937606 2678557189 484442224 1463534409 1617177282 3417247069 2983258332 99665693 2897000862 485388698 1208556571 3369683580 2490570874 2099192290 1705703587 1160317226 3140633663 4216364973 2329598910 508709598 2191529601 4169730292 3704490462 3903159355 1120331494 150681269 4291225635 3134884084 2500961508 3323247013 2998044488 509059221 398144420 1664971664 864872982 4158110015 4219309679 1831028323 3283111256 1376278902 1464367123 584141917 966773032 4140940238 1918853576 2369192227 743477780 713656422 2218012813 2071747562 1959323243 3581441029 4276718475 4021372469 318500919 2055481238 3557413463 3840295133 3779881645 4054644272 374303966 315415676 3601198960 386265701 3703453157 3422016186 1425841551 816500633 3773586338 1202296783 1020749157 787910684 1720195411 3874495722 1201652498 3139798460 8655733 2895387957 320379879 2123138444 631113402 4270759455 3746252098 574618496 3073761698 1180118255 3978901215 3905499457 3439160929 2640447343 2161436126 3910223523 3503516259 1060753312 2376568527 2244559498 537066173 736667730 1911080038 4064843470 2458137783 3034482857 3704426537 845506037 3903209245 3179165424 3290900518 3549249563 1610927780 1086447120 2390752720 4155352011 1398143763 2410724677 461310100 1900456258 3468536153 3877353267 3589705283 3914577324 2365672870 1919902862 465315008 3746982263 1429280282 4191333145 470250655 596283310 2869899742 1847725311 3017159526 232447707 2106886031 3841506781 3619014177 3316672166 2976829848 4027354407 652646578 3028410751 1005635629 3955512911 3391968304 4220613592 779361662 1720092506 474480991 2209093094 4293280065 3239922154 716917969 1986158297 1707524315 4035337450 2508212656 4277799623 2142891808 2063704309 151421655 3577165378 951421186 4121221072 2010116531 2319229864 2149662715 2090644955 4039336512 1494971995 2555335238 511810398 2095283211 1795018417 981962634 2890861804 3249847655 4000725596 1516365881 2117773900 2987569209 1557675063 1048070784 2595769980 3935195237 3805626999 2404626653 2994455249 2798988877 1204950620 3055227277 713691942 372314950 2009783796 4244319444 3031669244 185315255 2279315294 264619587 3238021189 1795294469 1554530750 438820129 2837342038 2443430921 2176500068 3889689565 3694535829 2137932630 1528813802 4278929978 498224031 4027037668 2213473184 1487975577 4063839035 1708637488 2628794877 255 362436" option to reproduce the execution
0.19/0.21	c #vars 6415
0.19/0.21	c #constraints 26784
0.48/0.55	c BCD2: Hardening is enabled.
0.48/0.55	c BCD2: BiasedSearch is enabled.
0.48/0.55	c Solving starts ...
0.48/0.55	c ============================[ Search Statistics ]============================
0.48/0.55	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.48/0.55	c       |         |          |          |    Limit     GC | Var      | Constra 
0.48/0.55	c =============================================================================
0.48/0.55	c  0.0s |       0 |        0 |        0 |    10787      0 |      652 |        0
0.79/0.89	c  0.3s |       0 |    24431 |       81 |    10787      0 |      725 |     3765
0.79/0.89	c #cpu_time = 0.337s
0.79/0.89	c #wall_clock_time = 0.337s
0.79/0.89	c #decision = 24431
0.79/0.89	c #random_decision = 61
0.79/0.89	c #conflict = 81
0.79/0.89	c #restart = 0
0.79/0.89	o 246020510742
797.54/797.72	c BCD2: updating upper bound: 1900504392757 -> 246020510741
1234.86/1235.16	c BCD2: 0 <= obj <= 246020510741
1234.86/1235.16	c BCD2: #cores=0, #unrelaxed=3016, #relaxed=0, #hardened=0
1234.86/1235.16	c BCD2: #sat=1 #unsat=1 bias=1/2
1234.86/1235.16	c Solving starts ...
1234.86/1235.16	c ============================[ Search Statistics ]============================
1234.86/1235.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1234.86/1235.16	c       |         |          |          |    Limit     GC | Var      | Constra 
1234.86/1235.16	c =============================================================================
1234.86/1235.16	c  0.0s |       0 |        0 |        0 |    10787      0 |      725 |     3765
1234.86/1235.17	c  0.0s |       0 |        8 |        0 |    10787      0 |      725 |     3765
1234.86/1235.17	c #cpu_time = 0.010s
1234.86/1235.17	c #wall_clock_time = 0.010s
1234.86/1235.17	c #decision = 8
1234.86/1235.17	c #random_decision = 0
1234.86/1235.17	c #conflict = 0
1234.86/1235.17	c #restart = 0
1234.86/1235.17	c BCD2: found a new core of size 1: cost of the new core is >=1
1234.86/1235.17	c lower bound updated to 1

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

pid=25633
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: 2.09 2.08 2.02 3/180 25636
/proc/meminfo: memFree=29989476/32872528 swapFree=534252/566956
[pid=25636] ppid=25633 vsize=804284 CPUtime=0 cores=1,3,5,7
/proc/25636/stat : 25636 (toysat) R 25633 25636 24407 0 -1 4202496 3011 0 0 0 0 0 0 0 20 0 4 0 30767454 823586816 3373 33554432000 4194304 16246674 140734627589264 140734627588688 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25636/statm: 201583 3381 441 2943 0 198477 0
[pid=25636/tid=25637] ppid=25633 vsize=821692 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25637/stat : 25637 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30767455 841412608 3443 33554432000 4194304 16246674 140734627589264 139864032914672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25638] ppid=25633 vsize=826812 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (toysat) S 25633 25636 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30767455 846655488 3460 33554432000 4194304 16246674 140734627589264 139864022424816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25636/tid=25639] ppid=25633 vsize=830908 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (toysat) S 25633 25636 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30767455 850849792 3477 33554432000 4194304 16246674 140734627589264 139864011951280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.09 2.08 2.02 3/180 25636
/proc/meminfo: memFree=29989476/32872528 swapFree=534252/566956
[pid=25636] ppid=25633 vsize=1222212 CPUtime=0.09 cores=1,3,5,7
/proc/25636/stat : 25636 (toysat) R 25633 25636 24407 0 -1 4202496 26157 0 0 0 5 4 0 0 20 0 4 0 30767454 1251545088 26456 33554432000 4194304 16246674 140734627589264 140734627588576 4221105 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25636/statm: 305553 26464 798 2943 0 302447 0
[pid=25636/tid=25637] ppid=25633 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25637/stat : 25637 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30767455 1251545088 26469 33554432000 4194304 16246674 140734627589264 139864032914672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25638] ppid=25633 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (toysat) S 25633 25636 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30767455 1251545088 26474 33554432000 4194304 16246674 140734627589264 139864022424816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25636/tid=25639] ppid=25633 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (toysat) S 25633 25636 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30767455 1251545088 26477 33554432000 4194304 16246674 140734627589264 139864011951280 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) 1222212

[startup+0.200539 s]
/proc/loadavg: 2.09 2.08 2.02 3/180 25636
/proc/meminfo: memFree=29989476/32872528 swapFree=534252/566956
[pid=25636] ppid=25633 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/25636/stat : 25636 (toysat) R 25633 25636 24407 0 -1 4202496 48550 0 0 0 12 7 0 0 20 0 4 0 30767454 1344868352 49360 33554432000 4194304 16246674 140734627589264 140734627572256 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25636/statm: 328337 49360 798 2943 0 325231 0
[pid=25636/tid=25637] ppid=25633 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25637/stat : 25637 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30767455 1344868352 49360 33554432000 4194304 16246674 140734627589264 139864032914672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25638] ppid=25633 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (toysat) S 25633 25636 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30767455 1344868352 49360 33554432000 4194304 16246674 140734627589264 139864022424816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25636/tid=25639] ppid=25633 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (toysat) S 25633 25636 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30767455 1344868352 49360 33554432000 4194304 16246674 140734627589264 139864011951280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300505 s]
/proc/loadavg: 2.09 2.08 2.02 3/180 25636
/proc/meminfo: memFree=29989476/32872528 swapFree=534252/566956
[pid=25636] ppid=25633 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/25636/stat : 25636 (toysat) R 25633 25636 24407 0 -1 4202496 48622 0 0 0 22 7 0 0 20 0 4 0 30767454 1344868352 49432 33554432000 4194304 16246674 140734627589264 140734627572256 9827884 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25636/statm: 328337 49432 837 2943 0 325231 0
[pid=25636/tid=25637] ppid=25633 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25637/stat : 25637 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30767455 1344868352 49432 33554432000 4194304 16246674 140734627589264 139864032914672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25638] ppid=25633 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (toysat) S 25633 25636 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30767455 1344868352 49432 33554432000 4194304 16246674 140734627589264 139864022424816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25636/tid=25639] ppid=25633 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (toysat) S 25633 25636 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30767455 1344868352 49432 33554432000 4194304 16246674 140734627589264 139864011951280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700425 s]
/proc/loadavg: 2.09 2.08 2.02 3/180 25636
/proc/meminfo: memFree=29989476/32872528 swapFree=534252/566956
[pid=25636] ppid=25633 vsize=1313348 CPUtime=0.68 cores=1,3,5,7
/proc/25636/stat : 25636 (toysat) R 25633 25636 24407 0 -1 4202496 115077 0 0 0 51 17 0 0 20 0 4 0 30767454 1344868352 115887 33554432000 4194304 16246674 140734627589264 140734627572256 5532492 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25636/statm: 328337 115894 886 2943 0 325231 0
[pid=25636/tid=25637] ppid=25633 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25637/stat : 25637 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30767455 1344868352 115898 33554432000 4194304 16246674 140734627589264 139864032914672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25638] ppid=25633 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (toysat) S 25633 25636 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30767455 1344868352 115902 33554432000 4194304 16246674 140734627589264 139864022424816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25636/tid=25639] ppid=25633 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (toysat) S 25633 25636 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30767455 1344868352 115905 33554432000 4194304 16246674 140734627589264 139864011951280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.09 2.08 2.02 3/184 25640
/proc/meminfo: memFree=29408104/32872528 swapFree=534252/566956
[pid=25636] ppid=25633 vsize=1322564 CPUtime=1.49 cores=1,3,5,7
/proc/25636/stat : 25636 (toysat) R 25633 25636 24407 0 -1 4202496 234789 0 0 0 117 32 0 0 20 0 4 0 30767454 1354305536 235599 33554432000 4194304 16246674 140734627589264 140734627571136 12414001 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25636/statm: 330641 235615 895 2943 0 327535 0
[pid=25636/tid=25637] ppid=25633 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25637/stat : 25637 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30767455 1354305536 235624 33554432000 4194304 16246674 140734627589264 139864032914672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25638] ppid=25633 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (toysat) S 25633 25636 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30767455 1354305536 235632 33554432000 4194304 16246674 140734627589264 139864022424816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25636/tid=25639] ppid=25633 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (toysat) S 25633 25636 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30767455 1354305536 235641 33554432000 4194304 16246674 140734627589264 139864011951280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1322564

[startup+3.10043 s]
/proc/loadavg: 2.08 2.08 2.02 3/184 25640
/proc/meminfo: memFree=28901988/32872528 swapFree=534252/566956
[pid=25636] ppid=25633 vsize=1322564 CPUtime=3.09 cores=1,3,5,7
/proc/25636/stat : 25636 (toysat) R 25633 25636 24407 0 -1 4202496 271323 0 0 0 271 38 0 0 20 0 4 0 30767454 1354305536 272133 33554432000 4194304 16246674 140734627589264 140734627571136 12429162 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25636/statm: 330641 272133 896 2943 0 327535 0
[pid=25636/tid=25637] ppid=25633 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25637/stat : 25637 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30767455 1354305536 272133 33554432000 4194304 16246674 140734627589264 139864032914672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25638] ppid=25633 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (toysat) S 25633 25636 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30767455 1354305536 272133 33554432000 4194304 16246674 140734627589264 139864022424816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25636/tid=25639] ppid=25633 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (toysat) S 25633 25636 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30767455 1354305536 272133 33554432000 4194304 16246674 140734627589264 139864011951280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1322564

[startup+6.30044 s]
/proc/loadavg: 2.08 2.08 2.02 3/184 25640
/proc/meminfo: memFree=28901812/32872528 swapFree=534252/566956
[pid=25636] ppid=25633 vsize=1322564 CPUtime=6.29 cores=1,3,5,7
/proc/25636/stat : 25636 (toysat) R 25633 25636 24407 0 -1 4202496 271323 0 0 0 591 38 0 0 20 0 4 0 30767454 1354305536 272133 33554432000 4194304 16246674 140734627589264 140734627571136 12654366 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25636/statm: 330641 272133 896 2943 0 327535 0
[pid=25636/tid=25637] ppid=25633 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25637/stat : 25637 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30767455 1354305536 272133 33554432000 4194304 16246674 140734627589264 139864032914672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25638] ppid=25633 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (toysat) S 25633 25636 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30767455 1354305536 272133 33554432000 4194304 16246674 140734627589264 139864022424816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25636/tid=25639] ppid=25633 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (toysat) S 25633 25636 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30767455 1354305536 272133 33554432000 4194304 16246674 140734627589264 139864011951280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1322564

[startup+12.7004 s]
/proc/loadavg: 2.07 2.08 2.02 3/184 25640
/proc/meminfo: memFree=28901960/32872528 swapFree=534252/566956
[pid=25636] ppid=25633 vsize=1322564 CPUtime=12.69 cores=1,3,5,7
/proc/25636/stat : 25636 (toysat) R 25633 25636 24407 0 -1 4202496 271323 0 0 0 1231 38 0 0 20 0 4 0 30767454 1354305536 272133 33554432000 4194304 16246674 140734627589264 140734627588440 6955475 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25636/statm: 330641 272133 896 2943 0 327535 0
[pid=25636/tid=25637] ppid=25633 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25637/stat : 25637 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30767455 1354305536 272133 33554432000 4194304 16246674 140734627589264 139864032914672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25638] ppid=25633 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (toysat) S 25633 25636 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30767455 1354305536 272133 33554432000 4194304 16246674 140734627589264 139864022424816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25636/tid=25639] ppid=25633 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (toysat) S 25633 25636 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30767455 1354305536 272133 33554432000 4194304 16246674 140734627589264 139864011951280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1322564

[startup+25.5005 s]
/proc/loadavg: 2.06 2.08 2.02 3/184 25640
/proc/meminfo: memFree=28865272/32872528 swapFree=534252/566956
[pid=25636] ppid=25633 vsize=1359428 CPUtime=25.49 cores=1,3,5,7
/proc/25636/stat : 25636 (toysat) R 25633 25636 24407 0 -1 4202496 280539 0 0 0 2509 40 0 0 20 0 4 0 30767454 1392054272 281349 33554432000 4194304 16246674 140734627589264 140734627571136 12371164 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25636/statm: 339857 281349 896 2943 0 336751 0
[pid=25636/tid=25637] ppid=25633 vsize=1359428 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25637/stat : 25637 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30767455 1392054272 281349 33554432000 4194304 16246674 140734627589264 139864032914672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25638] ppid=25633 vsize=1359428 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (toysat) S 25633 25636 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30767455 1392054272 281349 33554432000 4194304 16246674 140734627589264 139864022424816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25636/tid=25639] ppid=25633 vsize=1359428 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (toysat) S 25633 25636 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30767455 1392054272 281349 33554432000 4194304 16246674 140734627589264 139864011951280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1359428

[startup+51.1005 s]
/proc/loadavg: 2.04 2.07 2.01 3/184 25663
/proc/meminfo: memFree=28603944/32872528 swapFree=534252/566956
[pid=25636] ppid=25633 vsize=1619524 CPUtime=51.08 cores=1,3,5,7
/proc/25636/stat : 25636 (toysat) R 25633 25636 24407 0 -1 4202496 345564 0 0 0 5061 47 0 0 20 0 4 0 30767454 1658392576 346374 33554432000 4194304 16246674 140734627589264 140734627588576 4220480 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25636/statm: 404881 346374 896 2943 0 401775 0
[pid=25636/tid=25637] ppid=25633 vsize=1619524 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25637/stat : 25637 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30767455 1658392576 346374 33554432000 4194304 16246674 140734627589264 139864032914672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25638] ppid=25633 vsize=1619524 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (toysat) S 25633 25636 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30767455 1658392576 346374 33554432000 4194304 16246674 140734627589264 139864022424816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25636/tid=25639] ppid=25633 vsize=1619524 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (toysat) S 25633 25636 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30767455 1658392576 346374 33554432000 4194304 16246674 140734627589264 139864011951280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1619524

[startup+102.301 s]
/proc/loadavg: 2.01 2.05 2.01 3/184 25664
/proc/meminfo: memFree=27997272/32872528 swapFree=534252/566956
[pid=25636] ppid=25633 vsize=2225732 CPUtime=102.28 cores=1,3,5,7
/proc/25636/stat : 25636 (toysat) R 25633 25636 24407 0 -1 4202496 497118 0 0 0 10162 66 0 0 20 0 4 0 30767454 2279149568 497928 33554432000 4194304 16246674 140734627589264 140734627588360 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25636/statm: 556433 497928 897 2943 0 553327 0
[pid=25636/tid=25637] ppid=25633 vsize=2225732 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25637/stat : 25637 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30767455 2279149568 497928 33554432000 4194304 16246674 140734627589264 139864032914672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25638] ppid=25633 vsize=2225732 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (toysat) S 25633 25636 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30767455 2279149568 497928 33554432000 4194304 16246674 140734627589264 139864022424816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25636/tid=25639] ppid=25633 vsize=2225732 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (toysat) S 25633 25636 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30767455 2279149568 497928 33554432000 4194304 16246674 140734627589264 139864011951280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2225732


################
# More data... #
################

/proc/25636/task/25637/stat : 25637 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30767455 1977159680 424225 33554432000 4194304 16246674 140734627589264 139864032914672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25638] ppid=25633 vsize=1930820 CPUtime=0.01 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (toysat) S 25633 25636 24407 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30767455 1977159680 424225 33554432000 4194304 16246674 140734627589264 139864022424816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25639] ppid=25633 vsize=1930820 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (toysat) S 25633 25636 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30767455 1977159680 424225 33554432000 4194304 16246674 140734627589264 139864011951280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 1930820

[startup+1362.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 25744
/proc/meminfo: memFree=15108872/32872528 swapFree=534252/566956
[pid=25636] ppid=25633 vsize=2606660 CPUtime=1362.03 cores=1,3,5,7
/proc/25636/stat : 25636 (toysat) R 25633 25636 24407 0 -1 4202496 4619270 0 0 0 135398 805 0 0 20 0 4 0 30767454 2669219840 593186 33554432000 4194304 16246674 140734627589264 140734627587072 4220912 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25636/statm: 651665 593186 915 2943 0 648559 0
[pid=25636/tid=25637] ppid=25633 vsize=2606660 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25637/stat : 25637 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30767455 2669219840 593186 33554432000 4194304 16246674 140734627589264 139864032914672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25638] ppid=25633 vsize=2606660 CPUtime=0.01 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (toysat) S 25633 25636 24407 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30767455 2669219840 593186 33554432000 4194304 16246674 140734627589264 139864022424592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25639] ppid=25633 vsize=2606660 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (toysat) S 25633 25636 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30767455 2669219840 593186 33554432000 4194304 16246674 140734627589264 139864011951280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 2606660

[startup+1422.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/183 25746
/proc/meminfo: memFree=15144116/32872528 swapFree=534252/566956
[pid=25636] ppid=25633 vsize=3075652 CPUtime=1422.02 cores=1,3,5,7
/proc/25636/stat : 25636 (toysat) R 25633 25636 24407 0 -1 4202496 4736518 0 0 0 141376 826 0 0 20 0 4 0 30767454 3149467648 710434 33554432000 4194304 16246674 140734627589264 140734627588360 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25636/statm: 768913 710434 915 2943 0 765807 0
[pid=25636/tid=25637] ppid=25633 vsize=3075652 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25637/stat : 25637 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30767455 3149467648 710434 33554432000 4194304 16246674 140734627589264 139864032914672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25638] ppid=25633 vsize=3075652 CPUtime=0.01 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 30767455 3149467648 710434 33554432000 4194304 16246674 140734627589264 139864022424816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25639] ppid=25633 vsize=3075652 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (toysat) S 25633 25636 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30767455 3149467648 710434 33554432000 4194304 16246674 140734627589264 139864011951280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 3075652

[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 25747
/proc/meminfo: memFree=15199104/32872528 swapFree=534252/566956
[pid=25636] ppid=25633 vsize=3388996 CPUtime=1482.01 cores=1,3,5,7
/proc/25636/stat : 25636 (toysat) R 25633 25636 24407 0 -1 4202496 4814854 0 0 0 147357 844 0 0 20 0 4 0 30767454 3470331904 788770 33554432000 4194304 16246674 140734627589264 140734627587136 4206591 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25636/statm: 847249 788770 915 2943 0 844143 0
[pid=25636/tid=25637] ppid=25633 vsize=3388996 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25637/stat : 25637 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30767455 3470331904 788770 33554432000 4194304 16246674 140734627589264 139864032914672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25638] ppid=25633 vsize=3388996 CPUtime=0.01 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 30767455 3470331904 788770 33554432000 4194304 16246674 140734627589264 139864022424816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25639] ppid=25633 vsize=3388996 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (toysat) S 25633 25636 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30767455 3470331904 788770 33554432000 4194304 16246674 140734627589264 139864011951280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 3388996

[startup+1542.31 s]
/proc/loadavg: 2.05 2.04 2.00 3/183 25748
/proc/meminfo: memFree=13726992/32872528 swapFree=534252/566956
[pid=25636] ppid=25633 vsize=3822148 CPUtime=1542.01 cores=1,3,5,7
/proc/25636/stat : 25636 (toysat) R 25633 25636 24407 0 -1 4202496 4923142 0 0 0 153335 866 0 0 20 0 4 0 30767454 3913879552 897058 33554432000 4194304 16246674 140734627589264 140734627588440 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25636/statm: 955537 897058 915 2943 0 952431 0
[pid=25636/tid=25637] ppid=25633 vsize=3822148 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25637/stat : 25637 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30767455 3913879552 897058 33554432000 4194304 16246674 140734627589264 139864032914672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25638] ppid=25633 vsize=3822148 CPUtime=0.01 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 30767455 3913879552 897058 33554432000 4194304 16246674 140734627589264 139864022424816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25639] ppid=25633 vsize=3822148 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (toysat) S 25633 25636 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30767455 3913879552 897058 33554432000 4194304 16246674 140734627589264 139864011951280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 3822148

[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 25749
/proc/meminfo: memFree=13460072/32872528 swapFree=534252/566956
[pid=25636] ppid=25633 vsize=4045380 CPUtime=1601.99 cores=1,3,5,7
/proc/25636/stat : 25636 (toysat) R 25633 25636 24407 0 -1 4202496 5056519 0 0 0 159306 893 0 0 20 0 4 0 30767454 4142469120 952866 33554432000 4194304 16246674 140734627589264 140734627587072 4220994 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25636/statm: 1011345 952866 915 2943 0 1008239 0
[pid=25636/tid=25637] ppid=25633 vsize=4045380 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25637/stat : 25637 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30767455 4142469120 952866 33554432000 4194304 16246674 140734627589264 139864032914672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25638] ppid=25633 vsize=4045380 CPUtime=0.01 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 30767455 4142469120 952866 33554432000 4194304 16246674 140734627589264 139864022424816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25639] ppid=25633 vsize=4045380 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (toysat) S 25633 25636 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30767455 4142469120 952866 33554432000 4194304 16246674 140734627589264 139864011951280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 4045380

[startup+1662.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/183 25750
/proc/meminfo: memFree=13143844/32872528 swapFree=534252/566956
[pid=25636] ppid=25633 vsize=4360772 CPUtime=1661.98 cores=1,3,5,7
/proc/25636/stat : 25636 (toysat) R 25633 25636 24407 0 -1 4202496 5343497 0 0 0 165255 943 0 0 20 0 4 0 30767454 4465430528 1031714 33554432000 4194304 16246674 140734627589264 140734627587072 4220489 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25636/statm: 1090193 1031714 915 2943 0 1087087 0
[pid=25636/tid=25637] ppid=25633 vsize=4360772 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25637/stat : 25637 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30767455 4465430528 1031714 33554432000 4194304 16246674 140734627589264 139864032914672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25638] ppid=25633 vsize=4360772 CPUtime=0.01 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 30767455 4465430528 1031714 33554432000 4194304 16246674 140734627589264 139864022424592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25639] ppid=25633 vsize=4360772 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (toysat) S 25633 25636 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30767455 4465430528 1031714 33554432000 4194304 16246674 140734627589264 139864011951280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 4360772

[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/183 25751
/proc/meminfo: memFree=12570792/32872528 swapFree=534252/566956
[pid=25636] ppid=25633 vsize=5011012 CPUtime=1721.97 cores=1,3,5,7
/proc/25636/stat : 25636 (toysat) R 25633 25636 24407 0 -1 4202496 5719449 0 0 0 171195 1002 0 0 20 0 4 0 30767454 5131276288 1194161 33554432000 4194304 16246674 140734627589264 140734627587928 13881079 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25636/statm: 1252753 1194161 915 2943 0 1249647 0
[pid=25636/tid=25637] ppid=25633 vsize=5011012 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25637/stat : 25637 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30767455 5131276288 1194161 33554432000 4194304 16246674 140734627589264 139864032914672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25638] ppid=25633 vsize=5011012 CPUtime=0.01 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 30767455 5131276288 1194161 33554432000 4194304 16246674 140734627589264 139864022424592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25639] ppid=25633 vsize=5011012 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (toysat) S 25633 25636 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30767455 5131276288 1194161 33554432000 4194304 16246674 140734627589264 139864011951280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 5011012

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 25753
/proc/meminfo: memFree=12587472/32872528 swapFree=534252/566956
[pid=25636] ppid=25633 vsize=4965956 CPUtime=1781.95 cores=1,3,5,7
/proc/25636/stat : 25636 (toysat) R 25633 25636 24407 0 -1 4202496 6114837 0 0 0 177126 1069 0 0 20 0 4 0 30767454 5085138944 1182762 33554432000 4194304 16246674 140734627589264 140734627587136 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25636/statm: 1241489 1182772 915 2943 0 1238383 0
[pid=25636/tid=25637] ppid=25633 vsize=4965956 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25637/stat : 25637 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30767455 5085138944 1182777 33554432000 4194304 16246674 140734627589264 139864032914672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25638] ppid=25633 vsize=4965956 CPUtime=0.01 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 30767455 5085138944 1182783 33554432000 4194304 16246674 140734627589264 139864022424592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25639] ppid=25633 vsize=4965956 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (toysat) S 25633 25636 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30767455 5085138944 1182788 33554432000 4194304 16246674 140734627589264 139864011951280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 4965956



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.03 2.00 3/184 25757
/proc/meminfo: memFree=12290160/32872528 swapFree=534252/566956
[pid=25636] ppid=25633 vsize=5183044 CPUtime=1800.05 cores=1,3,5,7
/proc/25636/stat : 25636 (toysat) R 25633 25636 24407 0 -1 4202496 6169358 0 0 0 178927 1078 0 0 20 0 4 0 30767454 5307437056 1237283 33554432000 4194304 16246674 140734627589264 140734627587072 4207010 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25636/statm: 1295761 1237283 915 2943 0 1292655 0
[pid=25636/tid=25637] ppid=25633 vsize=5183044 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25637/stat : 25637 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30767455 5307437056 1237283 33554432000 4194304 16246674 140734627589264 139864032914672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25638] ppid=25633 vsize=5183044 CPUtime=0.01 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (toysat) S 25633 25636 24407 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 30767455 5307437056 1237283 33554432000 4194304 16246674 140734627589264 139864022424592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25636/tid=25639] ppid=25633 vsize=5183044 CPUtime=0 cores=1,3,5,7
/proc/25636/task/25639/stat : 25639 (toysat) S 25633 25636 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30767455 5307437056 1237283 33554432000 4194304 16246674 140734627589264 139864011951280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 5183044

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

[startup+1800.6 s]
/proc/loadavg: 2.01 2.03 2.00 3/184 25757
/proc/meminfo: memFree=12290160/32872528 swapFree=534252/566956
[pid=25636] ppid=25633 vsize=0 CPUtime=1800.25 cores=1,3,5,7
/proc/25636/stat : 25636 (toysat) Z 25633 25636 24407 0 -1 4203532 6169358 0 0 0 178928 1097 0 0 20 0 2 0 30767454 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25636/statm: 0 0 0 0 0 0 0
[pid=25636/tid=25638] ppid=25633 vsize=0 CPUtime=0.21 cores=1,3,5,7
/proc/25636/task/25638/stat : 25638 (toysat) R 25633 25636 24407 0 -1 4203588 9 0 0 0 1 20 0 0 20 0 2 0 30767455 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.67
CPU time (s): 1800.34
CPU user time (s): 1789.29
CPU system time (s): 11.0523
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 6086212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.29
system time used= 11.0523
maximum resident set size= 5852216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6169358
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= 1933
involuntary context switches= 1954

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.70628 second user time and 6.92395 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-19 00:00:18
IDJOB=4107570
IDBENCH=72316
IDSOLVER=2542
FILE ID=node138/4107570-1466287218
RUNJOBID= node138-1466276409-24424
PBS_JOBID= 19918262
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randd92c9f.cudf.trendy.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107570-1466287218/watcher-4107570-1466287218 -o /tmp/evaluation-result-4107570-1466287218/solver-4107570-1466287218 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466276409-24424 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107570-1466287218.opb

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

MD5SUM BENCH= 9a691c3b1700d95cd917852b9436eebd
RANDOM SEED=289674403

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:        29989856 kB
Buffers:          155836 kB
Cached:           290612 kB
SwapCached:         1060 kB
Active:          1267384 kB
Inactive:         306900 kB
Active(anon):    1128108 kB
Inactive(anon):     1696 kB
Active(file):     139276 kB
Inactive(file):   305204 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099640 kB
Dirty:             17132 kB
Writeback:             0 kB
AnonPages:       1820656 kB
Mapped:            10980 kB
Shmem:                 0 kB
Slab:             608416 kB
SReclaimable:      52020 kB
SUnreclaim:       556396 kB
KernelStack:        1528 kB
PageTables:         7508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1835408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1275904 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= 71700 MiB
End job on node138 at 2016-06-19 00:30:19