Trace number 4110534

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.17 1800.45

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-capc_wcsp.wbo
MD5SUM4f875c320719168cf780e52152e22828
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 variables100200
Total number of constraints201200
Number of soft constraints200100
Number of constraints which are clauses200100
Number of constraints which are cardinality constraints (but not clauses)1100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint100
Top cost 111161202
Min constraint cost 1
Max constraint cost 111161202
Sum of constraints costs 11119131116287
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 101
Number of bits of the biggest sum of numbers7
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-19T16:10:05+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-4110534-1466345405.wbo"]
0.00/0.01	c use --random-gen="3505314375 1156571030 120714988 3260274398 3263187429 2831489661 1927237062 2526072665 3818181404 3259537368 237112882 105611743 95209824 2865715912 1886054185 1299420062 3728437887 417090251 1688683886 3234161866 853485684 495156838 1355774269 1784482644 781431111 434212062 2613529217 1360349543 2472336791 3139162591 1422238999 2672603829 2984464322 4250683849 4070928182 3415870382 773283320 1001296502 710358157 3447506478 2109045374 1289415738 4134421939 3524729060 3866854500 1592339829 20392459 256908260 1114220572 2324940675 600393365 979187410 186492891 2416409249 656766436 83572808 2572453641 1011384491 2521322818 1151326859 988645556 2667818079 2590932223 3545826444 2074075552 3784303196 3579235124 346432148 2158649562 3073675845 3773441758 2344799170 3384291072 48863325 2206427601 415637906 439037092 3595133532 3234480321 486175683 2061731005 3410399332 1462110219 2748138885 2741261630 3187712203 3612379893 1942830713 3464607993 238913081 3292466249 2464259862 2464785686 3791169905 1388736813 1939973755 3887349510 3129764996 1977606830 912233194 57328969 2559569779 146331809 2614199549 710475186 3519741989 3633093512 2572515045 2836694846 2233571794 3474933698 3663449015 4280649629 59522900 1105408714 3456293536 1885273326 1612103916 3553751277 686129547 3422839780 1151467139 3006710988 2425123651 355230323 1734151624 2227993928 145557775 56821945 1426745919 3037661991 4012646460 3223028731 2568338463 1563793647 4045848238 3027879999 1043965627 1807310069 2348043041 1675695374 483713242 2085286475 4055674824 1639724138 968207644 4250182088 1054658348 1630308306 2800612144 1600208111 1686540585 1660209559 614496287 2358533147 964878263 3024411321 2852649091 2993686183 78667024 2177966634 128118644 2687257210 1966524985 3867197266 2313873764 3041208851 1418078013 242014686 1749327790 580799281 1498317834 1622535614 1327744330 1667350963 1716614368 3259107190 3656949066 2762911427 3309731765 4060297257 2095231100 4238826477 3700656707 3033410616 3888206510 3360857328 689661145 4222777853 2449988360 4290655294 1074875153 601937782 156178320 1024500814 1744346204 1489363357 2059718183 421947810 1494038023 733875850 2508290505 4294445752 493931669 1631977306 1512121245 338332771 2122397863 260099061 803755548 338917574 3893600143 838292551 3934309763 192881827 3384918744 2680933242 1583487816 3039402746 1310000858 1615541869 2939622811 3406983515 739915059 43587269 3722723170 2799947135 343153410 3394058005 351895821 3773588638 1549756331 377017835 262051982 4034847445 929580707 3433845261 4162797178 1681163191 3108833409 1538258180 3745401610 4085875128 1759993730 66772395 2060598665 3550779836 774163914 1132020087 1456211233 2884833139 4159116003 2516326513 887676090 1216897236 4247023561 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-4110534-1466345405/watcher-4110534-1466345405 -o /tmp/evaluation-result-4110534-1466345405/solver-4110534-1466345405 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466341803-14958 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110534-1466345405.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.35 2.31 2.22 4/176 15293
/proc/meminfo: memFree=30022224/32872528 swapFree=1400172/1569824
[pid=15293] ppid=15287 vsize=723388 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (toysat) R 15287 15293 14941 0 -1 4202496 2701 0 0 0 0 0 0 0 20 0 4 0 36585721 740749312 2551 33554432000 4194304 16246674 140733800294384 140733800293808 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 181615 2562 441 2943 0 178509 0
[pid=15293/tid=15297] ppid=15287 vsize=739772 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15297/stat : 15297 (toysat) S 15287 15293 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 757526528 2616 33554432000 4194304 16246674 140733800294384 139754862521584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15293/tid=15298] ppid=15287 vsize=744892 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (toysat) S 15287 15293 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 762769408 2633 33554432000 4194304 16246674 140733800294384 139754852031728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15293/tid=15299] ppid=15287 vsize=747964 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (toysat) S 15287 15293 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36585721 765915136 2648 33554432000 4194304 16246674 140733800294384 139754841558192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.35 2.31 2.22 4/176 15293
/proc/meminfo: memFree=30022224/32872528 swapFree=1400172/1569824
[pid=15293] ppid=15287 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/15293/stat : 15293 (toysat) R 15287 15293 14941 0 -1 4202496 27724 0 0 0 5 4 0 0 20 0 4 0 36585721 1333334016 27514 33554432000 4194304 16246674 140733800294384 140733800293696 7374276 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 325521 27531 800 2943 0 322415 0
[pid=15293/tid=15297] ppid=15287 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15297/stat : 15297 (toysat) S 15287 15293 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 1333334016 27542 33554432000 4194304 16246674 140733800294384 139754862521584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15293/tid=15298] ppid=15287 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (toysat) S 15287 15293 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 1333334016 27553 33554432000 4194304 16246674 140733800294384 139754852031728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15293/tid=15299] ppid=15287 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (toysat) S 15287 15293 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 1333334016 27564 33554432000 4194304 16246674 140733800294384 139754841558192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200496 s]
/proc/loadavg: 2.35 2.31 2.22 4/176 15293
/proc/meminfo: memFree=30022224/32872528 swapFree=1400172/1569824
[pid=15293] ppid=15287 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/15293/stat : 15293 (toysat) R 15287 15293 14941 0 -1 4202496 44837 0 0 0 13 6 0 0 20 0 4 0 36585721 1344868352 45138 33554432000 4194304 16246674 140733800294384 140733800293696 8055512 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 328337 45138 800 2943 0 325231 0
[pid=15293/tid=15297] ppid=15287 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15297/stat : 15297 (toysat) S 15287 15293 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 1344868352 45138 33554432000 4194304 16246674 140733800294384 139754862521584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15293/tid=15298] ppid=15287 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (toysat) S 15287 15293 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 1344868352 45138 33554432000 4194304 16246674 140733800294384 139754852031728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15293/tid=15299] ppid=15287 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (toysat) S 15287 15293 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 1344868352 45138 33554432000 4194304 16246674 140733800294384 139754841558192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300422 s]
/proc/loadavg: 2.35 2.31 2.22 4/176 15293
/proc/meminfo: memFree=30022224/32872528 swapFree=1400172/1569824
[pid=15293] ppid=15287 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/15293/stat : 15293 (toysat) R 15287 15293 14941 0 -1 4202496 54521 0 0 0 22 7 0 0 20 0 4 0 36585721 1344868352 54822 33554432000 4194304 16246674 140733800294384 140733800293696 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 328337 54822 801 2943 0 325231 0
[pid=15293/tid=15297] ppid=15287 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15297/stat : 15297 (toysat) S 15287 15293 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 1344868352 54822 33554432000 4194304 16246674 140733800294384 139754862521584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15293/tid=15298] ppid=15287 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (toysat) S 15287 15293 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 1344868352 54822 33554432000 4194304 16246674 140733800294384 139754852031728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15293/tid=15299] ppid=15287 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (toysat) S 15287 15293 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 1344868352 54822 33554432000 4194304 16246674 140733800294384 139754841558192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700348 s]
/proc/loadavg: 2.35 2.31 2.22 4/176 15293
/proc/meminfo: memFree=30022224/32872528 swapFree=1400172/1569824
[pid=15293] ppid=15287 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/15293/stat : 15293 (toysat) R 15287 15293 14941 0 -1 4202496 64931 0 0 0 60 9 0 0 20 0 4 0 36585721 1344868352 65233 33554432000 4194304 16246674 140733800294384 140733800276288 7374276 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 328337 65247 802 2943 0 325231 0
[pid=15293/tid=15297] ppid=15287 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15297/stat : 15297 (toysat) S 15287 15293 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 1344868352 65257 33554432000 4194304 16246674 140733800294384 139754862521584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15293/tid=15298] ppid=15287 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (toysat) S 15287 15293 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 1344868352 65267 33554432000 4194304 16246674 140733800294384 139754852031728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15293/tid=15299] ppid=15287 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (toysat) S 15287 15293 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 1344868352 65276 33554432000 4194304 16246674 140733800294384 139754841558192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50029 s]
/proc/loadavg: 2.40 2.32 2.23 5/184 15301
/proc/meminfo: memFree=29485780/32872528 swapFree=1400172/1569824
[pid=15293] ppid=15287 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/15293/stat : 15293 (toysat) R 15287 15293 14941 0 -1 4202496 126803 0 0 0 130 19 0 0 20 0 4 0 36585721 1344868352 127104 33554432000 4194304 16246674 140733800294384 140733800276288 12459048 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 328337 127113 829 2943 0 325231 0
[pid=15293/tid=15297] ppid=15287 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15297/stat : 15297 (toysat) S 15287 15293 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 1344868352 127117 33554432000 4194304 16246674 140733800294384 139754862521584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15293/tid=15298] ppid=15287 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (toysat) S 15287 15293 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 1344868352 127122 33554432000 4194304 16246674 140733800294384 139754852031728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15293/tid=15299] ppid=15287 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (toysat) S 15287 15293 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 1344868352 127129 33554432000 4194304 16246674 140733800294384 139754841558192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10034 s]
/proc/loadavg: 2.40 2.32 2.23 5/184 15301
/proc/meminfo: memFree=28745376/32872528 swapFree=1400172/1569824
[pid=15293] ppid=15287 vsize=1334852 CPUtime=3.08 cores=1,3,5,7
/proc/15293/stat : 15293 (toysat) R 15287 15293 14941 0 -1 4202496 274325 0 0 0 268 40 0 0 20 0 4 0 36585721 1366888448 274626 33554432000 4194304 16246674 140733800294384 140733800276288 13774449 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 333713 274626 833 2943 0 330607 0
[pid=15293/tid=15297] ppid=15287 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15297/stat : 15297 (toysat) S 15287 15293 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 1366888448 274626 33554432000 4194304 16246674 140733800294384 139754862521584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15293/tid=15298] ppid=15287 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (toysat) S 15287 15293 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 1366888448 274626 33554432000 4194304 16246674 140733800294384 139754852031728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15293/tid=15299] ppid=15287 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (toysat) S 15287 15293 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 1366888448 274626 33554432000 4194304 16246674 140733800294384 139754841558192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1334852

