Trace number 4119110

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

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-pb302055.lin.opb
MD5SUM8d3f7cb17ad939f2ff69edf4c7335c06
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4372559
Best CPU time to get the best result obtained on this benchmark1800.15
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables165900
Total number of constraints330650
Number of constraints which are clauses165300
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints165320
Minimum length of a constraint3
Maximum length of a constraint30
Number of terms in the objective function 165900
Biggest coefficient in the objective function 299963
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 1823101901
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 299963
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 1823101901
Number of bits of the biggest sum of numbers31
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:10:04+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-4119110-1467241803.opb"]
0.00/0.01	c use --random-gen="466558192 3700083341 3330206943 312907443 1618138040 2801488809 1463539814 1558668496 201378509 277699441 2451848663 3675619011 1454808231 2192091269 1552375652 2571998413 3590685073 2570402462 4258995315 3750838993 2456901221 1599821687 4109638683 1731083773 324247853 3235326226 965241230 3035136275 205062252 3657111969 2039103215 606223120 3216656466 2966171963 2075729030 1292773785 806937309 275046291 248060162 2548237735 2566823737 2560763037 3400671446 3467019734 606232276 1409004270 1867085108 2347092331 2580917309 1899202974 3666155911 2256207668 2076497513 2356309116 4224404993 2673224648 2393649007 4012596696 3952621833 3722216460 481261607 3291886101 2609398214 2852268379 3562800171 120440409 1948232611 3943861433 4242297775 1348751041 2922410911 1143502203 3711264440 1879512322 748608999 3130467621 2706004333 354655993 1920067679 342429917 2974314572 2582863970 3833432641 2055559417 3767809147 1517714987 3860840989 116554140 595996030 3235353571 3182078518 2356546095 522070472 3759153792 2987353575 3921502037 445824402 1230389572 4020818787 2645284523 307103875 1134146529 3678116127 183843412 3468111146 4086772932 2398163095 2041113234 2203339803 347539029 256288431 3892781321 146182577 135623967 3577654632 2416505850 2871760298 2711839688 1981854268 899171247 1038344987 3161249805 3389857981 2948656011 3507647999 364842505 184145539 1849516197 3919260532 642231796 2630574061 507983695 2214261653 1677450633 757791892 482845109 2701431063 2904689357 1564072453 3974730544 668910244 3333188513 3859772013 3755773976 4248243466 3501384304 3348713246 3271143710 872726258 234856064 2266152059 1821634533 276068936 3164462311 318243714 2736929512 1064685574 3068527721 2833052365 1241780009 2893276682 1589425468 1093519481 2455974981 890658342 2799586405 3787573522 1460841603 3647085148 3156485569 1708237746 1492327798 4127443720 2302193856 1282719092 3437338966 2304985386 1896644255 1188025254 2859330715 1207286324 1146832175 2519456065 1153234524 501608328 51425834 878403003 2976773563 1301674424 2698696257 518509232 2607525205 4098078413 3918011966 2241517843 2761716768 3649527315 2730823135 3136133628 799022092 3660496864 699209433 2361503883 1422648506 3262777489 2061449108 1409971746 1408417587 587774835 2071814439 2739566887 1172958609 2322308091 3073221965 2734982503 3544781342 3927920666 3127702587 2206628724 3124992478 3475934699 75546786 701547041 1830076595 546385870 1138618496 3564485506 243349695 2898109341 1102023136 1617472582 3922440397 4159428685 396545179 1721385781 3639263947 2636259318 3484318431 1931210079 1579219460 954306451 2504000142 1130699713 1680412844 2139453827 1270477261 4238328022 987056319 1148919507 2452806647 3412649495 2840088955 187944765 518950134 985227743 1287894241 255 362436" option to reproduce the execution
2.59/2.62	c #vars 165900
2.59/2.62	c #constraints 330650
8.58/8.67	c BCD2: Hardening is enabled.
8.58/8.67	c BCD2: BiasedSearch is enabled.
8.58/8.67	c Solving starts ...
8.58/8.67	c ============================[ Search Statistics ]============================
8.58/8.67	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
8.58/8.67	c       |         |          |          |    Limit     GC | Var      | Constra 
8.58/8.67	c =============================================================================
8.79/8.82	c  0.0s |       0 |        0 |        0 |   162771      0 |     8232 |        0
9.58/9.62	c  0.8s |       0 |       29 |        0 |   162771      0 |     8232 |     8169
9.58/9.62	c #cpu_time = 0.598s
9.58/9.62	c #wall_clock_time = 0.600s
9.58/9.62	c #decision = 29
9.58/9.62	c #random_decision = 0
9.58/9.62	c #conflict = 0
9.58/9.62	c #restart = 0
9.58/9.63	o 8947867

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

