Trace number 4093268

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.65 1800.95

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap123_wcsp.wbo
MD5SUMea836e0f976b6c1eccda327c2ccf56b9
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark11826857
Best CPU time to get the best result obtained on this benchmark1800.09
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2600
Total number of constraints5148
Number of soft constraints5048
Number of constraints which are clauses5048
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint50
Top cost 66206436
Min constraint cost 1
Max constraint cost 66206436
Sum of constraints costs 166802246300
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
Number of bits of the biggest sum of numbers6
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-16T18:53:43+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","--wbo","--search=bcd2","HOME/instance-4093268-1466096023.wbo"]
0.00/0.01	c use --random-gen="3684203368 589200076 2620642155 3916897661 1792328721 1788479337 2054200257 2911830229 1140182955 1432289832 1177228390 2725119758 3446007514 2846705718 1552145239 4199181283 3172321024 2695529157 3765154060 2881099035 2930365212 1266866427 1840727107 2193775600 1192911009 2504232220 350736464 1544961773 1723762304 3956789632 1725322384 1181512028 3292673659 1213768337 2181136896 2130769198 3136334559 2175428324 875299148 102721492 328454481 3988232879 171803718 2597536922 58602079 3032470185 1002661709 4070204018 481753208 416728547 3005614507 2857025963 565490828 4188015619 674846682 426694622 2325371558 1521230707 1221449660 1405087320 2242643272 1373943830 4175457667 3849537229 269137892 2049534713 3081655002 3788992333 2012044184 3940112932 4273901469 4106678121 2914476781 3196174871 1191422962 2385728204 3130411701 1082782820 839620566 3414525014 1292131969 3954439487 1556108468 2754352652 10326652 1344983028 1449424218 3937463089 4209482098 1749758988 2707493299 3967755160 1634094162 2482571306 4193415962 2448252259 2234281603 2561932795 910580996 3970926060 2468149636 1297792662 1021494782 2182875403 3352365234 3336575977 218026820 3182928589 1692383212 3541623372 427660707 1805845146 483365834 2938183522 2637574351 2339607964 3307889457 484762406 446616005 266924663 2518877054 3166425530 3884453723 1807153124 2283150426 4029525279 1210807814 1529281039 371129879 1887143300 3015432285 1408108671 1524116609 764575116 3624790699 4292477452 370807161 2649432192 859588426 1390004229 1202865536 2606367174 2040607085 3419349792 391966783 1479773372 3067349358 3373775833 1946836198 4036451098 1135921221 1431539266 3119466655 3749294451 3109909708 2009549148 2340165931 366100574 3738508758 4267605448 3787548895 502252302 2767669320 2889711467 2163182683 1781232875 2019133790 1823512359 3443991144 3741642569 3850733232 2847833967 1242355011 3942093628 4084679714 4179165971 2475328156 4132957303 2707203082 2665716581 2944166719 225182538 1476813774 4010901618 332602233 3079582849 3559772379 3999991799 3130871891 1698125267 1116234731 1134803348 3689828314 81985218 694399429 2013741619 993810725 1266092572 1588316794 2239977721 4181246592 2588426987 3805817310 3901037021 278088319 98728610 924586620 696816453 3728299965 2193075510 2844246473 1180418581 2876255941 453091116 578410048 1709114558 1094685647 1699959821 1376321998 3909311054 2183884276 2393771108 3668426263 1761301405 775986948 3996026432 3411367779 954246062 994816639 4279055029 2633313756 439509607 3621897383 1438156183 1602733425 565387179 3594354711 3299259009 3332751767 521359178 889313241 348167872 1604612424 3635095048 2682054804 4147393725 2250040962 2931877829 181207987 3124146897 2218987004 3320622060 637408809 401445117 3850409749 3042945985 255 362436" option to reproduce the execution

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-4093268-1466096023/watcher-4093268-1466096023 -o /tmp/evaluation-result-4093268-1466096023/solver-4093268-1466096023 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466074865-13652 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093268-1466096023.wbo 

