Trace number 4093506

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-le450-5a-3_wcsp.wbo
MD5SUM72c9ce0449d9d860fc68cf7a2819c6b0
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1723
Best CPU time to get the best result obtained on this benchmark1800.07
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1350
Total number of constraints17592
Number of soft constraints17142
Number of constraints which are clauses17142
Number of constraints which are cardinality constraints (but not clauses)450
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Top cost 5715
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 17142
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
Number of bits of the biggest sum of numbers3
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-16T23:10:27+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-4093506-1466111427.wbo"]
0.00/0.01	c use --random-gen="3484819742 2512598426 2348213066 124057289 293716670 2554733477 1800624488 990517326 2851871679 2340934296 4019064775 1142166920 2724587184 1101964150 3020261997 1608976781 1238202645 1705839747 2804395924 1825785638 3809115020 3886717315 3960371249 746316621 1940649577 3540384849 538730247 2783816094 2107410843 3937755199 3495666483 2413571278 359383948 558362975 425609102 2444623194 2929663181 3862030995 2494722152 4016936072 3257184527 3715294321 2816351228 3893967424 249680820 3793987694 174660086 2025794970 3727231409 231429726 2476575138 3479154247 2143995704 3430778057 2563960212 96728800 696409308 2414393935 3657385225 1342547654 3635315816 4278961774 1710120085 645685398 2402797083 2295457812 833640837 3328229341 2634003108 19624170 1942238880 3857223828 2970522285 1381467765 862564425 2530841120 3629424788 2303327595 1719684692 2815885299 362557094 3996300391 3301921848 1094080178 2115864014 3552398401 872364644 4248117827 1455833807 1384406696 1981853619 3151566388 840516331 3989556960 2831638334 2061204347 113040630 1477099889 4171565796 3224720081 2674754359 2346172584 4049680857 2807752890 2865089991 2427434046 1130766871 2207652932 122127326 1324773675 3914157236 3680630210 3951451605 2570219826 22174747 3165060209 3659755429 1717401560 3370344948 3571297866 3634293533 1147146383 3059639192 3978349196 1081134391 3176037431 3263299596 1582258191 1088247477 1060011348 986547532 2278799508 4140470310 236417553 412119138 4102467498 2612225033 442827391 3677131848 3834344694 4022309647 3982752675 1826495150 3914937286 3817808585 2433931623 408217365 878501067 1166798350 622455596 3209459318 813067619 1868412249 2304621737 3940503923 93415368 1044403451 3583573499 4034859671 4240008942 1722344414 1900266862 502948627 2292701207 1972548277 1582763798 1323794024 223197798 3489320055 1595328141 2973100908 1641378309 934525208 3980096519 2060725393 3126357739 2311839307 1854972509 4286437987 1928377669 2415109930 3502276589 2782693161 339435006 25059295 3520016651 3969566427 772721779 2766792955 1020800184 985683785 3134439302 2090095942 2166139919 3279848891 1478722214 1141721214 3117502435 3916507006 1697168772 3990615928 2490098292 2381242514 2538446086 3550642924 1782302104 1909292946 3544086215 1874424481 2415569404 3421461296 3084018232 2027377544 3621531257 1159750575 2303731441 1979986647 3644323924 2646269918 2514125770 2374717461 214170200 4070610768 2085089521 3639166234 1633643743 2401294341 3970567226 1703230709 893882246 1624546524 2647589121 458154718 2273280527 3154610907 2568847468 3199581626 4010861242 2612349339 3706638764 2432939472 3069151719 2713082286 141268360 171763510 2050169025 73007556 3380987578 1581334086 4267043255 2213063950 2179160279 1157043511 926388483 473637565 1301753385 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-4093506-1466111427/watcher-4093506-1466111427 -o /tmp/evaluation-result-4093506-1466111427/solver-4093506-1466111427 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466109626-27849 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093506-1466111427.wbo 

