Trace number 4118034

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.1 1800.43

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-faclay75.opb
MD5SUMaef63d998a9383c9f828d375d1a2e5e1
Bench CategoryOPT-BIGINT-NLC (optimisation, big integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2669211
Best CPU time to get the best result obtained on this benchmark610.042
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2776
Total number of constraints135051
Number of constraints which are clauses135050
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 149651
Biggest coefficient in the objective function 3944708
Number of bits for the biggest coefficient in the objective function 22
Sum of the numbers in the objective function 34212972
Number of bits of the sum of numbers in the objective function 26
Biggest number in a constraint 3944708
Number of bits of the biggest number in a constraint 22
Biggest sum of numbers in a constraint 34212972
Number of bits of the biggest sum of numbers26
Number of products (including duplicates)146876
Sum of products size (including duplicates)293752
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-29T18:36:30+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-4118034-1467218190.opb"]
0.00/0.01	c use --random-gen="1188809570 2702148388 1548986162 1328104285 2017772192 3148582126 958209063 2396825517 2341879819 3557948880 3186209059 3500561648 3045270691 1022885867 1526849556 2945903171 105507132 3474049607 660202435 2280296894 673695176 3208604212 1430046249 1788211691 3773739912 1205044863 1973310651 2065826778 2512735351 357489716 2148072635 821074229 3167983449 973005420 4109468025 360768147 3340762819 787331307 1523321861 310725125 2247158577 3067647285 3627413828 2858748268 1416298216 1965528600 3386510857 1508460478 4272413000 634161009 3239395068 1276158221 1705851353 3771487943 1768494027 106798535 307230670 95531234 284570538 3406984890 1260976669 1311040906 501875567 2921616273 1910834701 3999043101 2350702377 938820341 996324164 16143443 1651846216 3943098216 3681486696 2978701117 210914043 3454873550 2525650915 2370361232 2469830802 2249220649 4084055835 3574263465 829781667 162496895 2716459204 243702521 469950585 1370147183 3038068412 1294716994 433915291 1253471658 2254460911 1023135977 3454331283 3941398702 856288561 2419306120 2570605446 746823458 2121379264 4250132565 2073647271 4219420337 2957324282 623016834 58027233 1075635590 3212309085 4293480857 663895155 2079714071 574493618 3452655946 1623248928 329571119 4205322125 999752498 3751940778 3223032734 1445361864 3423962156 4228964620 3455648686 2147471608 1431345604 3381154809 3862359718 2500826301 1280386648 1183652302 1455010240 1606450180 4042196053 2793042619 1067735654 887626308 2448146531 560382925 1244094608 1548718004 491290340 2177740614 2852762169 1055722309 3695052372 4149728534 3583027407 3137761805 4107775485 4124734401 4273620829 3460322650 101447023 3493514423 3003567365 985597388 1380592158 3732636674 728446877 1134271568 1177582768 628072930 1949515609 3074126735 2708100307 3261966459 3250017936 2196875675 1164951469 1936213856 1469628040 2170153691 2873099023 190259746 2425856638 3703095848 2943632439 429954756 3574379573 1036383422 555457682 2737920061 4274602890 1492164057 1601806185 943877884 1951488859 4103051634 2136129519 1127852695 1113655883 3710692649 1565981460 538714610 642741624 3128834217 2138770575 1883638601 1332048167 532009487 1128692543 3159493777 4258184473 1388309516 3932514955 483878991 2024647284 1219816253 139984852 1699349109 1925001548 2206279230 2003843150 4246106631 946888724 3457586368 1105894393 2318545496 3141514217 1081855724 1001767420 3039260554 3408256707 687318844 3499766897 1682770812 1920816544 2429599499 2516555818 811197546 2235409028 2976684854 2706889020 624401409 3990605138 733052030 608071403 3852286780 2269106495 361149033 1224211343 3122873858 1917155143 3820126687 267197500 2481416708 274086208 1513308031 1723054962 2473048641 1960342540 1556358692 2423013699 4015159575 1573281308 255 362436" option to reproduce the execution
1.29/1.33	c #vars 2776
1.29/1.33	c #constraints 135051
6.49/6.53	c BCD2: Hardening is enabled.
6.49/6.53	c BCD2: BiasedSearch is enabled.
6.49/6.53	c Solving starts ...
6.49/6.53	c ============================[ Search Statistics ]============================
6.49/6.53	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
6.49/6.53	c       |         |          |          |    Limit     GC | Var      | Constra 
6.49/6.53	c =============================================================================
6.70/6.78	c  0.0s |       0 |        0 |        0 |   176641      0 |        1 |        0
7.49/7.57	c  0.8s |       0 |   112958 |        0 |   176641      0 |        1 |        0
7.49/7.57	c #cpu_time = 0.711s
7.49/7.57	c #wall_clock_time = 0.711s
7.49/7.57	c #decision = 112958
7.49/7.57	c #random_decision = 400
7.49/7.57	c #conflict = 0
7.49/7.57	c #restart = 0
7.49/7.59	o 3944708

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

pid=5063
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.23 2.21 2.18 4/179 5066
/proc/meminfo: memFree=23481076/32872528 swapFree=1253612/1390560
[pid=5066] ppid=5063 vsize=559548 CPUtime=0 cores=0,2,4,6
/proc/5066/stat : 5066 (toysat) R 5063 5066 3971 0 -1 4202496 2056 0 0 0 0 0 0 0 20 0 4 0 2779853 572977152 2927 33554432000 4194304 16246674 140736027311712 140736027311136 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5066/statm: 140655 2938 441 2943 0 137549 0
[pid=5066/tid=5067] ppid=5063 vsize=577980 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5067/stat : 5067 (toysat) S 5063 5066 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2779853 591851520 3000 33554432000 4194304 16246674 140736027311712 139859129773296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5066/tid=5068] ppid=5063 vsize=582076 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5068/stat : 5068 (toysat) S 5063 5066 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2779853 596045824 3018 33554432000 4194304 16246674 140736027311712 139859119283440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5066/tid=5069] ppid=5063 vsize=587196 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5069/stat : 5069 (toysat) S 5063 5066 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2779853 601288704 3035 33554432000 4194304 16246674 140736027311712 139859033320624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100128 s]
/proc/loadavg: 2.23 2.21 2.18 4/179 5066
/proc/meminfo: memFree=23481076/32872528 swapFree=1253612/1390560
[pid=5066] ppid=5063 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/5066/stat : 5066 (toysat) R 5063 5066 3971 0 -1 4202496 28304 0 0 0 6 3 0 0 20 0 4 0 2779853 1332285440 29113 33554432000 4194304 16246674 140736027311712 140736027311024 7371468 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5066/statm: 325265 29127 799 2943 0 322159 0
[pid=5066/tid=5067] ppid=5063 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5067/stat : 5067 (toysat) S 5063 5066 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2779853 1332285440 29141 33554432000 4194304 16246674 140736027311712 139859129773296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5066/tid=5068] ppid=5063 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5068/stat : 5068 (toysat) S 5063 5066 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2779853 1332285440 29152 33554432000 4194304 16246674 140736027311712 139859119283440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5066/tid=5069] ppid=5063 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5069/stat : 5069 (toysat) S 5063 5066 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2779853 1332285440 29164 33554432000 4194304 16246674 140736027311712 139859033320624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200486 s]
/proc/loadavg: 2.23 2.21 2.18 4/179 5066
/proc/meminfo: memFree=23481076/32872528 swapFree=1253612/1390560
[pid=5066] ppid=5063 vsize=1314372 CPUtime=0.19 cores=0,2,4,6
/proc/5066/stat : 5066 (toysat) R 5063 5066 3971 0 -1 4202496 45057 0 0 0 14 5 0 0 20 0 4 0 2779853 1345916928 46377 33554432000 4194304 16246674 140736027311712 140736027310376 8058836 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5066/statm: 328593 46377 799 2943 0 325487 0
[pid=5066/tid=5067] ppid=5063 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5067/stat : 5067 (toysat) S 5063 5066 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2779853 1345916928 46377 33554432000 4194304 16246674 140736027311712 139859129773296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5066/tid=5068] ppid=5063 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5068/stat : 5068 (toysat) S 5063 5066 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2779853 1345916928 46377 33554432000 4194304 16246674 140736027311712 139859119283440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5066/tid=5069] ppid=5063 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5069/stat : 5069 (toysat) S 5063 5066 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2779853 1345916928 46377 33554432000 4194304 16246674 140736027311712 139859033320624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300471 s]
/proc/loadavg: 2.23 2.21 2.18 4/179 5066
/proc/meminfo: memFree=23481076/32872528 swapFree=1253612/1390560
[pid=5066] ppid=5063 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/5066/stat : 5066 (toysat) R 5063 5066 3971 0 -1 4202496 49418 0 0 0 23 6 0 0 20 0 4 0 2779853 1345916928 50738 33554432000 4194304 16246674 140736027311712 140736027310376 4206649 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5066/statm: 328593 50738 799 2943 0 325487 0
[pid=5066/tid=5067] ppid=5063 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5067/stat : 5067 (toysat) S 5063 5066 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2779853 1345916928 50738 33554432000 4194304 16246674 140736027311712 139859129773296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5066/tid=5068] ppid=5063 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5068/stat : 5068 (toysat) S 5063 5066 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2779853 1345916928 50738 33554432000 4194304 16246674 140736027311712 139859119283440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5066/tid=5069] ppid=5063 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5069/stat : 5069 (toysat) S 5063 5066 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2779853 1345916928 50738 33554432000 4194304 16246674 140736027311712 139859033320624 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) 1314372

