Trace number 4111072

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? (MO) 1004.68 1004.86

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f17-DCdoubleLoss.seq-B-2-combined-irabcde.opb
MD5SUM8e5fd409bdfed2a56cbaaab54cb229a1
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark60303561593
Best CPU time to get the best result obtained on this benchmark1800.33
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7086
Total number of constraints21984
Number of constraints which are clauses21840
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints144
Minimum length of a constraint1
Maximum length of a constraint37
Number of terms in the objective function 552
Biggest coefficient in the objective function 416063742
Number of bits for the biggest coefficient in the objective function 29
Sum of the numbers in the objective function 153111457055
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 416063742
Number of bits of the biggest number in a constraint 29
Biggest sum of numbers in a constraint 153111457055
Number of bits of the biggest sum of numbers38
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-20T06:27:37+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-4111072-1466396857.opb"]
0.00/0.01	c use --random-gen="2005284926 3466194180 491400165 334177353 4034021215 953958540 687933504 991114623 1783993318 2780771709 3669815788 1259254575 2604350704 2769707004 2126376756 4085166282 3879979755 3520413452 1101190166 3942712700 664762647 3334175515 3828567328 4020363891 1669374348 2121975259 482384129 3435246284 3196395707 4154783326 2318311008 3932356895 1396317099 1611797878 3946590201 130693183 3143917314 3715785591 1442773177 186334861 864561303 1128027628 176258913 1159480548 269426310 569094746 2499745863 2466647081 3557185793 2557820682 1137183066 1716491729 1014040756 546900580 2569573446 2032197251 3009703561 874213942 2550113884 1801553743 3251327334 3006565338 3893122168 963881534 3089541893 3977845070 1464430999 696025110 1724327439 3025434094 1015069053 1706296823 1468300070 2229737129 626363793 1877798000 935639589 3509651525 3113822782 3075395963 2323817391 774490271 3064461799 541510276 689169874 706858268 2777955327 2792291540 2455243130 3340726141 3284768938 2846708125 1505446915 2558464791 840546351 2183503011 2268657623 1605161043 509313598 1258705399 11187481 715361943 3788275857 2885737503 3093129516 2801343845 1206213689 2180751617 376327877 1041467629 2995788866 2676774463 2649109042 174210931 2786686026 2305435579 3399975244 1849955249 1667554935 3494698884 527809974 1834923731 3285024863 2771339175 273910541 714376903 4121720946 206987484 3564642324 939319270 3416073227 3498813139 1774431429 4048854603 890401383 1278420932 1668683593 2862063832 1619230345 3104815339 2142885175 3273588667 1214324955 1872539222 581172192 2533977880 2551903588 3770619318 3516863656 2803955593 3400253469 2759362738 437931811 643035499 842791310 3264499355 264336156 3281345250 4249078958 3380247222 1334502980 262349734 2575847036 898115337 3161830284 3259556177 3458167225 2252310349 1641213696 438543403 3518423324 3600724278 1802956949 385969573 128477340 3142759739 363370394 2875027528 2203281684 83496754 1196113816 2304951278 1965335202 4117561667 269349070 4261993430 3734696760 2182924459 911569109 841276952 3331808718 61668291 1803270201 1786118856 1012544100 1280459983 3149522591 213003799 772977734 3642706914 1912294787 607323709 2645147205 3348553086 1180072667 2625044781 4210967641 3754057660 2602103238 1045350615 3333976274 2722290348 4193196509 3226344683 1957478894 1311071901 2728449252 382516816 3524094219 2469440496 2331661080 985991042 2237147334 192108403 4183715426 2604816473 3007448829 3753279139 3930699907 971449388 2205852082 3010370689 1595242689 1178764887 1784671377 3077350539 1648988315 3595769279 2838810180 182969587 2373783473 338566150 3053767841 2494134645 4198321585 2559171935 2818959223 2824027118 2452616620 138340732 3831391070 1597618588 3735939185 3645381145 282447266 3506452474 255 362436" option to reproduce the execution
0.09/0.16	c #vars 7086
0.09/0.16	c #constraints 21984
0.39/0.40	c BCD2: Hardening is enabled.
0.39/0.40	c BCD2: BiasedSearch is enabled.
0.39/0.40	c Solving starts ...
0.39/0.40	c ============================[ Search Statistics ]============================
0.39/0.40	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.40	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.40	c =============================================================================
0.39/0.44	c  0.0s |       0 |        0 |        0 |     8789      0 |     1049 |        0
0.39/0.47	c  0.0s |       0 |      557 |       22 |     8789      0 |     1049 |     1119
0.39/0.47	c #cpu_time = 0.026s
0.39/0.47	c #wall_clock_time = 0.026s
0.39/0.47	c #decision = 557
0.39/0.47	c #random_decision = 2
0.39/0.47	c #conflict = 22
0.39/0.47	c #restart = 0
0.39/0.47	o 112335336179
0.39/0.48	c BCD2: updating upper bound: 153111457055 -> 112335336178

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