pid=28043
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.19 2.39 3/180 28046
/proc/meminfo: memFree=30353824/32872528 swapFree=1286144/1433312
[pid=28046] ppid=28043 vsize=705980 CPUtime=0 cores=1,3,5,7
/proc/28046/stat : 28046 (toysat) R 28043 28046 25981 0 -1 4202496 2631 0 0 0 0 0 0 0 20 0 4 0 13189488 722923520 2992 33554432000 4194304 16246674 140735175917760 140735175917184 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28046/statm: 177263 3001 441 2943 0 174157 0
[pid=28046/tid=28047] ppid=28043 vsize=723388 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28047/stat : 28047 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 740749312 3060 33554432000 4194304 16246674 140735175917760 139807537736944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28046/tid=28048] ppid=28043 vsize=727484 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28048/stat : 28048 (toysat) S 28043 28046 25981 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13189489 744943616 3076 33554432000 4194304 16246674 140735175917760 139807527247088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28046/tid=28049] ppid=28043 vsize=732604 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28049/stat : 28049 (toysat) S 28043 28046 25981 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13189489 750186496 3094 33554432000 4194304 16246674 140735175917760 139807516773552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100214 s]
/proc/loadavg: 2.19 2.19 2.39 3/180 28046
/proc/meminfo: memFree=30353824/32872528 swapFree=1286144/1433312
[pid=28046] ppid=28043 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/28046/stat : 28046 (toysat) R 28043 28046 25981 0 -1 4202496 29430 0 0 0 5 4 0 0 20 0 4 0 13189488 1249447936 29732 33554432000 4194304 16246674 140735175917760 140735175917072 7405654 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28046/statm: 305041 29746 802 2943 0 301935 0
[pid=28046/tid=28047] ppid=28043 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28047/stat : 28047 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 1249447936 29757 33554432000 4194304 16246674 140735175917760 139807537736944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28046/tid=28048] ppid=28043 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28048/stat : 28048 (toysat) S 28043 28046 25981 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13189489 1249447936 29768 33554432000 4194304 16246674 140735175917760 139807527247088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28046/tid=28049] ppid=28043 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28049/stat : 28049 (toysat) S 28043 28046 25981 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13189489 1249447936 29779 33554432000 4194304 16246674 140735175917760 139807516773552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.20052 s]
/proc/loadavg: 2.19 2.19 2.39 3/180 28046
/proc/meminfo: memFree=30353824/32872528 swapFree=1286144/1433312
[pid=28046] ppid=28043 vsize=1302084 CPUtime=0.19 cores=1,3,5,7
/proc/28046/stat : 28046 (toysat) R 28043 28046 25981 0 -1 4202496 50308 0 0 0 12 7 0 0 20 0 4 0 13189488 1333334016 50609 33554432000 4194304 16246674 140735175917760 140735175917072 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28046/statm: 325521 50615 832 2943 0 322415 0
[pid=28046/tid=28047] ppid=28043 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28047/stat : 28047 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 1333334016 50618 33554432000 4194304 16246674 140735175917760 139807537736944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28046/tid=28048] ppid=28043 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28048/stat : 28048 (toysat) S 28043 28046 25981 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13189489 1333334016 50620 33554432000 4194304 16246674 140735175917760 139807527247088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28046/tid=28049] ppid=28043 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28049/stat : 28049 (toysat) S 28043 28046 25981 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13189489 1333334016 50624 33554432000 4194304 16246674 140735175917760 139807516773552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300493 s]
/proc/loadavg: 2.19 2.19 2.39 3/180 28046
/proc/meminfo: memFree=30353824/32872528 swapFree=1286144/1433312
[pid=28046] ppid=28043 vsize=1309252 CPUtime=0.29 cores=1,3,5,7
/proc/28046/stat : 28046 (toysat) R 28043 28046 25981 0 -1 4202496 52184 0 0 0 22 7 0 0 20 0 4 0 13189488 1340674048 52485 33554432000 4194304 16246674 140735175917760 140735175917072 13906976 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28046/statm: 327313 52485 835 2943 0 324207 0
[pid=28046/tid=28047] ppid=28043 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28047/stat : 28047 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 1340674048 52485 33554432000 4194304 16246674 140735175917760 139807537736944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28046/tid=28048] ppid=28043 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28048/stat : 28048 (toysat) S 28043 28046 25981 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13189489 1340674048 52485 33554432000 4194304 16246674 140735175917760 139807527247088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28046/tid=28049] ppid=28043 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28049/stat : 28049 (toysat) S 28043 28046 25981 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13189489 1340674048 52485 33554432000 4194304 16246674 140735175917760 139807516773552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1309252