pid=7139
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.00 2.00 2.00 2/235 7142
/proc/meminfo: memFree=29543252/32872528 swapFree=189444/189444
[pid=7142] ppid=7139 vsize=275900 CPUtime=0 cores=0,2,4,6
/proc/7142/stat : 7142 (toysat) R 7139 7142 3947 0 -1 4202496 951 0 0 0 0 0 0 0 20 0 4 0 5286906 282521600 1311 33554432000 4194304 16246674 140734159674272 140734159673696 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7142/statm: 69743 1321 441 2943 0 66637 0
[pid=7142/tid=7143] ppid=7139 vsize=292284 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7143/stat : 7143 (toysat) S 7139 7142 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5286906 299298816 1374 33554432000 4194304 16246674 140734159674272 139707831790832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7142/tid=7144] ppid=7139 vsize=296380 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7144/stat : 7144 (toysat) S 7139 7142 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5286906 303493120 1390 33554432000 4194304 16246674 140734159674272 139707821300976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7142/tid=7146] ppid=7139 vsize=300476 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7146/stat : 7146 (toysat) S 7139 7142 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5286906 307687424 1406 33554432000 4194304 16246674 140734159674272 139707702832304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100121 s]
/proc/loadavg: 2.00 2.00 2.00 2/235 7142
/proc/meminfo: memFree=29543252/32872528 swapFree=189444/189444
[pid=7142] ppid=7139 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/7142/stat : 7142 (toysat) R 7139 7142 3947 0 -1 4202496 25966 0 0 0 5 3 0 0 20 0 4 0 5286906 1333334016 26264 33554432000 4194304 16246674 140734159674272 140734159673584 13780501 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7142/statm: 325521 26279 798 2943 0 322415 0
[pid=7142/tid=7143] ppid=7139 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7143/stat : 7143 (toysat) S 7139 7142 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5286906 1333334016 26290 33554432000 4194304 16246674 140734159674272 139707831790832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7142/tid=7144] ppid=7139 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7144/stat : 7144 (toysat) S 7139 7142 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5286906 1333334016 26301 33554432000 4194304 16246674 140734159674272 139707821300976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7142/tid=7146] ppid=7139 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7146/stat : 7146 (toysat) S 7139 7142 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5286906 1333334016 26312 33554432000 4194304 16246674 140734159674272 139707702832304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200456 s]
/proc/loadavg: 2.00 2.00 2.00 2/235 7142
/proc/meminfo: memFree=29543252/32872528 swapFree=189444/189444
[pid=7142] ppid=7139 vsize=1313348 CPUtime=0.18 cores=0,2,4,6
/proc/7142/stat : 7142 (toysat) R 7139 7142 3947 0 -1 4202496 40340 0 0 0 13 5 0 0 20 0 4 0 5286906 1344868352 41149 33554432000 4194304 16246674 140734159674272 140734159673584 7852992 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7142/statm: 328337 41149 798 2943 0 325231 0
[pid=7142/tid=7143] ppid=7139 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7143/stat : 7143 (toysat) S 7139 7142 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5286906 1344868352 41149 33554432000 4194304 16246674 140734159674272 139707831790832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7142/tid=7144] ppid=7139 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7144/stat : 7144 (toysat) S 7139 7142 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5286906 1344868352 41149 33554432000 4194304 16246674 140734159674272 139707821300976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7142/tid=7146] ppid=7139 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7146/stat : 7146 (toysat) S 7139 7142 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5286906 1344868352 41149 33554432000 4194304 16246674 140734159674272 139707702832304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.300436 s]
/proc/loadavg: 2.00 2.00 2.00 2/235 7142
/proc/meminfo: memFree=29543252/32872528 swapFree=189444/189444
[pid=7142] ppid=7139 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/7142/stat : 7142 (toysat) R 7139 7142 3947 0 -1 4202496 43504 0 0 0 23 6 0 0 20 0 4 0 5286906 1344868352 44313 33554432000 4194304 16246674 140734159674272 140734159673584 7439417 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7142/statm: 328337 44313 799 2943 0 325231 0
[pid=7142/tid=7143] ppid=7139 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7143/stat : 7143 (toysat) S 7139 7142 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5286906 1344868352 44313 33554432000 4194304 16246674 140734159674272 139707831790832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7142/tid=7144] ppid=7139 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7144/stat : 7144 (toysat) S 7139 7142 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5286906 1344868352 44313 33554432000 4194304 16246674 140734159674272 139707821300976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7142/tid=7146] ppid=7139 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7146/stat : 7146 (toysat) S 7139 7142 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5286906 1344868352 44313 33554432000 4194304 16246674 140734159674272 139707702832304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700356 s]
/proc/loadavg: 2.00 2.00 2.00 2/235 7142
/proc/meminfo: memFree=29543252/32872528 swapFree=189444/189444
[pid=7142] ppid=7139 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/7142/stat : 7142 (toysat) R 7139 7142 3947 0 -1 4202496 72115 0 0 0 59 10 0 0 20 0 4 0 5286906 1344868352 72924 33554432000 4194304 16246674 140734159674272 140734159657264 8055566 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7142/statm: 328337 72924 802 2943 0 325231 0
[pid=7142/tid=7143] ppid=7139 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7143/stat : 7143 (toysat) S 7139 7142 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5286906 1344868352 72924 33554432000 4194304 16246674 140734159674272 139707831790832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7142/tid=7144] ppid=7139 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7144/stat : 7144 (toysat) S 7139 7142 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5286906 1344868352 72924 33554432000 4194304 16246674 140734159674272 139707821300976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7142/tid=7146] ppid=7139 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7146/stat : 7146 (toysat) S 7139 7142 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5286906 1344868352 72924 33554432000 4194304 16246674 140734159674272 139707702832304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 2.00 3/248 7162
/proc/meminfo: memFree=28850760/32872528 swapFree=189444/189444
[pid=7142] ppid=7139 vsize=1326660 CPUtime=1.49 cores=0,2,4,6
/proc/7142/stat : 7142 (toysat) R 7139 7142 3947 0 -1 4202496 89928 0 0 0 136 13 0 0 20 0 4 0 5286906 1358499840 92781 33554432000 4194304 16246674 140734159674272 140734159657264 4206864 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7142/statm: 331665 92781 802 2943 0 328559 0
[pid=7142/tid=7143] ppid=7139 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7143/stat : 7143 (toysat) S 7139 7142 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5286906 1358499840 92781 33554432000 4194304 16246674 140734159674272 139707831790832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7142/tid=7144] ppid=7139 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7144/stat : 7144 (toysat) S 7139 7142 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5286906 1358499840 92781 33554432000 4194304 16246674 140734159674272 139707821300976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7142/tid=7146] ppid=7139 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7146/stat : 7146 (toysat) S 7139 7142 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5286906 1358499840 92781 33554432000 4194304 16246674 140734159674272 139707702832304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1326660