[startup+0.700363 s]
/proc/loadavg: 2.23 2.21 2.18 4/179 5066
/proc/meminfo: memFree=23481076/32872528 swapFree=1253612/1390560
[pid=5066] ppid=5063 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/5066/stat : 5066 (toysat) R 5063 5066 3971 0 -1 4202496 73797 0 0 0 59 10 0 0 20 0 4 0 2779853 1345916928 75117 33554432000 4194304 16246674 140736027311712 140736027310376 4220536 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5066/statm: 328593 75117 801 2943 0 325487 0
[pid=5066/tid=5067] ppid=5063 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5067/stat : 5067 (toysat) S 5063 5066 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2779853 1345916928 75117 33554432000 4194304 16246674 140736027311712 139859129773296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5066/tid=5068] ppid=5063 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5068/stat : 5068 (toysat) S 5063 5066 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2779853 1345916928 75117 33554432000 4194304 16246674 140736027311712 139859119283440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5066/tid=5069] ppid=5063 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5069/stat : 5069 (toysat) S 5063 5066 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2779853 1345916928 75117 33554432000 4194304 16246674 140736027311712 139859033320624 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) 1314372

[startup+1.50038 s]
/proc/loadavg: 2.23 2.21 2.18 2/174 5101
/proc/meminfo: memFree=24244852/32872528 swapFree=1253612/1390560
[pid=5066] ppid=5063 vsize=1326660 CPUtime=1.49 cores=0,2,4,6
/proc/5066/stat : 5066 (toysat) R 5063 5066 3971 0 -1 4202496 94320 0 0 0 136 13 0 0 20 0 4 0 2779853 1358499840 97173 33554432000 4194304 16246674 140736027311712 140736027309568 6756128 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5066/statm: 331665 97182 836 2943 0 328559 0
[pid=5066/tid=5067] ppid=5063 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5067/stat : 5067 (toysat) S 5063 5066 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2779853 1358499840 97188 33554432000 4194304 16246674 140736027311712 139859129773296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5066/tid=5068] ppid=5063 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5068/stat : 5068 (toysat) S 5063 5066 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2779853 1358499840 97193 33554432000 4194304 16246674 140736027311712 139859119283440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5066/tid=5069] ppid=5063 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5069/stat : 5069 (toysat) S 5063 5066 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2779853 1358499840 97199 33554432000 4194304 16246674 140736027311712 139859033320624 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.10042 s]
/proc/loadavg: 2.21 2.21 2.18 3/183 5119
/proc/meminfo: memFree=23432448/32872528 swapFree=1253612/1390560
[pid=5066] ppid=5063 vsize=1352260 CPUtime=3.09 cores=0,2,4,6
/proc/5066/stat : 5066 (toysat) R 5063 5066 3971 0 -1 4202496 275571 0 0 0 267 42 0 0 20 0 4 0 2779853 1384714240 278935 33554432000 4194304 16246674 140736027311712 140736027293632 4230616 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5066/statm: 338065 278935 836 2943 0 334959 0
[pid=5066/tid=5067] ppid=5063 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5067/stat : 5067 (toysat) S 5063 5066 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2779853 1384714240 278935 33554432000 4194304 16246674 140736027311712 139859129773296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5066/tid=5068] ppid=5063 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5068/stat : 5068 (toysat) S 5063 5066 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2779853 1384714240 278935 33554432000 4194304 16246674 140736027311712 139859119283440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5066/tid=5069] ppid=5063 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5069/stat : 5069 (toysat) S 5063 5066 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2779853 1384714240 278935 33554432000 4194304 16246674 140736027311712 139859033320624 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) 1352260

