Trace number 4107686

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

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/
9orless/normalized-r-cran-car.cudf.trendy.opb
MD5SUM375f69664b21dc1e0f3170db2066fbfe
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2704891992412
Best CPU time to get the best result obtained on this benchmark394.987
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21105
Total number of constraints100041
Number of constraints which are clauses98476
Number of constraints which are cardinality constraints (but not clauses)1565
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint2962
Number of terms in the objective function 8588
Biggest coefficient in the objective function 79285326336
Number of bits for the biggest coefficient in the objective function 37
Sum of the numbers in the objective function 234763814370998
Number of bits of the sum of numbers in the objective function 48
Biggest number in a constraint 79285326336
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 234763814370998
Number of bits of the biggest sum of numbers48
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-19T00:30:46+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-4107686-1466289046.opb"]
0.00/0.01	c use --random-gen="3886394315 1045722832 3004746661 311019849 1971778013 1948286118 3375497235 1151049221 2024043403 3659681584 929477633 1309202288 216449107 1087164871 492883723 1055439653 1469336134 3235935310 659974126 3485935444 2247700947 3385132385 244881209 3102173489 3380071270 2478653236 2790959268 3487278367 1825152470 2522165061 3673030101 1242343876 3424801476 612818539 626123419 1002425396 3822212925 2331285875 153310877 2378769528 1710697992 2965144581 3076849899 3112794638 4050820481 3358026181 3177177632 1200634612 162196123 1278862442 2266421288 3282989768 1355816997 416572576 1229325266 1421786843 738551299 3277058320 2272265352 693471400 2338950207 3635993036 3224862694 3235831920 3727681111 2898732030 572293246 131964890 4110485763 2434729800 874100460 3341914134 1410544118 2135855080 2670175263 3556178041 3533668366 122374374 796584942 2143456015 3655685902 2159171299 2996861019 768191265 2837086765 2334101382 2167267019 1757465517 159862074 3461286059 1060001751 2682755358 574079079 401335296 2997919299 2204597762 2839181417 2531388451 970121230 2015681098 36099904 3493081579 275995564 1800932519 2159706301 4218330279 3548747023 1664288180 3898930584 853055046 1903458640 2400303633 1480465554 246057267 2506456927 2388440566 899343775 2762905804 3991022549 2949472113 2446796916 4220739093 2953891704 1301186148 3891641894 1708408432 1506809358 702691727 418779508 2211664259 2986799280 3530653058 1685966262 3984104052 542916989 3413005696 3645627531 3750784466 3846984982 1110569019 605259458 3979338422 4072048102 3870131433 4182983075 1837884234 2172801136 3458285440 1857968112 2544668835 2095238463 2106714265 3070952477 3165492941 3574294415 3649560367 2095092247 3592173874 1755401874 904392993 529988734 2273268890 4193123833 394082513 765311450 3152479175 399784352 4254851835 1115779767 1301043099 700198883 3850259229 544919309 2049877955 695302594 318221438 1222889036 188393024 4245393586 1850758321 816072798 988181774 3958546164 381563605 1475701878 3024940598 1330379866 563787458 763038262 3430006889 3473310033 231870061 2277439209 2685926151 723645045 3359777478 2530897852 1889148670 3599383533 3545692145 763211374 3564212627 260144844 3777228904 2554831416 4136115179 1247105125 4091849518 3898322499 312988339 3538130436 1773491638 2277204910 3743025245 1867146813 1027069403 2825964157 2660013393 3380414295 4127574644 2070919724 805996334 498938280 2195722936 1919678387 2469666260 2165885621 3872445998 2050581076 3622485042 46774028 3350108370 3197882632 1641158674 12834176 1165785125 2022647649 3019246884 3189019903 1352851029 2064230602 3896112272 3396606715 3113357682 877554764 3677383441 3344467867 3458020938 2080318769 3978219217 897378158 3199147820 1565737790 683249019 722771571 1611903968 255 362436" option to reproduce the execution
0.69/0.73	c #vars 21105
0.69/0.73	c #constraints 100041
2.30/2.31	c BCD2: Hardening is enabled.
2.30/2.31	c BCD2: BiasedSearch is enabled.
2.30/2.31	c Solving starts ...
2.30/2.31	c ============================[ Search Statistics ]============================
2.30/2.31	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.30/2.31	c       |         |          |          |    Limit     GC | Var      | Constra 
2.30/2.31	c =============================================================================
2.30/2.32	c  0.0s |       0 |        0 |        0 |    39939      0 |     1202 |        0
2.89/2.95	c  0.6s |       1 |    70764 |      100 |    39939      0 |     1202 |     1291
4.79/4.83	c  2.5s |       2 |   268239 |      250 |    43933      0 |     1202 |     1291
5.89/5.93	c  3.6s |       2 |   406609 |      359 |    48327      0 |     1202 |     1291
5.89/5.93	c #cpu_time = 3.594s
5.89/5.93	c #wall_clock_time = 3.603s
5.89/5.93	c #decision = 406609
5.89/5.93	c #random_decision = 1168
5.89/5.93	c #conflict = 359
5.89/5.93	c #restart = 2
5.89/5.93	o 50309086436344

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

