Trace number 4093229

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.39

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/scens/
normalized-scen06-20reduc_wcsp.wbo
MD5SUMe94b4395b6b3ba71e47be69bc3403ba0
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 variables1594
Total number of constraints87251
Number of soft constraints87169
Number of constraints which are clauses87169
Number of constraints which are cardinality constraints (but not clauses)82
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint24
Top cost 3389
Min constraint cost 1
Max constraint cost 2436
Sum of constraints costs 29876722
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 25
Number of bits of the biggest sum of numbers5
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-16T22:30:21+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-4093229-1466109021.wbo"]
0.00/0.01	c use --random-gen="2354093340 848959069 2142019559 1061270265 2103800038 2974096906 4178338648 349560393 246323729 2670637420 1866488444 1325972242 3568394407 3951253126 1258138878 421708946 2966793327 2200061373 2823987654 2681748989 2543739815 174856173 458895103 560946986 638650634 4250506294 3639014979 2078691152 495202136 4261154438 4236662877 4265378032 2531742016 1562312423 2868506922 3937851665 1522484584 380400185 112528275 3513112821 3882925666 3192873149 662513184 2122973025 984822199 932106643 903285096 3959433266 3910872832 1114039324 2131190911 1986398314 3671210087 4091782570 2113983460 2890267708 2639202094 2191479901 1649141300 2501336637 3085717660 3038545231 2026910087 3643157181 1276025845 2104340720 1463101818 1613756193 1918407983 3948725392 1751044918 1198104378 3516090637 2920947170 2544508640 3502992060 1076542397 466683749 3087133474 2506949223 2915442522 1038667049 956382970 3438836159 1042483202 1219329549 3079632087 1285003212 2974999490 2952649230 1582973284 1718969226 363904939 2568048621 2107531620 243425498 2158113377 1508161837 4039695574 1969353338 2516268917 1850482738 2996837885 3023024233 245269202 3352345743 1781412127 3095879596 2409325379 154031896 1294723512 2807230987 44911456 3550876354 3584747596 2395661962 3910279116 3631240364 865770880 2958762689 3358295454 2357231592 3917017878 304542014 703345585 615809403 2959040822 2636595774 3250399830 3377707369 2498460701 2657217587 2149015942 2309377638 2083214862 3799634666 2856917019 1848934521 2195678220 1875024853 2961178255 590140712 762621862 2038534096 2487739776 116160841 2695025509 2536747076 979910776 2565097561 1555870772 4180674172 3343188348 3770424556 2450098414 1795289374 3673788453 133958268 2781843345 634051285 945529721 2544597723 3867745818 2070296434 714262552 2837136852 1087610377 2404538127 371758898 3161210352 1715777037 270487868 3950039599 4287814354 3641055478 80730292 3722609781 705405148 455360666 495092946 995637946 1509711053 224880955 176434916 3539465745 1231100334 3050959938 1387996491 3446519625 372362191 4037354756 4065484424 2464043787 2857096109 1724082326 1481699205 1187960700 1410519866 1916270564 3470309939 401368501 1068319706 3951304366 1873475350 3372465004 3710739033 1110688501 303348721 2741971240 1586556740 432152039 3334825360 4257896491 1512637715 2404818819 3898683630 6758724 1866194931 3256921090 3981514571 880196040 1196470408 1599546490 3733484364 3703325021 164313261 3572568195 4051389542 1517100907 4020991802 3816483678 3631958200 1786251064 2632431825 3246334471 1477320903 213580340 2675433718 3291909955 442846072 982504718 1627904720 1988507904 3334439919 3141901673 3702737620 1893927690 2942914905 584948168 3230231587 1073608815 261981784 2625471104 1376200259 1802004697 1078906285 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-4093229-1466109021/watcher-4093229-1466109021 -o /tmp/evaluation-result-4093229-1466109021/solver-4093229-1466109021 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466109021-26198 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093229-1466109021.wbo 

