Trace number 4118102

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.06 1800.33

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-pb351575.opb
MD5SUM6e21c9921e9f1b0713a4faee3a85d64a
Bench CategoryOPT-BIGINT-NLC (optimisation, big integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark6785589
Best CPU time to get the best result obtained on this benchmark1800.7
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables525
Total number of constraints50
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)35
Number of constraints which are nor clauses,nor cardinality constraints15
Minimum length of a constraint15
Maximum length of a constraint35
Number of terms in the objective function 125475
Biggest coefficient in the objective function 349957
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 1427700507
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 349957
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 1427700507
Number of bits of the biggest sum of numbers31
Number of products (including duplicates)124950
Sum of products size (including duplicates)249900
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-29T19:33:42+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-4118102-1467221622.opb"]
0.00/0.01	c use --random-gen="240983710 3957228390 660973546 695641199 528514614 2641531790 1125863207 2686924605 260475755 1656387688 373221553 2205097136 1130328191 402693371 1234999732 1663088731 3962348961 3359972465 358242076 3636632197 381462168 2028245822 802331527 1517843445 144543620 2489432392 1320783154 2015938493 4014206078 1464864785 1612038653 3079313995 3629500281 1266386291 562149115 2547425869 3625940383 4089111825 167674900 1699592757 2540907273 4113439555 2154761555 748171946 4266879290 387595763 61848755 1300349097 1056789903 587654292 2067847066 1361223005 2419931795 859280054 3806858246 227162578 1763829157 2671063579 1878987141 2068296656 1083133397 3797391839 988990570 4085278436 1907423521 2792236144 1990655494 3249479366 584593277 729213309 1189626114 1119275790 1738868121 3151528058 2213060457 489170744 362738114 2033920068 1843971909 1977068367 1561237696 3485296786 3863250882 2929735107 947389387 2346720482 2884896937 2932644580 2423239054 3451232610 3664757212 3280493484 1374119260 870609052 1569995589 515326303 3708124451 1956022075 2131594066 3534111551 3330615864 2033680603 1304559205 20934677 116816130 1774064037 3029259040 819871508 780595691 2688898710 3273602499 335900158 3256709125 1655098233 386848851 1806494819 958533141 1313906282 1841504944 534026259 4288890927 3375588544 2709657573 3516860358 2480334146 559338838 1314181905 1863276232 337276051 347095483 1983866193 1558979011 3229310857 2310656588 2047624980 1610650602 2809988876 2096052631 3978063766 4082742332 4200600548 3961360687 3489091197 986202808 855180474 990057883 3284631454 3826399284 2979490374 51511740 1665277310 2800785490 1910163317 4167884568 2151208131 549598989 641210367 165142332 28812970 3222208310 4037914386 3951610734 159231239 3375360396 790898542 4049292455 3935181888 1571509552 4205569947 1537545010 859833553 3244263588 1939848405 1730243081 2746087703 2236839628 8254637 3381395555 3804927537 1230509742 3458324889 3968140666 627196022 3041480549 1001867895 1152976152 2225969660 1723252202 1055687321 4102612393 4149058809 1669829751 3747629217 1491901965 1209421598 3836862453 3856003443 3222559258 983364906 15178634 387429938 2084293002 2930487211 1014048141 175310058 2592852204 695372473 1043727239 4046080178 2088194589 3796617401 4200655214 2977583452 2145266633 3608301522 2325995618 2048339986 857858794 1811742079 1128349530 2158949156 2582464991 2337956188 20667787 1889601734 819310893 261912933 3866575555 1817062991 594276775 2805609121 3073456717 1276477759 1493682877 3836442914 1275640746 942964366 2854523473 2971741475 3069646771 3449549349 3300273307 415727192 2129714173 2781083908 122875888 2076886704 3648948802 369195804 85995448 4194340170 2075668492 86965958 3571529231 2303104409 2358238003 255 362436" option to reproduce the execution
0.29/0.36	c #vars 525
0.29/0.36	c #constraints 50
2.69/2.75	c BCD2: Hardening is enabled.
2.69/2.75	c BCD2: BiasedSearch is enabled.
2.69/2.75	c Solving starts ...
2.69/2.75	c ============================[ Search Statistics ]============================
2.69/2.75	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.69/2.75	c       |         |          |          |    Limit     GC | Var      | Constra 
2.69/2.75	c =============================================================================
2.79/2.86	c  0.0s |       0 |        0 |        0 |    83503      0 |        0 |        0
3.09/3.15	c  0.3s |       0 |   124978 |        0 |    83503      0 |        0 |        0
3.09/3.15	c #cpu_time = 0.227s
3.09/3.15	c #wall_clock_time = 0.228s
3.09/3.15	c #decision = 124978
3.09/3.15	c #random_decision = 628
3.09/3.15	c #conflict = 0
3.09/3.15	c #restart = 0
3.09/3.16	o 11334106

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