pid=3593
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.19 2.22 2.18 3/179 3596
/proc/meminfo: memFree=24292348/32872528 swapFree=1370848/1518016
[pid=3596] ppid=3593 vsize=762300 CPUtime=0 cores=1,3,5,7
/proc/3596/stat : 3596 (toysat) R 3593 3596 1977 0 -1 4202496 2849 0 0 0 0 0 0 0 20 0 4 0 41732223 780595200 2700 33554432000 4194304 16246674 140736638169488 140736638168912 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3596/statm: 191087 2707 441 2943 0 187981 0
[pid=3596/tid=3597] ppid=3593 vsize=779708 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41732223 798420992 2768 33554432000 4194304 16246674 140736638169488 139830422908144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=783804 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41732223 802615296 2785 33554432000 4194304 16246674 140736638169488 139830412418288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=787900 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41732223 806809600 2800 33554432000 4194304 16246674 140736638169488 139830401944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100128 s]
/proc/loadavg: 2.19 2.22 2.18 3/179 3596
/proc/meminfo: memFree=24292348/32872528 swapFree=1370848/1518016
[pid=3596] ppid=3593 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/3596/stat : 3596 (toysat) R 3593 3596 1977 0 -1 4202496 27897 0 0 0 6 3 0 0 20 0 4 0 41732223 1249447936 27685 33554432000 4194304 16246674 140736638169488 140736638168800 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3596/statm: 305041 27685 801 2943 0 301935 0
[pid=3596/tid=3597] ppid=3593 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41732223 1249447936 27685 33554432000 4194304 16246674 140736638169488 139830422908144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41732223 1249447936 27685 33554432000 4194304 16246674 140736638169488 139830412418288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41732223 1249447936 27685 33554432000 4194304 16246674 140736638169488 139830401944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200517 s]
/proc/loadavg: 2.19 2.22 2.18 3/179 3596
/proc/meminfo: memFree=24292348/32872528 swapFree=1370848/1518016
[pid=3596] ppid=3593 vsize=1302084 CPUtime=0.18 cores=1,3,5,7
/proc/3596/stat : 3596 (toysat) R 3593 3596 1977 0 -1 4202496 48238 0 0 0 14 4 0 0 20 0 4 0 41732223 1333334016 48026 33554432000 4194304 16246674 140736638169488 140736638168800 5913046 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3596/statm: 325521 48026 837 2943 0 322415 0
[pid=3596/tid=3597] ppid=3593 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41732223 1333334016 48026 33554432000 4194304 16246674 140736638169488 139830422908144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41732223 1333334016 48026 33554432000 4194304 16246674 140736638169488 139830412418288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41732223 1333334016 48026 33554432000 4194304 16246674 140736638169488 139830401944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1302084