[startup+0.700391 s]
/proc/loadavg: 2.19 2.19 2.39 3/180 28046
/proc/meminfo: memFree=30353824/32872528 swapFree=1286144/1433312
[pid=28046] ppid=28043 vsize=1316420 CPUtime=0.69 cores=1,3,5,7
/proc/28046/stat : 28046 (toysat) R 28043 28046 25981 0 -1 4202496 60489 0 0 0 61 8 0 0 20 0 4 0 13189488 1348014080 60790 33554432000 4194304 16246674 140735175917760 140735175917072 6132584 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28046/statm: 329105 60790 835 2943 0 325999 0
[pid=28046/tid=28047] ppid=28043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28047/stat : 28047 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 1348014080 60790 33554432000 4194304 16246674 140735175917760 139807537736944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28046/tid=28048] ppid=28043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28048/stat : 28048 (toysat) S 28043 28046 25981 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13189489 1348014080 60790 33554432000 4194304 16246674 140735175917760 139807527247088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28046/tid=28049] ppid=28043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28049/stat : 28049 (toysat) S 28043 28046 25981 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13189489 1348014080 60790 33554432000 4194304 16246674 140735175917760 139807516773552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1316420

[startup+1.5004 s]
/proc/loadavg: 2.19 2.19 2.39 3/184 28050
/proc/meminfo: memFree=30058848/32872528 swapFree=1286144/1433312
[pid=28046] ppid=28043 vsize=1316420 CPUtime=1.49 cores=1,3,5,7
/proc/28046/stat : 28046 (toysat) R 28043 28046 25981 0 -1 4202496 60489 0 0 0 141 8 0 0 20 0 4 0 13189488 1348014080 60790 33554432000 4194304 16246674 140735175917760 140735175899648 13955776 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28046/statm: 329105 60790 835 2943 0 325999 0
[pid=28046/tid=28047] ppid=28043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28047/stat : 28047 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 1348014080 60790 33554432000 4194304 16246674 140735175917760 139807537736944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28046/tid=28048] ppid=28043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28048/stat : 28048 (toysat) S 28043 28046 25981 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13189489 1348014080 60790 33554432000 4194304 16246674 140735175917760 139807527247088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28046/tid=28049] ppid=28043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28049/stat : 28049 (toysat) S 28043 28046 25981 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13189489 1348014080 60790 33554432000 4194304 16246674 140735175917760 139807516773552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1316420

[startup+3.1004 s]
/proc/loadavg: 2.17 2.19 2.38 3/184 28050
/proc/meminfo: memFree=30058476/32872528 swapFree=1286144/1433312
[pid=28046] ppid=28043 vsize=1316420 CPUtime=3.09 cores=1,3,5,7
/proc/28046/stat : 28046 (toysat) R 28043 28046 25981 0 -1 4202496 60489 0 0 0 301 8 0 0 20 0 4 0 13189488 1348014080 60790 33554432000 4194304 16246674 140735175917760 140735175899648 13809288 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28046/statm: 329105 60790 835 2943 0 325999 0
[pid=28046/tid=28047] ppid=28043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28047/stat : 28047 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 1348014080 60790 33554432000 4194304 16246674 140735175917760 139807537736944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28046/tid=28048] ppid=28043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28048/stat : 28048 (toysat) S 28043 28046 25981 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13189489 1348014080 60790 33554432000 4194304 16246674 140735175917760 139807527247088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28046/tid=28049] ppid=28043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28049/stat : 28049 (toysat) S 28043 28046 25981 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13189489 1348014080 60790 33554432000 4194304 16246674 140735175917760 139807516773552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1316420