[startup+6.30034 s]
/proc/loadavg: 2.40 2.32 2.23 4/184 15301
/proc/meminfo: memFree=28707804/32872528 swapFree=1400172/1569824
[pid=15293] ppid=15287 vsize=1334852 CPUtime=6.29 cores=1,3,5,7
/proc/15293/stat : 15293 (toysat) R 15287 15293 14941 0 -1 4202496 274335 0 0 0 588 41 0 0 20 0 4 0 36585721 1366888448 274636 33554432000 4194304 16246674 140733800294384 140733800292288 12459008 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 333713 274636 837 2943 0 330607 0
[pid=15293/tid=15297] ppid=15287 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15297/stat : 15297 (toysat) S 15287 15293 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 1366888448 274636 33554432000 4194304 16246674 140733800294384 139754862521584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15293/tid=15298] ppid=15287 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (toysat) S 15287 15293 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 1366888448 274636 33554432000 4194304 16246674 140733800294384 139754852031728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15293/tid=15299] ppid=15287 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (toysat) S 15287 15293 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 1366888448 274636 33554432000 4194304 16246674 140733800294384 139754841558192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1334852

[startup+12.7003 s]
/proc/loadavg: 2.49 2.34 2.24 4/184 15301
/proc/meminfo: memFree=28320616/32872528 swapFree=1400172/1569824
[pid=15293] ppid=15287 vsize=1429060 CPUtime=12.69 cores=1,3,5,7
/proc/15293/stat : 15293 (toysat) R 15287 15293 14941 0 -1 4202496 297894 0 0 0 1226 43 0 0 20 0 4 0 36585721 1463357440 298195 33554432000 4194304 16246674 140733800294384 140733800276288 13774216 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 357265 298195 843 2943 0 354159 0
[pid=15293/tid=15297] ppid=15287 vsize=1429060 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15297/stat : 15297 (toysat) S 15287 15293 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 1463357440 298195 33554432000 4194304 16246674 140733800294384 139754862521584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15293/tid=15298] ppid=15287 vsize=1429060 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (toysat) S 15287 15293 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 1463357440 298195 33554432000 4194304 16246674 140733800294384 139754852031728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15293/tid=15299] ppid=15287 vsize=1429060 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (toysat) S 15287 15293 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 1463357440 298195 33554432000 4194304 16246674 140733800294384 139754841558192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1429060

