Trace number 4093269

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.67 1800.98

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap124_wcsp.wbo
MD5SUM8eeb21bef0624b36d5575dec4c8f650d
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark19425822
Best CPU time to get the best result obtained on this benchmark1800.12
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2600
Total number of constraints5148
Number of soft constraints5048
Number of constraints which are clauses5048
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint50
Top cost 69881436
Min constraint cost 1
Max constraint cost 69881436
Sum of constraints costs 175993421300
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-30T02:31:11+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-4093269-1467246671.wbo"]
0.00/0.01	c use --random-gen="1486361727 1299201686 3822002165 750190546 2989799560 1534955157 4095784245 1866019094 1056199189 1052467483 2850332235 3382345498 2949745910 1536322796 3164690872 1845843730 2098248022 1330868857 1784943929 3445522325 2611019712 2608069478 1405403450 2584199395 3702276623 2823192284 1377388650 3448370517 1570116786 389080886 4015072617 3768885417 509937516 1142025420 1399550014 584210198 1514112480 3485331161 3807786854 3276674573 3550639496 1863539797 3071936305 904012547 1656823034 2914959636 2749220701 2740940425 867812151 3772425458 629661697 475202944 3720531626 1432420210 2304580003 3042363489 2089787322 75132915 1012306100 957398161 165243021 3558897013 3935467240 3026639258 1783366621 2720953909 3270888314 3996821654 213117617 218071684 2150458210 679671048 4036771616 2788497237 3235557591 4072792046 2402667593 3511263707 4210048579 334660366 2147874725 3035501956 3472066050 3876894890 1199800328 3899985806 4162956571 1752931647 4279954119 2474704081 2617452280 3154413151 21669927 1605319741 1632273156 3070122630 1586848647 1810749043 2604745321 2062574267 1232266425 52809252 242909114 772176056 886120104 1711055088 1565170832 2968602053 1333730215 3940291139 1976332809 175849325 254289309 2791549540 2778578838 3743935441 4085908322 2403856312 56086404 1272585510 2092474193 2815252500 3480807027 1714261 1969615686 1444141257 4225866212 3737902859 3186894409 4274759305 3138816021 2375917297 1495201586 1946874500 3786188051 1031010544 1613431786 2753112952 1043688307 1444121301 171462586 2828590947 3572214735 2662616310 3631849119 3624449511 759729113 2043373799 3932356864 1810783111 2812445172 1515997059 3507103701 743988533 2154986707 1476518415 2769219203 1520342417 1602871698 298990343 752631605 1943521135 2939615915 2161231452 966105034 2712994800 1940647593 4190462152 2403814846 2423020335 2219764094 3960836605 1250843278 2611685638 2161373688 302892437 1464657423 1030884309 1564139361 3894083964 3311141366 2279031948 2892037102 3408181973 2882682734 2919592773 954156581 4192537753 2591003172 1383709349 3466960518 2832055860 2484269668 1104113344 221085866 1562631448 1274902365 3018927243 3115888730 103898075 996231500 2559209902 4132817324 2476078660 3877841684 2353205274 3931102349 485707518 615642478 2647033239 1203892493 726511632 4182726964 472712276 2961010768 3509360866 1684302394 2967594296 2099714917 3498937503 2866014793 360992998 1681409103 2191575527 1119906978 3140176521 2559545569 103868263 799097303 2530678453 2260996843 244220881 180908907 2277050611 3593306922 2443783382 215152139 2146412103 4153715808 1512103267 4147948316 3972644527 2809411097 3191513856 2642673240 2179972085 2612935662 2922145755 3624709830 3070366485 749079978 3758168873 4208423480 936554556 2836736514 2484926566 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-4093269-1467246671/watcher-4093269-1467246671 -o /tmp/evaluation-result-4093269-1467246671/solver-4093269-1467246671 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467246671-6320 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093269-1467246671.wbo 