[startup+6.30038 s]
/proc/loadavg: 2.21 2.21 2.18 4/183 5119
/proc/meminfo: memFree=22419400/32872528 swapFree=1253612/1390560
[pid=5066] ppid=5063 vsize=1376836 CPUtime=6.29 cores=0,2,4,6
/proc/5066/stat : 5066 (toysat) R 5063 5066 3971 0 -1 4202496 281766 0 0 0 586 43 0 0 20 0 4 0 2779853 1409880064 286152 33554432000 4194304 16246674 140736027311712 140736027293632 5874108 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5066/statm: 344209 286152 843 2943 0 341103 0
[pid=5066/tid=5067] ppid=5063 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5067/stat : 5067 (toysat) S 5063 5066 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2779853 1409880064 286152 33554432000 4194304 16246674 140736027311712 139859129773296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5066/tid=5068] ppid=5063 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5068/stat : 5068 (toysat) S 5063 5066 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2779853 1409880064 286152 33554432000 4194304 16246674 140736027311712 139859119283440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5066/tid=5069] ppid=5063 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5069/stat : 5069 (toysat) S 5063 5066 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2779853 1409880064 286152 33554432000 4194304 16246674 140736027311712 139859033320624 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.18 2.20 2.18 4/183 5119
/proc/meminfo: memFree=22249628/32872528 swapFree=1253612/1390560
[pid=5066] ppid=5063 vsize=1394244 CPUtime=12.69 cores=0,2,4,6
/proc/5066/stat : 5066 (toysat) R 5063 5066 3971 0 -1 4202496 286156 0 0 0 1225 44 0 0 20 0 4 0 2779853 1427705856 290542 33554432000 4194304 16246674 140736027311712 140736027293632 12654426 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5066/statm: 348561 290542 891 2943 0 345455 0
[pid=5066/tid=5067] ppid=5063 vsize=1394244 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5067/stat : 5067 (toysat) S 5063 5066 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2779853 1427705856 290542 33554432000 4194304 16246674 140736027311712 139859129773296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5066/tid=5068] ppid=5063 vsize=1394244 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5068/stat : 5068 (toysat) S 5063 5066 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2779853 1427705856 290542 33554432000 4194304 16246674 140736027311712 139859119283440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5066/tid=5069] ppid=5063 vsize=1394244 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5069/stat : 5069 (toysat) S 5063 5066 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2779853 1427705856 290542 33554432000 4194304 16246674 140736027311712 139859033320624 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) 1394244