pid=31303
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.01 2.08 2.12 3/180 31306
/proc/meminfo: memFree=29603440/32872528 swapFree=1191052/1305516
[pid=31306] ppid=31303 vsize=688572 CPUtime=0 cores=0,2,4,6
/proc/31306/stat : 31306 (toysat) R 31303 31306 26736 0 -1 4202496 2561 0 0 0 0 0 0 0 20 0 4 0 30951232 705097728 2922 33554432000 4194304 16246674 140734580671456 140734580670880 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31306/statm: 172655 2932 441 2943 0 169549 0
[pid=31306/tid=31307] ppid=31303 vsize=705980 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31307/stat : 31307 (toysat) S 31303 31306 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30951232 722923520 2993 33554432000 4194304 16246674 140734580671456 140280263060720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31306/tid=31308] ppid=31303 vsize=711100 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31308/stat : 31308 (toysat) S 31303 31306 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30951232 728166400 3012 33554432000 4194304 16246674 140734580671456 140280252570864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31306/tid=31309] ppid=31303 vsize=715196 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31309/stat : 31309 (toysat) S 31303 31306 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30951232 732360704 3028 33554432000 4194304 16246674 140734580671456 140280242097328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.01 2.08 2.12 3/180 31306
/proc/meminfo: memFree=29603440/32872528 swapFree=1191052/1305516
[pid=31306] ppid=31303 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/31306/stat : 31306 (toysat) R 31303 31306 26736 0 -1 4202496 31008 0 0 0 5 4 0 0 20 0 4 0 30951232 1334382592 31308 33554432000 4194304 16246674 140734580671456 140734580670768 7382286 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31306/statm: 325777 31322 799 2943 0 322671 0
[pid=31306/tid=31307] ppid=31303 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31307/stat : 31307 (toysat) S 31303 31306 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30951232 1334382592 31333 33554432000 4194304 16246674 140734580671456 140280263060720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31306/tid=31308] ppid=31303 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31308/stat : 31308 (toysat) S 31303 31306 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30951232 1334382592 31344 33554432000 4194304 16246674 140734580671456 140280252570864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31306/tid=31309] ppid=31303 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31309/stat : 31309 (toysat) S 31303 31306 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30951232 1334382592 31355 33554432000 4194304 16246674 140734580671456 140280242097328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200521 s]
/proc/loadavg: 2.01 2.08 2.12 3/180 31306
/proc/meminfo: memFree=29603440/32872528 swapFree=1191052/1305516
[pid=31306] ppid=31303 vsize=1314372 CPUtime=0.19 cores=0,2,4,6
/proc/31306/stat : 31306 (toysat) R 31303 31306 26736 0 -1 4202496 50541 0 0 0 13 6 0 0 20 0 4 0 30951232 1345916928 51351 33554432000 4194304 16246674 140734580671456 140734580670768 7371624 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31306/statm: 328593 51351 799 2943 0 325487 0
[pid=31306/tid=31307] ppid=31303 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31307/stat : 31307 (toysat) S 31303 31306 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30951232 1345916928 51351 33554432000 4194304 16246674 140734580671456 140280263060720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31306/tid=31308] ppid=31303 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31308/stat : 31308 (toysat) S 31303 31306 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30951232 1345916928 51351 33554432000 4194304 16246674 140734580671456 140280252570864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31306/tid=31309] ppid=31303 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31309/stat : 31309 (toysat) S 31303 31306 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30951232 1345916928 51351 33554432000 4194304 16246674 140734580671456 140280242097328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300512 s]
/proc/loadavg: 2.01 2.08 2.12 3/180 31306
/proc/meminfo: memFree=29603440/32872528 swapFree=1191052/1305516
[pid=31306] ppid=31303 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/31306/stat : 31306 (toysat) R 31303 31306 26736 0 -1 4202496 60969 0 0 0 21 8 0 0 20 0 4 0 30951232 1345916928 61779 33554432000 4194304 16246674 140734580671456 140734580670768 14073329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31306/statm: 328593 61779 800 2943 0 325487 0
[pid=31306/tid=31307] ppid=31303 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31307/stat : 31307 (toysat) S 31303 31306 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30951232 1345916928 61779 33554432000 4194304 16246674 140734580671456 140280263060720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31306/tid=31308] ppid=31303 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31308/stat : 31308 (toysat) S 31303 31306 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30951232 1345916928 61779 33554432000 4194304 16246674 140734580671456 140280252570864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31306/tid=31309] ppid=31303 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31309/stat : 31309 (toysat) S 31303 31306 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30951232 1345916928 61779 33554432000 4194304 16246674 140734580671456 140280242097328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.70042 s]
/proc/loadavg: 2.01 2.08 2.12 3/180 31306
/proc/meminfo: memFree=29603440/32872528 swapFree=1191052/1305516
[pid=31306] ppid=31303 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/31306/stat : 31306 (toysat) R 31303 31306 26736 0 -1 4202496 75044 0 0 0 59 10 0 0 20 0 4 0 30951232 1345916928 75854 33554432000 4194304 16246674 140734580671456 140734580654448 4220907 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31306/statm: 328593 75854 801 2943 0 325487 0
[pid=31306/tid=31307] ppid=31303 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31307/stat : 31307 (toysat) S 31303 31306 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30951232 1345916928 75854 33554432000 4194304 16246674 140734580671456 140280263060720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31306/tid=31308] ppid=31303 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31308/stat : 31308 (toysat) S 31303 31306 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30951232 1345916928 75854 33554432000 4194304 16246674 140734580671456 140280252570864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31306/tid=31309] ppid=31303 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31309/stat : 31309 (toysat) S 31303 31306 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30951232 1345916928 75854 33554432000 4194304 16246674 140734580671456 140280242097328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50039 s]
/proc/loadavg: 2.01 2.08 2.12 3/184 31310
/proc/meminfo: memFree=29150432/32872528 swapFree=1191052/1305516
[pid=31306] ppid=31303 vsize=1318468 CPUtime=1.48 cores=0,2,4,6
/proc/31306/stat : 31306 (toysat) R 31303 31306 26736 0 -1 4202496 191918 0 0 0 121 27 0 0 20 0 4 0 30951232 1350111232 192729 33554432000 4194304 16246674 140734580671456 140734580653376 5516804 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31306/statm: 329617 192737 838 2943 0 326511 0
[pid=31306/tid=31307] ppid=31303 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31307/stat : 31307 (toysat) S 31303 31306 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30951232 1350111232 192743 33554432000 4194304 16246674 140734580671456 140280263060720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31306/tid=31308] ppid=31303 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31308/stat : 31308 (toysat) S 31303 31306 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30951232 1350111232 192748 33554432000 4194304 16246674 140734580671456 140280252570864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31306/tid=31309] ppid=31303 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31309/stat : 31309 (toysat) S 31303 31306 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30951232 1350111232 192754 33554432000 4194304 16246674 140734580671456 140280242097328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1318468