[startup+6.30028 s]
/proc/loadavg: 2.17 2.19 2.38 3/184 28050
/proc/meminfo: memFree=30058848/32872528 swapFree=1286144/1433312
[pid=28046] ppid=28043 vsize=1316420 CPUtime=6.29 cores=1,3,5,7
/proc/28046/stat : 28046 (toysat) R 28043 28046 25981 0 -1 4202496 60489 0 0 0 621 8 0 0 20 0 4 0 13189488 1348014080 60790 33554432000 4194304 16246674 140735175917760 140735175899648 13807730 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28046/statm: 329105 60790 835 2943 0 325999 0
[pid=28046/tid=28047] ppid=28043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28047/stat : 28047 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 1348014080 60790 33554432000 4194304 16246674 140735175917760 139807537736944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28046/tid=28048] ppid=28043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28048/stat : 28048 (toysat) S 28043 28046 25981 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13189489 1348014080 60790 33554432000 4194304 16246674 140735175917760 139807527247088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28046/tid=28049] ppid=28043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28049/stat : 28049 (toysat) S 28043 28046 25981 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13189489 1348014080 60790 33554432000 4194304 16246674 140735175917760 139807516773552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1316420

[startup+12.7003 s]
/proc/loadavg: 2.15 2.18 2.38 3/184 28050
/proc/meminfo: memFree=30058868/32872528 swapFree=1286144/1433312
[pid=28046] ppid=28043 vsize=1316420 CPUtime=12.69 cores=1,3,5,7
/proc/28046/stat : 28046 (toysat) R 28043 28046 25981 0 -1 4202496 60489 0 0 0 1261 8 0 0 20 0 4 0 13189488 1348014080 60790 33554432000 4194304 16246674 140735175917760 140735175899648 6132521 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28046/statm: 329105 60790 835 2943 0 325999 0
[pid=28046/tid=28047] ppid=28043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28047/stat : 28047 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 1348014080 60790 33554432000 4194304 16246674 140735175917760 139807537736944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28046/tid=28048] ppid=28043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28048/stat : 28048 (toysat) S 28043 28046 25981 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13189489 1348014080 60790 33554432000 4194304 16246674 140735175917760 139807527247088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28046/tid=28049] ppid=28043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28049/stat : 28049 (toysat) S 28043 28046 25981 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13189489 1348014080 60790 33554432000 4194304 16246674 140735175917760 139807516773552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1316420

[startup+25.5003 s]
/proc/loadavg: 2.12 2.17 2.37 3/184 28050
/proc/meminfo: memFree=30059792/32872528 swapFree=1286144/1433312
[pid=28046] ppid=28043 vsize=1316420 CPUtime=25.49 cores=1,3,5,7
/proc/28046/stat : 28046 (toysat) R 28043 28046 25981 0 -1 4202496 60491 0 0 0 2541 8 0 0 20 0 4 0 13189488 1348014080 60792 33554432000 4194304 16246674 140735175917760 140735175899648 13807598 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28046/statm: 329105 60792 837 2943 0 325999 0
[pid=28046/tid=28047] ppid=28043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28047/stat : 28047 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 1348014080 60792 33554432000 4194304 16246674 140735175917760 139807537736944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28046/tid=28048] ppid=28043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28048/stat : 28048 (toysat) S 28043 28046 25981 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13189489 1348014080 60792 33554432000 4194304 16246674 140735175917760 139807527247088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28046/tid=28049] ppid=28043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28049/stat : 28049 (toysat) S 28043 28046 25981 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13189489 1348014080 60792 33554432000 4194304 16246674 140735175917760 139807516773552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1316420