[startup+25.5074 s]
/proc/loadavg: 2.50 2.35 2.24 5/184 15301
/proc/meminfo: memFree=28230172/32872528 swapFree=1400172/1569824
[pid=15293] ppid=15287 vsize=1429060 CPUtime=25.49 cores=1,3,5,7
/proc/15293/stat : 15293 (toysat) R 15287 15293 14941 0 -1 4202496 297894 0 0 0 2506 43 0 0 20 0 4 0 36585721 1463357440 298195 33554432000 4194304 16246674 140733800294384 140733800276288 13809224 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 357265 298195 843 2943 0 354159 0
[pid=15293/tid=15297] ppid=15287 vsize=1429060 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15297/stat : 15297 (toysat) S 15287 15293 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 1463357440 298195 33554432000 4194304 16246674 140733800294384 139754862521584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15293/tid=15298] ppid=15287 vsize=1429060 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (toysat) S 15287 15293 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 1463357440 298195 33554432000 4194304 16246674 140733800294384 139754852031728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15293/tid=15299] ppid=15287 vsize=1429060 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (toysat) S 15287 15293 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 1463357440 298195 33554432000 4194304 16246674 140733800294384 139754841558192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1429060

[startup+51.1003 s]
/proc/loadavg: 2.41 2.34 2.24 4/184 15301
/proc/meminfo: memFree=27748828/32872528 swapFree=1400172/1569824
[pid=15293] ppid=15287 vsize=1429060 CPUtime=51.08 cores=1,3,5,7
/proc/15293/stat : 15293 (toysat) R 15287 15293 14941 0 -1 4202496 297894 0 0 0 5065 43 0 0 20 0 4 0 36585721 1463357440 298195 33554432000 4194304 16246674 140733800294384 140733800276288 13807758 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 357265 298195 843 2943 0 354159 0
[pid=15293/tid=15297] ppid=15287 vsize=1429060 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15297/stat : 15297 (toysat) S 15287 15293 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 1463357440 298195 33554432000 4194304 16246674 140733800294384 139754862521584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15293/tid=15298] ppid=15287 vsize=1429060 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (toysat) S 15287 15293 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 1463357440 298195 33554432000 4194304 16246674 140733800294384 139754852031728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15293/tid=15299] ppid=15287 vsize=1429060 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (toysat) S 15287 15293 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 1463357440 298195 33554432000 4194304 16246674 140733800294384 139754841558192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1429060