pid=26219
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: 3.15 3.75 3.89 4/176 26226
/proc/meminfo: memFree=31783388/32872528 swapFree=162364/176672
[pid=26225] ppid=26219 vsize=805308 CPUtime=0 cores=1,3,5,7
/proc/26225/stat : 26225 (toysat) R 26219 26225 23926 0 -1 4202496 3021 0 0 0 0 0 0 0 20 0 4 0 12952068 824635392 2870 33554432000 4194304 16246674 140735157467280 140735157466704 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26225/statm: 202095 2881 441 2943 0 198989 0
[pid=26225/tid=26227] ppid=26219 vsize=829884 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26227/stat : 26227 (toysat) S 26219 26225 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12952068 849801216 2968 33554432000 4194304 16246674 140735157467280 139825924517104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26225/tid=26228] ppid=26219 vsize=833980 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26228/stat : 26228 (toysat) S 26219 26225 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952068 853995520 2984 33554432000 4194304 16246674 140735157467280 139825914027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26225/tid=26229] ppid=26219 vsize=839100 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26229/stat : 26229 (toysat) S 26219 26225 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12952068 859238400 3002 33554432000 4194304 16246674 140735157467280 139825903553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100215 s]
/proc/loadavg: 3.15 3.75 3.89 4/176 26226
/proc/meminfo: memFree=31783388/32872528 swapFree=162364/176672
[pid=26225] ppid=26219 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/26225/stat : 26225 (toysat) R 26219 26225 23926 0 -1 4202496 26998 0 0 0 5 4 0 0 20 0 4 0 12952068 1250496512 26787 33554432000 4194304 16246674 140735157467280 140735157466592 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26225/statm: 305297 26790 801 2943 0 302191 0
[pid=26225/tid=26227] ppid=26219 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26227/stat : 26227 (toysat) S 26219 26225 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12952068 1250496512 26793 33554432000 4194304 16246674 140735157467280 139825924517104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26225/tid=26228] ppid=26219 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26228/stat : 26228 (toysat) S 26219 26225 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952068 1250496512 26795 33554432000 4194304 16246674 140735157467280 139825914027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26225/tid=26229] ppid=26219 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26229/stat : 26229 (toysat) S 26219 26225 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952068 1250496512 26797 33554432000 4194304 16246674 140735157467280 139825903553712 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) 1221188

[startup+0.200549 s]
/proc/loadavg: 3.15 3.75 3.89 4/176 26226
/proc/meminfo: memFree=31783388/32872528 swapFree=162364/176672
[pid=26225] ppid=26219 vsize=1308228 CPUtime=0.19 cores=1,3,5,7
/proc/26225/stat : 26225 (toysat) R 26219 26225 23926 0 -1 4202496 48016 0 0 0 11 8 0 0 20 0 4 0 12952068 1339625472 48316 33554432000 4194304 16246674 140735157467280 140735157466592 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26225/statm: 327057 48319 802 2943 0 323951 0
[pid=26225/tid=26227] ppid=26219 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26227/stat : 26227 (toysat) S 26219 26225 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12952068 1339625472 48322 33554432000 4194304 16246674 140735157467280 139825924517104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26225/tid=26228] ppid=26219 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26228/stat : 26228 (toysat) S 26219 26225 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952068 1339625472 48325 33554432000 4194304 16246674 140735157467280 139825914027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26225/tid=26229] ppid=26219 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26229/stat : 26229 (toysat) S 26219 26225 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952068 1339625472 48327 33554432000 4194304 16246674 140735157467280 139825903553712 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) 1308228

[startup+0.300506 s]
/proc/loadavg: 3.15 3.75 3.89 4/176 26226
/proc/meminfo: memFree=31783388/32872528 swapFree=162364/176672
[pid=26225] ppid=26219 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/26225/stat : 26225 (toysat) R 26219 26225 23926 0 -1 4202496 62654 0 0 0 20 9 0 0 20 0 4 0 12952068 1345916928 62954 33554432000 4194304 16246674 140735157467280 140735157466592 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26225/statm: 328593 62958 802 2943 0 325487 0
[pid=26225/tid=26227] ppid=26219 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26227/stat : 26227 (toysat) S 26219 26225 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12952068 1345916928 62960 33554432000 4194304 16246674 140735157467280 139825924517104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26225/tid=26228] ppid=26219 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26228/stat : 26228 (toysat) S 26219 26225 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952068 1345916928 62962 33554432000 4194304 16246674 140735157467280 139825914027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26225/tid=26229] ppid=26219 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26229/stat : 26229 (toysat) S 26219 26225 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952068 1345916928 62964 33554432000 4194304 16246674 140735157467280 139825903553712 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) 1314372