[startup+51.1004 s]
/proc/loadavg: 2.22 2.19 2.37 4/183 28050
/proc/meminfo: memFree=30060096/32872528 swapFree=1286144/1433312
[pid=28046] ppid=28043 vsize=1316420 CPUtime=51.08 cores=1,3,5,7
/proc/28046/stat : 28046 (toysat) R 28043 28046 25981 0 -1 4202496 60491 0 0 0 5100 8 0 0 20 0 4 0 13189488 1348014080 60792 33554432000 4194304 16246674 140735175917760 140735175899648 6132521 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28046/statm: 329105 60792 837 2943 0 325999 0
[pid=28046/tid=28047] ppid=28043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28047/stat : 28047 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 1348014080 60792 33554432000 4194304 16246674 140735175917760 139807537736944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28046/tid=28048] ppid=28043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28048/stat : 28048 (toysat) S 28043 28046 25981 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13189489 1348014080 60792 33554432000 4194304 16246674 140735175917760 139807527247088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28046/tid=28049] ppid=28043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28049/stat : 28049 (toysat) S 28043 28046 25981 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13189489 1348014080 60792 33554432000 4194304 16246674 140735175917760 139807516773552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1316420

[startup+102.3 s]
/proc/loadavg: 2.23 2.19 2.36 3/182 28051
/proc/meminfo: memFree=30058608/32872528 swapFree=1286144/1433312
[pid=28046] ppid=28043 vsize=1316420 CPUtime=102.27 cores=1,3,5,7
/proc/28046/stat : 28046 (toysat) R 28043 28046 25981 0 -1 4202496 60779 0 0 0 10219 8 0 0 20 0 4 0 13189488 1348014080 61080 33554432000 4194304 16246674 140735175917760 140735175899648 13923640 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28046/statm: 329105 61080 837 2943 0 325999 0
[pid=28046/tid=28047] ppid=28043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28047/stat : 28047 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 1348014080 61080 33554432000 4194304 16246674 140735175917760 139807537736944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28046/tid=28048] ppid=28043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28048/stat : 28048 (toysat) S 28043 28046 25981 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13189489 1348014080 61080 33554432000 4194304 16246674 140735175917760 139807527247088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28046/tid=28049] ppid=28043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28049/stat : 28049 (toysat) S 28043 28046 25981 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13189489 1348014080 61080 33554432000 4194304 16246674 140735175917760 139807516773552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1316420


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

/proc/28046/task/28049/stat : 28049 (toysat) S 28043 28046 25981 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13189489 1572409344 325239 33554432000 4194304 16246674 140735175917760 139807516773552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.11
Current children cumulated vsize (KiB) 1535556

[startup+1302.3 s]
/proc/loadavg: 2.31 2.23 2.22 3/183 28082
/proc/meminfo: memFree=27940028/32872528 swapFree=1286144/1433312
[pid=28046] ppid=28043 vsize=1535556 CPUtime=1302.1 cores=1,3,5,7
/proc/28046/stat : 28046 (toysat) R 28043 28046 25981 0 -1 4202496 324938 0 0 0 130160 50 0 0 20 0 4 0 13189488 1572409344 325239 33554432000 4194304 16246674 140735175917760 140735175899648 6132521 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28046/statm: 383889 325239 837 2943 0 380783 0
[pid=28046/tid=28047] ppid=28043 vsize=1535556 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28047/stat : 28047 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 1572409344 325239 33554432000 4194304 16246674 140735175917760 139807537736944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28046/tid=28048] ppid=28043 vsize=1535556 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28048/stat : 28048 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 1572409344 325239 33554432000 4194304 16246674 140735175917760 139807527247088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28046/tid=28049] ppid=28043 vsize=1535556 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28049/stat : 28049 (toysat) S 28043 28046 25981 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13189489 1572409344 325239 33554432000 4194304 16246674 140735175917760 139807516773552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 1535556

[startup+1362.3 s]
/proc/loadavg: 2.27 2.23 2.22 4/183 28084
/proc/meminfo: memFree=27940200/32872528 swapFree=1286144/1433312
[pid=28046] ppid=28043 vsize=1535556 CPUtime=1362.09 cores=1,3,5,7
/proc/28046/stat : 28046 (toysat) R 28043 28046 25981 0 -1 4202496 324938 0 0 0 136159 50 0 0 20 0 4 0 13189488 1572409344 325239 33554432000 4194304 16246674 140735175917760 140735175899648 13809352 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28046/statm: 383889 325239 837 2943 0 380783 0
[pid=28046/tid=28047] ppid=28043 vsize=1535556 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28047/stat : 28047 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 1572409344 325239 33554432000 4194304 16246674 140735175917760 139807537736944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28046/tid=28048] ppid=28043 vsize=1535556 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28048/stat : 28048 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 1572409344 325239 33554432000 4194304 16246674 140735175917760 139807527247088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28046/tid=28049] ppid=28043 vsize=1535556 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28049/stat : 28049 (toysat) S 28043 28046 25981 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13189489 1572409344 325239 33554432000 4194304 16246674 140735175917760 139807516773552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 1535556