[startup+3.1004 s]
/proc/loadavg: 2.01 2.08 2.12 3/184 31310
/proc/meminfo: memFree=28501292/32872528 swapFree=1191052/1305516
[pid=31306] ppid=31303 vsize=1337924 CPUtime=3.09 cores=0,2,4,6
/proc/31306/stat : 31306 (toysat) R 31303 31306 26736 0 -1 4202496 275091 0 0 0 268 41 0 0 20 0 4 0 30951232 1370034176 275901 33554432000 4194304 16246674 140734580671456 140734580653376 5674919 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31306/statm: 334481 275901 889 2943 0 331375 0
[pid=31306/tid=31307] ppid=31303 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31307/stat : 31307 (toysat) S 31303 31306 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30951232 1370034176 275901 33554432000 4194304 16246674 140734580671456 140280263060720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31306/tid=31308] ppid=31303 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31308/stat : 31308 (toysat) S 31303 31306 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30951232 1370034176 275901 33554432000 4194304 16246674 140734580671456 140280252570864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31306/tid=31309] ppid=31303 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31309/stat : 31309 (toysat) S 31303 31306 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30951232 1370034176 275901 33554432000 4194304 16246674 140734580671456 140280242097328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1337924

[startup+6.30037 s]
/proc/loadavg: 2.09 2.10 2.12 3/184 31310
/proc/meminfo: memFree=28500920/32872528 swapFree=1191052/1305516
[pid=31306] ppid=31303 vsize=1337924 CPUtime=6.29 cores=0,2,4,6
/proc/31306/stat : 31306 (toysat) R 31303 31306 26736 0 -1 4202496 275172 0 0 0 588 41 0 0 20 0 4 0 30951232 1370034176 275982 33554432000 4194304 16246674 140734580671456 140734580653376 12656032 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31306/statm: 334481 275982 904 2943 0 331375 0
[pid=31306/tid=31307] ppid=31303 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31307/stat : 31307 (toysat) S 31303 31306 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30951232 1370034176 275982 33554432000 4194304 16246674 140734580671456 140280263060720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31306/tid=31308] ppid=31303 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31308/stat : 31308 (toysat) S 31303 31306 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30951232 1370034176 275982 33554432000 4194304 16246674 140734580671456 140280252570864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31306/tid=31309] ppid=31303 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31309/stat : 31309 (toysat) S 31303 31306 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30951232 1370034176 275982 33554432000 4194304 16246674 140734580671456 140280242097328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1337924