pid=6342
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: 0.12 0.17 0.46 4/175 6348
/proc/meminfo: memFree=29622728/32872528 swapFree=1100912/1182672
[pid=6347] ppid=6342 vsize=658876 CPUtime=0 cores=1,3,5,7
/proc/6347/stat : 6347 (toysat) R 6342 6347 6303 0 -1 4202496 2449 0 0 0 0 0 0 0 20 0 4 0 3696351 674689024 2809 33554432000 4194304 16246674 140733688010160 140733688009584 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6347/statm: 165487 2817 441 2943 0 162381 0
[pid=6347/tid=6352] ppid=6342 vsize=682428 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6352/stat : 6352 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 698806272 2898 33554432000 4194304 16246674 140733688010160 140486824144112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6347/tid=6353] ppid=6342 vsize=686524 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6353/stat : 6353 (toysat) S 6342 6347 6303 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3696352 703000576 2916 33554432000 4194304 16246674 140733688010160 140486813654256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6347/tid=6354] ppid=6342 vsize=689596 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6354/stat : 6354 (toysat) S 6342 6347 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3696352 706146304 2929 33554432000 4194304 16246674 140733688010160 140486803180720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100215 s]
/proc/loadavg: 0.12 0.17 0.46 4/175 6348
/proc/meminfo: memFree=29622728/32872528 swapFree=1100912/1182672
[pid=6347] ppid=6342 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/6347/stat : 6347 (toysat) R 6342 6347 6303 0 -1 4202496 21930 0 0 0 6 3 0 0 20 0 4 0 3696351 1249447936 22231 33554432000 4194304 16246674 140733688010160 140733688009472 12457395 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6347/statm: 305041 22238 829 2943 0 301935 0
[pid=6347/tid=6352] ppid=6342 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6352/stat : 6352 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 1249447936 22244 33554432000 4194304 16246674 140733688010160 140486824144112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6347/tid=6353] ppid=6342 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6353/stat : 6353 (toysat) S 6342 6347 6303 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3696352 1249447936 22250 33554432000 4194304 16246674 140733688010160 140486813654256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6347/tid=6354] ppid=6342 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6354/stat : 6354 (toysat) S 6342 6347 6303 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3696352 1249447936 22257 33554432000 4194304 16246674 140733688010160 140486803180720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200484 s]
/proc/loadavg: 0.12 0.17 0.46 4/175 6348
/proc/meminfo: memFree=29622728/32872528 swapFree=1100912/1182672
[pid=6347] ppid=6342 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/6347/stat : 6347 (toysat) R 6342 6347 6303 0 -1 4202496 42093 0 0 0 13 6 0 0 20 0 4 0 3696351 1250496512 42393 33554432000 4194304 16246674 140733688010160 140733687992064 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6347/statm: 305297 42397 834 2943 0 302191 0
[pid=6347/tid=6352] ppid=6342 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6352/stat : 6352 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 1250496512 42401 33554432000 4194304 16246674 140733688010160 140486824144112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6347/tid=6353] ppid=6342 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6353/stat : 6353 (toysat) S 6342 6347 6303 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3696352 1250496512 42403 33554432000 4194304 16246674 140733688010160 140486813654256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6347/tid=6354] ppid=6342 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6354/stat : 6354 (toysat) S 6342 6347 6303 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3696352 1250496512 42407 33554432000 4194304 16246674 140733688010160 140486803180720 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) 1221188

[startup+0.300533 s]
/proc/loadavg: 0.12 0.17 0.46 4/175 6348
/proc/meminfo: memFree=29622728/32872528 swapFree=1100912/1182672
[pid=6347] ppid=6342 vsize=1307204 CPUtime=0.29 cores=1,3,5,7
/proc/6347/stat : 6347 (toysat) R 6342 6347 6303 0 -1 4202496 50623 0 0 0 21 8 0 0 20 0 4 0 3696351 1338576896 50923 33554432000 4194304 16246674 140733688010160 140733688009472 12503629 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6347/statm: 326801 50923 840 2943 0 323695 0
[pid=6347/tid=6352] ppid=6342 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6352/stat : 6352 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 1338576896 50923 33554432000 4194304 16246674 140733688010160 140486824144112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6347/tid=6353] ppid=6342 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6353/stat : 6353 (toysat) S 6342 6347 6303 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3696352 1338576896 50924 33554432000 4194304 16246674 140733688010160 140486813654256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6347/tid=6354] ppid=6342 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6354/stat : 6354 (toysat) S 6342 6347 6303 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3696352 1338576896 50924 33554432000 4194304 16246674 140733688010160 140486803180720 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) 1307204

