Trace number 4093176

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.22 1800.53

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/graphs/
normalized-graph11reducmore_wcsp.wbo
MD5SUM9d2ab30053c8c5defa77d9f47c64bb3c
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmark
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5747
Total number of constraints283088
Number of soft constraints282856
Number of constraints which are clauses282856
Number of constraints which are cardinality constraints (but not clauses)232
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Top cost 3080
Min constraint cost 1
Max constraint cost 3080
Sum of constraints costs 64455868
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
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-16T23:05:59+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-4093176-1466111158.wbo"]
0.00/0.01	c use --random-gen="3298280637 3963261157 2251624288 2578398832 392113382 939558490 849945515 3306792528 374164104 3517861683 4276180438 1057840006 2738446954 961243695 3056179726 557781208 3674888358 127423555 1770689358 3356058702 2779057349 1963911681 2947949179 3317935347 1241134036 975243547 3253648672 1161073903 1347757303 1960268861 1730234376 3667690149 2354496111 3633725849 2331309992 2037687971 3213734601 3913531141 1534728308 192304285 2519616259 775245391 3700841888 2817887123 1662262405 2906202254 3085457170 3681301655 2813497547 2629145645 3482909703 3902135782 19939399 1907799708 4167408814 10675475 175066162 888826554 1677043963 1178703071 3345319317 4158322168 2268819374 304082412 2820674232 419518721 2723916545 1060715183 2183447165 1990568782 2678229873 3332021442 2903743737 60946188 2484590972 2599686771 3213000515 3988356691 2200672480 845801575 3563731325 6329933 2926801580 509894422 2420340470 2207161395 617585147 3699110529 1557429051 944823959 656061575 1827384901 1947891724 1394408212 1014456990 2605176990 1200900179 2994810784 1977217694 3845294337 1365277215 3684901444 4093280482 734769152 1237417918 3198880291 1555285484 293690525 4072332751 105462492 2113338806 1810912881 170635015 963915033 89082670 3783536850 947574645 1522079647 2944782975 1128452244 3238304508 1700326577 2630171709 3846226515 1727423165 1163312164 3275068992 3906389373 2910440100 227740418 1513137302 3416577199 2177119207 3933496386 2563512924 2169560516 1551096273 1611349104 3677746128 1953936071 2749194426 2240898835 1088328655 2034038123 1008731711 3824096123 39940706 3763636070 328872455 3188344702 1939355651 351875919 1836520716 2934895524 2875640389 1556518354 280548978 3483239764 1831090879 2991871037 672673525 2751494346 3285760549 1017194191 796026776 81648834 3816360557 545971914 1851851653 2816629525 583599468 2585403937 3955748586 325778903 4214804572 886908165 442912671 1645716941 1958226843 3971787243 3061083100 549501586 4277536116 209333412 2607852556 839926567 2243515930 3237663287 1331095332 1780375787 345055251 353665191 2155549481 2605323474 291287523 249404733 1931747741 2784081270 4161458229 1173981171 3944768317 1565866382 1175678004 972641182 293081490 2539847180 1132756466 2147438657 4096433611 2206433362 1325293356 2248655580 549003114 1785224201 3927383566 3796944472 3806155052 684121435 3600460232 4233844519 3226504412 705962397 1602175021 1124589351 1712316066 3413123128 3050947888 2783972388 2296463134 876898539 3680446824 716550405 3922884370 2870845588 2628715299 2586486214 763366298 3497120198 204876380 2236569401 2319230203 3272574126 49084166 1166826876 1339116394 2702012443 517324648 2821687794 1071713387 818768648 1651744307 1073970011 1906359548 490791854 2995545972 571190640 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-4093176-1466111158/watcher-4093176-1466111158 -o /tmp/evaluation-result-4093176-1466111158/solver-4093176-1466111158 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466109357-30693 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093176-1466111158.wbo 

pid=30887
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