[startup+12.7004 s]
/proc/loadavg: 2.08 2.10 2.12 3/184 31310
/proc/meminfo: memFree=28501300/32872528 swapFree=1191052/1305516
[pid=31306] ppid=31303 vsize=1337924 CPUtime=12.69 cores=0,2,4,6
/proc/31306/stat : 31306 (toysat) R 31303 31306 26736 0 -1 4202496 275172 0 0 0 1228 41 0 0 20 0 4 0 30951232 1370034176 275982 33554432000 4194304 16246674 140734580671456 140734580653376 13927267 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31306/statm: 334481 275982 904 2943 0 331375 0
[pid=31306/tid=31307] ppid=31303 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31307/stat : 31307 (toysat) S 31303 31306 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30951232 1370034176 275982 33554432000 4194304 16246674 140734580671456 140280263060720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31306/tid=31308] ppid=31303 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31308/stat : 31308 (toysat) S 31303 31306 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30951232 1370034176 275982 33554432000 4194304 16246674 140734580671456 140280252570864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31306/tid=31309] ppid=31303 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31309/stat : 31309 (toysat) S 31303 31306 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30951232 1370034176 275982 33554432000 4194304 16246674 140734580671456 140280242097328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1337924

[startup+25.5005 s]
/proc/loadavg: 2.06 2.09 2.12 4/183 31310
/proc/meminfo: memFree=28503948/32872528 swapFree=1191052/1305516
[pid=31306] ppid=31303 vsize=1337924 CPUtime=25.49 cores=0,2,4,6
/proc/31306/stat : 31306 (toysat) R 31303 31306 26736 0 -1 4202496 275172 0 0 0 2508 41 0 0 20 0 4 0 30951232 1370034176 275982 33554432000 4194304 16246674 140734580671456 140734580653376 12656086 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31306/statm: 334481 275982 904 2943 0 331375 0
[pid=31306/tid=31307] ppid=31303 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31307/stat : 31307 (toysat) S 31303 31306 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30951232 1370034176 275982 33554432000 4194304 16246674 140734580671456 140280263060720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31306/tid=31308] ppid=31303 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31308/stat : 31308 (toysat) S 31303 31306 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30951232 1370034176 275982 33554432000 4194304 16246674 140734580671456 140280252570864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31306/tid=31309] ppid=31303 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31309/stat : 31309 (toysat) S 31303 31306 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30951232 1370034176 275982 33554432000 4194304 16246674 140734580671456 140280242097328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1337924