pid=17399
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.05 2.07 2.08 3/179 17402
/proc/meminfo: memFree=25980864/32872528 swapFree=532956/565660
[pid=17402] ppid=17399 vsize=693692 CPUtime=0 cores=1,3,5,7
/proc/17402/stat : 17402 (toysat) R 17399 17402 11130 0 -1 4202496 2581 0 0 0 0 0 0 0 20 0 4 0 11647931 710340608 2943 33554432000 4194304 16246674 140737252628896 140737252628320 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17402/statm: 173935 2952 441 2943 0 170829 0
[pid=17402/tid=17403] ppid=17399 vsize=711100 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17403/stat : 17403 (toysat) S 17399 17402 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11647931 728166400 3010 33554432000 4194304 16246674 140737252628896 139781450214640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17402/tid=17404] ppid=17399 vsize=715196 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17404/stat : 17404 (toysat) S 17399 17402 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11647931 732360704 3027 33554432000 4194304 16246674 140737252628896 139781439724784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17402/tid=17405] ppid=17399 vsize=719292 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17405/stat : 17405 (toysat) S 17399 17402 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11647931 736555008 3044 33554432000 4194304 16246674 140737252628896 139781321256112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100181 s]
/proc/loadavg: 2.05 2.07 2.08 3/179 17402
/proc/meminfo: memFree=25980864/32872528 swapFree=532956/565660
[pid=17402] ppid=17399 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/17402/stat : 17402 (toysat) R 17399 17402 11130 0 -1 4202496 22027 0 0 0 6 3 0 0 20 0 4 0 11647931 1249447936 22329 33554432000 4194304 16246674 140737252628896 140737252628208 12459048 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17402/statm: 305041 22338 829 2943 0 301935 0
[pid=17402/tid=17403] ppid=17399 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17403/stat : 17403 (toysat) S 17399 17402 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11647931 1249447936 22344 33554432000 4194304 16246674 140737252628896 139781450214640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17402/tid=17404] ppid=17399 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17404/stat : 17404 (toysat) S 17399 17402 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11647931 1249447936 22351 33554432000 4194304 16246674 140737252628896 139781439724784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17402/tid=17405] ppid=17399 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17405/stat : 17405 (toysat) S 17399 17402 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11647931 1249447936 22356 33554432000 4194304 16246674 140737252628896 139781321256112 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.200541 s]
/proc/loadavg: 2.05 2.07 2.08 3/179 17402
/proc/meminfo: memFree=25980864/32872528 swapFree=532956/565660
[pid=17402] ppid=17399 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/17402/stat : 17402 (toysat) R 17399 17402 11130 0 -1 4202496 42120 0 0 0 14 5 0 0 20 0 4 0 11647931 1250496512 42422 33554432000 4194304 16246674 140737252628896 140737252628208 4223718 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17402/statm: 305297 42427 834 2943 0 302191 0
[pid=17402/tid=17403] ppid=17399 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17403/stat : 17403 (toysat) S 17399 17402 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11647931 1250496512 42430 33554432000 4194304 16246674 140737252628896 139781450214640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17402/tid=17404] ppid=17399 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17404/stat : 17404 (toysat) S 17399 17402 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11647931 1250496512 42433 33554432000 4194304 16246674 140737252628896 139781439724784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17402/tid=17405] ppid=17399 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17405/stat : 17405 (toysat) S 17399 17402 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11647931 1250496512 42437 33554432000 4194304 16246674 140737252628896 139781321256112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300486 s]
/proc/loadavg: 2.05 2.07 2.08 3/179 17402
/proc/meminfo: memFree=25980864/32872528 swapFree=532956/565660
[pid=17402] ppid=17399 vsize=1307204 CPUtime=0.29 cores=1,3,5,7
/proc/17402/stat : 17402 (toysat) R 17399 17402 11130 0 -1 4202496 51540 0 0 0 23 6 0 0 20 0 4 0 11647931 1338576896 51841 33554432000 4194304 16246674 140737252628896 140737252628208 13807696 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17402/statm: 326801 51841 840 2943 0 323695 0
[pid=17402/tid=17403] ppid=17399 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17403/stat : 17403 (toysat) S 17399 17402 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11647931 1338576896 51841 33554432000 4194304 16246674 140737252628896 139781450214640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17402/tid=17404] ppid=17399 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17404/stat : 17404 (toysat) S 17399 17402 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11647931 1338576896 51841 33554432000 4194304 16246674 140737252628896 139781439724784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17402/tid=17405] ppid=17399 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17405/stat : 17405 (toysat) S 17399 17402 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11647931 1338576896 51841 33554432000 4194304 16246674 140737252628896 139781321256112 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) 1307204