[startup+0 s]
/proc/loadavg: 2.12 2.10 2.02 3/179 30890
/proc/meminfo: memFree=30482852/32872528 swapFree=1190796/1305260
[pid=30890] ppid=30887 vsize=24328 CPUtime=0 cores=1,3,5,7
/proc/30890/stat : 30890 (runsolver) R 30887 29204 29204 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 1 0 13162495 24911872 105 33554432000 4194304 4338465 140736763508560 140736763506072 140024080214416 0 0 4096 24578 0 0 0 17 7 0 0 0 0 0
/proc/30890/statm: 6082 105 59 36 0 2655 0
Current StackSize limit: 10240 KiB


[startup+0.100174 s]
/proc/loadavg: 2.12 2.10 2.02 3/179 30890
/proc/meminfo: memFree=30482852/32872528 swapFree=1190796/1305260
[pid=30890] ppid=30887 vsize=1221188 CPUtime=0.08 cores=1,3,5,7
/proc/30890/stat : 30890 (toysat) R 30887 30890 29204 0 -1 4202496 26055 0 0 0 5 3 0 0 20 0 4 0 13162495 1250496512 26355 33554432000 4194304 16246674 140736071986464 140736071985776 15015658 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30890/statm: 305297 26357 800 2943 0 302191 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.200405 s]
/proc/loadavg: 2.12 2.10 2.02 3/179 30890
/proc/meminfo: memFree=30482852/32872528 swapFree=1190796/1305260
[pid=30890] ppid=30887 vsize=1308228 CPUtime=0.18 cores=1,3,5,7
/proc/30890/stat : 30890 (toysat) R 30887 30890 29204 0 -1 4202496 47196 0 0 0 13 5 0 0 20 0 4 0 13162495 1339625472 48007 33554432000 4194304 16246674 140736071986464 140736071985776 4221016 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30890/statm: 327057 48012 800 2943 0 323951 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1308228

[startup+0.300387 s]
/proc/loadavg: 2.12 2.10 2.02 3/179 30890
/proc/meminfo: memFree=30482852/32872528 swapFree=1190796/1305260
[pid=30890] ppid=30887 vsize=1314372 CPUtime=0.28 cores=1,3,5,7
/proc/30890/stat : 30890 (toysat) R 30887 30890 29204 0 -1 4202496 58968 0 0 0 21 7 0 0 20 0 4 0 13162495 1345916928 59779 33554432000 4194304 16246674 140736071986464 140736071985776 4220543 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30890/statm: 328593 59779 801 2943 0 325487 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1314372

[startup+0.700334 s]
/proc/loadavg: 2.12 2.10 2.02 3/179 30890
/proc/meminfo: memFree=30482852/32872528 swapFree=1190796/1305260
[pid=30890] ppid=30887 vsize=1314372 CPUtime=0.68 cores=1,3,5,7
/proc/30890/stat : 30890 (toysat) R 30887 30890 29204 0 -1 4202496 71814 0 0 0 59 9 0 0 20 0 4 0 13162495 1345916928 72625 33554432000 4194304 16246674 140736071986464 140736071969456 8058631 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30890/statm: 328593 72625 802 2943 0 325487 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1314372

[startup+1.50042 s]
/proc/loadavg: 2.12 2.10 2.02 3/183 30894
/proc/meminfo: memFree=29939400/32872528 swapFree=1190796/1305260
[pid=30890] ppid=30887 vsize=1326660 CPUtime=1.48 cores=1,3,5,7
/proc/30890/stat : 30890 (toysat) R 30887 30890 29204 0 -1 4202496 106753 0 0 0 133 15 0 0 20 0 4 0 13162495 1358499840 109608 33554432000 4194304 16246674 140736071986464 140736071969456 4223718 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30890/statm: 331665 109608 803 2943 0 328559 0
[pid=30890/tid=30892] ppid=30887 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30892/stat : 30892 (toysat) S 30887 30890 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13162495 1358499840 109608 33554432000 4194304 16246674 140736071986464 139678134021360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=30890/tid=30893] ppid=30887 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30893/stat : 30893 (toysat) S 30887 30890 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13162495 1358499840 109608 33554432000 4194304 16246674 140736071986464 139678123531504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=30890/tid=30894] ppid=30887 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30894/stat : 30894 (toysat) S 30887 30890 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13162495 1358499840 109608 33554432000 4194304 16246674 140736071986464 139678040714416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1326660

