Trace number 4119135

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.1 1800.41

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-28.lin.opb
MD5SUM2a701694e46cee2b50f813052dd1ca95
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-46719
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19897
Total number of constraints39684
Number of constraints which are clauses19842
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints19842
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 19897
Biggest coefficient in the objective function 12740
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 3485664
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 12740
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 3485664
Number of bits of the biggest sum of numbers22
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-30T01:19:51+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-4119135-1467242391.opb"]
0.00/0.01	c use --random-gen="3126538863 15634684 4096782972 3881983263 3230555607 1044044099 934423268 1483950740 543176395 525041312 829282346 3121129127 3178264152 520733369 50688392 1448461749 336811759 3927856077 4105409118 1349333731 1109667232 2396819898 1438736885 1512261409 3239227488 327076761 1778767480 1360780775 1123237982 1155240709 2184400688 2204571113 2914568624 1746767528 3511300279 2597069763 4253109978 3775160719 3579670550 1014874834 1595015559 1930613264 2274171234 3602271824 824984212 2294070105 2461885820 1910897694 2177222317 1985146643 3015093461 854314902 2148709912 259217253 913350236 959408 1179590753 2700998595 2350504426 879778365 1837841272 3128325334 1997126865 1483349520 2812157977 2653705836 3560666252 1143415127 3412184099 1497821827 2477672602 4052984894 45042665 1158882035 623638694 1766005328 667783766 2063292981 611745890 56608496 2925214688 277277439 2037021245 4245605708 2689343175 1309716628 3470431946 2762769955 2795474791 2470163971 1536673216 2159588829 1572760511 2473831784 83898112 929535858 3377492961 2649559649 4045274961 1534738966 2004454547 2363514431 1591343879 4016209091 1968272089 676188076 2967069843 1713752161 2188067530 1240315120 1718138349 694918905 2650010097 3538782141 2554401704 16168083 965693691 3128001347 3568917191 4177315595 473427690 4120449245 1676526687 361673948 4080305794 1874868389 108097217 3295372237 1725001062 4003851737 1793000634 2308555477 1245169306 3496094115 3680316071 1899194028 170453201 3424178041 644889907 3361954675 1422333216 3646959390 958964703 2343224435 1305121015 717224657 2773259705 1743107985 2911835180 374275795 3645270083 1136139279 3922426298 1043047107 3223515271 268897913 182634799 3466383051 1393561973 470947368 3618928822 529089935 13377406 895383336 4193310955 1093395298 3538408722 2061052112 3109467310 2483922614 2649540464 3575315113 1832638637 3184118526 4208301442 2159493589 3048587863 4292972795 2212225566 4103447281 3917844940 976039548 669992867 1456105525 2925503302 2244417204 2809317944 3970557994 867245142 553977492 3355683423 3212689808 3532029999 1851042591 409168875 907115127 1828260686 186205725 1726884402 2588041203 1194629784 3904516928 4265038945 3417773277 1477723330 1614721769 3794962830 3689770705 4273032894 2806247299 2949477947 580304916 1482619724 4170745951 4040779332 2818939568 1867684243 1526506021 3115479772 2999189718 2057913162 2752739625 1698229325 2268541961 4192788165 3871993925 1310419750 1734144307 1427897012 2657990991 4031392345 622317437 1718028354 1383925102 1391159417 2989055540 979232219 3294973560 390261597 1467011852 556103595 3965396959 2753631404 1229821206 3726489992 2601033703 3911736799 902433158 1671394316 2963822134 3141435692 1773909550 975187928 2029478410 3141221807 2334775402 255 362436" option to reproduce the execution
0.39/0.41	c #vars 19897
0.39/0.41	c #constraints 39684
1.09/1.12	c BCD2: Hardening is enabled.
1.09/1.12	c BCD2: BiasedSearch is enabled.
1.09/1.12	c Solving starts ...
1.09/1.12	c ============================[ Search Statistics ]============================
1.09/1.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.09/1.12	c       |         |          |          |    Limit     GC | Var      | Constra 
1.09/1.12	c =============================================================================
1.09/1.12	c  0.0s |       0 |        0 |        0 |    19860      0 |        0 |        0
1.20/1.28	c  0.2s |       0 |       54 |        0 |    19860      0 |        0 |        0
1.20/1.28	c #cpu_time = 0.137s
1.20/1.28	c #wall_clock_time = 0.137s
1.20/1.28	c #decision = 54
1.20/1.28	c #random_decision = 0
1.20/1.28	c #conflict = 0
1.20/1.28	c #restart = 0
1.20/1.28	o 0
820.27/820.50	c BCD2: updating upper bound: 3485664 -> 1742831
1630.41/1630.77	c BCD2: 0 <= obj <= 1742831
1630.41/1630.77	c BCD2: #cores=0, #unrelaxed=19897, #relaxed=0, #hardened=0
1630.41/1630.77	c BCD2: #sat=1 #unsat=1 bias=1/2
1630.41/1630.78	c Solving starts ...
1630.41/1630.78	c ============================[ Search Statistics ]============================
1630.41/1630.78	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1630.41/1630.78	c       |         |          |          |    Limit     GC | Var      | Constra 
1630.41/1630.78	c =============================================================================
1630.41/1630.78	c  0.0s |       0 |        0 |        0 |    19860      0 |        0 |        0
1630.51/1630.86	c  0.1s |       0 |     7218 |        0 |    19860      0 |        0 |        0
1630.51/1630.86	c #cpu_time = 0.074s
1630.51/1630.86	c #wall_clock_time = 0.074s
1630.51/1630.86	c #decision = 7218
1630.51/1630.86	c #random_decision = 0
1630.51/1630.86	c #conflict = 0
1630.51/1630.86	c #restart = 0
1630.51/1630.86	c BCD2: found a new core of size 3: cost of the new core is >=100
1630.51/1630.86	c lower bound updated to -1742732

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