[startup+0.700394 s]
/proc/loadavg: 2.05 2.07 2.08 3/179 17402
/proc/meminfo: memFree=25980864/32872528 swapFree=532956/565660
[pid=17402] ppid=17399 vsize=1307204 CPUtime=0.69 cores=1,3,5,7
/proc/17402/stat : 17402 (toysat) R 17399 17402 11130 0 -1 4202496 55500 0 0 0 63 6 0 0 20 0 4 0 11647931 1338576896 55801 33554432000 4194304 16246674 140737252628896 140737252610816 13774000 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17402/statm: 326801 55801 840 2943 0 323695 0
[pid=17402/tid=17403] ppid=17399 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17403/stat : 17403 (toysat) S 17399 17402 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11647931 1338576896 55801 33554432000 4194304 16246674 140737252628896 139781450214640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17402/tid=17404] ppid=17399 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17404/stat : 17404 (toysat) S 17399 17402 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11647931 1338576896 55801 33554432000 4194304 16246674 140737252628896 139781439724784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17402/tid=17405] ppid=17399 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17405/stat : 17405 (toysat) S 17399 17402 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11647931 1338576896 55801 33554432000 4194304 16246674 140737252628896 139781321256112 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) 1307204

[startup+1.50041 s]
/proc/loadavg: 2.05 2.07 2.08 3/183 17406
/proc/meminfo: memFree=25758644/32872528 swapFree=532956/565660
[pid=17402] ppid=17399 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/17402/stat : 17402 (toysat) R 17399 17402 11130 0 -1 4202496 55500 0 0 0 143 6 0 0 20 0 4 0 11647931 1338576896 55801 33554432000 4194304 16246674 140737252628896 140737252610816 13807738 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17402/statm: 326801 55801 840 2943 0 323695 0
[pid=17402/tid=17403] ppid=17399 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17403/stat : 17403 (toysat) S 17399 17402 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11647931 1338576896 55801 33554432000 4194304 16246674 140737252628896 139781450214640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17402/tid=17404] ppid=17399 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17404/stat : 17404 (toysat) S 17399 17402 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11647931 1338576896 55801 33554432000 4194304 16246674 140737252628896 139781439724784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17402/tid=17405] ppid=17399 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17405/stat : 17405 (toysat) S 17399 17402 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11647931 1338576896 55801 33554432000 4194304 16246674 140737252628896 139781321256112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10041 s]
/proc/loadavg: 2.05 2.07 2.08 3/183 17406
/proc/meminfo: memFree=25758272/32872528 swapFree=532956/565660
[pid=17402] ppid=17399 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/17402/stat : 17402 (toysat) R 17399 17402 11130 0 -1 4202496 55500 0 0 0 303 6 0 0 20 0 4 0 11647931 1338576896 55801 33554432000 4194304 16246674 140737252628896 140737252610816 13807548 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17402/statm: 326801 55801 840 2943 0 323695 0
[pid=17402/tid=17403] ppid=17399 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17403/stat : 17403 (toysat) S 17399 17402 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11647931 1338576896 55801 33554432000 4194304 16246674 140737252628896 139781450214640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17402/tid=17404] ppid=17399 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17404/stat : 17404 (toysat) S 17399 17402 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11647931 1338576896 55801 33554432000 4194304 16246674 140737252628896 139781439724784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17402/tid=17405] ppid=17399 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17405/stat : 17405 (toysat) S 17399 17402 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11647931 1338576896 55801 33554432000 4194304 16246674 140737252628896 139781321256112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30042 s]
/proc/loadavg: 2.05 2.06 2.08 3/183 17406
/proc/meminfo: memFree=25736552/32872528 swapFree=532956/565660
[pid=17402] ppid=17399 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/17402/stat : 17402 (toysat) R 17399 17402 11130 0 -1 4202496 61730 0 0 0 622 7 0 0 20 0 4 0 11647931 1338576896 62031 33554432000 4194304 16246674 140737252628896 140737252626560 13807730 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17402/statm: 326801 62031 840 2943 0 323695 0
[pid=17402/tid=17403] ppid=17399 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17403/stat : 17403 (toysat) S 17399 17402 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11647931 1338576896 62031 33554432000 4194304 16246674 140737252628896 139781450214640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17402/tid=17404] ppid=17399 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17404/stat : 17404 (toysat) S 17399 17402 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11647931 1338576896 62031 33554432000 4194304 16246674 140737252628896 139781439724784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17402/tid=17405] ppid=17399 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17405/stat : 17405 (toysat) S 17399 17402 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11647931 1338576896 62031 33554432000 4194304 16246674 140737252628896 139781321256112 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) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.04 2.06 2.08 3/183 17406
/proc/meminfo: memFree=25723300/32872528 swapFree=532956/565660
[pid=17402] ppid=17399 vsize=1309252 CPUtime=12.69 cores=1,3,5,7
/proc/17402/stat : 17402 (toysat) R 17399 17402 11130 0 -1 4202496 64353 0 0 0 1262 7 0 0 20 0 4 0 11647931 1340674048 64654 33554432000 4194304 16246674 140737252628896 140737252610816 6132712 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17402/statm: 327313 64654 842 2943 0 324207 0
[pid=17402/tid=17403] ppid=17399 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17403/stat : 17403 (toysat) S 17399 17402 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11647931 1340674048 64654 33554432000 4194304 16246674 140737252628896 139781450214640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17402/tid=17404] ppid=17399 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17404/stat : 17404 (toysat) S 17399 17402 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11647931 1340674048 64654 33554432000 4194304 16246674 140737252628896 139781439724784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17402/tid=17405] ppid=17399 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17405/stat : 17405 (toysat) S 17399 17402 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11647931 1340674048 64654 33554432000 4194304 16246674 140737252628896 139781321256112 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) 1309252