[startup+102.3 s]
/proc/loadavg: 2.39 2.34 2.24 4/183 15302
/proc/meminfo: memFree=27747996/32872528 swapFree=1400172/1569824
[pid=15293] ppid=15287 vsize=1429060 CPUtime=102.27 cores=1,3,5,7
/proc/15293/stat : 15293 (toysat) R 15287 15293 14941 0 -1 4202496 297894 0 0 0 10184 43 0 0 20 0 4 0 36585721 1463357440 298195 33554432000 4194304 16246674 140733800294384 140733800276288 13774056 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 357265 298195 843 2943 0 354159 0
[pid=15293/tid=15297] ppid=15287 vsize=1429060 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15297/stat : 15297 (toysat) S 15287 15293 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 1463357440 298195 33554432000 4194304 16246674 140733800294384 139754862521584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15293/tid=15298] ppid=15287 vsize=1429060 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (toysat) S 15287 15293 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 1463357440 298195 33554432000 4194304 16246674 140733800294384 139754852031728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15293/tid=15299] ppid=15287 vsize=1429060 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (toysat) S 15287 15293 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 1463357440 298195 33554432000 4194304 16246674 140733800294384 139754841558192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1429060


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

/proc/15293/task/15297/stat : 15297 (toysat) S 15287 15293 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 2435387392 535507 33554432000 4194304 16246674 140733800294384 139754862521584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15293/tid=15298] ppid=15287 vsize=2378308 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (toysat) S 15287 15293 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 2435387392 535507 33554432000 4194304 16246674 140733800294384 139754852031728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15293/tid=15299] ppid=15287 vsize=2378308 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (toysat) S 15287 15293 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 2435387392 535507 33554432000 4194304 16246674 140733800294384 139754841558192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 2378308