pid=6284
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.20 2.23 2.20 3/179 6287
/proc/meminfo: memFree=27373584/32872528 swapFree=1631852/1795372
[pid=6287] ppid=6284 vsize=650684 CPUtime=0 cores=0,2,4,6
/proc/6287/stat : 6287 (toysat) R 6284 6287 1867 0 -1 4202496 2412 0 0 0 0 0 0 0 20 0 4 0 3265155 666300416 3284 33554432000 4194304 16246674 140733607115104 140733607114528 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6287/statm: 163439 3293 441 2943 0 160333 0
[pid=6287/tid=6288] ppid=6284 vsize=668092 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6288/stat : 6288 (toysat) S 6284 6287 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3265155 684126208 3352 33554432000 4194304 16246674 140733607115104 139974947089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6287/tid=6289] ppid=6284 vsize=673212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6289/stat : 6289 (toysat) S 6284 6287 1867 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3265155 689369088 3368 33554432000 4194304 16246674 140733607115104 139974863203568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6287/tid=6290] ppid=6284 vsize=677308 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6290/stat : 6290 (toysat) S 6284 6287 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3265155 693563392 3386 33554432000 4194304 16246674 140733607115104 139974852730032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.20 2.23 2.20 3/179 6287
/proc/meminfo: memFree=27373584/32872528 swapFree=1631852/1795372
[pid=6287] ppid=6284 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/6287/stat : 6287 (toysat) R 6284 6287 1867 0 -1 4202496 28704 0 0 0 5 4 0 0 20 0 4 0 3265155 1333334016 29515 33554432000 4194304 16246674 140733607115104 140733607114416 7371468 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6287/statm: 325521 29530 799 2943 0 322415 0
[pid=6287/tid=6288] ppid=6284 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6288/stat : 6288 (toysat) S 6284 6287 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3265155 1333334016 29540 33554432000 4194304 16246674 140733607115104 139974947089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6287/tid=6289] ppid=6284 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6289/stat : 6289 (toysat) S 6284 6287 1867 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3265155 1333334016 29552 33554432000 4194304 16246674 140733607115104 139974863203568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6287/tid=6290] ppid=6284 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6290/stat : 6290 (toysat) S 6284 6287 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3265155 1333334016 29564 33554432000 4194304 16246674 140733607115104 139974852730032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200515 s]
/proc/loadavg: 2.20 2.23 2.20 3/179 6287
/proc/meminfo: memFree=27373584/32872528 swapFree=1631852/1795372
[pid=6287] ppid=6284 vsize=1309252 CPUtime=0.19 cores=0,2,4,6
/proc/6287/stat : 6287 (toysat) R 6284 6287 1867 0 -1 4202496 53666 0 0 0 11 8 0 0 20 0 4 0 3265155 1340674048 54987 33554432000 4194304 16246674 140733607115104 140733607098096 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6287/statm: 327313 54990 800 2943 0 324207 0
[pid=6287/tid=6288] ppid=6284 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6288/stat : 6288 (toysat) S 6284 6287 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3265155 1340674048 54992 33554432000 4194304 16246674 140733607115104 139974947089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6287/tid=6289] ppid=6284 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6289/stat : 6289 (toysat) S 6284 6287 1867 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3265155 1340674048 54994 33554432000 4194304 16246674 140733607115104 139974863203568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6287/tid=6290] ppid=6284 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6290/stat : 6290 (toysat) S 6284 6287 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3265155 1340674048 54996 33554432000 4194304 16246674 140733607115104 139974852730032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1309252