[startup+51.1004 s]
/proc/loadavg: 2.04 2.08 2.11 3/183 31310
/proc/meminfo: memFree=28504292/32872528 swapFree=1191052/1305516
[pid=31306] ppid=31303 vsize=1337924 CPUtime=51.08 cores=0,2,4,6
/proc/31306/stat : 31306 (toysat) R 31303 31306 26736 0 -1 4202496 275172 0 0 0 5067 41 0 0 20 0 4 0 30951232 1370034176 275982 33554432000 4194304 16246674 140734580671456 140734580653376 6955355 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31306/statm: 334481 275982 904 2943 0 331375 0
[pid=31306/tid=31307] ppid=31303 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31307/stat : 31307 (toysat) S 31303 31306 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30951232 1370034176 275982 33554432000 4194304 16246674 140734580671456 140280263060720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31306/tid=31308] ppid=31303 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31308/stat : 31308 (toysat) S 31303 31306 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30951232 1370034176 275982 33554432000 4194304 16246674 140734580671456 140280252570864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31306/tid=31309] ppid=31303 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31309/stat : 31309 (toysat) S 31303 31306 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30951232 1370034176 275982 33554432000 4194304 16246674 140734580671456 140280242097328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1337924

[startup+102.3 s]
/proc/loadavg: 2.08 2.08 2.11 3/183 31311
/proc/meminfo: memFree=28502848/32872528 swapFree=1191052/1305516
[pid=31306] ppid=31303 vsize=1338948 CPUtime=102.28 cores=0,2,4,6
/proc/31306/stat : 31306 (toysat) R 31303 31306 26736 0 -1 4202496 275305 0 0 0 10187 41 0 0 20 0 4 0 30951232 1371082752 276115 33554432000 4194304 16246674 140734580671456 140734580653376 12413857 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31306/statm: 334737 276115 904 2943 0 331631 0
[pid=31306/tid=31307] ppid=31303 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31307/stat : 31307 (toysat) S 31303 31306 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30951232 1371082752 276115 33554432000 4194304 16246674 140734580671456 140280263060720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31306/tid=31308] ppid=31303 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31308/stat : 31308 (toysat) S 31303 31306 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30951232 1371082752 276115 33554432000 4194304 16246674 140734580671456 140280252570864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31306/tid=31309] ppid=31303 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31309/stat : 31309 (toysat) S 31303 31306 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30951232 1371082752 276115 33554432000 4194304 16246674 140734580671456 140280242097328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1338948


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

[pid=31306/tid=31309] ppid=31303 vsize=1509956 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31309/stat : 31309 (toysat) S 31303 31306 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30951232 1546194944 318994 33554432000 4194304 16246674 140734580671456 140280242097328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1509956

[startup+1362.3 s]
/proc/loadavg: 2.24 2.15 2.10 3/183 31342
/proc/meminfo: memFree=28102364/32872528 swapFree=1191052/1305516
[pid=31306] ppid=31303 vsize=1531460 CPUtime=1362.06 cores=0,2,4,6
/proc/31306/stat : 31306 (toysat) R 31303 31306 26736 0 -1 4202496 323620 0 0 0 136152 54 0 0 20 0 4 0 30951232 1568215040 324370 33554432000 4194304 16246674 140734580671456 140734580669312 4225216 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31306/statm: 382865 324370 904 2943 0 379759 0
[pid=31306/tid=31307] ppid=31303 vsize=1531460 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31307/stat : 31307 (toysat) S 31303 31306 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30951232 1568215040 324370 33554432000 4194304 16246674 140734580671456 140280263060720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31306/tid=31308] ppid=31303 vsize=1531460 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31308/stat : 31308 (toysat) S 31303 31306 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30951232 1568215040 324370 33554432000 4194304 16246674 140734580671456 140280252570864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31306/tid=31309] ppid=31303 vsize=1531460 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31309/stat : 31309 (toysat) S 31303 31306 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30951232 1568215040 324370 33554432000 4194304 16246674 140734580671456 140280242097328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1531460