[startup+1422.3 s]
/proc/loadavg: 2.26 2.23 2.22 3/183 28085
/proc/meminfo: memFree=27939016/32872528 swapFree=1286144/1433312
[pid=28046] ppid=28043 vsize=1535556 CPUtime=1422.08 cores=1,3,5,7
/proc/28046/stat : 28046 (toysat) R 28043 28046 25981 0 -1 4202496 324938 0 0 0 142158 50 0 0 20 0 4 0 13189488 1572409344 325242 33554432000 4194304 16246674 140735175917760 140735175899648 13807598 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28046/statm: 383889 325242 837 2943 0 380783 0
[pid=28046/tid=28047] ppid=28043 vsize=1535556 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28047/stat : 28047 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 1572409344 325242 33554432000 4194304 16246674 140735175917760 139807537736944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28046/tid=28048] ppid=28043 vsize=1535556 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28048/stat : 28048 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 1572409344 325242 33554432000 4194304 16246674 140735175917760 139807527247088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28046/tid=28049] ppid=28043 vsize=1535556 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28049/stat : 28049 (toysat) S 28043 28046 25981 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13189489 1572409344 325242 33554432000 4194304 16246674 140735175917760 139807516773552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1535556

[startup+1482.3 s]
/proc/loadavg: 2.24 2.23 2.21 3/183 28086
/proc/meminfo: memFree=27939304/32872528 swapFree=1286144/1433312
[pid=28046] ppid=28043 vsize=1535556 CPUtime=1482.07 cores=1,3,5,7
/proc/28046/stat : 28046 (toysat) R 28043 28046 25981 0 -1 4202496 324938 0 0 0 148157 50 0 0 20 0 4 0 13189488 1572409344 325242 33554432000 4194304 16246674 140735175917760 140735175899648 13807598 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28046/statm: 383889 325242 837 2943 0 380783 0
[pid=28046/tid=28047] ppid=28043 vsize=1535556 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28047/stat : 28047 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 1572409344 325242 33554432000 4194304 16246674 140735175917760 139807537736944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28046/tid=28048] ppid=28043 vsize=1535556 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28048/stat : 28048 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 1572409344 325242 33554432000 4194304 16246674 140735175917760 139807527247088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28046/tid=28049] ppid=28043 vsize=1535556 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28049/stat : 28049 (toysat) S 28043 28046 25981 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13189489 1572409344 325242 33554432000 4194304 16246674 140735175917760 139807516773552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 1535556

[startup+1542.3 s]
/proc/loadavg: 2.20 2.22 2.21 4/183 28087
/proc/meminfo: memFree=27939348/32872528 swapFree=1286144/1433312
[pid=28046] ppid=28043 vsize=1535556 CPUtime=1542.06 cores=1,3,5,7
/proc/28046/stat : 28046 (toysat) R 28043 28046 25981 0 -1 4202496 324938 0 0 0 154156 50 0 0 20 0 4 0 13189488 1572409344 325242 33554432000 4194304 16246674 140735175917760 140735175899648 13774072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28046/statm: 383889 325242 837 2943 0 380783 0
[pid=28046/tid=28047] ppid=28043 vsize=1535556 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28047/stat : 28047 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 1572409344 325242 33554432000 4194304 16246674 140735175917760 139807537736944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28046/tid=28048] ppid=28043 vsize=1535556 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28048/stat : 28048 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 1572409344 325242 33554432000 4194304 16246674 140735175917760 139807527247088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28046/tid=28049] ppid=28043 vsize=1535556 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28049/stat : 28049 (toysat) S 28043 28046 25981 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13189489 1572409344 325242 33554432000 4194304 16246674 140735175917760 139807516773552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1535556