[startup+25.5005 s]
/proc/loadavg: 2.15 2.19 2.18 3/183 5119
/proc/meminfo: memFree=22250740/32872528 swapFree=1253612/1390560
[pid=5066] ppid=5063 vsize=1394244 CPUtime=25.49 cores=0,2,4,6
/proc/5066/stat : 5066 (toysat) R 5063 5066 3971 0 -1 4202496 286156 0 0 0 2505 44 0 0 20 0 4 0 2779853 1427705856 290542 33554432000 4194304 16246674 140736027311712 140736027293632 12371080 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5066/statm: 348561 290542 891 2943 0 345455 0
[pid=5066/tid=5067] ppid=5063 vsize=1394244 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5067/stat : 5067 (toysat) S 5063 5066 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2779853 1427705856 290542 33554432000 4194304 16246674 140736027311712 139859129773296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5066/tid=5068] ppid=5063 vsize=1394244 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5068/stat : 5068 (toysat) S 5063 5066 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2779853 1427705856 290542 33554432000 4194304 16246674 140736027311712 139859119283440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5066/tid=5069] ppid=5063 vsize=1394244 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5069/stat : 5069 (toysat) S 5063 5066 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2779853 1427705856 290542 33554432000 4194304 16246674 140736027311712 139859033320624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1394244