[startup+0.300426 s]
/proc/loadavg: 2.20 2.23 2.20 3/179 6287
/proc/meminfo: memFree=27373584/32872528 swapFree=1631852/1795372
[pid=6287] ppid=6284 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/6287/stat : 6287 (toysat) R 6284 6287 1867 0 -1 4202496 66641 0 0 0 20 9 0 0 20 0 4 0 3265155 1345916928 67962 33554432000 4194304 16246674 140733607115104 140733607098096 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6287/statm: 328593 67962 800 2943 0 325487 0
[pid=6287/tid=6288] ppid=6284 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6288/stat : 6288 (toysat) S 6284 6287 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3265155 1345916928 67962 33554432000 4194304 16246674 140733607115104 139974947089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6287/tid=6289] ppid=6284 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6289/stat : 6289 (toysat) S 6284 6287 1867 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3265155 1345916928 67962 33554432000 4194304 16246674 140733607115104 139974863203568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6287/tid=6290] ppid=6284 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6290/stat : 6290 (toysat) S 6284 6287 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3265155 1345916928 67962 33554432000 4194304 16246674 140733607115104 139974852730032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.7004 s]
/proc/loadavg: 2.20 2.23 2.20 3/179 6287
/proc/meminfo: memFree=27373584/32872528 swapFree=1631852/1795372
[pid=6287] ppid=6284 vsize=1314372 CPUtime=0.68 cores=0,2,4,6
/proc/6287/stat : 6287 (toysat) R 6284 6287 1867 0 -1 4202496 82481 0 0 0 57 11 0 0 20 0 4 0 3265155 1345916928 83802 33554432000 4194304 16246674 140733607115104 140733607098096 13930238 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6287/statm: 328593 83811 835 2943 0 325487 0
[pid=6287/tid=6288] ppid=6284 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6288/stat : 6288 (toysat) S 6284 6287 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3265155 1345916928 83816 33554432000 4194304 16246674 140733607115104 139974947089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6287/tid=6289] ppid=6284 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6289/stat : 6289 (toysat) S 6284 6287 1867 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3265155 1345916928 83822 33554432000 4194304 16246674 140733607115104 139974863203568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6287/tid=6290] ppid=6284 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6290/stat : 6290 (toysat) S 6284 6287 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3265155 1345916928 83828 33554432000 4194304 16246674 140733607115104 139974852730032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1314372