[startup+0.700433 s]
/proc/loadavg: 3.15 3.75 3.89 4/176 26226
/proc/meminfo: memFree=31783388/32872528 swapFree=162364/176672
[pid=26225] ppid=26219 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/26225/stat : 26225 (toysat) R 26219 26225 23926 0 -1 4202496 68462 0 0 0 59 10 0 0 20 0 4 0 12952068 1345916928 68762 33554432000 4194304 16246674 140735157467280 140735157466592 4206644 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26225/statm: 328593 68762 834 2943 0 325487 0
[pid=26225/tid=26227] ppid=26219 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26227/stat : 26227 (toysat) S 26219 26225 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12952068 1345916928 68762 33554432000 4194304 16246674 140735157467280 139825924517104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26225/tid=26228] ppid=26219 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26228/stat : 26228 (toysat) S 26219 26225 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952068 1345916928 68762 33554432000 4194304 16246674 140735157467280 139825914027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26225/tid=26229] ppid=26219 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26229/stat : 26229 (toysat) S 26219 26225 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952068 1345916928 68762 33554432000 4194304 16246674 140735157467280 139825903553712 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) 1314372

[startup+1.50042 s]
/proc/loadavg: 3.06 3.72 3.88 4/184 26234
/proc/meminfo: memFree=31230936/32872528 swapFree=162364/176672
[pid=26225] ppid=26219 vsize=1315396 CPUtime=1.49 cores=1,3,5,7
/proc/26225/stat : 26225 (toysat) R 26219 26225 23926 0 -1 4202496 157320 0 0 0 127 22 0 0 20 0 4 0 12952068 1346965504 157620 33554432000 4194304 16246674 140735157467280 140735157466456 12481124 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26225/statm: 328849 157630 837 2943 0 325743 0
[pid=26225/tid=26227] ppid=26219 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26227/stat : 26227 (toysat) S 26219 26225 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12952068 1346965504 157637 33554432000 4194304 16246674 140735157467280 139825924517104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26225/tid=26228] ppid=26219 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26228/stat : 26228 (toysat) S 26219 26225 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952068 1346965504 157645 33554432000 4194304 16246674 140735157467280 139825914027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26225/tid=26229] ppid=26219 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26229/stat : 26229 (toysat) S 26219 26225 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952068 1346965504 157652 33554432000 4194304 16246674 140735157467280 139825903553712 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) 1315396

[startup+3.10042 s]
/proc/loadavg: 3.06 3.72 3.88 4/184 26234
/proc/meminfo: memFree=29507940/32872528 swapFree=162364/176672
[pid=26225] ppid=26219 vsize=1396292 CPUtime=3.09 cores=1,3,5,7
/proc/26225/stat : 26225 (toysat) R 26219 26225 23926 0 -1 4202496 289704 0 0 0 269 40 0 0 20 0 4 0 12952068 1429803008 290004 33554432000 4194304 16246674 140735157467280 140735157449152 13809288 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26225/statm: 349073 290004 843 2943 0 345967 0
[pid=26225/tid=26227] ppid=26219 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26227/stat : 26227 (toysat) S 26219 26225 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12952068 1429803008 290004 33554432000 4194304 16246674 140735157467280 139825924517104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26225/tid=26228] ppid=26219 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26228/stat : 26228 (toysat) S 26219 26225 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952068 1429803008 290004 33554432000 4194304 16246674 140735157467280 139825914027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26225/tid=26229] ppid=26219 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26229/stat : 26229 (toysat) S 26219 26225 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952068 1429803008 290004 33554432000 4194304 16246674 140735157467280 139825903553712 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) 1396292

[startup+6.30038 s]
/proc/loadavg: 3.06 3.71 3.87 4/184 26234
/proc/meminfo: memFree=29461612/32872528 swapFree=162364/176672
[pid=26225] ppid=26219 vsize=1396292 CPUtime=6.29 cores=1,3,5,7
/proc/26225/stat : 26225 (toysat) R 26219 26225 23926 0 -1 4202496 289704 0 0 0 589 40 0 0 20 0 4 0 12952068 1429803008 290004 33554432000 4194304 16246674 140735157467280 140735157449152 13774200 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26225/statm: 349073 290004 843 2943 0 345967 0
[pid=26225/tid=26227] ppid=26219 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26227/stat : 26227 (toysat) S 26219 26225 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12952068 1429803008 290004 33554432000 4194304 16246674 140735157467280 139825924517104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26225/tid=26228] ppid=26219 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26228/stat : 26228 (toysat) S 26219 26225 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952068 1429803008 290004 33554432000 4194304 16246674 140735157467280 139825914027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26225/tid=26229] ppid=26219 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26229/stat : 26229 (toysat) S 26219 26225 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952068 1429803008 290004 33554432000 4194304 16246674 140735157467280 139825903553712 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) 1396292