[startup+25.5005 s]
/proc/loadavg: 2.03 2.06 2.07 3/183 17406
/proc/meminfo: memFree=25721692/32872528 swapFree=532956/565660
[pid=17402] ppid=17399 vsize=1311300 CPUtime=25.48 cores=1,3,5,7
/proc/17402/stat : 17402 (toysat) R 17399 17402 11130 0 -1 4202496 71379 0 0 0 2540 8 0 0 20 0 4 0 11647931 1342771200 71680 33554432000 4194304 16246674 140737252628896 140737252610816 13817016 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17402/statm: 327825 71680 842 2943 0 324719 0
[pid=17402/tid=17403] ppid=17399 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17403/stat : 17403 (toysat) S 17399 17402 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11647931 1342771200 71680 33554432000 4194304 16246674 140737252628896 139781450214640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17402/tid=17404] ppid=17399 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17404/stat : 17404 (toysat) S 17399 17402 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11647931 1342771200 71680 33554432000 4194304 16246674 140737252628896 139781439724784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17402/tid=17405] ppid=17399 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17405/stat : 17405 (toysat) S 17399 17402 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11647931 1342771200 71680 33554432000 4194304 16246674 140737252628896 139781321256112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1311300

[startup+51.1005 s]
/proc/loadavg: 2.02 2.05 2.07 3/183 17406
/proc/meminfo: memFree=25534280/32872528 swapFree=532956/565660
[pid=17402] ppid=17399 vsize=1311300 CPUtime=51.09 cores=1,3,5,7
/proc/17402/stat : 17402 (toysat) R 17399 17402 11130 0 -1 4202496 111478 0 0 0 5095 14 0 0 20 0 4 0 11647931 1342771200 111779 33554432000 4194304 16246674 140737252628896 140737252610816 13774090 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17402/statm: 327825 111779 842 2943 0 324719 0
[pid=17402/tid=17403] ppid=17399 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17403/stat : 17403 (toysat) S 17399 17402 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11647931 1342771200 111779 33554432000 4194304 16246674 140737252628896 139781450214640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17402/tid=17404] ppid=17399 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17404/stat : 17404 (toysat) S 17399 17402 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11647931 1342771200 111779 33554432000 4194304 16246674 140737252628896 139781439724784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17402/tid=17405] ppid=17399 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17405/stat : 17405 (toysat) S 17399 17402 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11647931 1342771200 111779 33554432000 4194304 16246674 140737252628896 139781321256112 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) 1311300