[startup+1.50035 s]
/proc/loadavg: 2.20 2.23 2.20 3/183 6291
/proc/meminfo: memFree=26741044/32872528 swapFree=1631852/1795372
[pid=6287] ppid=6284 vsize=1350212 CPUtime=1.49 cores=0,2,4,6
/proc/6287/stat : 6287 (toysat) R 6284 6287 1867 0 -1 4202496 188572 0 0 0 124 25 0 0 20 0 4 0 3265155 1382617088 189893 33554432000 4194304 16246674 140733607115104 140733607097024 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6287/statm: 337553 189893 872 2943 0 334447 0
[pid=6287/tid=6288] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6288/stat : 6288 (toysat) S 6284 6287 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 189893 33554432000 4194304 16246674 140733607115104 139974947089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6287/tid=6289] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6289/stat : 6289 (toysat) S 6284 6287 1867 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 189893 33554432000 4194304 16246674 140733607115104 139974863203568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6287/tid=6290] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6290/stat : 6290 (toysat) S 6284 6287 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 189893 33554432000 4194304 16246674 140733607115104 139974852730032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1350212

[startup+3.10041 s]
/proc/loadavg: 2.20 2.23 2.20 3/183 6291
/proc/meminfo: memFree=26256328/32872528 swapFree=1631852/1795372
[pid=6287] ppid=6284 vsize=1350212 CPUtime=3.09 cores=0,2,4,6
/proc/6287/stat : 6287 (toysat) R 6284 6287 1867 0 -1 4202496 278215 0 0 0 272 37 0 0 20 0 4 0 3265155 1382617088 279536 33554432000 4194304 16246674 140733607115104 140733607114280 13965719 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6287/statm: 337553 279536 879 2943 0 334447 0
[pid=6287/tid=6288] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6288/stat : 6288 (toysat) S 6284 6287 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279536 33554432000 4194304 16246674 140733607115104 139974947089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6287/tid=6289] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6289/stat : 6289 (toysat) S 6284 6287 1867 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279536 33554432000 4194304 16246674 140733607115104 139974863203568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6287/tid=6290] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6290/stat : 6290 (toysat) S 6284 6287 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279536 33554432000 4194304 16246674 140733607115104 139974852730032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1350212

[startup+6.30041 s]
/proc/loadavg: 2.34 2.26 2.21 3/183 6291
/proc/meminfo: memFree=26255892/32872528 swapFree=1631852/1795372
[pid=6287] ppid=6284 vsize=1350212 CPUtime=6.29 cores=0,2,4,6
/proc/6287/stat : 6287 (toysat) R 6284 6287 1867 0 -1 4202496 278215 0 0 0 592 37 0 0 20 0 4 0 3265155 1382617088 279536 33554432000 4194304 16246674 140733607115104 140733607097024 12653056 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6287/statm: 337553 279536 879 2943 0 334447 0
[pid=6287/tid=6288] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6288/stat : 6288 (toysat) S 6284 6287 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279536 33554432000 4194304 16246674 140733607115104 139974947089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6287/tid=6289] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6289/stat : 6289 (toysat) S 6284 6287 1867 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279536 33554432000 4194304 16246674 140733607115104 139974863203568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6287/tid=6290] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6290/stat : 6290 (toysat) S 6284 6287 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279536 33554432000 4194304 16246674 140733607115104 139974852730032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1350212

[startup+12.7004 s]
/proc/loadavg: 2.31 2.25 2.21 3/184 6294
/proc/meminfo: memFree=26255172/32872528 swapFree=1631852/1795372
[pid=6287] ppid=6284 vsize=1350212 CPUtime=12.68 cores=0,2,4,6
/proc/6287/stat : 6287 (toysat) R 6284 6287 1867 0 -1 4202496 278215 0 0 0 1231 37 0 0 20 0 4 0 3265155 1382617088 279536 33554432000 4194304 16246674 140733607115104 140733607097024 12429829 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6287/statm: 337553 279536 879 2943 0 334447 0
[pid=6287/tid=6288] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6288/stat : 6288 (toysat) S 6284 6287 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279536 33554432000 4194304 16246674 140733607115104 139974947089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6287/tid=6289] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6289/stat : 6289 (toysat) S 6284 6287 1867 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279536 33554432000 4194304 16246674 140733607115104 139974863203568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6287/tid=6290] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6290/stat : 6290 (toysat) S 6284 6287 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279536 33554432000 4194304 16246674 140733607115104 139974852730032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1350212