[startup+0.700435 s]
/proc/loadavg: 0.12 0.17 0.46 4/175 6348
/proc/meminfo: memFree=29622728/32872528 swapFree=1100912/1182672
[pid=6347] ppid=6342 vsize=1307204 CPUtime=0.68 cores=1,3,5,7
/proc/6347/stat : 6347 (toysat) R 6342 6347 6303 0 -1 4202496 55189 0 0 0 60 8 0 0 20 0 4 0 3696351 1338576896 55489 33554432000 4194304 16246674 140733688010160 140733688009472 13774056 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6347/statm: 326801 55489 840 2943 0 323695 0
[pid=6347/tid=6352] ppid=6342 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6352/stat : 6352 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 1338576896 55489 33554432000 4194304 16246674 140733688010160 140486824144112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6347/tid=6353] ppid=6342 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6353/stat : 6353 (toysat) S 6342 6347 6303 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3696352 1338576896 55489 33554432000 4194304 16246674 140733688010160 140486813654256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6347/tid=6354] ppid=6342 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6354/stat : 6354 (toysat) S 6342 6347 6303 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3696352 1338576896 55489 33554432000 4194304 16246674 140733688010160 140486803180720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1307204

[startup+1.50043 s]
/proc/loadavg: 0.12 0.17 0.46 4/183 6356
/proc/meminfo: memFree=29182568/32872528 swapFree=1100912/1182672
[pid=6347] ppid=6342 vsize=1307204 CPUtime=1.48 cores=1,3,5,7
/proc/6347/stat : 6347 (toysat) R 6342 6347 6303 0 -1 4202496 55189 0 0 0 140 8 0 0 20 0 4 0 3696351 1338576896 55489 33554432000 4194304 16246674 140733688010160 140733687992064 13807696 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6347/statm: 326801 55489 840 2943 0 323695 0
[pid=6347/tid=6352] ppid=6342 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6352/stat : 6352 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 1338576896 55489 33554432000 4194304 16246674 140733688010160 140486824144112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6347/tid=6353] ppid=6342 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6353/stat : 6353 (toysat) S 6342 6347 6303 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3696352 1338576896 55489 33554432000 4194304 16246674 140733688010160 140486813654256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6347/tid=6354] ppid=6342 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6354/stat : 6354 (toysat) S 6342 6347 6303 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3696352 1338576896 55489 33554432000 4194304 16246674 140733688010160 140486803180720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1307204