[startup+3.10041 s]
/proc/loadavg: 2.11 2.10 2.02 3/183 30894
/proc/meminfo: memFree=29493096/32872528 swapFree=1190796/1305260
[pid=30890] ppid=30887 vsize=1326660 CPUtime=3.08 cores=1,3,5,7
/proc/30890/stat : 30890 (toysat) R 30887 30890 29204 0 -1 4202496 135547 0 0 0 288 20 0 0 20 0 4 0 13162495 1358499840 139424 33554432000 4194304 16246674 140736071986464 140736071985776 6939333 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30890/statm: 331665 139424 835 2943 0 328559 0
[pid=30890/tid=30892] ppid=30887 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30892/stat : 30892 (toysat) S 30887 30890 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13162495 1358499840 139424 33554432000 4194304 16246674 140736071986464 139678134021360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=30890/tid=30893] ppid=30887 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30893/stat : 30893 (toysat) S 30887 30890 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13162495 1358499840 139424 33554432000 4194304 16246674 140736071986464 139678123531504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=30890/tid=30894] ppid=30887 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30894/stat : 30894 (toysat) S 30887 30890 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13162495 1358499840 139424 33554432000 4194304 16246674 140736071986464 139678040714416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1326660

[startup+6.30037 s]
/proc/loadavg: 2.11 2.10 2.02 3/183 30894
/proc/meminfo: memFree=28299028/32872528 swapFree=1190796/1305260
[pid=30890] ppid=30887 vsize=1386052 CPUtime=6.28 cores=1,3,5,7
/proc/30890/stat : 30890 (toysat) R 30887 30890 29204 0 -1 4202496 284068 0 0 0 588 40 0 0 20 0 4 0 13162495 1419317248 287945 33554432000 4194304 16246674 140736071986464 140736071968320 12481404 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30890/statm: 346513 287945 838 2943 0 343407 0
[pid=30890/tid=30892] ppid=30887 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30892/stat : 30892 (toysat) S 30887 30890 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13162495 1419317248 287945 33554432000 4194304 16246674 140736071986464 139678134021360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=30890/tid=30893] ppid=30887 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30893/stat : 30893 (toysat) S 30887 30890 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13162495 1419317248 287945 33554432000 4194304 16246674 140736071986464 139678123531504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=30890/tid=30894] ppid=30887 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30894/stat : 30894 (toysat) S 30887 30890 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13162495 1419317248 287945 33554432000 4194304 16246674 140736071986464 139678040714416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1386052

[startup+12.7004 s]
/proc/loadavg: 2.17 2.12 2.03 3/183 30894
/proc/meminfo: memFree=28098692/32872528 swapFree=1190796/1305260
[pid=30890] ppid=30887 vsize=1486404 CPUtime=12.68 cores=1,3,5,7
/proc/30890/stat : 30890 (toysat) R 30887 30890 29204 0 -1 4202496 309162 0 0 0 1225 43 0 0 20 0 4 0 13162495 1522077696 313039 33554432000 4194304 16246674 140736071986464 140736071968384 13943664 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30890/statm: 371601 313039 844 2943 0 368495 0
[pid=30890/tid=30892] ppid=30887 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30892/stat : 30892 (toysat) S 30887 30890 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13162495 1522077696 313039 33554432000 4194304 16246674 140736071986464 139678134021360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=30890/tid=30893] ppid=30887 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30893/stat : 30893 (toysat) S 30887 30890 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13162495 1522077696 313039 33554432000 4194304 16246674 140736071986464 139678123531504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=30890/tid=30894] ppid=30887 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30894/stat : 30894 (toysat) S 30887 30890 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13162495 1522077696 313039 33554432000 4194304 16246674 140736071986464 139678040714416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1486404