[startup+12.7004 s]
/proc/loadavg: 2.97 3.68 3.86 4/184 26234
/proc/meminfo: memFree=29462600/32872528 swapFree=162364/176672
[pid=26225] ppid=26219 vsize=1396292 CPUtime=12.69 cores=1,3,5,7
/proc/26225/stat : 26225 (toysat) R 26219 26225 23926 0 -1 4202496 289704 0 0 0 1229 40 0 0 20 0 4 0 12952068 1429803008 290004 33554432000 4194304 16246674 140735157467280 140735157449152 6132648 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26225/statm: 349073 290004 843 2943 0 345967 0
[pid=26225/tid=26227] ppid=26219 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26227/stat : 26227 (toysat) S 26219 26225 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12952068 1429803008 290004 33554432000 4194304 16246674 140735157467280 139825924517104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26225/tid=26228] ppid=26219 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26228/stat : 26228 (toysat) S 26219 26225 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952068 1429803008 290004 33554432000 4194304 16246674 140735157467280 139825914027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26225/tid=26229] ppid=26219 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26229/stat : 26229 (toysat) S 26219 26225 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952068 1429803008 290004 33554432000 4194304 16246674 140735157467280 139825903553712 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) 1396292

[startup+25.5004 s]
/proc/loadavg: 2.83 3.62 3.83 4/184 26234
/proc/meminfo: memFree=29463424/32872528 swapFree=162364/176672
[pid=26225] ppid=26219 vsize=1396292 CPUtime=25.49 cores=1,3,5,7
/proc/26225/stat : 26225 (toysat) R 26219 26225 23926 0 -1 4202496 289704 0 0 0 2509 40 0 0 20 0 4 0 12952068 1429803008 290004 33554432000 4194304 16246674 140735157467280 140735157449152 6132712 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26225/statm: 349073 290004 843 2943 0 345967 0
[pid=26225/tid=26227] ppid=26219 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26227/stat : 26227 (toysat) S 26219 26225 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12952068 1429803008 290004 33554432000 4194304 16246674 140735157467280 139825924517104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26225/tid=26228] ppid=26219 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26228/stat : 26228 (toysat) S 26219 26225 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952068 1429803008 290004 33554432000 4194304 16246674 140735157467280 139825914027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26225/tid=26229] ppid=26219 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26229/stat : 26229 (toysat) S 26219 26225 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952068 1429803008 290004 33554432000 4194304 16246674 140735157467280 139825903553712 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) 1396292

[startup+51.1004 s]
/proc/loadavg: 2.54 3.48 3.79 4/183 26234
/proc/meminfo: memFree=29463560/32872528 swapFree=162364/176672
[pid=26225] ppid=26219 vsize=1396292 CPUtime=51.08 cores=1,3,5,7
/proc/26225/stat : 26225 (toysat) R 26219 26225 23926 0 -1 4202496 289704 0 0 0 5068 40 0 0 20 0 4 0 12952068 1429803008 290004 33554432000 4194304 16246674 140735157467280 140735157449152 6132488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26225/statm: 349073 290004 843 2943 0 345967 0
[pid=26225/tid=26227] ppid=26219 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26227/stat : 26227 (toysat) S 26219 26225 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12952068 1429803008 290004 33554432000 4194304 16246674 140735157467280 139825924517104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26225/tid=26228] ppid=26219 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26228/stat : 26228 (toysat) S 26219 26225 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952068 1429803008 290004 33554432000 4194304 16246674 140735157467280 139825914027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26225/tid=26229] ppid=26219 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26229/stat : 26229 (toysat) S 26219 26225 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952068 1429803008 290004 33554432000 4194304 16246674 140735157467280 139825903553712 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) 1396292