[startup+102.3 s]
/proc/loadavg: 2.20 2.09 2.08 4/183 17407
/proc/meminfo: memFree=23524048/32872528 swapFree=532956/565660
[pid=17402] ppid=17399 vsize=1312324 CPUtime=102.29 cores=1,3,5,7
/proc/17402/stat : 17402 (toysat) R 17399 17402 11130 0 -1 4202496 206969 0 0 0 10201 28 0 0 20 0 4 0 11647931 1343819776 207270 33554432000 4194304 16246674 140737252628896 140737252610816 6132539 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17402/statm: 328081 207270 842 2943 0 324975 0
[pid=17402/tid=17403] ppid=17399 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17403/stat : 17403 (toysat) S 17399 17402 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11647931 1343819776 207270 33554432000 4194304 16246674 140737252628896 139781450214640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17402/tid=17404] ppid=17399 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17404/stat : 17404 (toysat) S 17399 17402 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11647931 1343819776 207270 33554432000 4194304 16246674 140737252628896 139781439724784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17402/tid=17405] ppid=17399 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17405/stat : 17405 (toysat) S 17399 17402 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11647931 1343819776 207270 33554432000 4194304 16246674 140737252628896 139781321256112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1312324


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


[startup+1422.3 s]
/proc/loadavg: 2.11 2.12 2.09 3/183 17512
/proc/meminfo: memFree=17037932/32872528 swapFree=532956/565660
[pid=17402] ppid=17399 vsize=10443332 CPUtime=1422.07 cores=1,3,5,7
/proc/17402/stat : 17402 (toysat) R 17399 17402 11130 0 -1 4202496 2551985 0 0 0 141793 414 0 0 20 0 4 0 11647931 10693971968 2552529 33554432000 4194304 16246674 140737252628896 140737252628072 13955814 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17402/statm: 2610833 2552529 843 2943 0 2607727 0
[pid=17402/tid=17403] ppid=17399 vsize=10443332 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17403/stat : 17403 (toysat) S 17399 17402 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11647931 10693971968 2552529 33554432000 4194304 16246674 140737252628896 139781450214640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17402/tid=17404] ppid=17399 vsize=10443332 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17404/stat : 17404 (toysat) S 17399 17402 11130 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 4 0 11647931 10693971968 2552529 33554432000 4194304 16246674 140737252628896 139781439724784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17402/tid=17405] ppid=17399 vsize=10443332 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17405/stat : 17405 (toysat) S 17399 17402 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11647931 10693971968 2552529 33554432000 4194304 16246674 140737252628896 139781321256112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 10443332

[startup+1482.3 s]
/proc/loadavg: 2.20 2.14 2.09 3/183 17513
/proc/meminfo: memFree=15561568/32872528 swapFree=532956/565660
[pid=17402] ppid=17399 vsize=10443332 CPUtime=1482.05 cores=1,3,5,7
/proc/17402/stat : 17402 (toysat) R 17399 17402 11130 0 -1 4202496 2551987 0 0 0 147785 420 0 0 20 0 4 0 11647931 10693971968 2552529 33554432000 4194304 16246674 140737252628896 140737252628072 13774216 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17402/statm: 2610833 2552529 843 2943 0 2607727 0
[pid=17402/tid=17403] ppid=17399 vsize=10443332 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17403/stat : 17403 (toysat) S 17399 17402 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11647931 10693971968 2552529 33554432000 4194304 16246674 140737252628896 139781450214640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17402/tid=17404] ppid=17399 vsize=10443332 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17404/stat : 17404 (toysat) S 17399 17402 11130 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 4 0 11647931 10693971968 2552529 33554432000 4194304 16246674 140737252628896 139781439724784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17402/tid=17405] ppid=17399 vsize=10443332 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17405/stat : 17405 (toysat) S 17399 17402 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11647931 10693971968 2552529 33554432000 4194304 16246674 140737252628896 139781321256112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 10443332