[startup+3.10044 s]
/proc/loadavg: 0.12 0.17 0.46 4/183 6356
/proc/meminfo: memFree=29181428/32872528 swapFree=1100912/1182672
[pid=6347] ppid=6342 vsize=1307204 CPUtime=3.08 cores=1,3,5,7
/proc/6347/stat : 6347 (toysat) R 6342 6347 6303 0 -1 4202496 55189 0 0 0 300 8 0 0 20 0 4 0 3696351 1338576896 55489 33554432000 4194304 16246674 140733688010160 140733687992064 13807435 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6347/statm: 326801 55489 840 2943 0 323695 0
[pid=6347/tid=6352] ppid=6342 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6352/stat : 6352 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 1338576896 55489 33554432000 4194304 16246674 140733688010160 140486824144112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6347/tid=6353] ppid=6342 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6353/stat : 6353 (toysat) S 6342 6347 6303 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3696352 1338576896 55489 33554432000 4194304 16246674 140733688010160 140486813654256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6347/tid=6354] ppid=6342 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6354/stat : 6354 (toysat) S 6342 6347 6303 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3696352 1338576896 55489 33554432000 4194304 16246674 140733688010160 140486803180720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.30043 s]
/proc/loadavg: 0.27 0.20 0.46 4/183 6356
/proc/meminfo: memFree=29111444/32872528 swapFree=1100912/1182672
[pid=6347] ppid=6342 vsize=1307204 CPUtime=6.28 cores=1,3,5,7
/proc/6347/stat : 6347 (toysat) R 6342 6347 6303 0 -1 4202496 63842 0 0 0 619 9 0 0 20 0 4 0 3696351 1338576896 64142 33554432000 4194304 16246674 140733688010160 140733687992064 6131236 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6347/statm: 326801 64142 840 2943 0 323695 0
[pid=6347/tid=6352] ppid=6342 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6352/stat : 6352 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 1338576896 64142 33554432000 4194304 16246674 140733688010160 140486824144112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6347/tid=6353] ppid=6342 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6353/stat : 6353 (toysat) S 6342 6347 6303 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3696352 1338576896 64142 33554432000 4194304 16246674 140733688010160 140486813654256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6347/tid=6354] ppid=6342 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6354/stat : 6354 (toysat) S 6342 6347 6303 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3696352 1338576896 64142 33554432000 4194304 16246674 140733688010160 140486803180720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 0.41 0.23 0.47 4/183 6356
/proc/meminfo: memFree=29108840/32872528 swapFree=1100912/1182672
[pid=6347] ppid=6342 vsize=1309252 CPUtime=12.68 cores=1,3,5,7
/proc/6347/stat : 6347 (toysat) R 6342 6347 6303 0 -1 4202496 64356 0 0 0 1259 9 0 0 20 0 4 0 3696351 1340674048 64656 33554432000 4194304 16246674 140733688010160 140733688009336 13807488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6347/statm: 327313 64656 842 2943 0 324207 0
[pid=6347/tid=6352] ppid=6342 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6352/stat : 6352 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 1340674048 64656 33554432000 4194304 16246674 140733688010160 140486824144112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6347/tid=6353] ppid=6342 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6353/stat : 6353 (toysat) S 6342 6347 6303 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3696352 1340674048 64656 33554432000 4194304 16246674 140733688010160 140486813654256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6347/tid=6354] ppid=6342 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6354/stat : 6354 (toysat) S 6342 6347 6303 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3696352 1340674048 64656 33554432000 4194304 16246674 140733688010160 140486803180720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1309252

[startup+25.5005 s]
/proc/loadavg: 0.76 0.31 0.49 4/183 6356
/proc/meminfo: memFree=29108168/32872528 swapFree=1100912/1182672
[pid=6347] ppid=6342 vsize=1310276 CPUtime=25.49 cores=1,3,5,7
/proc/6347/stat : 6347 (toysat) R 6342 6347 6303 0 -1 4202496 64612 0 0 0 2539 10 0 0 20 0 4 0 3696351 1341722624 64912 33554432000 4194304 16246674 140733688010160 140733687992064 6132712 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6347/statm: 327569 64912 842 2943 0 324463 0
[pid=6347/tid=6352] ppid=6342 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6352/stat : 6352 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 1341722624 64912 33554432000 4194304 16246674 140733688010160 140486824144112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6347/tid=6353] ppid=6342 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6353/stat : 6353 (toysat) S 6342 6347 6303 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3696352 1341722624 64912 33554432000 4194304 16246674 140733688010160 140486813654256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6347/tid=6354] ppid=6342 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6354/stat : 6354 (toysat) S 6342 6347 6303 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3696352 1341722624 64912 33554432000 4194304 16246674 140733688010160 140486803180720 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) 1310276