[startup+102.3 s]
/proc/loadavg: 2.24 3.25 3.69 4/183 26235
/proc/meminfo: memFree=29462932/32872528 swapFree=162364/176672
[pid=26225] ppid=26219 vsize=1396292 CPUtime=102.28 cores=1,3,5,7
/proc/26225/stat : 26225 (toysat) R 26219 26225 23926 0 -1 4202496 289704 0 0 0 10188 40 0 0 20 0 4 0 12952068 1429803008 290004 33554432000 4194304 16246674 140735157467280 140735157449152 13807754 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26225/statm: 349073 290004 843 2943 0 345967 0
[pid=26225/tid=26227] ppid=26219 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26227/stat : 26227 (toysat) S 26219 26225 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12952068 1429803008 290004 33554432000 4194304 16246674 140735157467280 139825924517104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26225/tid=26228] ppid=26219 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26228/stat : 26228 (toysat) S 26219 26225 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952068 1429803008 290004 33554432000 4194304 16246674 140735157467280 139825914027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26225/tid=26229] ppid=26219 vsize=1396292 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26229/stat : 26229 (toysat) S 26219 26225 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952068 1429803008 290004 33554432000 4194304 16246674 140735157467280 139825903553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1396292


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

/proc/26225/task/26229/stat : 26229 (toysat) S 26219 26225 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952068 1962479616 420308 33554432000 4194304 16246674 140735157467280 139825903553712 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) 1916484

[startup+1362.3 s]
/proc/loadavg: 2.05 2.03 2.42 4/183 26266
/proc/meminfo: memFree=28417372/32872528 swapFree=162364/176672
[pid=26225] ppid=26219 vsize=1916484 CPUtime=1362.08 cores=1,3,5,7
/proc/26225/stat : 26225 (toysat) R 26219 26225 23926 0 -1 4202496 419759 0 0 0 136148 60 0 0 20 0 4 0 12952068 1962479616 420308 33554432000 4194304 16246674 140735157467280 140735157449152 13807770 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26225/statm: 479121 420308 843 2943 0 476015 0
[pid=26225/tid=26227] ppid=26219 vsize=1916484 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26227/stat : 26227 (toysat) S 26219 26225 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12952068 1962479616 420308 33554432000 4194304 16246674 140735157467280 139825924517104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26225/tid=26228] ppid=26219 vsize=1916484 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26228/stat : 26228 (toysat) S 26219 26225 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952068 1962479616 420308 33554432000 4194304 16246674 140735157467280 139825914027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26225/tid=26229] ppid=26219 vsize=1916484 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26229/stat : 26229 (toysat) S 26219 26225 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952068 1962479616 420308 33554432000 4194304 16246674 140735157467280 139825903553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1916484

[startup+1422.3 s]
/proc/loadavg: 2.02 2.02 2.39 4/183 26267
/proc/meminfo: memFree=28417404/32872528 swapFree=162364/176672
[pid=26225] ppid=26219 vsize=1916484 CPUtime=1422.07 cores=1,3,5,7
/proc/26225/stat : 26225 (toysat) R 26219 26225 23926 0 -1 4202496 419763 0 0 0 142147 60 0 0 20 0 4 0 12952068 1962479616 420308 33554432000 4194304 16246674 140735157467280 140735157449152 13807457 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26225/statm: 479121 420308 843 2943 0 476015 0
[pid=26225/tid=26227] ppid=26219 vsize=1916484 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26227/stat : 26227 (toysat) S 26219 26225 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12952068 1962479616 420308 33554432000 4194304 16246674 140735157467280 139825924517104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26225/tid=26228] ppid=26219 vsize=1916484 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26228/stat : 26228 (toysat) S 26219 26225 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952068 1962479616 420308 33554432000 4194304 16246674 140735157467280 139825914027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26225/tid=26229] ppid=26219 vsize=1916484 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26229/stat : 26229 (toysat) S 26219 26225 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952068 1962479616 420308 33554432000 4194304 16246674 140735157467280 139825903553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1916484

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.36 4/183 26268
/proc/meminfo: memFree=26972960/32872528 swapFree=162364/176672
[pid=26225] ppid=26219 vsize=2637380 CPUtime=1482.06 cores=1,3,5,7
/proc/26225/stat : 26225 (toysat) R 26219 26225 23926 0 -1 4202496 599993 0 0 0 148122 84 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 140735157449152 13774216 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26225/statm: 659345 600532 843 2943 0 656239 0
[pid=26225/tid=26227] ppid=26219 vsize=2637380 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26227/stat : 26227 (toysat) S 26219 26225 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 139825924517104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26225/tid=26228] ppid=26219 vsize=2637380 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26228/stat : 26228 (toysat) S 26219 26225 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 139825914027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26225/tid=26229] ppid=26219 vsize=2637380 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26229/stat : 26229 (toysat) S 26219 26225 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 139825903553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 2637380