[startup+0.300481 s]
/proc/loadavg: 2.19 2.22 2.18 3/179 3596
/proc/meminfo: memFree=24292348/32872528 swapFree=1370848/1518016
[pid=3596] ppid=3593 vsize=1302084 CPUtime=0.29 cores=1,3,5,7
/proc/3596/stat : 3596 (toysat) R 3593 3596 1977 0 -1 4202496 61846 0 0 0 22 7 0 0 20 0 4 0 41732223 1333334016 61634 33554432000 4194304 16246674 140736638169488 140736638168800 6155670 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3596/statm: 325521 61644 837 2943 0 322415 0
[pid=3596/tid=3597] ppid=3593 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41732223 1333334016 61649 33554432000 4194304 16246674 140736638169488 139830422908144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41732223 1333334016 61654 33554432000 4194304 16246674 140736638169488 139830412418288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41732223 1333334016 61660 33554432000 4194304 16246674 140736638169488 139830401944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700377 s]
/proc/loadavg: 2.19 2.22 2.18 3/179 3596
/proc/meminfo: memFree=24292348/32872528 swapFree=1370848/1518016
[pid=3596] ppid=3593 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/3596/stat : 3596 (toysat) R 3593 3596 1977 0 -1 4202496 106342 0 0 0 56 13 0 0 20 0 4 0 41732223 1345916928 106131 33554432000 4194304 16246674 140736638169488 140736638151360 12371445 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3596/statm: 328593 106144 900 2943 0 325487 0
[pid=3596/tid=3597] ppid=3593 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41732223 1345916928 106150 33554432000 4194304 16246674 140736638169488 139830422908144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41732223 1345916928 106157 33554432000 4194304 16246674 140736638169488 139830412418288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41732223 1345916928 106164 33554432000 4194304 16246674 140736638169488 139830401944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50036 s]
/proc/loadavg: 2.19 2.22 2.18 3/183 3600
/proc/meminfo: memFree=22740448/32872528 swapFree=1370848/1518016
[pid=3596] ppid=3593 vsize=1355332 CPUtime=1.48 cores=1,3,5,7
/proc/3596/stat : 3596 (toysat) R 3593 3596 1977 0 -1 4202496 279952 0 0 0 113 35 0 0 20 0 4 0 41732223 1387859968 279740 33554432000 4194304 16246674 140736638169488 140736638168152 12449395 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3596/statm: 338833 279740 901 2943 0 335727 0
[pid=3596/tid=3597] ppid=3593 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41732223 1387859968 279740 33554432000 4194304 16246674 140736638169488 139830422908144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41732223 1387859968 279740 33554432000 4194304 16246674 140736638169488 139830412418288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41732223 1387859968 279740 33554432000 4194304 16246674 140736638169488 139830401944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1355332

[startup+3.10038 s]
/proc/loadavg: 2.26 2.24 2.18 3/183 3600
/proc/meminfo: memFree=22460440/32872528 swapFree=1370848/1518016
[pid=3596] ppid=3593 vsize=1355332 CPUtime=3.08 cores=1,3,5,7
/proc/3596/stat : 3596 (toysat) R 3593 3596 1977 0 -1 4202496 280035 0 0 0 273 35 0 0 20 0 4 0 41732223 1387859968 279823 33554432000 4194304 16246674 140736638169488 140736638151360 12429149 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3596/statm: 338833 279823 901 2943 0 335727 0
[pid=3596/tid=3597] ppid=3593 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41732223 1387859968 279823 33554432000 4194304 16246674 140736638169488 139830422908144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41732223 1387859968 279823 33554432000 4194304 16246674 140736638169488 139830412418288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41732223 1387859968 279823 33554432000 4194304 16246674 140736638169488 139830401944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1355332

[startup+6.30039 s]
/proc/loadavg: 2.26 2.24 2.18 3/183 3600
/proc/meminfo: memFree=22443584/32872528 swapFree=1370848/1518016
[pid=3596] ppid=3593 vsize=1373764 CPUtime=6.29 cores=1,3,5,7
/proc/3596/stat : 3596 (toysat) R 3593 3596 1977 0 -1 4202496 284643 0 0 0 593 36 0 0 20 0 4 0 41732223 1406734336 284431 33554432000 4194304 16246674 140736638169488 140736638168800 4220921 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3596/statm: 343441 284431 901 2943 0 340335 0
[pid=3596/tid=3597] ppid=3593 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41732223 1406734336 284431 33554432000 4194304 16246674 140736638169488 139830422908144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41732223 1406734336 284431 33554432000 4194304 16246674 140736638169488 139830412418288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41732223 1406734336 284431 33554432000 4194304 16246674 140736638169488 139830401944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1373764