[startup+25.5004 s]
/proc/loadavg: 2.14 2.11 2.03 3/183 30894
/proc/meminfo: memFree=28100316/32872528 swapFree=1190796/1305260
[pid=30890] ppid=30887 vsize=1486404 CPUtime=25.47 cores=1,3,5,7
/proc/30890/stat : 30890 (toysat) R 30887 30890 29204 0 -1 4202496 309162 0 0 0 2504 43 0 0 20 0 4 0 13162495 1522077696 313039 33554432000 4194304 16246674 140736071986464 140736071968384 13807762 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30890/statm: 371601 313039 844 2943 0 368495 0
[pid=30890/tid=30892] ppid=30887 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30892/stat : 30892 (toysat) S 30887 30890 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13162495 1522077696 313039 33554432000 4194304 16246674 140736071986464 139678134021360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=30890/tid=30893] ppid=30887 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30893/stat : 30893 (toysat) S 30887 30890 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13162495 1522077696 313039 33554432000 4194304 16246674 140736071986464 139678123531504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=30890/tid=30894] ppid=30887 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30894/stat : 30894 (toysat) S 30887 30890 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13162495 1522077696 313039 33554432000 4194304 16246674 140736071986464 139678040714416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1486404

[startup+51.1004 s]
/proc/loadavg: 2.09 2.10 2.02 3/183 30894
/proc/meminfo: memFree=28099692/32872528 swapFree=1190796/1305260
[pid=30890] ppid=30887 vsize=1486404 CPUtime=51.07 cores=1,3,5,7
/proc/30890/stat : 30890 (toysat) R 30887 30890 29204 0 -1 4202496 309162 0 0 0 5064 43 0 0 20 0 4 0 13162495 1522077696 313039 33554432000 4194304 16246674 140736071986464 140736071968384 13774056 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30890/statm: 371601 313039 844 2943 0 368495 0
[pid=30890/tid=30892] ppid=30887 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30892/stat : 30892 (toysat) S 30887 30890 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13162495 1522077696 313039 33554432000 4194304 16246674 140736071986464 139678134021360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=30890/tid=30893] ppid=30887 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30893/stat : 30893 (toysat) S 30887 30890 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13162495 1522077696 313039 33554432000 4194304 16246674 140736071986464 139678123531504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=30890/tid=30894] ppid=30887 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30894/stat : 30894 (toysat) S 30887 30890 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13162495 1522077696 313039 33554432000 4194304 16246674 140736071986464 139678040714416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1486404

[startup+102.3 s]
/proc/loadavg: 2.08 2.10 2.02 3/183 30895
/proc/meminfo: memFree=28099736/32872528 swapFree=1190796/1305260
[pid=30890] ppid=30887 vsize=1486404 CPUtime=102.27 cores=1,3,5,7
/proc/30890/stat : 30890 (toysat) R 30887 30890 29204 0 -1 4202496 309162 0 0 0 10184 43 0 0 20 0 4 0 13162495 1522077696 313039 33554432000 4194304 16246674 140736071986464 140736071968384 6132663 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30890/statm: 371601 313039 844 2943 0 368495 0
[pid=30890/tid=30892] ppid=30887 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30892/stat : 30892 (toysat) S 30887 30890 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13162495 1522077696 313039 33554432000 4194304 16246674 140736071986464 139678134021360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=30890/tid=30893] ppid=30887 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30893/stat : 30893 (toysat) S 30887 30890 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13162495 1522077696 313039 33554432000 4194304 16246674 140736071986464 139678123531504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=30890/tid=30894] ppid=30887 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30894/stat : 30894 (toysat) S 30887 30890 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13162495 1522077696 313039 33554432000 4194304 16246674 140736071986464 139678040714416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1486404