[startup+1542.31 s]
/proc/loadavg: 2.16 2.14 2.09 3/183 17514
/proc/meminfo: memFree=12521988/32872528 swapFree=532956/565660
[pid=17402] ppid=17399 vsize=13477444 CPUtime=1542.05 cores=1,3,5,7
/proc/17402/stat : 17402 (toysat) R 17399 17402 11130 0 -1 4202496 3310514 0 0 0 153676 529 0 0 20 0 4 0 11647931 13800902656 3311055 33554432000 4194304 16246674 140737252628896 140737252610816 13811829 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17402/statm: 3369361 3311055 844 2943 0 3366255 0
[pid=17402/tid=17403] ppid=17399 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17403/stat : 17403 (toysat) S 17399 17402 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11647931 13800902656 3311055 33554432000 4194304 16246674 140737252628896 139781450214640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17402/tid=17404] ppid=17399 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17404/stat : 17404 (toysat) S 17399 17402 11130 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 4 0 11647931 13800902656 3311055 33554432000 4194304 16246674 140737252628896 139781439724784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17402/tid=17405] ppid=17399 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17405/stat : 17405 (toysat) S 17399 17402 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11647931 13800902656 3311055 33554432000 4194304 16246674 140737252628896 139781321256112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 13477444

[startup+1602.3 s]
/proc/loadavg: 2.06 2.11 2.09 3/184 17518
/proc/meminfo: memFree=10409384/32872528 swapFree=532956/565660
[pid=17402] ppid=17399 vsize=13477444 CPUtime=1602.03 cores=1,3,5,7
/proc/17402/stat : 17402 (toysat) R 17399 17402 11130 0 -1 4202496 3310526 0 0 0 159667 536 0 0 20 0 4 0 11647931 13800902656 3311055 33554432000 4194304 16246674 140737252628896 140737252610816 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17402/statm: 3369361 3311055 844 2943 0 3366255 0
[pid=17402/tid=17403] ppid=17399 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17403/stat : 17403 (toysat) S 17399 17402 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11647931 13800902656 3311055 33554432000 4194304 16246674 140737252628896 139781450214640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17402/tid=17404] ppid=17399 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17404/stat : 17404 (toysat) S 17399 17402 11130 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 4 0 11647931 13800902656 3311055 33554432000 4194304 16246674 140737252628896 139781439724784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17402/tid=17405] ppid=17399 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17405/stat : 17405 (toysat) S 17399 17402 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11647931 13800902656 3311055 33554432000 4194304 16246674 140737252628896 139781321256112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 13477444

[startup+1662.3 s]
/proc/loadavg: 2.17 2.13 2.09 3/183 17519
/proc/meminfo: memFree=10409024/32872528 swapFree=532956/565660
[pid=17402] ppid=17399 vsize=13477444 CPUtime=1662.02 cores=1,3,5,7
/proc/17402/stat : 17402 (toysat) R 17399 17402 11130 0 -1 4202496 3310527 0 0 0 165660 542 0 0 20 0 4 0 11647931 13800902656 3311055 33554432000 4194304 16246674 140737252628896 140737252610816 13774056 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17402/statm: 3369361 3311055 844 2943 0 3366255 0
[pid=17402/tid=17403] ppid=17399 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17403/stat : 17403 (toysat) S 17399 17402 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11647931 13800902656 3311055 33554432000 4194304 16246674 140737252628896 139781450214640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17402/tid=17404] ppid=17399 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17404/stat : 17404 (toysat) S 17399 17402 11130 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 4 0 11647931 13800902656 3311055 33554432000 4194304 16246674 140737252628896 139781439724784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17402/tid=17405] ppid=17399 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17405/stat : 17405 (toysat) S 17399 17402 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11647931 13800902656 3311055 33554432000 4194304 16246674 140737252628896 139781321256112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 13477444