[startup+1602.3 s]
/proc/loadavg: 2.32 2.25 2.22 3/183 28088
/proc/meminfo: memFree=27938692/32872528 swapFree=1286144/1433312
[pid=28046] ppid=28043 vsize=1535556 CPUtime=1602.05 cores=1,3,5,7
/proc/28046/stat : 28046 (toysat) R 28043 28046 25981 0 -1 4202496 325020 0 0 0 160155 50 0 0 20 0 4 0 13189488 1572409344 325324 33554432000 4194304 16246674 140735175917760 140735175899648 13809344 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28046/statm: 383889 325324 837 2943 0 380783 0
[pid=28046/tid=28047] ppid=28043 vsize=1535556 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28047/stat : 28047 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 1572409344 325324 33554432000 4194304 16246674 140735175917760 139807537736944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28046/tid=28048] ppid=28043 vsize=1535556 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28048/stat : 28048 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 1572409344 325324 33554432000 4194304 16246674 140735175917760 139807527247088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28046/tid=28049] ppid=28043 vsize=1535556 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28049/stat : 28049 (toysat) S 28043 28046 25981 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13189489 1572409344 325324 33554432000 4194304 16246674 140735175917760 139807516773552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 1535556

[startup+1662.3 s]
/proc/loadavg: 2.26 2.25 2.22 3/182 28089
/proc/meminfo: memFree=26815772/32872528 swapFree=1286144/1433312
[pid=28046] ppid=28043 vsize=2096708 CPUtime=1662.04 cores=1,3,5,7
/proc/28046/stat : 28046 (toysat) R 28043 28046 25981 0 -1 4202496 465271 0 0 0 166135 69 0 0 20 0 4 0 13189488 2147028992 465574 33554432000 4194304 16246674 140735175917760 140735175899648 13807696 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28046/statm: 524177 465574 837 2943 0 521071 0
[pid=28046/tid=28047] ppid=28043 vsize=2096708 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28047/stat : 28047 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 2147028992 465574 33554432000 4194304 16246674 140735175917760 139807537736944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28046/tid=28048] ppid=28043 vsize=2096708 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28048/stat : 28048 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 2147028992 465574 33554432000 4194304 16246674 140735175917760 139807527247088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28046/tid=28049] ppid=28043 vsize=2096708 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28049/stat : 28049 (toysat) S 28043 28046 25981 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13189489 2147028992 465574 33554432000 4194304 16246674 140735175917760 139807516773552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 2096708

[startup+1722.3 s]
/proc/loadavg: 2.14 2.22 2.20 4/183 28091
/proc/meminfo: memFree=26815504/32872528 swapFree=1286144/1433312
[pid=28046] ppid=28043 vsize=2096708 CPUtime=1722.03 cores=1,3,5,7
/proc/28046/stat : 28046 (toysat) R 28043 28046 25981 0 -1 4202496 465271 0 0 0 172134 69 0 0 20 0 4 0 13189488 2147028992 465574 33554432000 4194304 16246674 140735175917760 140735175899648 13817064 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28046/statm: 524177 465574 837 2943 0 521071 0
[pid=28046/tid=28047] ppid=28043 vsize=2096708 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28047/stat : 28047 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 2147028992 465574 33554432000 4194304 16246674 140735175917760 139807537736944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28046/tid=28048] ppid=28043 vsize=2096708 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28048/stat : 28048 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 2147028992 465574 33554432000 4194304 16246674 140735175917760 139807527247088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28046/tid=28049] ppid=28043 vsize=2096708 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28049/stat : 28049 (toysat) S 28043 28046 25981 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13189489 2147028992 465574 33554432000 4194304 16246674 140735175917760 139807516773552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 2096708