pid=20815
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.22 2.24 2.24 4/179 20818
/proc/meminfo: memFree=28460000/32872528 swapFree=1394328/1580332
[pid=20818] ppid=20815 vsize=674236 CPUtime=0 cores=1,3,5,7
/proc/20818/stat : 20818 (toysat) R 20815 20818 19119 0 -1 4202496 2505 0 0 0 0 0 0 0 20 0 4 0 12190795 690417664 3378 33554432000 4194304 16246674 140736891600096 140736891599520 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20818/statm: 169327 3386 441 2943 0 166221 0
[pid=20818/tid=20819] ppid=20815 vsize=691644 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20819/stat : 20819 (toysat) S 20815 20818 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12190795 708243456 3446 33554432000 4194304 16246674 140736891600096 140657391807728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20818/tid=20820] ppid=20815 vsize=696764 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20820/stat : 20820 (toysat) S 20815 20818 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190795 713486336 3464 33554432000 4194304 16246674 140736891600096 140657381317872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20818/tid=20821] ppid=20815 vsize=700860 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20821/stat : 20821 (toysat) S 20815 20818 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190795 717680640 3480 33554432000 4194304 16246674 140736891600096 140657293257904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 2.22 2.24 2.24 4/179 20818
/proc/meminfo: memFree=28460000/32872528 swapFree=1394328/1580332
[pid=20818] ppid=20815 vsize=1300036 CPUtime=0.09 cores=1,3,5,7
/proc/20818/stat : 20818 (toysat) R 20815 20818 19119 0 -1 4202496 27353 0 0 0 4 5 0 0 20 0 4 0 12190795 1331236864 28164 33554432000 4194304 16246674 140736891600096 140736891599408 7364033 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20818/statm: 325009 28179 797 2943 0 321903 0
[pid=20818/tid=20819] ppid=20815 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20819/stat : 20819 (toysat) S 20815 20818 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12190795 1331236864 28190 33554432000 4194304 16246674 140736891600096 140657391807728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20818/tid=20820] ppid=20815 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20820/stat : 20820 (toysat) S 20815 20818 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190795 1331236864 28201 33554432000 4194304 16246674 140736891600096 140657381317872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20818/tid=20821] ppid=20815 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20821/stat : 20821 (toysat) S 20815 20818 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190795 1331236864 28213 33554432000 4194304 16246674 140736891600096 140657293257904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1300036