[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 2.00 3/247 7162
/proc/meminfo: memFree=28650480/32872528 swapFree=189444/189444
[pid=7142] ppid=7139 vsize=1376836 CPUtime=3.09 cores=0,2,4,6
/proc/7142/stat : 7142 (toysat) R 7139 7142 3947 0 -1 4202496 159152 0 0 0 287 22 0 0 20 0 4 0 5286906 1409880064 166604 33554432000 4194304 16246674 140734159674272 140734159672064 5886100 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7142/statm: 344209 166612 845 2943 0 341103 0
[pid=7142/tid=7143] ppid=7139 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7143/stat : 7143 (toysat) S 7139 7142 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5286906 1409880064 166617 33554432000 4194304 16246674 140734159674272 139707831790832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7142/tid=7144] ppid=7139 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7144/stat : 7144 (toysat) S 7139 7142 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5286906 1409880064 166622 33554432000 4194304 16246674 140734159674272 139707821300976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7142/tid=7146] ppid=7139 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7146/stat : 7146 (toysat) S 7139 7142 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5286906 1409880064 166626 33554432000 4194304 16246674 140734159674272 139707702832304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1376836

[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 2.00 3/247 7162
/proc/meminfo: memFree=27232132/32872528 swapFree=189444/189444
[pid=7142] ppid=7139 vsize=1376836 CPUtime=6.29 cores=0,2,4,6
/proc/7142/stat : 7142 (toysat) R 7139 7142 3947 0 -1 4202496 275638 0 0 0 587 42 0 0 20 0 4 0 5286906 1409880064 285645 33554432000 4194304 16246674 140734159674272 140734159656192 6774944 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7142/statm: 344209 285645 847 2943 0 341103 0
[pid=7142/tid=7143] ppid=7139 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7143/stat : 7143 (toysat) S 7139 7142 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5286906 1409880064 285645 33554432000 4194304 16246674 140734159674272 139707831790832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7142/tid=7144] ppid=7139 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7144/stat : 7144 (toysat) S 7139 7142 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5286906 1409880064 285645 33554432000 4194304 16246674 140734159674272 139707821300976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7142/tid=7146] ppid=7139 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7146/stat : 7146 (toysat) S 7139 7142 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5286906 1409880064 285645 33554432000 4194304 16246674 140734159674272 139707702832304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1376836

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/248 7163
/proc/meminfo: memFree=27210808/32872528 swapFree=189444/189444
[pid=7142] ppid=7139 vsize=1393220 CPUtime=12.69 cores=0,2,4,6
/proc/7142/stat : 7142 (toysat) R 7139 7142 3947 0 -1 4202496 279782 0 0 0 1226 43 0 0 20 0 4 0 5286906 1426657280 289789 33554432000 4194304 16246674 140734159674272 140734159656192 12652880 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7142/statm: 348305 289789 888 2943 0 345199 0
[pid=7142/tid=7143] ppid=7139 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7143/stat : 7143 (toysat) S 7139 7142 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5286906 1426657280 289789 33554432000 4194304 16246674 140734159674272 139707831790832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7142/tid=7144] ppid=7139 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7144/stat : 7144 (toysat) S 7139 7142 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5286906 1426657280 289789 33554432000 4194304 16246674 140734159674272 139707821300976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7142/tid=7146] ppid=7139 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7146/stat : 7146 (toysat) S 7139 7142 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5286906 1426657280 289789 33554432000 4194304 16246674 140734159674272 139707702832304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1393220

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/248 7163
/proc/meminfo: memFree=27188076/32872528 swapFree=189444/189444
[pid=7142] ppid=7139 vsize=1393220 CPUtime=25.48 cores=0,2,4,6
/proc/7142/stat : 7142 (toysat) R 7139 7142 3947 0 -1 4202496 279782 0 0 0 2505 43 0 0 20 0 4 0 5286906 1426657280 289789 33554432000 4194304 16246674 140734159674272 140734159656192 12654399 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7142/statm: 348305 289789 888 2943 0 345199 0
[pid=7142/tid=7143] ppid=7139 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7143/stat : 7143 (toysat) S 7139 7142 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5286906 1426657280 289789 33554432000 4194304 16246674 140734159674272 139707831790832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7142/tid=7144] ppid=7139 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7144/stat : 7144 (toysat) S 7139 7142 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5286906 1426657280 289789 33554432000 4194304 16246674 140734159674272 139707821300976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7142/tid=7146] ppid=7139 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7146/stat : 7146 (toysat) S 7139 7142 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5286906 1426657280 289789 33554432000 4194304 16246674 140734159674272 139707702832304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1393220

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/248 7163
/proc/meminfo: memFree=27188244/32872528 swapFree=189444/189444
[pid=7142] ppid=7139 vsize=1393220 CPUtime=51.08 cores=0,2,4,6
/proc/7142/stat : 7142 (toysat) R 7139 7142 3947 0 -1 4202496 279782 0 0 0 5065 43 0 0 20 0 4 0 5286906 1426657280 289789 33554432000 4194304 16246674 140734159674272 140734159656192 13950222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7142/statm: 348305 289789 888 2943 0 345199 0
[pid=7142/tid=7143] ppid=7139 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7143/stat : 7143 (toysat) S 7139 7142 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5286906 1426657280 289789 33554432000 4194304 16246674 140734159674272 139707831790832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7142/tid=7144] ppid=7139 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7144/stat : 7144 (toysat) S 7139 7142 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5286906 1426657280 289789 33554432000 4194304 16246674 140734159674272 139707821300976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7142/tid=7146] ppid=7139 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7146/stat : 7146 (toysat) S 7139 7142 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5286906 1426657280 289789 33554432000 4194304 16246674 140734159674272 139707702832304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1393220

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/247 7164
/proc/meminfo: memFree=26847208/32872528 swapFree=189444/189444
[pid=7142] ppid=7139 vsize=1733188 CPUtime=102.28 cores=0,2,4,6
/proc/7142/stat : 7142 (toysat) R 7139 7142 3947 0 -1 4202496 364774 0 0 0 10174 54 0 0 20 0 4 0 5286906 1774784512 374781 33554432000 4194304 16246674 140734159674272 140734159672064 13901965 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7142/statm: 433297 374781 888 2943 0 430191 0
[pid=7142/tid=7143] ppid=7139 vsize=1733188 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7143/stat : 7143 (toysat) S 7139 7142 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5286906 1774784512 374781 33554432000 4194304 16246674 140734159674272 139707831790832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7142/tid=7144] ppid=7139 vsize=1733188 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7144/stat : 7144 (toysat) S 7139 7142 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5286906 1774784512 374781 33554432000 4194304 16246674 140734159674272 139707821300976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7142/tid=7146] ppid=7139 vsize=1733188 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7146/stat : 7146 (toysat) S 7139 7142 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5286906 1774784512 374781 33554432000 4194304 16246674 140734159674272 139707702832304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1733188


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