[startup+1722.3 s]
/proc/loadavg: 2.11 2.12 2.09 3/183 17521
/proc/meminfo: memFree=10409304/32872528 swapFree=532956/565660
[pid=17402] ppid=17399 vsize=13477444 CPUtime=1722.01 cores=1,3,5,7
/proc/17402/stat : 17402 (toysat) R 17399 17402 11130 0 -1 4202496 3310527 0 0 0 171658 543 0 0 20 0 4 0 11647931 13800902656 3311055 33554432000 4194304 16246674 140737252628896 140737252610816 13809400 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17402/statm: 3369361 3311055 844 2943 0 3366255 0
[pid=17402/tid=17403] ppid=17399 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17403/stat : 17403 (toysat) S 17399 17402 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11647931 13800902656 3311055 33554432000 4194304 16246674 140737252628896 139781450214640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17402/tid=17404] ppid=17399 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17404/stat : 17404 (toysat) S 17399 17402 11130 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 4 0 11647931 13800902656 3311055 33554432000 4194304 16246674 140737252628896 139781439724784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17402/tid=17405] ppid=17399 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17405/stat : 17405 (toysat) S 17399 17402 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11647931 13800902656 3311055 33554432000 4194304 16246674 140737252628896 139781321256112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 13477444

[startup+1782.3 s]
/proc/loadavg: 2.08 2.11 2.09 3/183 17522
/proc/meminfo: memFree=10409096/32872528 swapFree=532956/565660
[pid=17402] ppid=17399 vsize=13477444 CPUtime=1782 cores=1,3,5,7
/proc/17402/stat : 17402 (toysat) R 17399 17402 11130 0 -1 4202496 3310528 0 0 0 177654 546 0 0 20 0 4 0 11647931 13800902656 3311055 33554432000 4194304 16246674 140737252628896 140737252610816 13809312 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17402/statm: 3369361 3311055 844 2943 0 3366255 0
[pid=17402/tid=17403] ppid=17399 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17403/stat : 17403 (toysat) S 17399 17402 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11647931 13800902656 3311055 33554432000 4194304 16246674 140737252628896 139781450214640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17402/tid=17404] ppid=17399 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17404/stat : 17404 (toysat) S 17399 17402 11130 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 4 0 11647931 13800902656 3311055 33554432000 4194304 16246674 140737252628896 139781439724784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17402/tid=17405] ppid=17399 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17405/stat : 17405 (toysat) S 17399 17402 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11647931 13800902656 3311055 33554432000 4194304 16246674 140737252628896 139781321256112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 13477444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.14 2.12 2.09 3/183 17522
/proc/meminfo: memFree=10409216/32872528 swapFree=532956/565660
[pid=17402] ppid=17399 vsize=13477444 CPUtime=1800 cores=1,3,5,7
/proc/17402/stat : 17402 (toysat) R 17399 17402 11130 0 -1 4202496 3310528 0 0 0 179453 547 0 0 20 0 4 0 11647931 13800902656 3311055 33554432000 4194304 16246674 140737252628896 140737252627992 13809352 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17402/statm: 3369361 3311055 844 2943 0 3366255 0
[pid=17402/tid=17403] ppid=17399 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17403/stat : 17403 (toysat) S 17399 17402 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11647931 13800902656 3311055 33554432000 4194304 16246674 140737252628896 139781450214640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17402/tid=17404] ppid=17399 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17404/stat : 17404 (toysat) S 17399 17402 11130 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 4 0 11647931 13800902656 3311055 33554432000 4194304 16246674 140737252628896 139781439724784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17402/tid=17405] ppid=17399 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/17402/task/17405/stat : 17405 (toysat) S 17399 17402 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11647931 13800902656 3311055 33554432000 4194304 16246674 140737252628896 139781321256112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 13477444

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