[startup+51.1005 s]
/proc/loadavg: 2.24 2.21 2.18 3/183 5120
/proc/meminfo: memFree=22250156/32872528 swapFree=1253612/1390560
[pid=5066] ppid=5063 vsize=1394244 CPUtime=51.08 cores=0,2,4,6
/proc/5066/stat : 5066 (toysat) R 5063 5066 3971 0 -1 4202496 286156 0 0 0 5064 44 0 0 20 0 4 0 2779853 1427705856 290542 33554432000 4194304 16246674 140736027311712 140736027293632 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5066/statm: 348561 290542 891 2943 0 345455 0
[pid=5066/tid=5067] ppid=5063 vsize=1394244 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5067/stat : 5067 (toysat) S 5063 5066 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2779853 1427705856 290542 33554432000 4194304 16246674 140736027311712 139859129773296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5066/tid=5068] ppid=5063 vsize=1394244 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5068/stat : 5068 (toysat) S 5063 5066 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2779853 1427705856 290542 33554432000 4194304 16246674 140736027311712 139859119283440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5066/tid=5069] ppid=5063 vsize=1394244 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5069/stat : 5069 (toysat) S 5063 5066 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2779853 1427705856 290542 33554432000 4194304 16246674 140736027311712 139859033320624 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) 1394244

[startup+102.3 s]
/proc/loadavg: 2.21 2.20 2.18 3/183 5121
/proc/meminfo: memFree=22068100/32872528 swapFree=1253612/1390560
[pid=5066] ppid=5063 vsize=1394244 CPUtime=102.28 cores=0,2,4,6
/proc/5066/stat : 5066 (toysat) R 5063 5066 3971 0 -1 4202496 286158 0 0 0 10184 44 0 0 20 0 4 0 2779853 1427705856 290542 33554432000 4194304 16246674 140736027311712 140736027293632 12414092 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5066/statm: 348561 290542 891 2943 0 345455 0
[pid=5066/tid=5067] ppid=5063 vsize=1394244 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5067/stat : 5067 (toysat) S 5063 5066 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2779853 1427705856 290542 33554432000 4194304 16246674 140736027311712 139859129773296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5066/tid=5068] ppid=5063 vsize=1394244 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5068/stat : 5068 (toysat) S 5063 5066 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2779853 1427705856 290542 33554432000 4194304 16246674 140736027311712 139859119283440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5066/tid=5069] ppid=5063 vsize=1394244 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5069/stat : 5069 (toysat) S 5063 5066 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2779853 1427705856 290542 33554432000 4194304 16246674 140736027311712 139859033320624 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) 1394244


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

/proc/5066/task/5069/stat : 5069 (toysat) S 5063 5066 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2779853 1715015680 360702 33554432000 4194304 16246674 140736027311712 139859033320624 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) 1674820

[startup+1302.3 s]
/proc/loadavg: 2.25 2.26 2.20 3/183 5151
/proc/meminfo: memFree=20829380/32872528 swapFree=1253612/1390560
[pid=5066] ppid=5063 vsize=1700420 CPUtime=1302.06 cores=0,2,4,6
/proc/5066/stat : 5066 (toysat) R 5063 5066 3971 0 -1 4202496 362791 0 0 0 130149 57 0 0 20 0 4 0 2779853 1741230080 367102 33554432000 4194304 16246674 140736027311712 140736027309504 4207010 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5066/statm: 425105 367102 891 2943 0 421999 0
[pid=5066/tid=5067] ppid=5063 vsize=1700420 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5067/stat : 5067 (toysat) S 5063 5066 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2779853 1741230080 367102 33554432000 4194304 16246674 140736027311712 139859129773296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5066/tid=5068] ppid=5063 vsize=1700420 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5068/stat : 5068 (toysat) S 5063 5066 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2779853 1741230080 367102 33554432000 4194304 16246674 140736027311712 139859119283440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5066/tid=5069] ppid=5063 vsize=1700420 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5069/stat : 5069 (toysat) S 5063 5066 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2779853 1741230080 367102 33554432000 4194304 16246674 140736027311712 139859033320624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1700420