[startup+25.5004 s]
/proc/loadavg: 2.39 2.27 2.21 3/184 6294
/proc/meminfo: memFree=26255084/32872528 swapFree=1631852/1795372
[pid=6287] ppid=6284 vsize=1350212 CPUtime=25.48 cores=0,2,4,6
/proc/6287/stat : 6287 (toysat) R 6284 6287 1867 0 -1 4202496 278215 0 0 0 2511 37 0 0 20 0 4 0 3265155 1382617088 279536 33554432000 4194304 16246674 140733607115104 140733607114280 6955352 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6287/statm: 337553 279536 879 2943 0 334447 0
[pid=6287/tid=6288] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6288/stat : 6288 (toysat) S 6284 6287 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279536 33554432000 4194304 16246674 140733607115104 139974947089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6287/tid=6289] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6289/stat : 6289 (toysat) S 6284 6287 1867 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279536 33554432000 4194304 16246674 140733607115104 139974863203568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6287/tid=6290] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6290/stat : 6290 (toysat) S 6284 6287 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279536 33554432000 4194304 16246674 140733607115104 139974852730032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1350212

[startup+51.1004 s]
/proc/loadavg: 2.47 2.30 2.22 3/184 6294
/proc/meminfo: memFree=26255428/32872528 swapFree=1631852/1795372
[pid=6287] ppid=6284 vsize=1350212 CPUtime=51.08 cores=0,2,4,6
/proc/6287/stat : 6287 (toysat) R 6284 6287 1867 0 -1 4202496 278215 0 0 0 5071 37 0 0 20 0 4 0 3265155 1382617088 279536 33554432000 4194304 16246674 140733607115104 140733607097024 12449269 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6287/statm: 337553 279536 879 2943 0 334447 0
[pid=6287/tid=6288] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6288/stat : 6288 (toysat) S 6284 6287 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279536 33554432000 4194304 16246674 140733607115104 139974947089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6287/tid=6289] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6289/stat : 6289 (toysat) S 6284 6287 1867 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279536 33554432000 4194304 16246674 140733607115104 139974863203568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6287/tid=6290] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6290/stat : 6290 (toysat) S 6284 6287 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279536 33554432000 4194304 16246674 140733607115104 139974852730032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1350212

[startup+102.3 s]
/proc/loadavg: 2.31 2.28 2.22 3/183 6295
/proc/meminfo: memFree=26254476/32872528 swapFree=1631852/1795372
[pid=6287] ppid=6284 vsize=1350212 CPUtime=102.27 cores=0,2,4,6
/proc/6287/stat : 6287 (toysat) R 6284 6287 1867 0 -1 4202496 278215 0 0 0 10190 37 0 0 20 0 4 0 3265155 1382617088 279536 33554432000 4194304 16246674 140733607115104 140733607097024 12413997 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6287/statm: 337553 279536 879 2943 0 334447 0
[pid=6287/tid=6288] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6288/stat : 6288 (toysat) S 6284 6287 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279536 33554432000 4194304 16246674 140733607115104 139974947089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6287/tid=6289] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6289/stat : 6289 (toysat) S 6284 6287 1867 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279536 33554432000 4194304 16246674 140733607115104 139974863203568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6287/tid=6290] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6290/stat : 6290 (toysat) S 6284 6287 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279536 33554432000 4194304 16246674 140733607115104 139974852730032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1350212


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

/proc/6287/task/6290/stat : 6290 (toysat) S 6284 6287 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279540 33554432000 4194304 16246674 140733607115104 139974852730032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1350212

[startup+1302.3 s]
/proc/loadavg: 2.31 2.32 2.24 3/183 6373
/proc/meminfo: memFree=26189700/32872528 swapFree=1631852/1795372
[pid=6287] ppid=6284 vsize=1350212 CPUtime=1302.06 cores=0,2,4,6
/proc/6287/stat : 6287 (toysat) R 6284 6287 1867 0 -1 4202496 278272 0 0 0 130167 39 0 0 20 0 4 0 3265155 1382617088 279540 33554432000 4194304 16246674 140733607115104 140733607097024 12429241 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6287/statm: 337553 279540 882 2943 0 334447 0
[pid=6287/tid=6288] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6288/stat : 6288 (toysat) S 6284 6287 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279540 33554432000 4194304 16246674 140733607115104 139974947089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6287/tid=6289] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6289/stat : 6289 (toysat) S 6284 6287 1867 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279540 33554432000 4194304 16246674 140733607115104 139974863203568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6287/tid=6290] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6290/stat : 6290 (toysat) S 6284 6287 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279540 33554432000 4194304 16246674 140733607115104 139974852730032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1350212