[startup+12.7004 s]
/proc/loadavg: 2.30 2.24 2.19 4/183 3600
/proc/meminfo: memFree=24083324/32872528 swapFree=1370848/1518016
[pid=3596] ppid=3593 vsize=1576516 CPUtime=12.69 cores=1,3,5,7
/proc/3596/stat : 3596 (toysat) R 3593 3596 1977 0 -1 4202496 335331 0 0 0 1227 42 0 0 20 0 4 0 41732223 1614352384 335119 33554432000 4194304 16246674 140736638169488 140736638168800 4225116 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3596/statm: 394129 335119 901 2943 0 391023 0
[pid=3596/tid=3597] ppid=3593 vsize=1576516 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41732223 1614352384 335119 33554432000 4194304 16246674 140736638169488 139830422908144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1576516 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41732223 1614352384 335119 33554432000 4194304 16246674 140736638169488 139830412418288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1576516 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41732223 1614352384 335119 33554432000 4194304 16246674 140736638169488 139830401944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1576516

[startup+25.5005 s]
/proc/loadavg: 2.25 2.24 2.18 3/183 3600
/proc/meminfo: memFree=23561308/32872528 swapFree=1370848/1518016
[pid=3596] ppid=3593 vsize=1973828 CPUtime=25.49 cores=1,3,5,7
/proc/3596/stat : 3596 (toysat) R 3593 3596 1977 0 -1 4202496 434659 0 0 0 2493 56 0 0 20 0 4 0 41732223 2021199872 434447 33554432000 4194304 16246674 140736638169488 140736638167360 4220501 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3596/statm: 493457 434447 901 2943 0 490351 0
[pid=3596/tid=3597] ppid=3593 vsize=1973828 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41732223 2021199872 434447 33554432000 4194304 16246674 140736638169488 139830422908144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=1973828 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41732223 2021199872 434447 33554432000 4194304 16246674 140736638169488 139830412418288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=1973828 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41732223 2021199872 434447 33554432000 4194304 16246674 140736638169488 139830401944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1973828

[startup+51.1005 s]
/proc/loadavg: 2.24 2.23 2.18 4/183 3600
/proc/meminfo: memFree=22402284/32872528 swapFree=1370848/1518016
[pid=3596] ppid=3593 vsize=3077700 CPUtime=51.09 cores=1,3,5,7
/proc/3596/stat : 3596 (toysat) R 3593 3596 1977 0 -1 4202496 710627 0 0 0 5014 95 0 0 20 0 4 0 41732223 3151564800 710415 33554432000 4194304 16246674 140736638169488 140736638167296 4220543 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3596/statm: 769425 710415 901 2943 0 766319 0
[pid=3596/tid=3597] ppid=3593 vsize=3077700 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41732223 3151564800 710415 33554432000 4194304 16246674 140736638169488 139830422908144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=3077700 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41732223 3151564800 710415 33554432000 4194304 16246674 140736638169488 139830412418064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=3077700 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41732223 3151564800 710415 33554432000 4194304 16246674 140736638169488 139830401944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 3077700

[startup+102.3 s]
/proc/loadavg: 2.21 2.22 2.18 4/183 3601
/proc/meminfo: memFree=20524796/32872528 swapFree=1370848/1518016
[pid=3596] ppid=3593 vsize=4810308 CPUtime=102.28 cores=1,3,5,7
/proc/3596/stat : 3596 (toysat) R 3593 3596 1977 0 -1 4202496 1143779 0 0 0 10071 157 0 0 20 0 4 0 41732223 4925755392 1143567 33554432000 4194304 16246674 140736638169488 140736638168584 4220871 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3596/statm: 1202577 1143567 901 2943 0 1199471 0
[pid=3596/tid=3597] ppid=3593 vsize=4810308 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41732223 4925755392 1143567 33554432000 4194304 16246674 140736638169488 139830422908144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=4810308 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41732223 4925755392 1143567 33554432000 4194304 16246674 140736638169488 139830412418288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=4810308 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41732223 4925755392 1143567 33554432000 4194304 16246674 140736638169488 139830401944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 4810308


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