[startup+1362.3 s]
/proc/loadavg: 2.36 2.29 2.20 3/183 5152
/proc/meminfo: memFree=20813176/32872528 swapFree=1253612/1390560
[pid=5066] ppid=5063 vsize=1700420 CPUtime=1362.05 cores=0,2,4,6
/proc/5066/stat : 5066 (toysat) R 5063 5066 3971 0 -1 4202496 362791 0 0 0 136148 57 0 0 20 0 4 0 2779853 1741230080 367102 33554432000 4194304 16246674 140736027311712 140736027309504 12371175 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5066/statm: 425105 367102 891 2943 0 421999 0
[pid=5066/tid=5067] ppid=5063 vsize=1700420 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5067/stat : 5067 (toysat) S 5063 5066 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2779853 1741230080 367102 33554432000 4194304 16246674 140736027311712 139859129773296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5066/tid=5068] ppid=5063 vsize=1700420 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5068/stat : 5068 (toysat) S 5063 5066 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2779853 1741230080 367102 33554432000 4194304 16246674 140736027311712 139859119283440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5066/tid=5069] ppid=5063 vsize=1700420 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5069/stat : 5069 (toysat) S 5063 5066 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2779853 1741230080 367102 33554432000 4194304 16246674 140736027311712 139859033320624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1700420

[startup+1422.3 s]
/proc/loadavg: 2.44 2.32 2.22 3/184 5156
/proc/meminfo: memFree=20807004/32872528 swapFree=1253612/1390560
[pid=5066] ppid=5063 vsize=1705540 CPUtime=1422.04 cores=0,2,4,6
/proc/5066/stat : 5066 (toysat) R 5063 5066 3971 0 -1 4202496 364071 0 0 0 142147 57 0 0 20 0 4 0 2779853 1746472960 368382 33554432000 4194304 16246674 140736027311712 140736027293632 4206952 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5066/statm: 426385 368382 891 2943 0 423279 0
[pid=5066/tid=5067] ppid=5063 vsize=1705540 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5067/stat : 5067 (toysat) S 5063 5066 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2779853 1746472960 368382 33554432000 4194304 16246674 140736027311712 139859129773296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5066/tid=5068] ppid=5063 vsize=1705540 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5068/stat : 5068 (toysat) S 5063 5066 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2779853 1746472960 368382 33554432000 4194304 16246674 140736027311712 139859119283440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5066/tid=5069] ppid=5063 vsize=1705540 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5069/stat : 5069 (toysat) S 5063 5066 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2779853 1746472960 368382 33554432000 4194304 16246674 140736027311712 139859033320624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1705540

[startup+1482.3 s]
/proc/loadavg: 2.31 2.31 2.22 3/184 5180
/proc/meminfo: memFree=20796844/32872528 swapFree=1253612/1390560
[pid=5066] ppid=5063 vsize=1715780 CPUtime=1482.02 cores=0,2,4,6
/proc/5066/stat : 5066 (toysat) R 5063 5066 3971 0 -1 4202496 366631 0 0 0 148145 57 0 0 20 0 4 0 2779853 1756958720 370942 33554432000 4194304 16246674 140736027311712 140736027293632 4220520 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5066/statm: 428945 370942 891 2943 0 425839 0
[pid=5066/tid=5067] ppid=5063 vsize=1715780 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5067/stat : 5067 (toysat) S 5063 5066 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2779853 1756958720 370942 33554432000 4194304 16246674 140736027311712 139859129773296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5066/tid=5068] ppid=5063 vsize=1715780 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5068/stat : 5068 (toysat) S 5063 5066 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2779853 1756958720 370942 33554432000 4194304 16246674 140736027311712 139859119283440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5066/tid=5069] ppid=5063 vsize=1715780 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5069/stat : 5069 (toysat) S 5063 5066 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2779853 1756958720 370942 33554432000 4194304 16246674 140736027311712 139859033320624 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) 1715780

[startup+1542.31 s]
/proc/loadavg: 2.22 2.28 2.21 3/183 5181
/proc/meminfo: memFree=20782668/32872528 swapFree=1253612/1390560
[pid=5066] ppid=5063 vsize=1730116 CPUtime=1542.02 cores=0,2,4,6
/proc/5066/stat : 5066 (toysat) R 5063 5066 3971 0 -1 4202496 370215 0 0 0 154144 58 0 0 20 0 4 0 2779853 1771638784 374526 33554432000 4194304 16246674 140736027311712 140736027293632 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5066/statm: 432529 374526 891 2943 0 429423 0
[pid=5066/tid=5067] ppid=5063 vsize=1730116 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5067/stat : 5067 (toysat) S 5063 5066 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2779853 1771638784 374526 33554432000 4194304 16246674 140736027311712 139859129773296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5066/tid=5068] ppid=5063 vsize=1730116 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5068/stat : 5068 (toysat) S 5063 5066 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2779853 1771638784 374526 33554432000 4194304 16246674 140736027311712 139859119283440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5066/tid=5069] ppid=5063 vsize=1730116 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5069/stat : 5069 (toysat) S 5063 5066 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2779853 1771638784 374526 33554432000 4194304 16246674 140736027311712 139859033320624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 1730116