[startup+162.3 s]
/proc/loadavg: 2.19 2.12 2.03 3/183 30896
/proc/meminfo: memFree=28099140/32872528 swapFree=1190796/1305260
[pid=30890] ppid=30887 vsize=1486404 CPUtime=162.25 cores=1,3,5,7
/proc/30890/stat : 30890 (toysat) R 30887 30890 29204 0 -1 4202496 309162 0 0 0 16182 43 0 0 20 0 4 0 13162495 1522077696 313039 33554432000 4194304 16246674 140736071986464 140736071968384 13809400 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30890/statm: 371601 313039 844 2943 0 368495 0
[pid=30890/tid=30892] ppid=30887 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30892/stat : 30892 (toysat) S 30887 30890 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13162495 1522077696 313039 33554432000 4194304 16246674 140736071986464 139678134021360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=30890/tid=30893] ppid=30887 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30893/stat : 30893 (toysat) S 30887 30890 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13162495 1522077696 313039 33554432000 4194304 16246674 140736071986464 139678123531504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=30890/tid=30894] ppid=30887 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30894/stat : 30894 (toysat) S 30887 30890 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13162495 1522077696 313039 33554432000 4194304 16246674 140736071986464 139678040714416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1486404

[startup+222.307 s]
/proc/loadavg: 2.17 2.13 2.04 4/183 30898
/proc/meminfo: memFree=28099364/32872528 swapFree=1190796/1305260
[pid=30890] ppid=30887 vsize=1486404 CPUtime=222.25 cores=1,3,5,7
/proc/30890/stat : 30890 (toysat) R 30887 30890 29204 0 -1 4202496 309162 0 0 0 22182 43 0 0 20 0 4 0 13162495 1522077696 313039 33554432000 4194304 16246674 140736071986464 140736071968384 13807443 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30890/statm: 371601 313039 844 2943 0 368495 0
[pid=30890/tid=30892] ppid=30887 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30892/stat : 30892 (toysat) S 30887 30890 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13162495 1522077696 313039 33554432000 4194304 16246674 140736071986464 139678134021360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=30890/tid=30893] ppid=30887 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30893/stat : 30893 (toysat) S 30887 30890 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13162495 1522077696 313039 33554432000 4194304 16246674 140736071986464 139678123531504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=30890/tid=30894] ppid=30887 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30894/stat : 30894 (toysat) S 30887 30890 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13162495 1522077696 313039 33554432000 4194304 16246674 140736071986464 139678040714416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1486404


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

/proc/30890/task/30892/stat : 30892 (toysat) S 30887 30890 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13162495 2453213184 540367 33554432000 4194304 16246674 140736071986464 139678134021360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=30890/tid=30893] ppid=30887 vsize=2395716 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30893/stat : 30893 (toysat) S 30887 30890 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13162495 2453213184 540367 33554432000 4194304 16246674 140736071986464 139678123531504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=30890/tid=30894] ppid=30887 vsize=2395716 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30894/stat : 30894 (toysat) S 30887 30890 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13162495 2453213184 540367 33554432000 4194304 16246674 140736071986464 139678040714416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 2395716

[startup+1362.3 s]
/proc/loadavg: 2.26 2.16 2.10 3/183 30926
/proc/meminfo: memFree=26276208/32872528 swapFree=1190796/1305260
[pid=30890] ppid=30887 vsize=2395716 CPUtime=1362.06 cores=1,3,5,7
/proc/30890/stat : 30890 (toysat) R 30887 30890 29204 0 -1 4202496 536490 0 0 0 136129 77 0 0 20 0 4 0 13162495 2453213184 540367 33554432000 4194304 16246674 140736071986464 140736071968384 13774216 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30890/statm: 598929 540367 844 2943 0 595823 0
[pid=30890/tid=30892] ppid=30887 vsize=2395716 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30892/stat : 30892 (toysat) S 30887 30890 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13162495 2453213184 540367 33554432000 4194304 16246674 140736071986464 139678134021360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=30890/tid=30893] ppid=30887 vsize=2395716 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30893/stat : 30893 (toysat) S 30887 30890 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13162495 2453213184 540367 33554432000 4194304 16246674 140736071986464 139678123531504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=30890/tid=30894] ppid=30887 vsize=2395716 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30894/stat : 30894 (toysat) S 30887 30890 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13162495 2453213184 540367 33554432000 4194304 16246674 140736071986464 139678040714416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 2395716