[startup+1782.3 s]
/proc/loadavg: 2.14 2.20 2.19 3/184 28095
/proc/meminfo: memFree=26814800/32872528 swapFree=1286144/1433312
[pid=28046] ppid=28043 vsize=2096708 CPUtime=1782.02 cores=1,3,5,7
/proc/28046/stat : 28046 (toysat) R 28043 28046 25981 0 -1 4202496 465271 0 0 0 178133 69 0 0 20 0 4 0 13189488 2147028992 465574 33554432000 4194304 16246674 140735175917760 140735175899648 13807457 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28046/statm: 524177 465574 837 2943 0 521071 0
[pid=28046/tid=28047] ppid=28043 vsize=2096708 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28047/stat : 28047 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 2147028992 465574 33554432000 4194304 16246674 140735175917760 139807537736944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28046/tid=28048] ppid=28043 vsize=2096708 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28048/stat : 28048 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 2147028992 465574 33554432000 4194304 16246674 140735175917760 139807527247088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28046/tid=28049] ppid=28043 vsize=2096708 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28049/stat : 28049 (toysat) S 28043 28046 25981 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13189489 2147028992 465574 33554432000 4194304 16246674 140735175917760 139807516773552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 2096708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.10 2.19 2.19 3/184 28095
/proc/meminfo: memFree=26815108/32872528 swapFree=1286144/1433312
[pid=28046] ppid=28043 vsize=2096708 CPUtime=1800.01 cores=1,3,5,7
/proc/28046/stat : 28046 (toysat) R 28043 28046 25981 0 -1 4202496 465271 0 0 0 179932 69 0 0 20 0 4 0 13189488 2147028992 465574 33554432000 4194304 16246674 140735175917760 140735175899648 13807508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28046/statm: 524177 465574 837 2943 0 521071 0
[pid=28046/tid=28047] ppid=28043 vsize=2096708 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28047/stat : 28047 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 2147028992 465574 33554432000 4194304 16246674 140735175917760 139807537736944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28046/tid=28048] ppid=28043 vsize=2096708 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28048/stat : 28048 (toysat) S 28043 28046 25981 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13189489 2147028992 465574 33554432000 4194304 16246674 140735175917760 139807527247088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28046/tid=28049] ppid=28043 vsize=2096708 CPUtime=0 cores=1,3,5,7
/proc/28046/task/28049/stat : 28049 (toysat) S 28043 28046 25981 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13189489 2147028992 465574 33554432000 4194304 16246674 140735175917760 139807516773552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2096708

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.37
CPU time (s): 1800.09
CPU user time (s): 1799.33
CPU system time (s): 0.757884
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 2096708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 0.757884
maximum resident set size= 1862296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 465271
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= 25
involuntary context switches= 2227

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.15022 second user time and 6.74497 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-16 23:10:27
IDJOB=4093506
IDBENCH=79661
IDSOLVER=2553
FILE ID=node130/4093506-1466111427
RUNJOBID= node130-1466109626-27849
PBS_JOBID= 19904043
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/coloring/normalized-le450-5a-3_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093506-1466111427/watcher-4093506-1466111427 -o /tmp/evaluation-result-4093506-1466111427/solver-4093506-1466111427 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466109626-27849 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093506-1466111427.wbo

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

MD5SUM BENCH= 72c9ce0449d9d860fc68cf7a2819c6b0
RANDOM SEED=287326372

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30371340 kB
Buffers:           56936 kB
Cached:           131612 kB
SwapCached:          936 kB
Active:           265556 kB
Inactive:          95760 kB
Active(anon):     174172 kB
Inactive(anon):      588 kB
Active(file):      91384 kB
Inactive(file):    95172 kB
Unevictable:     1433312 kB
Mlocked:         1286144 kB
SwapTotal:      67108856 kB
SwapFree:       67099648 kB
Dirty:             33680 kB
Writeback:             0 kB
AnonPages:       1605312 kB
Mapped:             9972 kB
Shmem:                 0 kB
Slab:             570436 kB
SReclaimable:      13984 kB
SUnreclaim:       556452 kB
KernelStack:        1376 kB
PageTables:         8324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2645020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 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 node130 at 2016-06-16 23:40:28