[startup+1602.3 s]
/proc/loadavg: 2.24 2.27 2.21 3/183 5183
/proc/meminfo: memFree=20782816/32872528 swapFree=1253612/1390560
[pid=5066] ppid=5063 vsize=1730116 CPUtime=1602 cores=0,2,4,6
/proc/5066/stat : 5066 (toysat) R 5063 5066 3971 0 -1 4202496 370215 0 0 0 160142 58 0 0 20 0 4 0 2779853 1771638784 374526 33554432000 4194304 16246674 140736027311712 140736027309504 12414096 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5066/statm: 432529 374526 891 2943 0 429423 0
[pid=5066/tid=5067] ppid=5063 vsize=1730116 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5067/stat : 5067 (toysat) S 5063 5066 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2779853 1771638784 374526 33554432000 4194304 16246674 140736027311712 139859129773296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5066/tid=5068] ppid=5063 vsize=1730116 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5068/stat : 5068 (toysat) S 5063 5066 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2779853 1771638784 374526 33554432000 4194304 16246674 140736027311712 139859119283440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5066/tid=5069] ppid=5063 vsize=1730116 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5069/stat : 5069 (toysat) S 5063 5066 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2779853 1771638784 374526 33554432000 4194304 16246674 140736027311712 139859033320624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 1730116

[startup+1662.3 s]
/proc/loadavg: 2.20 2.25 2.20 3/183 5184
/proc/meminfo: memFree=20738948/32872528 swapFree=1253612/1390560
[pid=5066] ppid=5063 vsize=1774148 CPUtime=1661.99 cores=0,2,4,6
/proc/5066/stat : 5066 (toysat) R 5063 5066 3971 0 -1 4202496 381223 0 0 0 166139 60 0 0 20 0 4 0 2779853 1816727552 385534 33554432000 4194304 16246674 140736027311712 140736027293632 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5066/statm: 443537 385534 891 2943 0 440431 0
[pid=5066/tid=5067] ppid=5063 vsize=1774148 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5067/stat : 5067 (toysat) S 5063 5066 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2779853 1816727552 385534 33554432000 4194304 16246674 140736027311712 139859129773296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5066/tid=5068] ppid=5063 vsize=1774148 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5068/stat : 5068 (toysat) S 5063 5066 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2779853 1816727552 385534 33554432000 4194304 16246674 140736027311712 139859119283440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5066/tid=5069] ppid=5063 vsize=1774148 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5069/stat : 5069 (toysat) S 5063 5066 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2779853 1816727552 385534 33554432000 4194304 16246674 140736027311712 139859033320624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 1774148

[startup+1722.3 s]
/proc/loadavg: 2.26 2.25 2.20 3/183 5185
/proc/meminfo: memFree=20737984/32872528 swapFree=1253612/1390560
[pid=5066] ppid=5063 vsize=1775172 CPUtime=1721.99 cores=0,2,4,6
/proc/5066/stat : 5066 (toysat) R 5063 5066 3971 0 -1 4202496 381479 0 0 0 172138 61 0 0 20 0 4 0 2779853 1817776128 385790 33554432000 4194304 16246674 140736027311712 140736027309504 13892928 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5066/statm: 443793 385790 891 2943 0 440687 0
[pid=5066/tid=5067] ppid=5063 vsize=1775172 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5067/stat : 5067 (toysat) S 5063 5066 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2779853 1817776128 385790 33554432000 4194304 16246674 140736027311712 139859129773296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5066/tid=5068] ppid=5063 vsize=1775172 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5068/stat : 5068 (toysat) S 5063 5066 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2779853 1817776128 385790 33554432000 4194304 16246674 140736027311712 139859119283440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5066/tid=5069] ppid=5063 vsize=1775172 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5069/stat : 5069 (toysat) S 5063 5066 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2779853 1817776128 385790 33554432000 4194304 16246674 140736027311712 139859033320624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1775172