[startup+1542.31 s]
/proc/loadavg: 2.06 2.03 2.35 4/183 26270
/proc/meminfo: memFree=26973232/32872528 swapFree=162364/176672
[pid=26225] ppid=26219 vsize=2637380 CPUtime=1542.06 cores=1,3,5,7
/proc/26225/stat : 26225 (toysat) R 26219 26225 23926 0 -1 4202496 599993 0 0 0 154122 84 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 140735157449152 13923640 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26225/statm: 659345 600532 843 2943 0 656239 0
[pid=26225/tid=26227] ppid=26219 vsize=2637380 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26227/stat : 26227 (toysat) S 26219 26225 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 139825924517104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26225/tid=26228] ppid=26219 vsize=2637380 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26228/stat : 26228 (toysat) S 26219 26225 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 139825914027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26225/tid=26229] ppid=26219 vsize=2637380 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26229/stat : 26229 (toysat) S 26219 26225 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 139825903553712 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) 2637380

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.32 4/183 26271
/proc/meminfo: memFree=26973508/32872528 swapFree=162364/176672
[pid=26225] ppid=26219 vsize=2637380 CPUtime=1602.04 cores=1,3,5,7
/proc/26225/stat : 26225 (toysat) R 26219 26225 23926 0 -1 4202496 599993 0 0 0 160120 84 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 140735157449152 13809400 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26225/statm: 659345 600532 843 2943 0 656239 0
[pid=26225/tid=26227] ppid=26219 vsize=2637380 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26227/stat : 26227 (toysat) S 26219 26225 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 139825924517104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26225/tid=26228] ppid=26219 vsize=2637380 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26228/stat : 26228 (toysat) S 26219 26225 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 139825914027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26225/tid=26229] ppid=26219 vsize=2637380 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26229/stat : 26229 (toysat) S 26219 26225 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 139825903553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 2637380

[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.30 4/183 26272
/proc/meminfo: memFree=26973284/32872528 swapFree=162364/176672
[pid=26225] ppid=26219 vsize=2637380 CPUtime=1662.02 cores=1,3,5,7
/proc/26225/stat : 26225 (toysat) R 26219 26225 23926 0 -1 4202496 600000 0 0 0 166118 84 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 140735157449152 6132663 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26225/statm: 659345 600532 843 2943 0 656239 0
[pid=26225/tid=26227] ppid=26219 vsize=2637380 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26227/stat : 26227 (toysat) S 26219 26225 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 139825924517104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26225/tid=26228] ppid=26219 vsize=2637380 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26228/stat : 26228 (toysat) S 26219 26225 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 139825914027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26225/tid=26229] ppid=26219 vsize=2637380 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26229/stat : 26229 (toysat) S 26219 26225 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 139825903553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 2637380

[startup+1722.3 s]
/proc/loadavg: 2.08 2.04 2.29 4/183 26273
/proc/meminfo: memFree=26973192/32872528 swapFree=162364/176672
[pid=26225] ppid=26219 vsize=2637380 CPUtime=1722.01 cores=1,3,5,7
/proc/26225/stat : 26225 (toysat) R 26219 26225 23926 0 -1 4202496 600002 0 0 0 172117 84 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 140735157449152 13807435 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26225/statm: 659345 600532 843 2943 0 656239 0
[pid=26225/tid=26227] ppid=26219 vsize=2637380 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26227/stat : 26227 (toysat) S 26219 26225 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 139825924517104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26225/tid=26228] ppid=26219 vsize=2637380 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26228/stat : 26228 (toysat) S 26219 26225 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 139825914027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26225/tid=26229] ppid=26219 vsize=2637380 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26229/stat : 26229 (toysat) S 26219 26225 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 139825903553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 2637380