[startup+51.1005 s]
/proc/loadavg: 1.18 0.45 0.53 4/183 6356
/proc/meminfo: memFree=28803024/32872528 swapFree=1100912/1182672
[pid=6347] ppid=6342 vsize=1312324 CPUtime=51.08 cores=1,3,5,7
/proc/6347/stat : 6347 (toysat) R 6342 6347 6303 0 -1 4202496 102775 0 0 0 5092 16 0 0 20 0 4 0 3696351 1343819776 103075 33554432000 4194304 16246674 140733688010160 140733688009336 6139124 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6347/statm: 328081 103075 842 2943 0 324975 0
[pid=6347/tid=6352] ppid=6342 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6352/stat : 6352 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 1343819776 103075 33554432000 4194304 16246674 140733688010160 140486824144112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6347/tid=6353] ppid=6342 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6353/stat : 6353 (toysat) S 6342 6347 6303 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3696352 1343819776 103075 33554432000 4194304 16246674 140733688010160 140486813654256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6347/tid=6354] ppid=6342 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6354/stat : 6354 (toysat) S 6342 6347 6303 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3696352 1343819776 103075 33554432000 4194304 16246674 140733688010160 140486803180720 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) 1312324

[startup+102.301 s]
/proc/loadavg: 1.85 0.74 0.63 4/183 6357
/proc/meminfo: memFree=27996180/32872528 swapFree=1100912/1182672
[pid=6347] ppid=6342 vsize=1314372 CPUtime=102.28 cores=1,3,5,7
/proc/6347/stat : 6347 (toysat) R 6342 6347 6303 0 -1 4202496 196719 0 0 0 10196 32 0 0 20 0 4 0 3696351 1345916928 210123 33554432000 4194304 16246674 140733688010160 140733687992064 12481037 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6347/statm: 328593 210123 842 2943 0 325487 0
[pid=6347/tid=6352] ppid=6342 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6352/stat : 6352 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 1345916928 210123 33554432000 4194304 16246674 140733688010160 140486824144112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6347/tid=6353] ppid=6342 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6353/stat : 6353 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 1345916928 210123 33554432000 4194304 16246674 140733688010160 140486813654256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6347/tid=6354] ppid=6342 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6354/stat : 6354 (toysat) S 6342 6347 6303 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3696352 1345916928 210123 33554432000 4194304 16246674 140733688010160 140486803180720 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) 1314372


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

[pid=6347] ppid=6342 vsize=10779204 CPUtime=1362.05 cores=1,3,5,7
/proc/6347/stat : 6347 (toysat) R 6342 6347 6303 0 -1 4202496 2610789 0 0 0 135759 446 0 0 20 0 4 0 3696351 11037904896 2636244 33554432000 4194304 16246674 140733688010160 140733688009336 6132671 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6347/statm: 2694801 2636244 843 2943 0 2691695 0
[pid=6347/tid=6352] ppid=6342 vsize=10779204 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6352/stat : 6352 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 11037904896 2636244 33554432000 4194304 16246674 140733688010160 140486824144112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6347/tid=6353] ppid=6342 vsize=10779204 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6353/stat : 6353 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 11037904896 2636244 33554432000 4194304 16246674 140733688010160 140486813654256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6347/tid=6354] ppid=6342 vsize=10779204 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6354/stat : 6354 (toysat) S 6342 6347 6303 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3696352 11037904896 2636244 33554432000 4194304 16246674 140733688010160 140486803180720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 10779204

[startup+1422.3 s]
/proc/loadavg: 2.19 2.16 1.77 4/183 6388
/proc/meminfo: memFree=9569472/32872528 swapFree=1100912/1182672
[pid=6347] ppid=6342 vsize=10779204 CPUtime=1422.05 cores=1,3,5,7
/proc/6347/stat : 6347 (toysat) R 6342 6347 6303 0 -1 4202496 2610789 0 0 0 141756 449 0 0 20 0 4 0 3696351 11037904896 2636244 33554432000 4194304 16246674 140733688010160 140733688009336 13809400 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6347/statm: 2694801 2636244 843 2943 0 2691695 0
[pid=6347/tid=6352] ppid=6342 vsize=10779204 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6352/stat : 6352 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 11037904896 2636244 33554432000 4194304 16246674 140733688010160 140486824144112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6347/tid=6353] ppid=6342 vsize=10779204 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6353/stat : 6353 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 11037904896 2636244 33554432000 4194304 16246674 140733688010160 140486813654256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6347/tid=6354] ppid=6342 vsize=10779204 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6354/stat : 6354 (toysat) S 6342 6347 6303 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3696352 11037904896 2636244 33554432000 4194304 16246674 140733688010160 140486803180720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 10779204