[startup+1422.3 s]
/proc/loadavg: 2.24 2.17 2.10 3/183 31344
/proc/meminfo: memFree=28077540/32872528 swapFree=1191052/1305516
[pid=31306] ppid=31303 vsize=1540676 CPUtime=1422.05 cores=0,2,4,6
/proc/31306/stat : 31306 (toysat) R 31303 31306 26736 0 -1 4202496 325929 0 0 0 142151 54 0 0 20 0 4 0 30951232 1577652224 326674 33554432000 4194304 16246674 140734580671456 140734580670672 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31306/statm: 385169 326674 904 2943 0 382063 0
[pid=31306/tid=31307] ppid=31303 vsize=1540676 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31307/stat : 31307 (toysat) S 31303 31306 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30951232 1577652224 326674 33554432000 4194304 16246674 140734580671456 140280263060720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31306/tid=31308] ppid=31303 vsize=1540676 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31308/stat : 31308 (toysat) S 31303 31306 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30951232 1577652224 326674 33554432000 4194304 16246674 140734580671456 140280252570864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31306/tid=31309] ppid=31303 vsize=1540676 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31309/stat : 31309 (toysat) S 31303 31306 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30951232 1577652224 326674 33554432000 4194304 16246674 140734580671456 140280242097328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1540676

[startup+1482.3 s]
/proc/loadavg: 2.22 2.18 2.11 3/183 31345
/proc/meminfo: memFree=28056120/32872528 swapFree=1191052/1305516
[pid=31306] ppid=31303 vsize=1555012 CPUtime=1482.04 cores=0,2,4,6
/proc/31306/stat : 31306 (toysat) R 31303 31306 26736 0 -1 4202496 329516 0 0 0 148149 55 0 0 20 0 4 0 30951232 1592332288 330258 33554432000 4194304 16246674 140734580671456 140734580669312 12449312 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31306/statm: 388753 330258 904 2943 0 385647 0
[pid=31306/tid=31307] ppid=31303 vsize=1555012 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31307/stat : 31307 (toysat) S 31303 31306 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30951232 1592332288 330258 33554432000 4194304 16246674 140734580671456 140280263060720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31306/tid=31308] ppid=31303 vsize=1555012 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31308/stat : 31308 (toysat) S 31303 31306 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30951232 1592332288 330258 33554432000 4194304 16246674 140734580671456 140280252570864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31306/tid=31309] ppid=31303 vsize=1555012 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31309/stat : 31309 (toysat) S 31303 31306 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30951232 1592332288 330258 33554432000 4194304 16246674 140734580671456 140280242097328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1555012

[startup+1542.31 s]
/proc/loadavg: 2.20 2.17 2.11 3/183 31346
/proc/meminfo: memFree=28051256/32872528 swapFree=1191052/1305516
[pid=31306] ppid=31303 vsize=1560132 CPUtime=1542.04 cores=0,2,4,6
/proc/31306/stat : 31306 (toysat) R 31303 31306 26736 0 -1 4202496 330796 0 0 0 154149 55 0 0 20 0 4 0 30951232 1597575168 331538 33554432000 4194304 16246674 140734580671456 140734580670672 12449399 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31306/statm: 390033 331538 904 2943 0 386927 0
[pid=31306/tid=31307] ppid=31303 vsize=1560132 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31307/stat : 31307 (toysat) S 31303 31306 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30951232 1597575168 331538 33554432000 4194304 16246674 140734580671456 140280263060720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31306/tid=31308] ppid=31303 vsize=1560132 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31308/stat : 31308 (toysat) S 31303 31306 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30951232 1597575168 331538 33554432000 4194304 16246674 140734580671456 140280252570864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31306/tid=31309] ppid=31303 vsize=1560132 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31309/stat : 31309 (toysat) S 31303 31306 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30951232 1597575168 331538 33554432000 4194304 16246674 140734580671456 140280242097328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1560132