[startup+1362.3 s]
/proc/loadavg: 2.31 2.27 2.20 4/183 15334
/proc/meminfo: memFree=14117664/32872528 swapFree=1400172/1569824
[pid=15293] ppid=15287 vsize=2378308 CPUtime=1362.09 cores=1,3,5,7
/proc/15293/stat : 15293 (toysat) R 15287 15293 14941 0 -1 4202496 535206 0 0 0 136131 78 0 0 20 0 4 0 36585721 2435387392 535507 33554432000 4194304 16246674 140733800294384 140733800276288 13774223 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 594577 535507 843 2943 0 591471 0
[pid=15293/tid=15297] ppid=15287 vsize=2378308 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15297/stat : 15297 (toysat) S 15287 15293 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 2435387392 535507 33554432000 4194304 16246674 140733800294384 139754862521584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15293/tid=15298] ppid=15287 vsize=2378308 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (toysat) S 15287 15293 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 2435387392 535507 33554432000 4194304 16246674 140733800294384 139754852031728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15293/tid=15299] ppid=15287 vsize=2378308 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (toysat) S 15287 15293 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 2435387392 535507 33554432000 4194304 16246674 140733800294384 139754841558192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 2378308

[startup+1422.3 s]
/proc/loadavg: 2.16 2.23 2.18 4/183 15336
/proc/meminfo: memFree=14118096/32872528 swapFree=1400172/1569824
[pid=15293] ppid=15287 vsize=2378308 CPUtime=1422.08 cores=1,3,5,7
/proc/15293/stat : 15293 (toysat) R 15287 15293 14941 0 -1 4202496 535206 0 0 0 142129 79 0 0 20 0 4 0 36585721 2435387392 535507 33554432000 4194304 16246674 140733800294384 140733800276288 13807598 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 594577 535507 843 2943 0 591471 0
[pid=15293/tid=15297] ppid=15287 vsize=2378308 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15297/stat : 15297 (toysat) S 15287 15293 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 2435387392 535507 33554432000 4194304 16246674 140733800294384 139754862521584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15293/tid=15298] ppid=15287 vsize=2378308 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (toysat) S 15287 15293 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 2435387392 535507 33554432000 4194304 16246674 140733800294384 139754852031728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15293/tid=15299] ppid=15287 vsize=2378308 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (toysat) S 15287 15293 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 2435387392 535507 33554432000 4194304 16246674 140733800294384 139754841558192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 2378308

[startup+1482.3 s]
/proc/loadavg: 2.10 2.20 2.18 4/183 15337
/proc/meminfo: memFree=14118336/32872528 swapFree=1400172/1569824
[pid=15293] ppid=15287 vsize=2378308 CPUtime=1482.06 cores=1,3,5,7
/proc/15293/stat : 15293 (toysat) R 15287 15293 14941 0 -1 4202496 535206 0 0 0 148127 79 0 0 20 0 4 0 36585721 2435387392 535507 33554432000 4194304 16246674 140733800294384 140733800276288 13807598 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 594577 535507 843 2943 0 591471 0
[pid=15293/tid=15297] ppid=15287 vsize=2378308 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15297/stat : 15297 (toysat) S 15287 15293 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 2435387392 535507 33554432000 4194304 16246674 140733800294384 139754862521584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15293/tid=15298] ppid=15287 vsize=2378308 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (toysat) S 15287 15293 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 2435387392 535507 33554432000 4194304 16246674 140733800294384 139754852031728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15293/tid=15299] ppid=15287 vsize=2378308 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (toysat) S 15287 15293 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 2435387392 535507 33554432000 4194304 16246674 140733800294384 139754841558192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 2378308