[startup+0.200487 s]
/proc/loadavg: 2.22 2.24 2.24 4/179 20818
/proc/meminfo: memFree=28460000/32872528 swapFree=1394328/1580332
[pid=20818] ppid=20815 vsize=1314372 CPUtime=0.19 cores=1,3,5,7
/proc/20818/stat : 20818 (toysat) R 20815 20818 19119 0 -1 4202496 44961 0 0 0 12 7 0 0 20 0 4 0 12190795 1345916928 46282 33554432000 4194304 16246674 140736891600096 140736891599408 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20818/statm: 328593 46282 799 2943 0 325487 0
[pid=20818/tid=20819] ppid=20815 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20819/stat : 20819 (toysat) S 20815 20818 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12190795 1345916928 46282 33554432000 4194304 16246674 140736891600096 140657391807728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20818/tid=20820] ppid=20815 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20820/stat : 20820 (toysat) S 20815 20818 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190795 1345916928 46282 33554432000 4194304 16246674 140736891600096 140657381317872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20818/tid=20821] ppid=20815 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20821/stat : 20821 (toysat) S 20815 20818 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190795 1345916928 46282 33554432000 4194304 16246674 140736891600096 140657293257904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300486 s]
/proc/loadavg: 2.22 2.24 2.24 4/179 20818
/proc/meminfo: memFree=28460000/32872528 swapFree=1394328/1580332
[pid=20818] ppid=20815 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/20818/stat : 20818 (toysat) R 20815 20818 19119 0 -1 4202496 50401 0 0 0 21 8 0 0 20 0 4 0 12190795 1345916928 51722 33554432000 4194304 16246674 140736891600096 140736891599408 7361367 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20818/statm: 328593 51722 799 2943 0 325487 0
[pid=20818/tid=20819] ppid=20815 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20819/stat : 20819 (toysat) S 20815 20818 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12190795 1345916928 51722 33554432000 4194304 16246674 140736891600096 140657391807728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20818/tid=20820] ppid=20815 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20820/stat : 20820 (toysat) S 20815 20818 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190795 1345916928 51722 33554432000 4194304 16246674 140736891600096 140657381317872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20818/tid=20821] ppid=20815 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20821/stat : 20821 (toysat) S 20815 20818 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190795 1345916928 51722 33554432000 4194304 16246674 140736891600096 140657293257904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700424 s]
/proc/loadavg: 2.22 2.24 2.24 4/179 20818
/proc/meminfo: memFree=28460000/32872528 swapFree=1394328/1580332
[pid=20818] ppid=20815 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/20818/stat : 20818 (toysat) R 20815 20818 19119 0 -1 4202496 55143 0 0 0 61 8 0 0 20 0 4 0 12190795 1345916928 56464 33554432000 4194304 16246674 140736891600096 140736891599408 5754961 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20818/statm: 328593 56464 849 2943 0 325487 0
[pid=20818/tid=20819] ppid=20815 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20819/stat : 20819 (toysat) S 20815 20818 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12190795 1345916928 56464 33554432000 4194304 16246674 140736891600096 140657391807728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20818/tid=20820] ppid=20815 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20820/stat : 20820 (toysat) S 20815 20818 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190795 1345916928 56464 33554432000 4194304 16246674 140736891600096 140657381317872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20818/tid=20821] ppid=20815 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20821/stat : 20821 (toysat) S 20815 20818 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190795 1345916928 56464 33554432000 4194304 16246674 140736891600096 140657293257904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.5004 s]
/proc/loadavg: 2.22 2.24 2.24 3/183 20822
/proc/meminfo: memFree=28073252/32872528 swapFree=1394328/1580332
[pid=20818] ppid=20815 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/20818/stat : 20818 (toysat) R 20815 20818 19119 0 -1 4202496 110940 0 0 0 133 16 0 0 20 0 4 0 12190795 1345916928 112261 33554432000 4194304 16246674 140736891600096 140736891582016 12478957 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20818/statm: 328593 112272 849 2943 0 325487 0
[pid=20818/tid=20819] ppid=20815 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20819/stat : 20819 (toysat) S 20815 20818 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12190795 1345916928 112280 33554432000 4194304 16246674 140736891600096 140657391807728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20818/tid=20820] ppid=20815 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20820/stat : 20820 (toysat) S 20815 20818 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190795 1345916928 112286 33554432000 4194304 16246674 140736891600096 140657381317872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20818/tid=20821] ppid=20815 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20821/stat : 20821 (toysat) S 20815 20818 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190795 1345916928 112293 33554432000 4194304 16246674 140736891600096 140657293257904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10038 s]
/proc/loadavg: 2.20 2.24 2.24 3/183 20822
/proc/meminfo: memFree=27820296/32872528 swapFree=1394328/1580332
[pid=20818] ppid=20815 vsize=1345092 CPUtime=3.09 cores=1,3,5,7
/proc/20818/stat : 20818 (toysat) R 20815 20818 19119 0 -1 4202496 182999 0 0 0 282 27 0 0 20 0 4 0 12190795 1377374208 184320 33554432000 4194304 16246674 140736891600096 140736891582016 13950331 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20818/statm: 336273 184320 889 2943 0 333167 0
[pid=20818/tid=20819] ppid=20815 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20819/stat : 20819 (toysat) S 20815 20818 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12190795 1377374208 184320 33554432000 4194304 16246674 140736891600096 140657391807728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20818/tid=20820] ppid=20815 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20820/stat : 20820 (toysat) S 20815 20818 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190795 1377374208 184320 33554432000 4194304 16246674 140736891600096 140657381317872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20818/tid=20821] ppid=20815 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20821/stat : 20821 (toysat) S 20815 20818 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190795 1377374208 184320 33554432000 4194304 16246674 140736891600096 140657293257904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1345092