[pid=3596] ppid=3593 vsize=13612612 CPUtime=582.19 cores=1,3,5,7
/proc/3596/stat : 3596 (toysat) R 3593 3596 1977 0 -1 4202496 4218091 0 0 0 57583 636 0 0 20 0 4 0 41732223 13939314688 3344407 33554432000 4194304 16246674 140736638169488 140736638167424 13899629 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3596/statm: 3403153 3344407 905 2943 0 3400047 0
[pid=3596/tid=3597] ppid=3593 vsize=13612612 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41732223 13939314688 3344407 33554432000 4194304 16246674 140736638169488 139830422908144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=13612612 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41732223 13939314688 3344407 33554432000 4194304 16246674 140736638169488 139830412418064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=13612612 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41732223 13939314688 3344407 33554432000 4194304 16246674 140736638169488 139830401944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 13612612

[startup+642.3 s]
/proc/loadavg: 2.27 2.21 2.18 4/183 3664
/proc/meminfo: memFree=4319824/32872528 swapFree=1370848/1518016
[pid=3596] ppid=3593 vsize=13954628 CPUtime=642.17 cores=1,3,5,7
/proc/3596/stat : 3596 (toysat) R 3593 3596 1977 0 -1 4202496 4303595 0 0 0 63567 650 0 0 20 0 4 0 41732223 14289539072 3429911 33554432000 4194304 16246674 140736638169488 140736638167296 14013818 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3596/statm: 3488657 3429911 905 2943 0 3485551 0
[pid=3596/tid=3597] ppid=3593 vsize=13954628 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41732223 14289539072 3429911 33554432000 4194304 16246674 140736638169488 139830422908144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=13954628 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41732223 14289539072 3429911 33554432000 4194304 16246674 140736638169488 139830412418064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=13954628 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41732223 14289539072 3429911 33554432000 4194304 16246674 140736638169488 139830401944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 642.17
Current children cumulated vsize (KiB) 13954628

[startup+702.3 s]
/proc/loadavg: 2.33 2.23 2.19 3/183 3665
/proc/meminfo: memFree=4599932/32872528 swapFree=1370848/1518016
[pid=3596] ppid=3593 vsize=13954628 CPUtime=702.17 cores=1,3,5,7
/proc/3596/stat : 3596 (toysat) R 3593 3596 1977 0 -1 4202496 4303595 0 0 0 69561 656 0 0 20 0 4 0 41732223 14289539072 3429911 33554432000 4194304 16246674 140736638169488 140736638167424 4226254 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3596/statm: 3488657 3429911 905 2943 0 3485551 0
[pid=3596/tid=3597] ppid=3593 vsize=13954628 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41732223 14289539072 3429911 33554432000 4194304 16246674 140736638169488 139830422908144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=13954628 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41732223 14289539072 3429911 33554432000 4194304 16246674 140736638169488 139830412418064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=13954628 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41732223 14289539072 3429911 33554432000 4194304 16246674 140736638169488 139830401944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 702.17
Current children cumulated vsize (KiB) 13954628