[startup+1800.4 s]
/proc/loadavg: 2.14 2.12 2.09 3/183 17522
/proc/meminfo: memFree=10409216/32872528 swapFree=532956/565660
[pid=17402] ppid=17399 vsize=0 CPUtime=1800.1 cores=1,3,5,7
/proc/17402/stat : 17402 (toysat) Z 17399 17402 11130 0 -1 4203532 3310528 0 0 0 179453 557 0 0 20 0 2 0 11647931 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17402/statm: 0 0 0 0 0 0 0
[pid=17402/tid=17404] ppid=17399 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/17402/task/17404/stat : 17404 (toysat) R 17399 17402 11130 0 -1 4203588 11 0 0 0 0 8 0 0 20 0 2 0 11647931 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) 1800.1
Current children cumulated vsize (KiB) 0

[startup+1800.81 s]
/proc/loadavg: 2.14 2.12 2.09 3/181 17522
/proc/meminfo: memFree=18935436/32872528 swapFree=532956/565660
[pid=17402] ppid=17399 vsize=0 CPUtime=1800.5 cores=1,3,5,7
/proc/17402/stat : 17402 (toysat) Z 17399 17402 11130 0 -1 4203532 3310528 0 0 0 179453 597 0 0 20 0 2 0 11647931 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17402/statm: 0 0 0 0 0 0 0
[pid=17402/tid=17404] ppid=17399 vsize=0 CPUtime=0.49 cores=1,3,5,7
/proc/17402/task/17404/stat : 17404 (toysat) R 17399 17402 11130 0 -1 4203588 11 0 0 0 0 49 0 0 20 0 2 0 11647931 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) 1800.5
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 2.14 2.12 2.09 3/181 17522
/proc/meminfo: memFree=18935436/32872528 swapFree=532956/565660
[pid=17402] ppid=17399 vsize=0 CPUtime=1800.59 cores=1,3,5,7
/proc/17402/stat : 17402 (toysat) Z 17399 17402 11130 0 -1 4203532 3310528 0 0 0 179453 606 0 0 20 0 2 0 11647931 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17402/statm: 0 0 0 0 0 0 0
[pid=17402/tid=17404] ppid=17399 vsize=0 CPUtime=0.58 cores=1,3,5,7
/proc/17402/task/17404/stat : 17404 (toysat) R 17399 17402 11130 0 -1 4203588 11 0 0 0 0 58 0 0 20 0 2 0 11647931 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) 1800.59
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.95
CPU time (s): 1800.65
CPU user time (s): 1794.54
CPU system time (s): 6.11007
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 13477444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.54
system time used= 6.11007
maximum resident set size= 13244220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3310528
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= 92
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5953 second user time and 6.87595 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-16 18:53:43
IDJOB=4093268
IDBENCH=79513
IDSOLVER=2553
FILE ID=node138/4093268-1466096023
RUNJOBID= node138-1466074865-13652
PBS_JOBID= 19904002
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/warehouse/normalized-cap123_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093268-1466096023/watcher-4093268-1466096023 -o /tmp/evaluation-result-4093268-1466096023/solver-4093268-1466096023 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466074865-13652 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093268-1466096023.wbo

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

MD5SUM BENCH= ea836e0f976b6c1eccda327c2ccf56b9
RANDOM SEED=157231134

node138.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.395
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.79
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.395
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.395
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.395
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.395
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.395
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.395
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.54
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.395
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        25981244 kB
Buffers:           51992 kB
Cached:           119576 kB
SwapCached:         1380 kB
Active:          5520292 kB
Inactive:          93264 kB
Active(anon):    5442812 kB
Inactive(anon):     1664 kB
Active(file):      77480 kB
Inactive(file):    91600 kB
Unevictable:      565660 kB
Mlocked:          532956 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             16304 kB
Writeback:             0 kB
AnonPages:       6133612 kB
Mapped:            10652 kB
Shmem:                 0 kB
Slab:             568372 kB
SReclaimable:      12280 kB
SUnreclaim:       556092 kB
KernelStack:        1520 kB
PageTables:        15980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    6151672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    186368 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= 71716 MiB
End job on node138 at 2016-06-16 19:23:44