[startup+6.30041 s]
/proc/loadavg: 2.20 2.24 2.24 3/183 20822
/proc/meminfo: memFree=27323384/32872528 swapFree=1394328/1580332
[pid=20818] ppid=20815 vsize=1368644 CPUtime=6.29 cores=1,3,5,7
/proc/20818/stat : 20818 (toysat) R 20815 20818 19119 0 -1 4202496 282836 0 0 0 588 41 0 0 20 0 4 0 12190795 1401491456 284157 33554432000 4194304 16246674 140736891600096 140736891582016 12654327 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20818/statm: 342161 284157 890 2943 0 339055 0
[pid=20818/tid=20819] ppid=20815 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20819/stat : 20819 (toysat) S 20815 20818 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12190795 1401491456 284157 33554432000 4194304 16246674 140736891600096 140657391807728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20818/tid=20820] ppid=20815 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20820/stat : 20820 (toysat) S 20815 20818 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190795 1401491456 284157 33554432000 4194304 16246674 140736891600096 140657381317872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20818/tid=20821] ppid=20815 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20821/stat : 20821 (toysat) S 20815 20818 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190795 1401491456 284157 33554432000 4194304 16246674 140736891600096 140657293257904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1368644

[startup+12.7004 s]
/proc/loadavg: 2.17 2.23 2.24 3/183 20822
/proc/meminfo: memFree=27323292/32872528 swapFree=1394328/1580332
[pid=20818] ppid=20815 vsize=1368644 CPUtime=12.69 cores=1,3,5,7
/proc/20818/stat : 20818 (toysat) R 20815 20818 19119 0 -1 4202496 282836 0 0 0 1228 41 0 0 20 0 4 0 12190795 1401491456 284157 33554432000 4194304 16246674 140736891600096 140736891582016 13950222 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20818/statm: 342161 284157 890 2943 0 339055 0
[pid=20818/tid=20819] ppid=20815 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20819/stat : 20819 (toysat) S 20815 20818 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12190795 1401491456 284157 33554432000 4194304 16246674 140736891600096 140657391807728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20818/tid=20820] ppid=20815 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20820/stat : 20820 (toysat) S 20815 20818 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190795 1401491456 284157 33554432000 4194304 16246674 140736891600096 140657381317872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20818/tid=20821] ppid=20815 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20821/stat : 20821 (toysat) S 20815 20818 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190795 1401491456 284157 33554432000 4194304 16246674 140736891600096 140657293257904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1368644

[startup+25.5005 s]
/proc/loadavg: 2.14 2.22 2.24 4/183 20822
/proc/meminfo: memFree=27323560/32872528 swapFree=1394328/1580332
[pid=20818] ppid=20815 vsize=1368644 CPUtime=25.48 cores=1,3,5,7
/proc/20818/stat : 20818 (toysat) R 20815 20818 19119 0 -1 4202496 282836 0 0 0 2507 41 0 0 20 0 4 0 12190795 1401491456 284157 33554432000 4194304 16246674 140736891600096 140736891582016 12652920 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20818/statm: 342161 284157 890 2943 0 339055 0
[pid=20818/tid=20819] ppid=20815 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20819/stat : 20819 (toysat) S 20815 20818 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12190795 1401491456 284157 33554432000 4194304 16246674 140736891600096 140657391807728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20818/tid=20820] ppid=20815 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20820/stat : 20820 (toysat) S 20815 20818 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190795 1401491456 284157 33554432000 4194304 16246674 140736891600096 140657381317872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20818/tid=20821] ppid=20815 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20821/stat : 20821 (toysat) S 20815 20818 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190795 1401491456 284157 33554432000 4194304 16246674 140736891600096 140657293257904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1368644

[startup+51.1005 s]
/proc/loadavg: 2.22 2.23 2.24 3/183 20822
/proc/meminfo: memFree=27323408/32872528 swapFree=1394328/1580332
[pid=20818] ppid=20815 vsize=1368644 CPUtime=51.08 cores=1,3,5,7
/proc/20818/stat : 20818 (toysat) R 20815 20818 19119 0 -1 4202496 282836 0 0 0 5067 41 0 0 20 0 4 0 12190795 1401491456 284157 33554432000 4194304 16246674 140736891600096 140736891582016 13950184 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20818/statm: 342161 284157 890 2943 0 339055 0
[pid=20818/tid=20819] ppid=20815 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20819/stat : 20819 (toysat) S 20815 20818 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12190795 1401491456 284157 33554432000 4194304 16246674 140736891600096 140657391807728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20818/tid=20820] ppid=20815 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20820/stat : 20820 (toysat) S 20815 20818 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190795 1401491456 284157 33554432000 4194304 16246674 140736891600096 140657381317872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20818/tid=20821] ppid=20815 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20821/stat : 20821 (toysat) S 20815 20818 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190795 1401491456 284157 33554432000 4194304 16246674 140736891600096 140657293257904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1368644