[startup+1602.3 s]
/proc/loadavg: 2.22 2.18 2.11 4/183 31396
/proc/meminfo: memFree=28295804/32872528 swapFree=1191052/1305516
[pid=31306] ppid=31303 vsize=1563204 CPUtime=1602.02 cores=0,2,4,6
/proc/31306/stat : 31306 (toysat) R 31303 31306 26736 0 -1 4202496 331564 0 0 0 160147 55 0 0 20 0 4 0 30951232 1600720896 332306 33554432000 4194304 16246674 140734580671456 140734580653376 4207010 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31306/statm: 390801 332306 904 2943 0 387695 0
[pid=31306/tid=31307] ppid=31303 vsize=1563204 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31307/stat : 31307 (toysat) S 31303 31306 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30951232 1600720896 332306 33554432000 4194304 16246674 140734580671456 140280263060720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31306/tid=31308] ppid=31303 vsize=1563204 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31308/stat : 31308 (toysat) S 31303 31306 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30951232 1600720896 332306 33554432000 4194304 16246674 140734580671456 140280252570864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31306/tid=31309] ppid=31303 vsize=1563204 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31309/stat : 31309 (toysat) S 31303 31306 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30951232 1600720896 332306 33554432000 4194304 16246674 140734580671456 140280242097328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1563204

[startup+1662.3 s]
/proc/loadavg: 2.22 2.19 2.12 3/183 31397
/proc/meminfo: memFree=28289640/32872528 swapFree=1191052/1305516
[pid=31306] ppid=31303 vsize=1569348 CPUtime=1662.01 cores=0,2,4,6
/proc/31306/stat : 31306 (toysat) R 31303 31306 26736 0 -1 4202496 333100 0 0 0 166145 56 0 0 20 0 4 0 30951232 1607012352 333842 33554432000 4194304 16246674 140734580671456 140734580669312 4206607 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31306/statm: 392337 333842 904 2943 0 389231 0
[pid=31306/tid=31307] ppid=31303 vsize=1569348 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31307/stat : 31307 (toysat) S 31303 31306 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30951232 1607012352 333842 33554432000 4194304 16246674 140734580671456 140280263060720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31306/tid=31308] ppid=31303 vsize=1569348 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31308/stat : 31308 (toysat) S 31303 31306 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30951232 1607012352 333842 33554432000 4194304 16246674 140734580671456 140280252570864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31306/tid=31309] ppid=31303 vsize=1569348 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31309/stat : 31309 (toysat) S 31303 31306 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30951232 1607012352 333842 33554432000 4194304 16246674 140734580671456 140280242097328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1569348

[startup+1722.3 s]
/proc/loadavg: 2.13 2.17 2.11 3/182 31398
/proc/meminfo: memFree=28280060/32872528 swapFree=1191052/1305516
[pid=31306] ppid=31303 vsize=1578564 CPUtime=1722 cores=0,2,4,6
/proc/31306/stat : 31306 (toysat) R 31303 31306 26736 0 -1 4202496 335404 0 0 0 172144 56 0 0 20 0 4 0 30951232 1616449536 336146 33554432000 4194304 16246674 140734580671456 140734580653376 4226104 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31306/statm: 394641 336146 904 2943 0 391535 0
[pid=31306/tid=31307] ppid=31303 vsize=1578564 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31307/stat : 31307 (toysat) S 31303 31306 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30951232 1616449536 336146 33554432000 4194304 16246674 140734580671456 140280263060720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31306/tid=31308] ppid=31303 vsize=1578564 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31308/stat : 31308 (toysat) S 31303 31306 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30951232 1616449536 336146 33554432000 4194304 16246674 140734580671456 140280252570864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31306/tid=31309] ppid=31303 vsize=1578564 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31309/stat : 31309 (toysat) S 31303 31306 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30951232 1616449536 336146 33554432000 4194304 16246674 140734580671456 140280242097328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1578564