/proc/7142/task/7146/stat : 7146 (toysat) S 7139 7142 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707702832304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 2686532

[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/247 7195
/proc/meminfo: memFree=25429988/32872528 swapFree=189444/189444
[pid=7142] ppid=7139 vsize=2686532 CPUtime=1302.04 cores=0,2,4,6
/proc/7142/stat : 7142 (toysat) R 7139 7142 3947 0 -1 4202496 603127 0 0 0 130051 153 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 140734159672064 13880677 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7142/statm: 671633 613373 888 2943 0 668527 0
[pid=7142/tid=7143] ppid=7139 vsize=2686532 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7143/stat : 7143 (toysat) S 7139 7142 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707831790832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7142/tid=7144] ppid=7139 vsize=2686532 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7144/stat : 7144 (toysat) S 7139 7142 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707821300752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7142/tid=7146] ppid=7139 vsize=2686532 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7146/stat : 7146 (toysat) S 7139 7142 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707702832304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 2686532

[startup+1362.3 s]
/proc/loadavg: 1.94 1.99 1.99 3/247 7196
/proc/meminfo: memFree=25426648/32872528 swapFree=189444/189444
[pid=7142] ppid=7139 vsize=2686532 CPUtime=1362.03 cores=0,2,4,6
/proc/7142/stat : 7142 (toysat) R 7139 7142 3947 0 -1 4202496 603127 0 0 0 136045 158 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 140734159673368 4221040 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7142/statm: 671633 613373 888 2943 0 668527 0
[pid=7142/tid=7143] ppid=7139 vsize=2686532 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7143/stat : 7143 (toysat) S 7139 7142 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707831790832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7142/tid=7144] ppid=7139 vsize=2686532 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7144/stat : 7144 (toysat) S 7139 7142 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707821300976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7142/tid=7146] ppid=7139 vsize=2686532 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7146/stat : 7146 (toysat) S 7139 7142 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707702832304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 2686532