[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.27 4/184 26277
/proc/meminfo: memFree=26971952/32872528 swapFree=162364/176672
[pid=26225] ppid=26219 vsize=2637380 CPUtime=1782 cores=1,3,5,7
/proc/26225/stat : 26225 (toysat) R 26219 26225 23926 0 -1 4202496 600004 0 0 0 178115 85 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 140735157449152 13807770 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26225/statm: 659345 600532 843 2943 0 656239 0
[pid=26225/tid=26227] ppid=26219 vsize=2637380 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26227/stat : 26227 (toysat) S 26219 26225 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 139825924517104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26225/tid=26228] ppid=26219 vsize=2637380 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26228/stat : 26228 (toysat) S 26219 26225 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 139825914027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26225/tid=26229] ppid=26219 vsize=2637380 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26229/stat : 26229 (toysat) S 26219 26225 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 139825903553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 2637380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.02 2.03 2.26 4/184 26277
/proc/meminfo: memFree=26973136/32872528 swapFree=162364/176672
[pid=26225] ppid=26219 vsize=2637380 CPUtime=1800.01 cores=1,3,5,7
/proc/26225/stat : 26225 (toysat) R 26219 26225 23926 0 -1 4202496 600004 0 0 0 179915 86 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 140735157449152 13809352 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26225/statm: 659345 600532 843 2943 0 656239 0
[pid=26225/tid=26227] ppid=26219 vsize=2637380 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26227/stat : 26227 (toysat) S 26219 26225 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 139825924517104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26225/tid=26228] ppid=26219 vsize=2637380 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26228/stat : 26228 (toysat) S 26219 26225 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 139825914027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26225/tid=26229] ppid=26219 vsize=2637380 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26229/stat : 26229 (toysat) S 26219 26225 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 139825903553712 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) 2637380

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

[startup+1800.3 s]
/proc/loadavg: 2.02 2.03 2.26 4/184 26277
/proc/meminfo: memFree=26973136/32872528 swapFree=162364/176672
[pid=26225] ppid=26219 vsize=2637380 CPUtime=1800.01 cores=1,3,5,7
/proc/26225/stat : 26225 (toysat) R 26219 26225 23926 0 -1 4202496 600004 0 0 0 179915 86 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 140735157449152 13809352 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26225/statm: 659345 600532 843 2943 0 656239 0
[pid=26225/tid=26227] ppid=26219 vsize=2637380 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26227/stat : 26227 (toysat) S 26219 26225 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 139825924517104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26225/tid=26228] ppid=26219 vsize=2637380 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26228/stat : 26228 (toysat) S 26219 26225 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 139825914027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26225/tid=26229] ppid=26219 vsize=2637380 CPUtime=0 cores=1,3,5,7
/proc/26225/task/26229/stat : 26229 (toysat) S 26219 26225 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952068 2700677120 600532 33554432000 4194304 16246674 140735157467280 139825903553712 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) 2637380

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.39
CPU time (s): 1800.09
CPU user time (s): 1799.16
CPU system time (s): 0.931858
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 2637380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.16
system time used= 0.931858
maximum resident set size= 2402128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 600004
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= 57
involuntary context switches= 1910

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.49532 second user time and 6.96994 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-16 22:30:21
IDJOB=4093229
IDBENCH=79573
IDSOLVER=2553
FILE ID=node105/4093229-1466109021
RUNJOBID= node105-1466109021-26198
PBS_JOBID= 19904031
Free space on /tmp= 71744 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/scens/normalized-scen06-20reduc_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093229-1466109021/watcher-4093229-1466109021 -o /tmp/evaluation-result-4093229-1466109021/solver-4093229-1466109021 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466109021-26198 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093229-1466109021.wbo

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

MD5SUM BENCH= e94b4395b6b3ba71e47be69bc3403ba0
RANDOM SEED=95844242

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31783924 kB
Buffers:           58060 kB
Cached:           148692 kB
SwapCached:         1480 kB
Active:           116220 kB
Inactive:          94188 kB
Active(anon):       4468 kB
Inactive(anon):     1660 kB
Active(file):     111752 kB
Inactive(file):    92528 kB
Unevictable:      176672 kB
Mlocked:          162364 kB
SwapTotal:      67108856 kB
SwapFree:       67097232 kB
Dirty:             37332 kB
Writeback:             0 kB
AnonPages:        164704 kB
Mapped:             7168 kB
Shmem:                 0 kB
Slab:             570176 kB
SReclaimable:      14196 kB
SUnreclaim:       555980 kB
KernelStack:        1584 kB
PageTables:         4512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     272828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71712 MiB
End job on node105 at 2016-06-16 23:00:22