[startup+1782.3 s]
/proc/loadavg: 2.16 2.17 2.11 4/184 31403
/proc/meminfo: memFree=28280308/32872528 swapFree=1191052/1305516
[pid=31306] ppid=31303 vsize=1578564 CPUtime=1781.99 cores=0,2,4,6
/proc/31306/stat : 31306 (toysat) R 31303 31306 26736 0 -1 4202496 335404 0 0 0 178143 56 0 0 20 0 4 0 30951232 1616449536 336146 33554432000 4194304 16246674 140734580671456 140734580670672 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31306/statm: 394641 336146 904 2943 0 391535 0
[pid=31306/tid=31307] ppid=31303 vsize=1578564 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31307/stat : 31307 (toysat) S 31303 31306 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30951232 1616449536 336146 33554432000 4194304 16246674 140734580671456 140280263060720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31306/tid=31308] ppid=31303 vsize=1578564 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31308/stat : 31308 (toysat) S 31303 31306 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30951232 1616449536 336146 33554432000 4194304 16246674 140734580671456 140280252570864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31306/tid=31309] ppid=31303 vsize=1578564 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31309/stat : 31309 (toysat) S 31303 31306 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30951232 1616449536 336146 33554432000 4194304 16246674 140734580671456 140280242097328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1578564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.19 2.17 2.11 3/184 31403
/proc/meminfo: memFree=28280184/32872528 swapFree=1191052/1305516
[pid=31306] ppid=31303 vsize=1578564 CPUtime=1800.09 cores=0,2,4,6
/proc/31306/stat : 31306 (toysat) R 31303 31306 26736 0 -1 4202496 335404 0 0 0 179953 56 0 0 20 0 4 0 30951232 1616449536 336146 33554432000 4194304 16246674 140734580671456 140734580669312 4206649 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31306/statm: 394641 336146 904 2943 0 391535 0
[pid=31306/tid=31307] ppid=31303 vsize=1578564 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31307/stat : 31307 (toysat) S 31303 31306 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30951232 1616449536 336146 33554432000 4194304 16246674 140734580671456 140280263060720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31306/tid=31308] ppid=31303 vsize=1578564 CPUtime=0.01 cores=0,2,4,6
/proc/31306/task/31308/stat : 31308 (toysat) S 31303 31306 26736 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30951232 1616449536 336146 33554432000 4194304 16246674 140734580671456 140280252570864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31306/tid=31309] ppid=31303 vsize=1578564 CPUtime=0 cores=0,2,4,6
/proc/31306/task/31309/stat : 31309 (toysat) S 31303 31306 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30951232 1616449536 336146 33554432000 4194304 16246674 140734580671456 140280242097328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1578564

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31306 and gives
#  childrusage.ru_utime.tv_sec=1799
#  childrusage.ru_utime.tv_usec=525430
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=554915
# CPU time returned by wait4() is 1800.08
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1799.53
CPU system time (s): 0.56
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 1578564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.554915
maximum resident set size= 1344584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 335404
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= 2181
involuntary context switches= 3404

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.27105 second user time and 7.98879 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-19 00:30:46
IDJOB=4107686
IDBENCH=72464
IDSOLVER=2542
FILE ID=node127/4107686-1466289046
RUNJOBID= node127-1466265123-26752
PBS_JOBID= 19918231
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-r-cran-car.cudf.trendy.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107686-1466289046/watcher-4107686-1466289046 -o /tmp/evaluation-result-4107686-1466289046/solver-4107686-1466289046 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26752 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107686-1466289046.opb

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

MD5SUM BENCH= 375f69664b21dc1e0f3170db2066fbfe
RANDOM SEED=140206226

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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.769
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.56
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.769
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:        29603968 kB
Buffers:           11152 kB
Cached:            89204 kB
SwapCached:          500 kB
Active:          1185752 kB
Inactive:          36264 kB
Active(anon):    1119440 kB
Inactive(anon):     4180 kB
Active(file):      66312 kB
Inactive(file):    32084 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             19800 kB
Writeback:             0 kB
AnonPages:       2425952 kB
Mapped:            10732 kB
Shmem:                 0 kB
Slab:             602956 kB
SReclaimable:      47076 kB
SUnreclaim:       555880 kB
KernelStack:        1528 kB
PageTables:         8764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2568144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node127 at 2016-06-19 01:00:47