[startup+1422.3 s]
/proc/loadavg: 2.13 2.14 2.10 3/183 30928
/proc/meminfo: memFree=26275144/32872528 swapFree=1190796/1305260
[pid=30890] ppid=30887 vsize=2395716 CPUtime=1422.06 cores=1,3,5,7
/proc/30890/stat : 30890 (toysat) R 30887 30890 29204 0 -1 4202496 536492 0 0 0 142129 77 0 0 20 0 4 0 13162495 2453213184 540623 33554432000 4194304 16246674 140736071986464 140736071968384 13809224 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30890/statm: 598929 540623 844 2943 0 595823 0
[pid=30890/tid=30892] ppid=30887 vsize=2395716 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30892/stat : 30892 (toysat) S 30887 30890 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13162495 2453213184 540623 33554432000 4194304 16246674 140736071986464 139678134021360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=30890/tid=30893] ppid=30887 vsize=2395716 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30893/stat : 30893 (toysat) S 30887 30890 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13162495 2453213184 540623 33554432000 4194304 16246674 140736071986464 139678123531504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=30890/tid=30894] ppid=30887 vsize=2395716 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30894/stat : 30894 (toysat) S 30887 30890 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13162495 2453213184 540623 33554432000 4194304 16246674 140736071986464 139678040714416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 2395716

[startup+1482.3 s]
/proc/loadavg: 2.22 2.16 2.10 3/184 30932
/proc/meminfo: memFree=24434008/32872528 swapFree=1190796/1305260
[pid=30890] ppid=30887 vsize=3314244 CPUtime=1482.04 cores=1,3,5,7
/proc/30890/stat : 30890 (toysat) R 30887 30890 29204 0 -1 4202496 766126 0 0 0 148097 107 0 0 20 0 4 0 13162495 3393785856 770257 33554432000 4194304 16246674 140736071986464 140736071968384 13807754 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30890/statm: 828561 770257 845 2943 0 825455 0
[pid=30890/tid=30892] ppid=30887 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30892/stat : 30892 (toysat) S 30887 30890 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13162495 3393785856 770257 33554432000 4194304 16246674 140736071986464 139678134021360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=30890/tid=30893] ppid=30887 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30893/stat : 30893 (toysat) S 30887 30890 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13162495 3393785856 770257 33554432000 4194304 16246674 140736071986464 139678123531504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=30890/tid=30894] ppid=30887 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30894/stat : 30894 (toysat) S 30887 30890 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13162495 3393785856 770257 33554432000 4194304 16246674 140736071986464 139678040714416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 3314244

[startup+1542.31 s]
/proc/loadavg: 2.21 2.16 2.10 3/183 30933
/proc/meminfo: memFree=24434240/32872528 swapFree=1190796/1305260
[pid=30890] ppid=30887 vsize=3314244 CPUtime=1542.04 cores=1,3,5,7
/proc/30890/stat : 30890 (toysat) R 30887 30890 29204 0 -1 4202496 766132 0 0 0 154096 108 0 0 20 0 4 0 13162495 3393785856 770257 33554432000 4194304 16246674 140736071986464 140736071968384 13774216 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30890/statm: 828561 770257 845 2943 0 825455 0
[pid=30890/tid=30892] ppid=30887 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30892/stat : 30892 (toysat) S 30887 30890 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13162495 3393785856 770257 33554432000 4194304 16246674 140736071986464 139678134021360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=30890/tid=30893] ppid=30887 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30893/stat : 30893 (toysat) S 30887 30890 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13162495 3393785856 770257 33554432000 4194304 16246674 140736071986464 139678123531504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=30890/tid=30894] ppid=30887 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30894/stat : 30894 (toysat) S 30887 30890 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13162495 3393785856 770257 33554432000 4194304 16246674 140736071986464 139678040714416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 3314244