[startup+1422.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/247 7197
/proc/meminfo: memFree=25411948/32872528 swapFree=189444/189444
[pid=7142] ppid=7139 vsize=2686532 CPUtime=1422.03 cores=0,2,4,6
/proc/7142/stat : 7142 (toysat) R 7139 7142 3947 0 -1 4202496 603127 0 0 0 142040 163 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 140734159673584 4225113 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7142/statm: 671633 613373 888 2943 0 668527 0
[pid=7142/tid=7143] ppid=7139 vsize=2686532 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7143/stat : 7143 (toysat) S 7139 7142 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707831790832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7142/tid=7144] ppid=7139 vsize=2686532 CPUtime=0.01 cores=0,2,4,6
/proc/7142/task/7144/stat : 7144 (toysat) S 7139 7142 3947 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707821300976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7142/tid=7146] ppid=7139 vsize=2686532 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7146/stat : 7146 (toysat) S 7139 7142 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707702832304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 2686532

[startup+1482.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/247 7198
/proc/meminfo: memFree=25405536/32872528 swapFree=189444/189444
[pid=7142] ppid=7139 vsize=2686532 CPUtime=1482.02 cores=0,2,4,6
/proc/7142/stat : 7142 (toysat) R 7139 7142 3947 0 -1 4202496 603127 0 0 0 148034 168 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 140734159673448 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7142/statm: 671633 613373 888 2943 0 668527 0
[pid=7142/tid=7143] ppid=7139 vsize=2686532 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7143/stat : 7143 (toysat) S 7139 7142 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707831790832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7142/tid=7144] ppid=7139 vsize=2686532 CPUtime=0.01 cores=0,2,4,6
/proc/7142/task/7144/stat : 7144 (toysat) S 7139 7142 3947 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707821300976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7142/tid=7146] ppid=7139 vsize=2686532 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7146/stat : 7146 (toysat) S 7139 7142 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707702832304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 2686532

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/247 7200
/proc/meminfo: memFree=25400364/32872528 swapFree=189444/189444
[pid=7142] ppid=7139 vsize=2686532 CPUtime=1542.01 cores=0,2,4,6
/proc/7142/stat : 7142 (toysat) R 7139 7142 3947 0 -1 4202496 603127 0 0 0 154028 173 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 140734159673368 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7142/statm: 671633 613373 888 2943 0 668527 0
[pid=7142/tid=7143] ppid=7139 vsize=2686532 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7143/stat : 7143 (toysat) S 7139 7142 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707831790832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7142/tid=7144] ppid=7139 vsize=2686532 CPUtime=0.01 cores=0,2,4,6
/proc/7142/task/7144/stat : 7144 (toysat) S 7139 7142 3947 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707821300752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7142/tid=7146] ppid=7139 vsize=2686532 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7146/stat : 7146 (toysat) S 7139 7142 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707702832304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 2686532

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/247 7201
/proc/meminfo: memFree=25392948/32872528 swapFree=189444/189444
[pid=7142] ppid=7139 vsize=2686532 CPUtime=1601.99 cores=0,2,4,6
/proc/7142/stat : 7142 (toysat) R 7139 7142 3947 0 -1 4202496 603127 0 0 0 160022 177 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 140734159672064 4220850 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7142/statm: 671633 613373 888 2943 0 668527 0
[pid=7142/tid=7143] ppid=7139 vsize=2686532 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7143/stat : 7143 (toysat) S 7139 7142 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707831790832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7142/tid=7144] ppid=7139 vsize=2686532 CPUtime=0.01 cores=0,2,4,6
/proc/7142/task/7144/stat : 7144 (toysat) S 7139 7142 3947 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707821300752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7142/tid=7146] ppid=7139 vsize=2686532 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7146/stat : 7146 (toysat) S 7139 7142 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707702832304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 2686532

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/247 7202
/proc/meminfo: memFree=25389256/32872528 swapFree=189444/189444
[pid=7142] ppid=7139 vsize=2686532 CPUtime=1661.97 cores=0,2,4,6
/proc/7142/stat : 7142 (toysat) R 7139 7142 3947 0 -1 4202496 603135 0 0 0 166015 182 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 140734159672064 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7142/statm: 671633 613373 888 2943 0 668527 0
[pid=7142/tid=7143] ppid=7139 vsize=2686532 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7143/stat : 7143 (toysat) S 7139 7142 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707831790832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7142/tid=7144] ppid=7139 vsize=2686532 CPUtime=0.01 cores=0,2,4,6
/proc/7142/task/7144/stat : 7144 (toysat) S 7139 7142 3947 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707821300752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7142/tid=7146] ppid=7139 vsize=2686532 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7146/stat : 7146 (toysat) S 7139 7142 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707702832304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 2686532