[startup+102.3 s]
/proc/loadavg: 2.30 2.25 2.24 3/183 20823
/proc/meminfo: memFree=27211108/32872528 swapFree=1394328/1580332
[pid=20818] ppid=20815 vsize=1480260 CPUtime=102.28 cores=1,3,5,7
/proc/20818/stat : 20818 (toysat) R 20815 20818 19119 0 -1 4202496 310740 0 0 0 10182 46 0 0 20 0 4 0 12190795 1515786240 312061 33554432000 4194304 16246674 140736891600096 140736891597840 4220520 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20818/statm: 370065 312061 890 2943 0 366959 0
[pid=20818/tid=20819] ppid=20815 vsize=1480260 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20819/stat : 20819 (toysat) S 20815 20818 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12190795 1515786240 312061 33554432000 4194304 16246674 140736891600096 140657391807728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20818/tid=20820] ppid=20815 vsize=1480260 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20820/stat : 20820 (toysat) S 20815 20818 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190795 1515786240 312061 33554432000 4194304 16246674 140736891600096 140657381317648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20818/tid=20821] ppid=20815 vsize=1480260 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20821/stat : 20821 (toysat) S 20815 20818 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190795 1515786240 312061 33554432000 4194304 16246674 140736891600096 140657293257904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1480260


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

/proc/20818/task/20821/stat : 20821 (toysat) S 20815 20818 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190795 2300121088 503552 33554432000 4194304 16246674 140736891600096 140657293257904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 2246212

[startup+1362.3 s]
/proc/loadavg: 2.30 2.31 2.27 4/183 20902
/proc/meminfo: memFree=26495056/32872528 swapFree=1394328/1580332
[pid=20818] ppid=20815 vsize=2251332 CPUtime=1362.09 cores=1,3,5,7
/proc/20818/stat : 20818 (toysat) R 20815 20818 19119 0 -1 4202496 503513 0 0 0 136102 107 0 0 20 0 4 0 12190795 2305363968 504832 33554432000 4194304 16246674 140736891600096 140736891597888 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20818/statm: 562833 504832 890 2943 0 559727 0
[pid=20818/tid=20819] ppid=20815 vsize=2251332 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20819/stat : 20819 (toysat) S 20815 20818 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12190795 2305363968 504832 33554432000 4194304 16246674 140736891600096 140657391807728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20818/tid=20820] ppid=20815 vsize=2251332 CPUtime=0.01 cores=1,3,5,7
/proc/20818/task/20820/stat : 20820 (toysat) S 20815 20818 19119 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 12190795 2305363968 504832 33554432000 4194304 16246674 140736891600096 140657381317872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20818/tid=20821] ppid=20815 vsize=2251332 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20821/stat : 20821 (toysat) S 20815 20818 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190795 2305363968 504832 33554432000 4194304 16246674 140736891600096 140657293257904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 2251332

[startup+1422.3 s]
/proc/loadavg: 2.31 2.31 2.27 3/183 20904
/proc/meminfo: memFree=26451780/32872528 swapFree=1394328/1580332
[pid=20818] ppid=20815 vsize=2294340 CPUtime=1422.07 cores=1,3,5,7
/proc/20818/stat : 20818 (toysat) R 20815 20818 19119 0 -1 4202496 514266 0 0 0 142097 110 0 0 20 0 4 0 12190795 2349404160 515584 33554432000 4194304 16246674 140736891600096 140736891597888 4220871 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20818/statm: 573585 515584 890 2943 0 570479 0
[pid=20818/tid=20819] ppid=20815 vsize=2294340 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20819/stat : 20819 (toysat) S 20815 20818 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12190795 2349404160 515584 33554432000 4194304 16246674 140736891600096 140657391807728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20818/tid=20820] ppid=20815 vsize=2294340 CPUtime=0.01 cores=1,3,5,7
/proc/20818/task/20820/stat : 20820 (toysat) S 20815 20818 19119 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 12190795 2349404160 515584 33554432000 4194304 16246674 140736891600096 140657381317872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20818/tid=20821] ppid=20815 vsize=2294340 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20821/stat : 20821 (toysat) S 20815 20818 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190795 2349404160 515584 33554432000 4194304 16246674 140736891600096 140657293257904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 2294340