[startup+1602.3 s]
/proc/loadavg: 2.19 2.16 2.10 3/183 30934
/proc/meminfo: memFree=24434292/32872528 swapFree=1190796/1305260
[pid=30890] ppid=30887 vsize=3314244 CPUtime=1602.02 cores=1,3,5,7
/proc/30890/stat : 30890 (toysat) R 30887 30890 29204 0 -1 4202496 766135 0 0 0 160093 109 0 0 20 0 4 0 13162495 3393785856 770257 33554432000 4194304 16246674 140736071986464 140736071968384 13807696 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30890/statm: 828561 770257 845 2943 0 825455 0
[pid=30890/tid=30892] ppid=30887 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30892/stat : 30892 (toysat) S 30887 30890 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13162495 3393785856 770257 33554432000 4194304 16246674 140736071986464 139678134021360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=30890/tid=30893] ppid=30887 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30893/stat : 30893 (toysat) S 30887 30890 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13162495 3393785856 770257 33554432000 4194304 16246674 140736071986464 139678123531504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=30890/tid=30894] ppid=30887 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30894/stat : 30894 (toysat) S 30887 30890 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13162495 3393785856 770257 33554432000 4194304 16246674 140736071986464 139678040714416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 3314244

[startup+1662.3 s]
/proc/loadavg: 2.13 2.14 2.09 3/183 30935
/proc/meminfo: memFree=24434444/32872528 swapFree=1190796/1305260
[pid=30890] ppid=30887 vsize=3314244 CPUtime=1662.01 cores=1,3,5,7
/proc/30890/stat : 30890 (toysat) R 30887 30890 29204 0 -1 4202496 766135 0 0 0 166092 109 0 0 20 0 4 0 13162495 3393785856 770257 33554432000 4194304 16246674 140736071986464 140736071968384 13807730 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30890/statm: 828561 770257 845 2943 0 825455 0
[pid=30890/tid=30892] ppid=30887 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30892/stat : 30892 (toysat) S 30887 30890 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13162495 3393785856 770257 33554432000 4194304 16246674 140736071986464 139678134021360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=30890/tid=30893] ppid=30887 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30893/stat : 30893 (toysat) S 30887 30890 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13162495 3393785856 770257 33554432000 4194304 16246674 140736071986464 139678123531504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=30890/tid=30894] ppid=30887 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30894/stat : 30894 (toysat) S 30887 30890 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13162495 3393785856 770257 33554432000 4194304 16246674 140736071986464 139678040714416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 3314244

[startup+1722.3 s]
/proc/loadavg: 2.17 2.15 2.09 4/183 30937
/proc/meminfo: memFree=24434132/32872528 swapFree=1190796/1305260
[pid=30890] ppid=30887 vsize=3314244 CPUtime=1722 cores=1,3,5,7
/proc/30890/stat : 30890 (toysat) R 30887 30890 29204 0 -1 4202496 766135 0 0 0 172091 109 0 0 20 0 4 0 13162495 3393785856 770257 33554432000 4194304 16246674 140736071986464 140736071968384 13807457 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30890/statm: 828561 770257 845 2943 0 825455 0
[pid=30890/tid=30892] ppid=30887 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30892/stat : 30892 (toysat) S 30887 30890 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13162495 3393785856 770257 33554432000 4194304 16246674 140736071986464 139678134021360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=30890/tid=30893] ppid=30887 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30893/stat : 30893 (toysat) S 30887 30890 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13162495 3393785856 770257 33554432000 4194304 16246674 140736071986464 139678123531504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=30890/tid=30894] ppid=30887 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30894/stat : 30894 (toysat) S 30887 30890 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13162495 3393785856 770257 33554432000 4194304 16246674 140736071986464 139678040714416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 3314244