[startup+1362.3 s]
/proc/loadavg: 2.37 2.34 2.25 3/183 6374
/proc/meminfo: memFree=26189364/32872528 swapFree=1631852/1795372
[pid=6287] ppid=6284 vsize=1350212 CPUtime=1362.05 cores=0,2,4,6
/proc/6287/stat : 6287 (toysat) R 6284 6287 1867 0 -1 4202496 278281 0 0 0 136166 39 0 0 20 0 4 0 3265155 1382617088 279540 33554432000 4194304 16246674 140733607115104 140733607097024 13950199 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6287/statm: 337553 279540 882 2943 0 334447 0
[pid=6287/tid=6288] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6288/stat : 6288 (toysat) S 6284 6287 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279540 33554432000 4194304 16246674 140733607115104 139974947089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6287/tid=6289] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6289/stat : 6289 (toysat) S 6284 6287 1867 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279540 33554432000 4194304 16246674 140733607115104 139974863203568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6287/tid=6290] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6290/stat : 6290 (toysat) S 6284 6287 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279540 33554432000 4194304 16246674 140733607115104 139974852730032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1350212

[startup+1422.3 s]
/proc/loadavg: 2.41 2.35 2.26 3/183 6375
/proc/meminfo: memFree=26187504/32872528 swapFree=1631852/1795372
[pid=6287] ppid=6284 vsize=1350212 CPUtime=1422.05 cores=0,2,4,6
/proc/6287/stat : 6287 (toysat) R 6284 6287 1867 0 -1 4202496 278283 0 0 0 142165 40 0 0 20 0 4 0 3265155 1382617088 279540 33554432000 4194304 16246674 140733607115104 140733607097024 12429241 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6287/statm: 337553 279540 882 2943 0 334447 0
[pid=6287/tid=6288] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6288/stat : 6288 (toysat) S 6284 6287 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279540 33554432000 4194304 16246674 140733607115104 139974947089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6287/tid=6289] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6289/stat : 6289 (toysat) S 6284 6287 1867 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279540 33554432000 4194304 16246674 140733607115104 139974863203568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6287/tid=6290] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6290/stat : 6290 (toysat) S 6284 6287 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279540 33554432000 4194304 16246674 140733607115104 139974852730032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1350212

[startup+1482.3 s]
/proc/loadavg: 2.26 2.31 2.25 3/183 6376
/proc/meminfo: memFree=26187656/32872528 swapFree=1631852/1795372
[pid=6287] ppid=6284 vsize=1350212 CPUtime=1482.04 cores=0,2,4,6
/proc/6287/stat : 6287 (toysat) R 6284 6287 1867 0 -1 4202496 278283 0 0 0 148164 40 0 0 20 0 4 0 3265155 1382617088 279540 33554432000 4194304 16246674 140733607115104 140733607097024 12371171 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6287/statm: 337553 279540 882 2943 0 334447 0
[pid=6287/tid=6288] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6288/stat : 6288 (toysat) S 6284 6287 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279540 33554432000 4194304 16246674 140733607115104 139974947089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6287/tid=6289] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6289/stat : 6289 (toysat) S 6284 6287 1867 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279540 33554432000 4194304 16246674 140733607115104 139974863203568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6287/tid=6290] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6290/stat : 6290 (toysat) S 6284 6287 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279540 33554432000 4194304 16246674 140733607115104 139974852730032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1350212