[startup+1542.3 s]
/proc/loadavg: 2.13 2.19 2.17 4/183 15338
/proc/meminfo: memFree=14118188/32872528 swapFree=1400172/1569824
[pid=15293] ppid=15287 vsize=2378308 CPUtime=1542.06 cores=1,3,5,7
/proc/15293/stat : 15293 (toysat) R 15287 15293 14941 0 -1 4202496 535206 0 0 0 154127 79 0 0 20 0 4 0 36585721 2435387392 535507 33554432000 4194304 16246674 140733800294384 140733800276288 6132432 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 594577 535507 843 2943 0 591471 0
[pid=15293/tid=15297] ppid=15287 vsize=2378308 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15297/stat : 15297 (toysat) S 15287 15293 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 2435387392 535507 33554432000 4194304 16246674 140733800294384 139754862521584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15293/tid=15298] ppid=15287 vsize=2378308 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (toysat) S 15287 15293 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 2435387392 535507 33554432000 4194304 16246674 140733800294384 139754852031728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15293/tid=15299] ppid=15287 vsize=2378308 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (toysat) S 15287 15293 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 2435387392 535507 33554432000 4194304 16246674 140733800294384 139754841558192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 2378308

[startup+1602.3 s]
/proc/loadavg: 2.10 2.17 2.17 4/183 15339
/proc/meminfo: memFree=13675924/32872528 swapFree=1400172/1569824
[pid=15293] ppid=15287 vsize=2819652 CPUtime=1602.04 cores=1,3,5,7
/proc/15293/stat : 15293 (toysat) R 15287 15293 14941 0 -1 4202496 645542 0 0 0 160111 93 0 0 20 0 4 0 36585721 2887323648 645843 33554432000 4194304 16246674 140733800294384 140733800276288 13807508 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 704913 645843 843 2943 0 701807 0
[pid=15293/tid=15297] ppid=15287 vsize=2819652 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15297/stat : 15297 (toysat) S 15287 15293 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 2887323648 645843 33554432000 4194304 16246674 140733800294384 139754862521584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15293/tid=15298] ppid=15287 vsize=2819652 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (toysat) S 15287 15293 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 2887323648 645843 33554432000 4194304 16246674 140733800294384 139754852031728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15293/tid=15299] ppid=15287 vsize=2819652 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (toysat) S 15287 15293 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 2887323648 645843 33554432000 4194304 16246674 140733800294384 139754841558192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 2819652

[startup+1662.31 s]
/proc/loadavg: 2.16 2.17 2.17 4/183 15340
/proc/meminfo: memFree=13675972/32872528 swapFree=1400172/1569824
[pid=15293] ppid=15287 vsize=2819652 CPUtime=1662.04 cores=1,3,5,7
/proc/15293/stat : 15293 (toysat) R 15287 15293 14941 0 -1 4202496 645542 0 0 0 166110 94 0 0 20 0 4 0 36585721 2887323648 645843 33554432000 4194304 16246674 140733800294384 140733800276288 6132648 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 704913 645843 843 2943 0 701807 0
[pid=15293/tid=15297] ppid=15287 vsize=2819652 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15297/stat : 15297 (toysat) S 15287 15293 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 2887323648 645843 33554432000 4194304 16246674 140733800294384 139754862521584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15293/tid=15298] ppid=15287 vsize=2819652 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (toysat) S 15287 15293 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 2887323648 645843 33554432000 4194304 16246674 140733800294384 139754852031728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15293/tid=15299] ppid=15287 vsize=2819652 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (toysat) S 15287 15293 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 2887323648 645843 33554432000 4194304 16246674 140733800294384 139754841558192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 2819652

[startup+1722.3 s]
/proc/loadavg: 2.15 2.16 2.17 4/183 15342
/proc/meminfo: memFree=13675744/32872528 swapFree=1400172/1569824
[pid=15293] ppid=15287 vsize=2819652 CPUtime=1722.03 cores=1,3,5,7
/proc/15293/stat : 15293 (toysat) R 15287 15293 14941 0 -1 4202496 645542 0 0 0 172108 95 0 0 20 0 4 0 36585721 2887323648 645843 33554432000 4194304 16246674 140733800294384 140733800276288 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 704913 645843 843 2943 0 701807 0
[pid=15293/tid=15297] ppid=15287 vsize=2819652 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15297/stat : 15297 (toysat) S 15287 15293 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 2887323648 645843 33554432000 4194304 16246674 140733800294384 139754862521584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15293/tid=15298] ppid=15287 vsize=2819652 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (toysat) S 15287 15293 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 2887323648 645843 33554432000 4194304 16246674 140733800294384 139754852031728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15293/tid=15299] ppid=15287 vsize=2819652 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (toysat) S 15287 15293 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 2887323648 645843 33554432000 4194304 16246674 140733800294384 139754841558192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 2819652