[startup+1782.3 s]
/proc/loadavg: 2.14 2.21 2.19 3/183 5186
/proc/meminfo: memFree=20737280/32872528 swapFree=1253612/1390560
[pid=5066] ppid=5063 vsize=1775172 CPUtime=1781.98 cores=0,2,4,6
/proc/5066/stat : 5066 (toysat) R 5063 5066 3971 0 -1 4202496 381479 0 0 0 178137 61 0 0 20 0 4 0 2779853 1817776128 385790 33554432000 4194304 16246674 140736027311712 140736027309568 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5066/statm: 443793 385790 891 2943 0 440687 0
[pid=5066/tid=5067] ppid=5063 vsize=1775172 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5067/stat : 5067 (toysat) S 5063 5066 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2779853 1817776128 385790 33554432000 4194304 16246674 140736027311712 139859129773296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5066/tid=5068] ppid=5063 vsize=1775172 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5068/stat : 5068 (toysat) S 5063 5066 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2779853 1817776128 385790 33554432000 4194304 16246674 140736027311712 139859119283440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5066/tid=5069] ppid=5063 vsize=1775172 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5069/stat : 5069 (toysat) S 5063 5066 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2779853 1817776128 385790 33554432000 4194304 16246674 140736027311712 139859033320624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1775172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.10 2.20 2.18 3/183 5186
/proc/meminfo: memFree=20737748/32872528 swapFree=1253612/1390560
[pid=5066] ppid=5063 vsize=1775172 CPUtime=1800.08 cores=0,2,4,6
/proc/5066/stat : 5066 (toysat) R 5063 5066 3971 0 -1 4202496 381479 0 0 0 179947 61 0 0 20 0 4 0 2779853 1817776128 385790 33554432000 4194304 16246674 140736027311712 140736027309504 4225325 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5066/statm: 443793 385790 891 2943 0 440687 0
[pid=5066/tid=5067] ppid=5063 vsize=1775172 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5067/stat : 5067 (toysat) S 5063 5066 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2779853 1817776128 385790 33554432000 4194304 16246674 140736027311712 139859129773296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5066/tid=5068] ppid=5063 vsize=1775172 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5068/stat : 5068 (toysat) S 5063 5066 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2779853 1817776128 385790 33554432000 4194304 16246674 140736027311712 139859119283440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5066/tid=5069] ppid=5063 vsize=1775172 CPUtime=0 cores=0,2,4,6
/proc/5066/task/5069/stat : 5069 (toysat) S 5063 5066 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2779853 1817776128 385790 33554432000 4194304 16246674 140736027311712 139859033320624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1775172

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 5066 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.43
CPU time (s): 1800.1
CPU user time (s): 1799.47
CPU system time (s): 0.631903
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 1775172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.631903
maximum resident set size= 1543160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 381479
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= 896
involuntary context switches= 2771

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.28404 second user time and 10.0125 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-29 18:36:30
IDJOB=4118034
IDBENCH=111434
IDSOLVER=2542
FILE ID=node119/4118034-1467218190
RUNJOBID= node119-1467209132-3987
PBS_JOBID= 19997583
Free space on /tmp= 71712 MiB

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

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

MD5SUM BENCH= aef63d998a9383c9f828d375d1a2e5e1
RANDOM SEED=1983787030

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.444
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.444
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.444
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.444
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:        23481644 kB
Buffers:          145528 kB
Cached:          5985752 kB
SwapCached:            0 kB
Active:          5072252 kB
Inactive:        2161888 kB
Active(anon):    1105656 kB
Inactive(anon):        0 kB
Active(file):    3966596 kB
Inactive(file):  2161888 kB
Unevictable:     1390560 kB
Mlocked:         1253612 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             22944 kB
Writeback:             0 kB
AnonPages:       2497432 kB
Mapped:            17556 kB
Shmem:               204 kB
Slab:             627328 kB
SReclaimable:      71524 kB
SUnreclaim:       555804 kB
KernelStack:        1488 kB
PageTables:         8712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2630144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1210368 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= 71692 MiB
End job on node119 at 2016-06-29 19:06:31