[startup+1542.31 s]
/proc/loadavg: 2.23 2.30 2.25 3/183 6378
/proc/meminfo: memFree=26187576/32872528 swapFree=1631852/1795372
[pid=6287] ppid=6284 vsize=1350212 CPUtime=1542.03 cores=0,2,4,6
/proc/6287/stat : 6287 (toysat) R 6284 6287 1867 0 -1 4202496 278283 0 0 0 154163 40 0 0 20 0 4 0 3265155 1382617088 279540 33554432000 4194304 16246674 140733607115104 140733607097024 12449269 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6287/statm: 337553 279540 882 2943 0 334447 0
[pid=6287/tid=6288] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6288/stat : 6288 (toysat) S 6284 6287 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279540 33554432000 4194304 16246674 140733607115104 139974947089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6287/tid=6289] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6289/stat : 6289 (toysat) S 6284 6287 1867 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279540 33554432000 4194304 16246674 140733607115104 139974863203568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6287/tid=6290] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6290/stat : 6290 (toysat) S 6284 6287 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279540 33554432000 4194304 16246674 140733607115104 139974852730032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1350212

[startup+1602.3 s]
/proc/loadavg: 2.51 2.38 2.28 3/183 6379
/proc/meminfo: memFree=25996176/32872528 swapFree=1631852/1795372
[pid=6287] ppid=6284 vsize=1350212 CPUtime=1602.02 cores=0,2,4,6
/proc/6287/stat : 6287 (toysat) R 6284 6287 1867 0 -1 4202496 278283 0 0 0 160162 40 0 0 20 0 4 0 3265155 1382617088 279540 33554432000 4194304 16246674 140733607115104 140733607097024 12449269 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6287/statm: 337553 279540 882 2943 0 334447 0
[pid=6287/tid=6288] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6288/stat : 6288 (toysat) S 6284 6287 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279540 33554432000 4194304 16246674 140733607115104 139974947089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6287/tid=6289] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6289/stat : 6289 (toysat) S 6284 6287 1867 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279540 33554432000 4194304 16246674 140733607115104 139974863203568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6287/tid=6290] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6290/stat : 6290 (toysat) S 6284 6287 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279540 33554432000 4194304 16246674 140733607115104 139974852730032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1350212

[startup+1662.3 s]
/proc/loadavg: 2.36 2.35 2.27 3/183 6380
/proc/meminfo: memFree=25851372/32872528 swapFree=1631852/1795372
[pid=6287] ppid=6284 vsize=1350212 CPUtime=1662.01 cores=0,2,4,6
/proc/6287/stat : 6287 (toysat) R 6284 6287 1867 0 -1 4202496 278300 0 0 0 166161 40 0 0 20 0 4 0 3265155 1382617088 279557 33554432000 4194304 16246674 140733607115104 140733607097024 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6287/statm: 337553 279557 899 2943 0 334447 0
[pid=6287/tid=6288] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6288/stat : 6288 (toysat) S 6284 6287 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279557 33554432000 4194304 16246674 140733607115104 139974947089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6287/tid=6289] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6289/stat : 6289 (toysat) S 6284 6287 1867 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279557 33554432000 4194304 16246674 140733607115104 139974863203568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6287/tid=6290] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6290/stat : 6290 (toysat) S 6284 6287 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279557 33554432000 4194304 16246674 140733607115104 139974852730032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1350212

[startup+1722.3 s]
/proc/loadavg: 2.25 2.32 2.27 3/183 6381
/proc/meminfo: memFree=24629792/32872528 swapFree=1631852/1795372
[pid=6287] ppid=6284 vsize=1350212 CPUtime=1722 cores=0,2,4,6
/proc/6287/stat : 6287 (toysat) R 6284 6287 1867 0 -1 4202496 278300 0 0 0 172160 40 0 0 20 0 4 0 3265155 1382617088 279557 33554432000 4194304 16246674 140733607115104 140733607097024 12429788 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6287/statm: 337553 279557 899 2943 0 334447 0
[pid=6287/tid=6288] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6288/stat : 6288 (toysat) S 6284 6287 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279557 33554432000 4194304 16246674 140733607115104 139974947089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6287/tid=6289] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6289/stat : 6289 (toysat) S 6284 6287 1867 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279557 33554432000 4194304 16246674 140733607115104 139974863203568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6287/tid=6290] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6290/stat : 6290 (toysat) S 6284 6287 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279557 33554432000 4194304 16246674 140733607115104 139974852730032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1350212