[startup+1482.3 s]
/proc/loadavg: 2.29 2.30 2.27 4/183 20905
/proc/meminfo: memFree=26440624/32872528 swapFree=1394328/1580332
[pid=20818] ppid=20815 vsize=2305604 CPUtime=1482.07 cores=1,3,5,7
/proc/20818/stat : 20818 (toysat) R 20815 20818 19119 0 -1 4202496 517082 0 0 0 148093 114 0 0 20 0 4 0 12190795 2360938496 518400 33554432000 4194304 16246674 140736891600096 140736891597840 4225128 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20818/statm: 576401 518400 890 2943 0 573295 0
[pid=20818/tid=20819] ppid=20815 vsize=2305604 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20819/stat : 20819 (toysat) S 20815 20818 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12190795 2360938496 518400 33554432000 4194304 16246674 140736891600096 140657391807728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20818/tid=20820] ppid=20815 vsize=2305604 CPUtime=0.01 cores=1,3,5,7
/proc/20818/task/20820/stat : 20820 (toysat) S 20815 20818 19119 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 12190795 2360938496 518400 33554432000 4194304 16246674 140736891600096 140657381317648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20818/tid=20821] ppid=20815 vsize=2305604 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20821/stat : 20821 (toysat) S 20815 20818 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190795 2360938496 518400 33554432000 4194304 16246674 140736891600096 140657293257904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 2305604

[startup+1542.31 s]
/proc/loadavg: 2.23 2.28 2.27 4/183 20906
/proc/meminfo: memFree=26409256/32872528 swapFree=1394328/1580332
[pid=20818] ppid=20815 vsize=2337348 CPUtime=1542.06 cores=1,3,5,7
/proc/20818/stat : 20818 (toysat) R 20815 20818 19119 0 -1 4202496 525018 0 0 0 154087 119 0 0 20 0 4 0 12190795 2393444352 526336 33554432000 4194304 16246674 140736891600096 140736891597888 12654395 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20818/statm: 584337 526336 890 2943 0 581231 0
[pid=20818/tid=20819] ppid=20815 vsize=2337348 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20819/stat : 20819 (toysat) S 20815 20818 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12190795 2393444352 526336 33554432000 4194304 16246674 140736891600096 140657391807728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20818/tid=20820] ppid=20815 vsize=2337348 CPUtime=0.01 cores=1,3,5,7
/proc/20818/task/20820/stat : 20820 (toysat) S 20815 20818 19119 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 12190795 2393444352 526336 33554432000 4194304 16246674 140736891600096 140657381317872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20818/tid=20821] ppid=20815 vsize=2337348 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20821/stat : 20821 (toysat) S 20815 20818 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190795 2393444352 526336 33554432000 4194304 16246674 140736891600096 140657293257904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 2337348

[startup+1602.3 s]
/proc/loadavg: 2.30 2.29 2.27 3/184 20910
/proc/meminfo: memFree=26398168/32872528 swapFree=1394328/1580332
[pid=20818] ppid=20815 vsize=2348612 CPUtime=1602.05 cores=1,3,5,7
/proc/20818/stat : 20818 (toysat) R 20815 20818 19119 0 -1 4202496 527834 0 0 0 160082 123 0 0 20 0 4 0 12190795 2404978688 529152 33554432000 4194304 16246674 140736891600096 140736891597888 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20818/statm: 587153 529152 890 2943 0 584047 0
[pid=20818/tid=20819] ppid=20815 vsize=2348612 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20819/stat : 20819 (toysat) S 20815 20818 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12190795 2404978688 529152 33554432000 4194304 16246674 140736891600096 140657391807728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20818/tid=20820] ppid=20815 vsize=2348612 CPUtime=0.01 cores=1,3,5,7
/proc/20818/task/20820/stat : 20820 (toysat) S 20815 20818 19119 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 12190795 2404978688 529152 33554432000 4194304 16246674 140736891600096 140657381317872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20818/tid=20821] ppid=20815 vsize=2348612 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20821/stat : 20821 (toysat) S 20815 20818 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190795 2404978688 529152 33554432000 4194304 16246674 140736891600096 140657293257904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 2348612