[startup+1782.3 s]
/proc/loadavg: 2.05 2.12 2.09 3/183 30938
/proc/meminfo: memFree=24433680/32872528 swapFree=1190796/1305260
[pid=30890] ppid=30887 vsize=3314244 CPUtime=1781.99 cores=1,3,5,7
/proc/30890/stat : 30890 (toysat) R 30887 30890 29204 0 -1 4202496 766137 0 0 0 178089 110 0 0 20 0 4 0 13162495 3393785856 770257 33554432000 4194304 16246674 140736071986464 140736071968384 13807598 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30890/statm: 828561 770257 845 2943 0 825455 0
[pid=30890/tid=30892] ppid=30887 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30892/stat : 30892 (toysat) S 30887 30890 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13162495 3393785856 770257 33554432000 4194304 16246674 140736071986464 139678134021360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=30890/tid=30893] ppid=30887 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30893/stat : 30893 (toysat) S 30887 30890 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13162495 3393785856 770257 33554432000 4194304 16246674 140736071986464 139678123531504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=30890/tid=30894] ppid=30887 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30894/stat : 30894 (toysat) S 30887 30890 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13162495 3393785856 770257 33554432000 4194304 16246674 140736071986464 139678040714416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 3314244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.04 2.11 2.08 3/183 30938
/proc/meminfo: memFree=24433896/32872528 swapFree=1190796/1305260
[pid=30890] ppid=30887 vsize=3314244 CPUtime=1800.09 cores=1,3,5,7
/proc/30890/stat : 30890 (toysat) R 30887 30890 29204 0 -1 4202496 766138 0 0 0 179899 110 0 0 20 0 4 0 13162495 3393785856 770257 33554432000 4194304 16246674 140736071986464 140736071968384 13807608 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30890/statm: 828561 770257 845 2943 0 825455 0
[pid=30890/tid=30892] ppid=30887 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30892/stat : 30892 (toysat) S 30887 30890 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13162495 3393785856 770257 33554432000 4194304 16246674 140736071986464 139678134021360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=30890/tid=30893] ppid=30887 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30893/stat : 30893 (toysat) S 30887 30890 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13162495 3393785856 770257 33554432000 4194304 16246674 140736071986464 139678123531504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=30890/tid=30894] ppid=30887 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/30890/task/30894/stat : 30894 (toysat) S 30887 30890 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13162495 3393785856 770257 33554432000 4194304 16246674 140736071986464 139678040714416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 3314244

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

[startup+1800.51 s]
/proc/loadavg: 2.04 2.11 2.08 3/183 30938
/proc/meminfo: memFree=24433896/32872528 swapFree=1190796/1305260
[pid=30890] ppid=30887 vsize=0 CPUtime=1800.2 cores=1,3,5,7
/proc/30890/stat : 30890 (toysat) Z 30887 30890 29204 0 -1 4203532 766138 0 0 0 179900 120 0 0 20 0 2 0 13162495 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30890/statm: 0 0 0 0 0 0 0
[pid=30890/tid=30893] ppid=30887 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/30890/task/30893/stat : 30893 (toysat) R 30887 30890 29204 0 -1 4203588 8 0 0 0 0 8 0 0 20 0 2 0 13162495 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.22
CPU user time (s): 1799
CPU system time (s): 1.22281
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 3314244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.22281
maximum resident set size= 3081028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 766138
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= 48
involuntary context switches= 2646

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5833 second user time and 6.88895 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-16 23:05:59
IDJOB=4093176
IDBENCH=79649
IDSOLVER=2553
FILE ID=node127/4093176-1466111158
RUNJOBID= node127-1466109357-30693
PBS_JOBID= 19904036
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/graphs/normalized-graph11reducmore_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093176-1466111158/watcher-4093176-1466111158 -o /tmp/evaluation-result-4093176-1466111158/solver-4093176-1466111158 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466109357-30693 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093176-1466111158.wbo

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

MD5SUM BENCH= 9d2ab30053c8c5defa77d9f47c64bb3c
RANDOM SEED=28736923

node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30498104 kB
Buffers:           55728 kB
Cached:           166904 kB
SwapCached:        34656 kB
Active:           219048 kB
Inactive:         142432 kB
Active(anon):     105260 kB
Inactive(anon):    35592 kB
Active(file):     113788 kB
Inactive(file):   106840 kB
Unevictable:     1305260 kB
Mlocked:         1190796 kB
SwapTotal:      67108856 kB
SwapFree:       67066092 kB
Dirty:             49728 kB
Writeback:             0 kB
AnonPages:       1408748 kB
Mapped:            10032 kB
Shmem:                 0 kB
Slab:             571856 kB
SReclaimable:      16008 kB
SUnreclaim:       555848 kB
KernelStack:        1416 kB
PageTables:         8212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2437060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    114688 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 node127 at 2016-06-16 23:35:59