[startup+762.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/184 3669
/proc/meminfo: memFree=3223464/32872528 swapFree=1370848/1518016
[pid=3596] ppid=3593 vsize=13954628 CPUtime=762.16 cores=1,3,5,7
/proc/3596/stat : 3596 (toysat) R 3593 3596 1977 0 -1 4202496 4303595 0 0 0 75556 660 0 0 20 0 4 0 41732223 14289539072 3429911 33554432000 4194304 16246674 140736638169488 140736638168664 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3596/statm: 3488657 3429911 905 2943 0 3485551 0
[pid=3596/tid=3597] ppid=3593 vsize=13954628 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41732223 14289539072 3429911 33554432000 4194304 16246674 140736638169488 139830422908144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=13954628 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41732223 14289539072 3429911 33554432000 4194304 16246674 140736638169488 139830412418288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=13954628 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41732223 14289539072 3429911 33554432000 4194304 16246674 140736638169488 139830401944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 762.16
Current children cumulated vsize (KiB) 13954628

[startup+822.3 s]
/proc/loadavg: 2.20 2.20 2.18 4/183 3671
/proc/meminfo: memFree=2935056/32872528 swapFree=1370848/1518016
[pid=3596] ppid=3593 vsize=14242372 CPUtime=822.15 cores=1,3,5,7
/proc/3596/stat : 3596 (toysat) R 3593 3596 1977 0 -1 4202496 4375532 0 0 0 81541 674 0 0 20 0 4 0 41732223 14584188928 3501847 33554432000 4194304 16246674 140736638169488 140736638168584 4206688 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3596/statm: 3560593 3501847 905 2943 0 3557487 0
[pid=3596/tid=3597] ppid=3593 vsize=14242372 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41732223 14584188928 3501847 33554432000 4194304 16246674 140736638169488 139830422908144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=14242372 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41732223 14584188928 3501847 33554432000 4194304 16246674 140736638169488 139830412418288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=14242372 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41732223 14584188928 3501847 33554432000 4194304 16246674 140736638169488 139830401944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 14242372

[startup+882.308 s]
/proc/loadavg: 2.13 2.18 2.17 3/183 3672
/proc/meminfo: memFree=2051452/32872528 swapFree=1370848/1518016
[pid=3596] ppid=3593 vsize=14786116 CPUtime=882.14 cores=1,3,5,7
/proc/3596/stat : 3596 (toysat) R 3593 3596 1977 0 -1 4202496 4456792 0 0 0 87520 694 0 0 20 0 4 0 41732223 15140982784 3637784 33554432000 4194304 16246674 140736638169488 140736638167296 14013949 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3596/statm: 3696529 3637784 905 2943 0 3693423 0
[pid=3596/tid=3597] ppid=3593 vsize=14786116 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41732223 15140982784 3637784 33554432000 4194304 16246674 140736638169488 139830422908144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=14786116 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41732223 15140982784 3637784 33554432000 4194304 16246674 140736638169488 139830412418064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=14786116 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41732223 15140982784 3637784 33554432000 4194304 16246674 140736638169488 139830401944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 14786116

[startup+942.3 s]
/proc/loadavg: 2.17 2.18 2.17 3/183 3673
/proc/meminfo: memFree=1343400/32872528 swapFree=1370848/1518016
[pid=3596] ppid=3593 vsize=15492676 CPUtime=942.13 cores=1,3,5,7
/proc/3596/stat : 3596 (toysat) R 3593 3596 1977 0 -1 4202496 4576200 0 0 0 93492 721 0 0 20 0 4 0 41732223 15864500224 3814424 33554432000 4194304 16246674 140736638169488 140736638167360 4220850 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3596/statm: 3873169 3814424 905 2943 0 3870063 0
[pid=3596/tid=3597] ppid=3593 vsize=15492676 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41732223 15864500224 3814424 33554432000 4194304 16246674 140736638169488 139830422908144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=15492676 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41732223 15864500224 3814424 33554432000 4194304 16246674 140736638169488 139830412418064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=15492676 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41732223 15864500224 3814424 33554432000 4194304 16246674 140736638169488 139830401944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 15492676

[startup+1002.3 s]
/proc/loadavg: 2.28 2.20 2.18 4/183 3674
/proc/meminfo: memFree=1124352/32872528 swapFree=1370848/1518016
[pid=3596] ppid=3593 vsize=15492676 CPUtime=1002.12 cores=1,3,5,7
/proc/3596/stat : 3596 (toysat) R 3593 3596 1977 0 -1 4202496 4576200 0 0 0 99486 726 0 0 20 0 4 0 41732223 15864500224 3814424 33554432000 4194304 16246674 140736638169488 140736638168584 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3596/statm: 3873169 3814424 905 2943 0 3870063 0
[pid=3596/tid=3597] ppid=3593 vsize=15492676 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41732223 15864500224 3814424 33554432000 4194304 16246674 140736638169488 139830422908144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=15492676 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41732223 15864500224 3814424 33554432000 4194304 16246674 140736638169488 139830412418288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=15492676 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41732223 15864500224 3814424 33554432000 4194304 16246674 140736638169488 139830401944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 15492676



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1004.1 s]
/proc/loadavg: 2.28 2.20 2.18 4/183 3674
/proc/meminfo: memFree=1108836/32872528 swapFree=1370848/1518016
[pid=3596] ppid=3593 vsize=15879748 CPUtime=1003.91 cores=1,3,5,7
/proc/3596/stat : 3596 (toysat) R 3593 3596 1977 0 -1 4202496 4672834 0 0 0 99652 739 0 0 20 0 4 0 41732223 16260861952 3911058 33554432000 4194304 16246674 140736638169488 140736638168584 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3596/statm: 3969937 3911067 905 2943 0 3966831 0
[pid=3596/tid=3597] ppid=3593 vsize=15879748 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41732223 16260861952 3911073 33554432000 4194304 16246674 140736638169488 139830422908144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=15879748 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41732223 16260861952 3911077 33554432000 4194304 16246674 140736638169488 139830412418288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3596/tid=3599] ppid=3593 vsize=15879748 CPUtime=0 cores=1,3,5,7
/proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41732223 16260861952 3911082 33554432000 4194304 16246674 140736638169488 139830401944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1003.91
Current children cumulated vsize (KiB) 15879748

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