[startup+1482.3 s]
/proc/loadavg: 2.28 2.19 1.80 4/183 6390
/proc/meminfo: memFree=9569596/32872528 swapFree=1100912/1182672
[pid=6347] ppid=6342 vsize=10779204 CPUtime=1482.03 cores=1,3,5,7
/proc/6347/stat : 6347 (toysat) R 6342 6347 6303 0 -1 4202496 2610791 0 0 0 147748 455 0 0 20 0 4 0 3696351 11037904896 2636244 33554432000 4194304 16246674 140733688010160 140733688009336 13774216 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6347/statm: 2694801 2636244 843 2943 0 2691695 0
[pid=6347/tid=6352] ppid=6342 vsize=10779204 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6352/stat : 6352 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 11037904896 2636244 33554432000 4194304 16246674 140733688010160 140486824144112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6347/tid=6353] ppid=6342 vsize=10779204 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6353/stat : 6353 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 11037904896 2636244 33554432000 4194304 16246674 140733688010160 140486813654256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6347/tid=6354] ppid=6342 vsize=10779204 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6354/stat : 6354 (toysat) S 6342 6347 6303 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3696352 11037904896 2636244 33554432000 4194304 16246674 140733688010160 140486803180720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 10779204

[startup+1542.31 s]
/proc/loadavg: 2.57 2.27 1.86 4/183 6391
/proc/meminfo: memFree=4169208/32872528 swapFree=1100912/1182672
[pid=6347] ppid=6342 vsize=13474372 CPUtime=1542.04 cores=1,3,5,7
/proc/6347/stat : 6347 (toysat) R 6342 6347 6303 0 -1 4202496 3284584 0 0 0 153650 554 0 0 20 0 4 0 3696351 13797756928 3310037 33554432000 4194304 16246674 140733688010160 140733687992064 13774024 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6347/statm: 3368593 3310037 844 2943 0 3365487 0
[pid=6347/tid=6352] ppid=6342 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6352/stat : 6352 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 13797756928 3310037 33554432000 4194304 16246674 140733688010160 140486824144112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6347/tid=6353] ppid=6342 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6353/stat : 6353 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 13797756928 3310037 33554432000 4194304 16246674 140733688010160 140486813654256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6347/tid=6354] ppid=6342 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6354/stat : 6354 (toysat) S 6342 6347 6303 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3696352 13797756928 3310037 33554432000 4194304 16246674 140733688010160 140486803180720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 13474372

[startup+1602.3 s]
/proc/loadavg: 2.37 2.27 1.88 5/184 6392
/proc/meminfo: memFree=4169116/32872528 swapFree=1100912/1182672
[pid=6347] ppid=6342 vsize=13474372 CPUtime=1602.02 cores=1,3,5,7
/proc/6347/stat : 6347 (toysat) R 6342 6347 6303 0 -1 4202496 3284584 0 0 0 159643 559 0 0 20 0 4 0 3696351 13797756928 3310037 33554432000 4194304 16246674 140733688010160 140733688009336 13955806 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6347/statm: 3368593 3310037 844 2943 0 3365487 0
[pid=6347/tid=6352] ppid=6342 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6352/stat : 6352 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 13797756928 3310037 33554432000 4194304 16246674 140733688010160 140486824144112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6347/tid=6353] ppid=6342 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6353/stat : 6353 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 13797756928 3310037 33554432000 4194304 16246674 140733688010160 140486813654256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6347/tid=6354] ppid=6342 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6354/stat : 6354 (toysat) S 6342 6347 6303 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3696352 13797756928 3310037 33554432000 4194304 16246674 140733688010160 140486803180720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 13474372