[startup+1662.3 s]
/proc/loadavg: 2.36 2.30 2.27 4/184 20934
/proc/meminfo: memFree=26372148/32872528 swapFree=1394328/1580332
[pid=20818] ppid=20815 vsize=2374212 CPUtime=1662.03 cores=1,3,5,7
/proc/20818/stat : 20818 (toysat) R 20815 20818 19119 0 -1 4202496 534238 0 0 0 166077 126 0 0 20 0 4 0 12190795 2431193088 535552 33554432000 4194304 16246674 140736891600096 140736891599192 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20818/statm: 593553 535552 890 2943 0 590447 0
[pid=20818/tid=20819] ppid=20815 vsize=2374212 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20819/stat : 20819 (toysat) S 20815 20818 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12190795 2431193088 535552 33554432000 4194304 16246674 140736891600096 140657391807728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20818/tid=20820] ppid=20815 vsize=2374212 CPUtime=0.02 cores=1,3,5,7
/proc/20818/task/20820/stat : 20820 (toysat) S 20815 20818 19119 0 -1 4202560 8 0 0 0 0 2 0 0 20 0 4 0 12190795 2431193088 535552 33554432000 4194304 16246674 140736891600096 140657381317872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20818/tid=20821] ppid=20815 vsize=2374212 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20821/stat : 20821 (toysat) S 20815 20818 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190795 2431193088 535552 33554432000 4194304 16246674 140736891600096 140657293257904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 2374212

[startup+1722.3 s]
/proc/loadavg: 2.36 2.30 2.27 3/183 20936
/proc/meminfo: memFree=26351308/32872528 swapFree=1394328/1580332
[pid=20818] ppid=20815 vsize=2394692 CPUtime=1722.02 cores=1,3,5,7
/proc/20818/stat : 20818 (toysat) R 20815 20818 19119 0 -1 4202496 539359 0 0 0 172072 130 0 0 20 0 4 0 12190795 2452164608 540672 33554432000 4194304 16246674 140736891600096 140736891599272 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20818/statm: 598673 540672 890 2943 0 595567 0
[pid=20818/tid=20819] ppid=20815 vsize=2394692 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20819/stat : 20819 (toysat) S 20815 20818 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12190795 2452164608 540672 33554432000 4194304 16246674 140736891600096 140657391807728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20818/tid=20820] ppid=20815 vsize=2394692 CPUtime=0.02 cores=1,3,5,7
/proc/20818/task/20820/stat : 20820 (toysat) S 20815 20818 19119 0 -1 4202560 8 0 0 0 0 2 0 0 20 0 4 0 12190795 2452164608 540672 33554432000 4194304 16246674 140736891600096 140657381317872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20818/tid=20821] ppid=20815 vsize=2394692 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20821/stat : 20821 (toysat) S 20815 20818 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190795 2452164608 540672 33554432000 4194304 16246674 140736891600096 140657293257904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 2394692

[startup+1782.3 s]
/proc/loadavg: 2.33 2.30 2.27 4/183 20937
/proc/meminfo: memFree=26338180/32872528 swapFree=1394328/1580332
[pid=20818] ppid=20815 vsize=2408004 CPUtime=1782.02 cores=1,3,5,7
/proc/20818/stat : 20818 (toysat) R 20815 20818 19119 0 -1 4202496 542687 0 0 0 178068 134 0 0 20 0 4 0 12190795 2465796096 544000 33554432000 4194304 16246674 140736891600096 140736891582016 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20818/statm: 602001 544000 890 2943 0 598895 0
[pid=20818/tid=20819] ppid=20815 vsize=2408004 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20819/stat : 20819 (toysat) S 20815 20818 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12190795 2465796096 544000 33554432000 4194304 16246674 140736891600096 140657391807728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20818/tid=20820] ppid=20815 vsize=2408004 CPUtime=0.02 cores=1,3,5,7
/proc/20818/task/20820/stat : 20820 (toysat) S 20815 20818 19119 0 -1 4202560 8 0 0 0 0 2 0 0 20 0 4 0 12190795 2465796096 544000 33554432000 4194304 16246674 140736891600096 140657381317872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20818/tid=20821] ppid=20815 vsize=2408004 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20821/stat : 20821 (toysat) S 20815 20818 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190795 2465796096 544000 33554432000 4194304 16246674 140736891600096 140657293257904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 2408004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.34 2.30 2.27 4/183 20938
/proc/meminfo: memFree=26327568/32872528 swapFree=1394328/1580332
[pid=20818] ppid=20815 vsize=2418244 CPUtime=1800.01 cores=1,3,5,7
/proc/20818/stat : 20818 (toysat) R 20815 20818 19119 0 -1 4202496 545247 0 0 0 179866 135 0 0 20 0 4 0 12190795 2476281856 546560 33554432000 4194304 16246674 140736891600096 140736891599272 4221031 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20818/statm: 604561 546560 890 2943 0 601455 0
[pid=20818/tid=20819] ppid=20815 vsize=2418244 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20819/stat : 20819 (toysat) S 20815 20818 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12190795 2476281856 546560 33554432000 4194304 16246674 140736891600096 140657391807728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20818/tid=20820] ppid=20815 vsize=2418244 CPUtime=0.02 cores=1,3,5,7
/proc/20818/task/20820/stat : 20820 (toysat) S 20815 20818 19119 0 -1 4202560 8 0 0 0 0 2 0 0 20 0 4 0 12190795 2476281856 546560 33554432000 4194304 16246674 140736891600096 140657381317872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20818/tid=20821] ppid=20815 vsize=2418244 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20821/stat : 20821 (toysat) S 20815 20818 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190795 2476281856 546560 33554432000 4194304 16246674 140736891600096 140657293257904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2418244

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