[startup+1004.41 s]
/proc/loadavg: 2.28 2.20 2.18 4/181 3674
/proc/meminfo: memFree=5508952/32872528 swapFree=1370848/1518016
[pid=3596] ppid=3593 vsize=0 CPUtime=1004.23 cores=1,3,5,7
/proc/3596/stat : 3596 (toysat) Z 3593 3596 1977 0 -1 4203532 4673298 0 0 0 99653 770 0 0 20 0 2 0 41732223 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3596/statm: 0 0 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=0 CPUtime=0.29 cores=1,3,5,7
/proc/3596/task/3598/stat : 3598 (toysat) R 3593 3596 1977 0 -1 4203588 8 0 0 0 0 29 0 0 20 0 2 0 41732223 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1004.23
Current children cumulated vsize (KiB) 0

[startup+1004.8 s]
/proc/loadavg: 2.28 2.20 2.18 4/181 3674
/proc/meminfo: memFree=5508952/32872528 swapFree=1370848/1518016
[pid=3596] ppid=3593 vsize=0 CPUtime=1004.62 cores=1,3,5,7
/proc/3596/stat : 3596 (toysat) Z 3593 3596 1977 0 -1 4203532 4673298 0 0 0 99653 809 0 0 20 0 2 0 41732223 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3596/statm: 0 0 0 0 0 0 0
[pid=3596/tid=3598] ppid=3593 vsize=0 CPUtime=0.68 cores=1,3,5,7
/proc/3596/task/3598/stat : 3598 (toysat) R 3593 3596 1977 0 -1 4203588 8 0 0 0 0 68 0 0 20 0 2 0 41732223 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1004.62
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1004.86
CPU time (s): 1004.68
CPU user time (s): 996.53
CPU system time (s): 8.14876
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 15879748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 996.531
system time used= 8.14876
maximum resident set size= 15646088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4673298
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= 308
involuntary context switches= 1015

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.25505 second user time and 9.43756 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-20 06:27:37
IDJOB=4111072
IDBENCH=108766
IDSOLVER=2542
FILE ID=node129/4111072-1466396857
RUNJOBID= node129-1466385731-1994
PBS_JOBID= 19923266
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f17-DCdoubleLoss.seq-B-2-combined-irabcde.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111072-1466396857/watcher-4111072-1466396857 -o /tmp/evaluation-result-4111072-1466396857/solver-4111072-1466396857 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466385731-1994 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4111072-1466396857.opb

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

MD5SUM BENCH= 8e5fd409bdfed2a56cbaaab54cb229a1
RANDOM SEED=1381232793

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.143
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.143
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.143
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.54
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.143
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.143
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        24305260 kB
Buffers:            7400 kB
Cached:            72160 kB
SwapCached:        54288 kB
Active:          6233552 kB
Inactive:          71900 kB
Active(anon):    6173108 kB
Inactive(anon):    55016 kB
Active(file):      60444 kB
Inactive(file):    16884 kB
Unevictable:     1518016 kB
Mlocked:         1370848 kB
SwapTotal:      67108856 kB
SwapFree:       67045772 kB
Dirty:             16720 kB
Writeback:             0 kB
AnonPages:       7723492 kB
Mapped:            10384 kB
Shmem:                 0 kB
Slab:             594416 kB
SReclaimable:      37868 kB
SUnreclaim:       556548 kB
KernelStack:        1504 kB
PageTables:        19476 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    7838788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 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= 71704 MiB
End job on node129 at 2016-06-20 06:44:22