[startup+1782.3 s]
/proc/loadavg: 2.16 2.16 2.17 4/183 15343
/proc/meminfo: memFree=13675184/32872528 swapFree=1400172/1569824
[pid=15293] ppid=15287 vsize=2819652 CPUtime=1782.01 cores=1,3,5,7
/proc/15293/stat : 15293 (toysat) R 15287 15293 14941 0 -1 4202496 645542 0 0 0 178106 95 0 0 20 0 4 0 36585721 2887323648 645843 33554432000 4194304 16246674 140733800294384 140733800293560 13807582 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 704913 645843 843 2943 0 701807 0
[pid=15293/tid=15297] ppid=15287 vsize=2819652 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15297/stat : 15297 (toysat) S 15287 15293 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 2887323648 645843 33554432000 4194304 16246674 140733800294384 139754862521584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15293/tid=15298] ppid=15287 vsize=2819652 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (toysat) S 15287 15293 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 2887323648 645843 33554432000 4194304 16246674 140733800294384 139754852031728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15293/tid=15299] ppid=15287 vsize=2819652 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (toysat) S 15287 15293 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 2887323648 645843 33554432000 4194304 16246674 140733800294384 139754841558192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 2819652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.20 2.17 2.17 4/184 15346
/proc/meminfo: memFree=13674856/32872528 swapFree=1400172/1569824
[pid=15293] ppid=15287 vsize=2819652 CPUtime=1800.02 cores=1,3,5,7
/proc/15293/stat : 15293 (toysat) R 15287 15293 14941 0 -1 4202496 645542 0 0 0 179906 96 0 0 20 0 4 0 36585721 2887323648 645843 33554432000 4194304 16246674 140733800294384 140733800276288 6132605 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 704913 645843 843 2943 0 701807 0
[pid=15293/tid=15297] ppid=15287 vsize=2819652 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15297/stat : 15297 (toysat) S 15287 15293 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 2887323648 645843 33554432000 4194304 16246674 140733800294384 139754862521584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15293/tid=15298] ppid=15287 vsize=2819652 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (toysat) S 15287 15293 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 2887323648 645843 33554432000 4194304 16246674 140733800294384 139754852031728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15293/tid=15299] ppid=15287 vsize=2819652 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (toysat) S 15287 15293 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 2887323648 645843 33554432000 4194304 16246674 140733800294384 139754841558192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 2819652

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

[startup+1800.4 s]
/proc/loadavg: 2.20 2.17 2.17 4/184 15346
/proc/meminfo: memFree=13674856/32872528 swapFree=1400172/1569824
[pid=15293] ppid=15287 vsize=0 CPUtime=1800.12 cores=1,3,5,7
/proc/15293/stat : 15293 (toysat) Z 15287 15293 14941 0 -1 4203532 645542 0 0 0 179906 106 0 0 20 0 2 0 36585721 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 0 0 0 0 0 0 0
[pid=15293/tid=15298] ppid=15287 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (toysat) R 15287 15293 14941 0 -1 4203588 8 0 0 0 0 8 0 0 20 0 2 0 36585721 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.45
CPU time (s): 1800.17
CPU user time (s): 1799.07
CPU system time (s): 1.10283
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 2819652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 1.10283
maximum resident set size= 2583372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 645542
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= 39
involuntary context switches= 1854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9341 second user time and 8.95264 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-19 16:10:05
IDJOB=4110534
IDBENCH=79510
IDSOLVER=2553
FILE ID=node140/4110534-1466345405
RUNJOBID= node140-1466341803-14958
PBS_JOBID= 19922013
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 4f875c320719168cf780e52152e22828
RANDOM SEED=1995877357

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.714
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:        30022512 kB
Buffers:          173680 kB
Cached:           355780 kB
SwapCached:         2736 kB
Active:           182688 kB
Inactive:         351332 kB
Active(anon):       4268 kB
Inactive(anon):     2960 kB
Active(file):     178420 kB
Inactive(file):   348372 kB
Unevictable:     1569824 kB
Mlocked:         1400172 kB
SwapTotal:      67108856 kB
SwapFree:       67097256 kB
Dirty:             39668 kB
Writeback:             0 kB
AnonPages:       1576480 kB
Mapped:             8476 kB
Shmem:                 0 kB
Slab:             612228 kB
SReclaimable:      56216 kB
SUnreclaim:       556012 kB
KernelStack:        1488 kB
PageTables:         6936 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1667112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    174080 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= 71692 MiB
End job on node140 at 2016-06-19 16:40:06