[startup+1662.3 s]
/proc/loadavg: 2.44 2.32 1.92 4/183 6392
/proc/meminfo: memFree=4168996/32872528 swapFree=1100912/1182672
[pid=6347] ppid=6342 vsize=13474372 CPUtime=1662 cores=1,3,5,7
/proc/6347/stat : 6347 (toysat) R 6342 6347 6303 0 -1 4202496 3284584 0 0 0 165640 560 0 0 20 0 4 0 3696351 13797756928 3310037 33554432000 4194304 16246674 140733688010160 140733687992064 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6347/statm: 3368593 3310037 844 2943 0 3365487 0
[pid=6347/tid=6352] ppid=6342 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6352/stat : 6352 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 13797756928 3310037 33554432000 4194304 16246674 140733688010160 140486824144112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6347/tid=6353] ppid=6342 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6353/stat : 6353 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 13797756928 3310037 33554432000 4194304 16246674 140733688010160 140486813654256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6347/tid=6354] ppid=6342 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6354/stat : 6354 (toysat) S 6342 6347 6303 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3696352 13797756928 3310037 33554432000 4194304 16246674 140733688010160 140486803180720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 13474372

[startup+1722.3 s]
/proc/loadavg: 2.33 2.31 1.94 4/183 6393
/proc/meminfo: memFree=4168752/32872528 swapFree=1100912/1182672
[pid=6347] ppid=6342 vsize=13474372 CPUtime=1722 cores=1,3,5,7
/proc/6347/stat : 6347 (toysat) R 6342 6347 6303 0 -1 4202496 3284584 0 0 0 171635 565 0 0 20 0 4 0 3696351 13797756928 3310037 33554432000 4194304 16246674 140733688010160 140733687992064 13809224 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6347/statm: 3368593 3310037 844 2943 0 3365487 0
[pid=6347/tid=6352] ppid=6342 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6352/stat : 6352 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 13797756928 3310037 33554432000 4194304 16246674 140733688010160 140486824144112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6347/tid=6353] ppid=6342 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6353/stat : 6353 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 13797756928 3310037 33554432000 4194304 16246674 140733688010160 140486813654256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6347/tid=6354] ppid=6342 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6354/stat : 6354 (toysat) S 6342 6347 6303 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3696352 13797756928 3310037 33554432000 4194304 16246674 140733688010160 140486803180720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 13474372

[startup+1782.3 s]
/proc/loadavg: 2.35 2.33 1.97 4/184 6398
/proc/meminfo: memFree=4167656/32872528 swapFree=1100912/1182672
[pid=6347] ppid=6342 vsize=13474372 CPUtime=1781.99 cores=1,3,5,7
/proc/6347/stat : 6347 (toysat) R 6342 6347 6303 0 -1 4202496 3284584 0 0 0 177631 568 0 0 20 0 4 0 3696351 13797756928 3310037 33554432000 4194304 16246674 140733688010160 140733688009336 13809305 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6347/statm: 3368593 3310037 844 2943 0 3365487 0
[pid=6347/tid=6352] ppid=6342 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6352/stat : 6352 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 13797756928 3310037 33554432000 4194304 16246674 140733688010160 140486824144112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6347/tid=6353] ppid=6342 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6353/stat : 6353 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 13797756928 3310037 33554432000 4194304 16246674 140733688010160 140486813654256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6347/tid=6354] ppid=6342 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6354/stat : 6354 (toysat) S 6342 6347 6303 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3696352 13797756928 3310037 33554432000 4194304 16246674 140733688010160 140486803180720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 13474372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.33 2.32 1.97 4/185 6421
/proc/meminfo: memFree=4167672/32872528 swapFree=1100912/1182672
[pid=6347] ppid=6342 vsize=13474372 CPUtime=1800.08 cores=1,3,5,7
/proc/6347/stat : 6347 (toysat) R 6342 6347 6303 0 -1 4202496 3284584 0 0 0 179439 569 0 0 20 0 4 0 3696351 13797756928 3310037 33554432000 4194304 16246674 140733688010160 140733687992064 6132671 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6347/statm: 3368593 3310037 844 2943 0 3365487 0
[pid=6347/tid=6352] ppid=6342 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6352/stat : 6352 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 13797756928 3310037 33554432000 4194304 16246674 140733688010160 140486824144112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6347/tid=6353] ppid=6342 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6353/stat : 6353 (toysat) S 6342 6347 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3696352 13797756928 3310037 33554432000 4194304 16246674 140733688010160 140486813654256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6347/tid=6354] ppid=6342 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/6347/task/6354/stat : 6354 (toysat) S 6342 6347 6303 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3696352 13797756928 3310037 33554432000 4194304 16246674 140733688010160 140486803180720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13474372

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