[startup+1782.3 s]
/proc/loadavg: 2.32 2.32 2.27 4/183 6382
/proc/meminfo: memFree=24470828/32872528 swapFree=1631852/1795372
[pid=6287] ppid=6284 vsize=1350212 CPUtime=1781.99 cores=0,2,4,6
/proc/6287/stat : 6287 (toysat) R 6284 6287 1867 0 -1 4202496 278300 0 0 0 178159 40 0 0 20 0 4 0 3265155 1382617088 279557 33554432000 4194304 16246674 140733607115104 140733607097024 13950199 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6287/statm: 337553 279557 899 2943 0 334447 0
[pid=6287/tid=6288] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6288/stat : 6288 (toysat) S 6284 6287 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279557 33554432000 4194304 16246674 140733607115104 139974947089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6287/tid=6289] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6289/stat : 6289 (toysat) S 6284 6287 1867 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279557 33554432000 4194304 16246674 140733607115104 139974863203568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6287/tid=6290] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6290/stat : 6290 (toysat) S 6284 6287 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279557 33554432000 4194304 16246674 140733607115104 139974852730032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1350212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.25 2.30 2.27 3/183 6382
/proc/meminfo: memFree=24402248/32872528 swapFree=1631852/1795372
[pid=6287] ppid=6284 vsize=1350212 CPUtime=1800.08 cores=0,2,4,6
/proc/6287/stat : 6287 (toysat) R 6284 6287 1867 0 -1 4202496 278300 0 0 0 179968 40 0 0 20 0 4 0 3265155 1382617088 279557 33554432000 4194304 16246674 140733607115104 140733607097024 12371164 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6287/statm: 337553 279557 899 2943 0 334447 0
[pid=6287/tid=6288] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6288/stat : 6288 (toysat) S 6284 6287 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279557 33554432000 4194304 16246674 140733607115104 139974947089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6287/tid=6289] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6289/stat : 6289 (toysat) S 6284 6287 1867 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279557 33554432000 4194304 16246674 140733607115104 139974863203568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6287/tid=6290] ppid=6284 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6290/stat : 6290 (toysat) S 6284 6287 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3265155 1382617088 279557 33554432000 4194304 16246674 140733607115104 139974852730032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1350212

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1799.69
CPU system time (s): 0.404938
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 1350212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.404938
maximum resident set size= 1118228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278300
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= 79
involuntary context switches= 1867

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.70928 second user time and 6.96094 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-30 01:19:51
IDJOB=4119135
IDBENCH=111659
IDSOLVER=2542
FILE ID=node123/4119135-1467242391
RUNJOBID= node123-1467215373-3683
PBS_JOBID= 19997595
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-28.lin.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119135-1467242391/watcher-4119135-1467242391 -o /tmp/evaluation-result-4119135-1467242391/solver-4119135-1467242391 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1467215373-3683 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119135-1467242391.opb

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

MD5SUM BENCH= 2a701694e46cee2b50f813052dd1ca95
RANDOM SEED=1146368983

node123.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.387
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.77
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.387
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.387
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.387
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.387
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.54
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.387
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.387
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.387
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27373592 kB
Buffers:          111676 kB
Cached:          1772912 kB
SwapCached:            0 kB
Active:          1250344 kB
Inactive:        1738400 kB
Active(anon):    1106592 kB
Inactive(anon):        0 kB
Active(file):     143752 kB
Inactive(file):  1738400 kB
Unevictable:     1795372 kB
Mlocked:         1631852 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             17912 kB
Writeback:             0 kB
AnonPages:       2899728 kB
Mapped:            17328 kB
Shmem:               204 kB
Slab:             579540 kB
SReclaimable:      23948 kB
SUnreclaim:       555592 kB
KernelStack:        1488 kB
PageTables:         9468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3037348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    165888 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= 71688 MiB
End job on node123 at 2016-06-30 01:49:52