[startup+1800.3 s]
/proc/loadavg: 2.34 2.30 2.27 4/183 20938
/proc/meminfo: memFree=26327568/32872528 swapFree=1394328/1580332
[pid=20818] ppid=20815 vsize=2418244 CPUtime=1800.01 cores=1,3,5,7
/proc/20818/stat : 20818 (toysat) R 20815 20818 19119 0 -1 4202496 545247 0 0 0 179866 135 0 0 20 0 4 0 12190795 2476281856 546560 33554432000 4194304 16246674 140736891600096 140736891599272 4221031 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20818/statm: 604561 546560 890 2943 0 601455 0
[pid=20818/tid=20819] ppid=20815 vsize=2418244 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20819/stat : 20819 (toysat) S 20815 20818 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12190795 2476281856 546560 33554432000 4194304 16246674 140736891600096 140657391807728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20818/tid=20820] ppid=20815 vsize=2418244 CPUtime=0.02 cores=1,3,5,7
/proc/20818/task/20820/stat : 20820 (toysat) S 20815 20818 19119 0 -1 4202560 8 0 0 0 0 2 0 0 20 0 4 0 12190795 2476281856 546560 33554432000 4194304 16246674 140736891600096 140657381317872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20818/tid=20821] ppid=20815 vsize=2418244 CPUtime=0 cores=1,3,5,7
/proc/20818/task/20821/stat : 20821 (toysat) S 20815 20818 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190795 2476281856 546560 33554432000 4194304 16246674 140736891600096 140657293257904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2418244

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.33
CPU time (s): 1800.06
CPU user time (s): 1798.66
CPU system time (s): 1.39479
CPU usage (%): 99.9848
Max. virtual memory (cumulated for all children) (KiB): 2418244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.66
system time used= 1.39479
maximum resident set size= 2186240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 545247
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= 3232
involuntary context switches= 5062

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.34634 second user time and 7.15791 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-29 19:33:42
IDJOB=4118102
IDBENCH=111451
IDSOLVER=2542
FILE ID=node139/4118102-1467221622
RUNJOBID= node139-1467208982-19136
PBS_JOBID= 19997572
Free space on /tmp= 71684 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-NLC/minlplib2-pb-0.1.0/opb/normalized-pb351575.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118102-1467221622/watcher-4118102-1467221622 -o /tmp/evaluation-result-4118102-1467221622/solver-4118102-1467221622 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1467208982-19136 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4118102-1467221622.opb

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

MD5SUM BENCH= 6e21c9921e9f1b0713a4faee3a85d64a
RANDOM SEED=263558429

node139.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		: 2667.092
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	: 5334.18
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		: 2667.092
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		: 2667.092
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		: 2667.092
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		: 2667.092
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.092
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		: 2667.092
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.48
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		: 2667.092
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:        28459900 kB
Buffers:          110540 kB
Cached:           847944 kB
SwapCached:         3080 kB
Active:          1864248 kB
Inactive:         232604 kB
Active(anon):    1137704 kB
Inactive(anon):     3176 kB
Active(file):     726544 kB
Inactive(file):   229428 kB
Unevictable:     1580332 kB
Mlocked:         1394328 kB
SwapTotal:      67108856 kB
SwapFree:       67097568 kB
Dirty:             18356 kB
Writeback:             0 kB
AnonPages:       2682352 kB
Mapped:            11656 kB
Shmem:                 0 kB
Slab:             600568 kB
SReclaimable:      44696 kB
SUnreclaim:       555872 kB
KernelStack:        1536 kB
PageTables:         9800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2857484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 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= 71676 MiB
End job on node139 at 2016-06-29 20:03:43