[startup+1800.81 s]
/proc/loadavg: 2.33 2.32 1.97 4/181 6421
/proc/meminfo: memFree=18709632/32872528 swapFree=1100912/1182672
[pid=6347] ppid=6342 vsize=0 CPUtime=1800.49 cores=1,3,5,7
/proc/6347/stat : 6347 (toysat) Z 6342 6347 6303 0 -1 4203532 3284584 0 0 0 179440 609 0 0 20 0 2 0 3696351 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6347/statm: 0 0 0 0 0 0 0
[pid=6347/tid=6353] ppid=6342 vsize=0 CPUtime=0.39 cores=1,3,5,7
/proc/6347/task/6353/stat : 6353 (toysat) R 6342 6347 6303 0 -1 4203588 9 0 0 0 0 39 0 0 20 0 2 0 3696352 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.49
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 2.33 2.32 1.97 4/181 6421
/proc/meminfo: memFree=18709632/32872528 swapFree=1100912/1182672
[pid=6347] ppid=6342 vsize=0 CPUtime=1800.59 cores=1,3,5,7
/proc/6347/stat : 6347 (toysat) Z 6342 6347 6303 0 -1 4203532 3284584 0 0 0 179440 619 0 0 20 0 2 0 3696351 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6347/statm: 0 0 0 0 0 0 0
[pid=6347/tid=6353] ppid=6342 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/6347/task/6353/stat : 6353 (toysat) R 6342 6347 6303 0 -1 4203588 9 0 0 0 0 48 0 0 20 0 2 0 3696352 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.59
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.98
CPU time (s): 1800.67
CPU user time (s): 1794.4
CPU system time (s): 6.26605
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 13474372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.4
system time used= 6.26605
maximum resident set size= 13240148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3284584
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= 106
involuntary context switches= 1847

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.55885 second user time and 10.1055 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-30 02:31:11
IDJOB=4093269
IDBENCH=79528
IDSOLVER=2553
FILE ID=node115/4093269-1467246671
RUNJOBID= node115-1467246671-6320
PBS_JOBID= 20004473
Free space on /tmp= 71664 MiB

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

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

MD5SUM BENCH= 8eeb21bef0624b36d5575dec4c8f650d
RANDOM SEED=482459101

node115.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		: 2667.087
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	: 5334.17
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		: 2667.087
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.56
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		: 2667.087
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.54
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		: 2667.087
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		: 2667.087
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		: 2667.087
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		: 2667.087
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		: 2667.087
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:        29624380 kB
Buffers:           98484 kB
Cached:          1242136 kB
SwapCached:            0 kB
Active:           175920 kB
Inactive:        1179080 kB
Active(anon):      17336 kB
Inactive(anon):        0 kB
Active(file):     158584 kB
Inactive(file):  1179080 kB
Unevictable:     1182672 kB
Mlocked:         1100912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             32596 kB
Writeback:             0 kB
AnonPages:       1196676 kB
Mapped:            13272 kB
Shmem:               204 kB
Slab:             577504 kB
SReclaimable:      22552 kB
SUnreclaim:       554952 kB
KernelStack:        1336 kB
PageTables:         6712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1283264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     86016 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= 71632 MiB
End job on node115 at 2016-06-30 03:01:12