[startup+1722.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/247 7203
/proc/meminfo: memFree=25377500/32872528 swapFree=189444/189444
[pid=7142] ppid=7139 vsize=2686532 CPUtime=1721.96 cores=0,2,4,6
/proc/7142/stat : 7142 (toysat) R 7139 7142 3947 0 -1 4202496 603135 0 0 0 172010 186 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 140734159672064 4220491 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7142/statm: 671633 613373 888 2943 0 668527 0
[pid=7142/tid=7143] ppid=7139 vsize=2686532 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7143/stat : 7143 (toysat) S 7139 7142 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707831790832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7142/tid=7144] ppid=7139 vsize=2686532 CPUtime=0.01 cores=0,2,4,6
/proc/7142/task/7144/stat : 7144 (toysat) S 7139 7142 3947 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707821300752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7142/tid=7146] ppid=7139 vsize=2686532 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7146/stat : 7146 (toysat) S 7139 7142 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707702832304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 2686532

[startup+1782.3 s]
/proc/loadavg: 2.21 2.08 2.02 3/247 7204
/proc/meminfo: memFree=25363724/32872528 swapFree=189444/189444
[pid=7142] ppid=7139 vsize=2686532 CPUtime=1781.95 cores=0,2,4,6
/proc/7142/stat : 7142 (toysat) R 7139 7142 3947 0 -1 4202496 603135 0 0 0 178005 190 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 140734159673584 12449318 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7142/statm: 671633 613373 888 2943 0 668527 0
[pid=7142/tid=7143] ppid=7139 vsize=2686532 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7143/stat : 7143 (toysat) S 7139 7142 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707831790832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7142/tid=7144] ppid=7139 vsize=2686532 CPUtime=0.01 cores=0,2,4,6
/proc/7142/task/7144/stat : 7144 (toysat) S 7139 7142 3947 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707821300976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7142/tid=7146] ppid=7139 vsize=2686532 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7146/stat : 7146 (toysat) S 7139 7142 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707702832304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 2686532



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.16 2.08 2.02 3/248 7207
/proc/meminfo: memFree=25361712/32872528 swapFree=189444/189444
[pid=7142] ppid=7139 vsize=2686532 CPUtime=1800.05 cores=0,2,4,6
/proc/7142/stat : 7142 (toysat) R 7139 7142 3947 0 -1 4202496 603135 0 0 0 179814 191 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 140734159672128 4206597 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7142/statm: 671633 613373 888 2943 0 668527 0
[pid=7142/tid=7143] ppid=7139 vsize=2686532 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7143/stat : 7143 (toysat) S 7139 7142 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707831790832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7142/tid=7144] ppid=7139 vsize=2686532 CPUtime=0.01 cores=0,2,4,6
/proc/7142/task/7144/stat : 7144 (toysat) S 7139 7142 3947 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707821300752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7142/tid=7146] ppid=7139 vsize=2686532 CPUtime=0 cores=0,2,4,6
/proc/7142/task/7146/stat : 7146 (toysat) S 7139 7142 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5286906 2751008768 613373 33554432000 4194304 16246674 140734159674272 139707702832304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2686532

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 7142 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.09
CPU user time (s): 1798.16
CPU system time (s): 1.92671
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 2686532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.16
system time used= 1.92671
maximum resident set size= 2453492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 603135
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= 1946
involuntary context switches= 1983

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.49432 second user time and 6.96494 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-30 01:10:04
IDJOB=4119110
IDBENCH=111654
IDSOLVER=2542
FILE ID=node102/4119110-1467241803
RUNJOBID= node102-1467234598-6495
PBS_JOBID= 19997591
Free space on /tmp= 71692 MiB

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

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

MD5SUM BENCH= 8d3f7cb17ad939f2ff69edf4c7335c06
RANDOM SEED=722007837

node102.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.744
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.48
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.744
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.744
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.744
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.49
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.744
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.744
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.744
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.744
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:        29543624 kB
Buffers:          122276 kB
Cached:          2257168 kB
SwapCached:            0 kB
Active:           379832 kB
Inactive:        2016644 kB
Active(anon):      19404 kB
Inactive(anon):        0 kB
Active(file):     360428 kB
Inactive(file):  2016644 kB
Unevictable:      189444 kB
Mlocked:          189444 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             29232 kB
Writeback:             0 kB
AnonPages:        208584 kB
Mapped:            14412 kB
Shmem:               204 kB
Slab:             611200 kB
SReclaimable:      54460 kB
SUnreclaim:       556740 kB
KernelStack:        1920 kB
PageTables:         4756 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     303672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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= 71644 MiB
End job on node102 at 2016-06-30 01:40:04