Trace number 4110538

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 1801

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap84_wcsp.wbo
MD5SUMaf4377d2968a0bed7c67bde04ddb5981
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark13980219
Best CPU time to get the best result obtained on this benchmark1800.04
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1300
Total number of constraints2598
Number of soft constraints2523
Number of constraints which are clauses2523
Number of constraints which are cardinality constraints (but not clauses)75
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint25
Top cost 63586724
Min constraint cost 1
Max constraint cost 63586724
Sum of constraints costs 80090480126
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-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-4110538-1466345405.wbo"]
0.00/0.01	c use --random-gen="986335139 2614247391 3494488170 3696885614 390552377 1546283972 2620873457 2596402208 1781070572 3216068461 2548562965 2365510408 2476690289 3694477156 63454303 4160330416 890423745 695312627 1189496397 933200763 4011910395 3554183851 3788465032 2875591918 2257903295 4285887026 2612076954 3182216307 1288611628 2293997907 1992057208 2638945818 1809674014 793394230 444397094 1804899265 111953464 3727347982 3497210214 1281290911 2218673206 3440476212 961390366 2321517262 1047534509 1085518245 3509127965 1050078451 4107816922 2192983292 535811641 3247111687 3601747514 1549797953 4208199225 2266807932 2072710245 1490409666 2520227745 299222014 2383589804 3379915211 4081895049 3908555215 2425954510 993595656 1405091039 310253290 1655899680 45226330 1773623951 2344479124 81216340 2075100057 2055538216 1348970599 601399862 1033478508 2932080346 4173817913 1814528045 1732491194 3328901927 3845269395 3156896062 2278819052 2544682971 2113664857 2756355242 3462816920 97130785 3918917683 2151431610 3143065359 2063661793 3151594427 2452057223 3326081531 4123507416 3465501372 4081440961 3561949004 1678464770 3066985204 1899912870 2842003441 2335829263 3416099996 1207242512 618939371 2452102011 2437182790 3526220819 4006861687 688041018 2577682896 4223606604 2796884765 3774172270 639839887 4038225259 951805531 4256235117 2917687255 245756348 2825407743 4214411204 1841937425 761382186 3215215320 3835459379 626404039 1138615374 1211225134 2187329282 1058323241 573625005 3675634022 3163463226 3989585486 2635846140 1825277616 2180010540 2416279946 2615202411 3756358093 1444488264 3710937511 3649751420 2503867969 3246673123 907721654 2105781704 1165824533 2893240333 3490429141 2985110054 4290792988 1462969918 211812385 2842842207 2158334466 3388528042 1656961221 4010720186 3375588029 53943803 1650784222 1945252391 459680936 1573576067 2192017017 3744197607 805267680 3563807243 2011127221 436474056 4154414674 2517595654 1105431130 2650370713 3762473798 851750170 3561711699 2457003774 1792195044 1981242687 2389570874 2231421324 3396647963 1300198673 260892352 1646341256 1797150114 2614208097 3861480932 3308044123 1304211157 2103063810 1340426616 2601248451 3063931773 672838303 1660751952 1594533662 2473490757 2874256500 3311377080 3523472337 375644634 2175289341 652289185 4141368338 873463224 3238097282 729583077 466955320 915140833 3759486516 2312981822 2708440818 1850136337 3043203800 3404164596 1810973140 3313774190 3459260464 4441630 2950032237 3629465096 116153541 77389717 128206516 2692213488 2716045261 1697283121 229013267 3907750306 1025245601 1335529335 1806671494 1819909153 384753441 2723196004 816469463 1624568338 1977319653 2132895028 1997752156 2293543618 1153233956 192273819 2517968098 1446015399 3422777516 1269734591 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-4110538-1466345405/watcher-4110538-1466345405 -o /tmp/evaluation-result-4110538-1466345405/solver-4110538-1466345405 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466341803-14957 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110538-1466345405.wbo 

pid=15286
running on 4 cores: 0,2,4,6

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/173 15290
/proc/meminfo: memFree=30022224/32872528 swapFree=1400172/1569824
[pid=15290] ppid=15286 vsize=833980 CPUtime=0 cores=0,2,4,6
/proc/15290/stat : 15290 (toysat) R 15286 15290 14941 0 -1 4202496 3133 0 0 0 0 0 0 0 20 0 4 0 36585721 853995520 2983 33554432000 4194304 16246674 140736343092688 140736343092112 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15290/statm: 209263 2992 441 2943 0 206157 0
[pid=15290/tid=15294] ppid=15286 vsize=858556 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15294/stat : 15294 (toysat) S 15286 15290 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 879161344 3077 33554432000 4194304 16246674 140736343092688 139839082048752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15290/tid=15295] ppid=15286 vsize=862652 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15295/stat : 15295 (toysat) S 15286 15290 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 883355648 3095 33554432000 4194304 16246674 140736343092688 139839071558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15290/tid=15296] ppid=15286 vsize=867772 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15296/stat : 15296 (toysat) S 15286 15290 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36585721 888598528 3112 33554432000 4194304 16246674 140736343092688 139839061085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.35 2.31 2.22 4/173 15290
/proc/meminfo: memFree=30022224/32872528 swapFree=1400172/1569824
[pid=15290] ppid=15286 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/15290/stat : 15290 (toysat) R 15286 15290 14941 0 -1 4202496 27205 0 0 0 6 3 0 0 20 0 4 0 36585721 1247350784 27047 33554432000 4194304 16246674 140736343092688 140736343092112 12458634 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15290/statm: 304529 27056 615 2943 0 301423 0
[pid=15290/tid=15294] ppid=15286 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15294/stat : 15294 (toysat) S 15286 15290 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 1247350784 27063 33554432000 4194304 16246674 140736343092688 139839082048752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15290/tid=15295] ppid=15286 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15295/stat : 15295 (toysat) S 15286 15290 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 1247350784 27070 33554432000 4194304 16246674 140736343092688 139839071558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15290/tid=15296] ppid=15286 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15296/stat : 15296 (toysat) S 15286 15290 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36585721 1247350784 27076 33554432000 4194304 16246674 140736343092688 139839061085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200509 s]
/proc/loadavg: 2.35 2.31 2.22 4/173 15290
/proc/meminfo: memFree=30022224/32872528 swapFree=1400172/1569824
[pid=15290] ppid=15286 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/15290/stat : 15290 (toysat) R 15286 15290 14941 0 -1 4202496 28788 0 0 0 16 3 0 0 20 0 4 0 36585721 1250496512 28584 33554432000 4194304 16246674 140736343092688 140736343092000 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15290/statm: 305297 28584 842 2943 0 302191 0
[pid=15290/tid=15294] ppid=15286 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15294/stat : 15294 (toysat) S 15286 15290 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 1250496512 28584 33554432000 4194304 16246674 140736343092688 139839082048752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15290/tid=15295] ppid=15286 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15295/stat : 15295 (toysat) S 15286 15290 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 1250496512 28584 33554432000 4194304 16246674 140736343092688 139839071558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15290/tid=15296] ppid=15286 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15296/stat : 15296 (toysat) S 15286 15290 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 1250496512 28584 33554432000 4194304 16246674 140736343092688 139839061085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300434 s]
/proc/loadavg: 2.35 2.31 2.22 4/173 15290
/proc/meminfo: memFree=30022224/32872528 swapFree=1400172/1569824
[pid=15290] ppid=15286 vsize=1302084 CPUtime=0.29 cores=0,2,4,6
/proc/15290/stat : 15290 (toysat) R 15286 15290 14941 0 -1 4202496 33192 0 0 0 25 4 0 0 20 0 4 0 36585721 1333334016 32988 33554432000 4194304 16246674 140736343092688 140736343092000 12500869 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15290/statm: 325521 32988 842 2943 0 322415 0
[pid=15290/tid=15294] ppid=15286 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15294/stat : 15294 (toysat) S 15286 15290 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 1333334016 32988 33554432000 4194304 16246674 140736343092688 139839082048752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15290/tid=15295] ppid=15286 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15295/stat : 15295 (toysat) S 15286 15290 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 1333334016 32988 33554432000 4194304 16246674 140736343092688 139839071558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15290/tid=15296] ppid=15286 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15296/stat : 15296 (toysat) S 15286 15290 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 1333334016 32988 33554432000 4194304 16246674 140736343092688 139839061085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700407 s]
/proc/loadavg: 2.35 2.31 2.22 4/173 15290
/proc/meminfo: memFree=30022224/32872528 swapFree=1400172/1569824
[pid=15290] ppid=15286 vsize=1308228 CPUtime=0.68 cores=0,2,4,6
/proc/15290/stat : 15290 (toysat) R 15286 15290 14941 0 -1 4202496 47577 0 0 0 62 6 0 0 20 0 4 0 36585721 1339625472 47373 33554432000 4194304 16246674 140736343092688 140736343091864 12503797 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15290/statm: 327057 47373 842 2943 0 323951 0
[pid=15290/tid=15294] ppid=15286 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15294/stat : 15294 (toysat) S 15286 15290 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 1339625472 47373 33554432000 4194304 16246674 140736343092688 139839082048752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15290/tid=15295] ppid=15286 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15295/stat : 15295 (toysat) S 15286 15290 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 1339625472 47373 33554432000 4194304 16246674 140736343092688 139839071558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15290/tid=15296] ppid=15286 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15296/stat : 15296 (toysat) S 15286 15290 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 1339625472 47373 33554432000 4194304 16246674 140736343092688 139839061085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1308228

[startup+1.50041 s]
/proc/loadavg: 2.40 2.32 2.23 4/184 15301
/proc/meminfo: memFree=29485780/32872528 swapFree=1400172/1569824
[pid=15290] ppid=15286 vsize=1308228 CPUtime=1.48 cores=0,2,4,6
/proc/15290/stat : 15290 (toysat) R 15286 15290 14941 0 -1 4202496 47828 0 0 0 142 6 0 0 20 0 4 0 36585721 1339625472 47624 33554432000 4194304 16246674 140736343092688 140736343074560 13962207 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15290/statm: 327057 47624 842 2943 0 323951 0
[pid=15290/tid=15294] ppid=15286 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15294/stat : 15294 (toysat) S 15286 15290 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 1339625472 47624 33554432000 4194304 16246674 140736343092688 139839082048752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15290/tid=15295] ppid=15286 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15295/stat : 15295 (toysat) S 15286 15290 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 1339625472 47624 33554432000 4194304 16246674 140736343092688 139839071558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15290/tid=15296] ppid=15286 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15296/stat : 15296 (toysat) S 15286 15290 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 1339625472 47624 33554432000 4194304 16246674 140736343092688 139839061085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1308228

[startup+3.10041 s]
/proc/loadavg: 2.40 2.32 2.23 4/184 15301
/proc/meminfo: memFree=28745376/32872528 swapFree=1400172/1569824
[pid=15290] ppid=15286 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/15290/stat : 15290 (toysat) R 15286 15290 14941 0 -1 4202496 50580 0 0 0 302 7 0 0 20 0 4 0 36585721 1339625472 50376 33554432000 4194304 16246674 140736343092688 140736343074560 6132584 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15290/statm: 327057 50376 842 2943 0 323951 0
[pid=15290/tid=15294] ppid=15286 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15294/stat : 15294 (toysat) S 15286 15290 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 1339625472 50376 33554432000 4194304 16246674 140736343092688 139839082048752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15290/tid=15295] ppid=15286 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15295/stat : 15295 (toysat) S 15286 15290 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 1339625472 50376 33554432000 4194304 16246674 140736343092688 139839071558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15290/tid=15296] ppid=15286 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15296/stat : 15296 (toysat) S 15286 15290 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 1339625472 50376 33554432000 4194304 16246674 140736343092688 139839061085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30035 s]
/proc/loadavg: 2.40 2.32 2.23 3/184 15301
/proc/meminfo: memFree=28707804/32872528 swapFree=1400172/1569824
[pid=15290] ppid=15286 vsize=1310276 CPUtime=6.29 cores=0,2,4,6
/proc/15290/stat : 15290 (toysat) R 15286 15290 14941 0 -1 4202496 72821 0 0 0 619 10 0 0 20 0 4 0 36585721 1341722624 72617 33554432000 4194304 16246674 140736343092688 140736343074560 13809224 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15290/statm: 327569 72617 842 2943 0 324463 0
[pid=15290/tid=15294] ppid=15286 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15294/stat : 15294 (toysat) S 15286 15290 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 1341722624 72617 33554432000 4194304 16246674 140736343092688 139839082048752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15290/tid=15295] ppid=15286 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15295/stat : 15295 (toysat) S 15286 15290 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 1341722624 72617 33554432000 4194304 16246674 140736343092688 139839071558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15290/tid=15296] ppid=15286 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15296/stat : 15296 (toysat) S 15286 15290 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 1341722624 72617 33554432000 4194304 16246674 140736343092688 139839061085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.49 2.34 2.24 3/184 15301
/proc/meminfo: memFree=28320616/32872528 swapFree=1400172/1569824
[pid=15290] ppid=15286 vsize=1314372 CPUtime=12.69 cores=0,2,4,6
/proc/15290/stat : 15290 (toysat) R 15286 15290 14941 0 -1 4202496 127596 0 0 0 1251 18 0 0 20 0 4 0 36585721 1345916928 127392 33554432000 4194304 16246674 140736343092688 140736343074560 13807742 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15290/statm: 328593 127392 844 2943 0 325487 0
[pid=15290/tid=15294] ppid=15286 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15294/stat : 15294 (toysat) S 15286 15290 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 1345916928 127392 33554432000 4194304 16246674 140736343092688 139839082048752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15290/tid=15295] ppid=15286 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15295/stat : 15295 (toysat) S 15286 15290 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 1345916928 127392 33554432000 4194304 16246674 140736343092688 139839071558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15290/tid=15296] ppid=15286 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15296/stat : 15296 (toysat) S 15286 15290 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 1345916928 127392 33554432000 4194304 16246674 140736343092688 139839061085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1314372

[startup+25.5075 s]
/proc/loadavg: 2.50 2.35 2.24 4/184 15301
/proc/meminfo: memFree=28230172/32872528 swapFree=1400172/1569824
[pid=15290] ppid=15286 vsize=1318468 CPUtime=25.5 cores=0,2,4,6
/proc/15290/stat : 15290 (toysat) R 15286 15290 14941 0 -1 4202496 150597 0 0 0 2529 21 0 0 20 0 4 0 36585721 1350111232 150393 33554432000 4194304 16246674 140736343092688 140736343074560 13807488 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15290/statm: 329617 150393 844 2943 0 326511 0
[pid=15290/tid=15294] ppid=15286 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15294/stat : 15294 (toysat) S 15286 15290 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 1350111232 150393 33554432000 4194304 16246674 140736343092688 139839082048752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15290/tid=15295] ppid=15286 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15295/stat : 15295 (toysat) S 15286 15290 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 1350111232 150393 33554432000 4194304 16246674 140736343092688 139839071558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15290/tid=15296] ppid=15286 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15296/stat : 15296 (toysat) S 15286 15290 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 1350111232 150393 33554432000 4194304 16246674 140736343092688 139839061085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1318468

[startup+51.1004 s]
/proc/loadavg: 2.41 2.34 2.24 3/184 15301
/proc/meminfo: memFree=27748828/32872528 swapFree=1400172/1569824
[pid=15290] ppid=15286 vsize=1318468 CPUtime=51.09 cores=0,2,4,6
/proc/15290/stat : 15290 (toysat) R 15286 15290 14941 0 -1 4202496 269233 0 0 0 5072 37 0 0 20 0 4 0 36585721 1350111232 270541 33554432000 4194304 16246674 140736343092688 140736343074560 13817016 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15290/statm: 329617 270541 844 2943 0 326511 0
[pid=15290/tid=15294] ppid=15286 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15294/stat : 15294 (toysat) S 15286 15290 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 1350111232 270541 33554432000 4194304 16246674 140736343092688 139839082048752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15290/tid=15295] ppid=15286 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15295/stat : 15295 (toysat) S 15286 15290 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 1350111232 270541 33554432000 4194304 16246674 140736343092688 139839071558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15290/tid=15296] ppid=15286 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15296/stat : 15296 (toysat) S 15286 15290 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 1350111232 270541 33554432000 4194304 16246674 140736343092688 139839061085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1318468

[startup+102.3 s]
/proc/loadavg: 2.39 2.34 2.24 3/183 15302
/proc/meminfo: memFree=27747996/32872528 swapFree=1400172/1569824
[pid=15290] ppid=15286 vsize=1318468 CPUtime=102.28 cores=0,2,4,6
/proc/15290/stat : 15290 (toysat) R 15286 15290 14941 0 -1 4202496 269233 0 0 0 10191 37 0 0 20 0 4 0 36585721 1350111232 270541 33554432000 4194304 16246674 140736343092688 140736343074560 6132605 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15290/statm: 329617 270541 844 2943 0 326511 0
[pid=15290/tid=15294] ppid=15286 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15294/stat : 15294 (toysat) S 15286 15290 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 1350111232 270541 33554432000 4194304 16246674 140736343092688 139839082048752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15290/tid=15295] ppid=15286 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15295/stat : 15295 (toysat) S 15286 15290 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 1350111232 270541 33554432000 4194304 16246674 140736343092688 139839071558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15290/tid=15296] ppid=15286 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15296/stat : 15296 (toysat) S 15286 15290 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 1350111232 270541 33554432000 4194304 16246674 140736343092688 139839061085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1318468


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


[startup+1422.3 s]
/proc/loadavg: 2.16 2.23 2.18 3/183 15336
/proc/meminfo: memFree=14118096/32872528 swapFree=1400172/1569824
[pid=15290] ppid=15286 vsize=13972036 CPUtime=1422.03 cores=0,2,4,6
/proc/15290/stat : 15290 (toysat) R 15286 15290 14941 0 -1 4202496 3432707 0 0 0 141659 544 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 140736343091864 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15290/statm: 3493009 3433938 845 2943 0 3489903 0
[pid=15290/tid=15294] ppid=15286 vsize=13972036 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15294/stat : 15294 (toysat) S 15286 15290 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 139839082048752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15290/tid=15295] ppid=15286 vsize=13972036 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15295/stat : 15295 (toysat) S 15286 15290 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 139839071558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15290/tid=15296] ppid=15286 vsize=13972036 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15296/stat : 15296 (toysat) S 15286 15290 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 139839061085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 13972036

[startup+1482.3 s]
/proc/loadavg: 2.10 2.20 2.18 3/183 15337
/proc/meminfo: memFree=14118336/32872528 swapFree=1400172/1569824
[pid=15290] ppid=15286 vsize=13972036 CPUtime=1482.02 cores=0,2,4,6
/proc/15290/stat : 15290 (toysat) R 15286 15290 14941 0 -1 4202496 3432707 0 0 0 147653 549 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 140736343091864 13774024 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15290/statm: 3493009 3433938 845 2943 0 3489903 0
[pid=15290/tid=15294] ppid=15286 vsize=13972036 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15294/stat : 15294 (toysat) S 15286 15290 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 139839082048752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15290/tid=15295] ppid=15286 vsize=13972036 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15295/stat : 15295 (toysat) S 15286 15290 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 139839071558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15290/tid=15296] ppid=15286 vsize=13972036 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15296/stat : 15296 (toysat) S 15286 15290 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 139839061085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 13972036

[startup+1542.3 s]
/proc/loadavg: 2.13 2.19 2.17 3/183 15338
/proc/meminfo: memFree=14118188/32872528 swapFree=1400172/1569824
[pid=15290] ppid=15286 vsize=13972036 CPUtime=1542.02 cores=0,2,4,6
/proc/15290/stat : 15290 (toysat) R 15286 15290 14941 0 -1 4202496 3432714 0 0 0 153648 554 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 140736343091784 13807548 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15290/statm: 3493009 3433938 845 2943 0 3489903 0
[pid=15290/tid=15294] ppid=15286 vsize=13972036 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15294/stat : 15294 (toysat) S 15286 15290 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 139839082048752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15290/tid=15295] ppid=15286 vsize=13972036 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15295/stat : 15295 (toysat) S 15286 15290 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 139839071558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15290/tid=15296] ppid=15286 vsize=13972036 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15296/stat : 15296 (toysat) S 15286 15290 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 139839061085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 13972036

[startup+1602.3 s]
/proc/loadavg: 2.10 2.17 2.17 3/183 15339
/proc/meminfo: memFree=13675924/32872528 swapFree=1400172/1569824
[pid=15290] ppid=15286 vsize=13972036 CPUtime=1602 cores=0,2,4,6
/proc/15290/stat : 15290 (toysat) R 15286 15290 14941 0 -1 4202496 3432714 0 0 0 159642 558 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 140736343091864 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15290/statm: 3493009 3433938 845 2943 0 3489903 0
[pid=15290/tid=15294] ppid=15286 vsize=13972036 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15294/stat : 15294 (toysat) S 15286 15290 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 139839082048752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15290/tid=15295] ppid=15286 vsize=13972036 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15295/stat : 15295 (toysat) S 15286 15290 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 139839071558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15290/tid=15296] ppid=15286 vsize=13972036 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15296/stat : 15296 (toysat) S 15286 15290 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 139839061085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 13972036

[startup+1662.31 s]
/proc/loadavg: 2.16 2.17 2.17 3/183 15340
/proc/meminfo: memFree=13675972/32872528 swapFree=1400172/1569824
[pid=15290] ppid=15286 vsize=13972036 CPUtime=1662 cores=0,2,4,6
/proc/15290/stat : 15290 (toysat) R 15286 15290 14941 0 -1 4202496 3432714 0 0 0 165638 562 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 140736343091864 13807608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15290/statm: 3493009 3433938 845 2943 0 3489903 0
[pid=15290/tid=15294] ppid=15286 vsize=13972036 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15294/stat : 15294 (toysat) S 15286 15290 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 139839082048752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15290/tid=15295] ppid=15286 vsize=13972036 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15295/stat : 15295 (toysat) S 15286 15290 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 139839071558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15290/tid=15296] ppid=15286 vsize=13972036 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15296/stat : 15296 (toysat) S 15286 15290 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 139839061085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 13972036

[startup+1722.3 s]
/proc/loadavg: 2.15 2.16 2.17 3/183 15342
/proc/meminfo: memFree=13675744/32872528 swapFree=1400172/1569824
[pid=15290] ppid=15286 vsize=13972036 CPUtime=1721.98 cores=0,2,4,6
/proc/15290/stat : 15290 (toysat) R 15286 15290 14941 0 -1 4202496 3432716 0 0 0 171633 565 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 140736343091864 13774056 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15290/statm: 3493009 3433938 845 2943 0 3489903 0
[pid=15290/tid=15294] ppid=15286 vsize=13972036 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15294/stat : 15294 (toysat) S 15286 15290 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 139839082048752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15290/tid=15295] ppid=15286 vsize=13972036 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15295/stat : 15295 (toysat) S 15286 15290 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 139839071558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15290/tid=15296] ppid=15286 vsize=13972036 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15296/stat : 15296 (toysat) S 15286 15290 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 139839061085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 13972036

[startup+1782.3 s]
/proc/loadavg: 2.16 2.16 2.17 3/183 15343
/proc/meminfo: memFree=13675184/32872528 swapFree=1400172/1569824
[pid=15290] ppid=15286 vsize=13972036 CPUtime=1781.97 cores=0,2,4,6
/proc/15290/stat : 15290 (toysat) R 15286 15290 14941 0 -1 4202496 3432716 0 0 0 177628 569 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 140736343074560 6132539 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15290/statm: 3493009 3433938 845 2943 0 3489903 0
[pid=15290/tid=15294] ppid=15286 vsize=13972036 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15294/stat : 15294 (toysat) S 15286 15290 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 139839082048752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15290/tid=15295] ppid=15286 vsize=13972036 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15295/stat : 15295 (toysat) S 15286 15290 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 139839071558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15290/tid=15296] ppid=15286 vsize=13972036 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15296/stat : 15296 (toysat) S 15286 15290 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 139839061085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 13972036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.20 2.17 2.17 3/184 15346
/proc/meminfo: memFree=13674856/32872528 swapFree=1400172/1569824
[pid=15290] ppid=15286 vsize=13972036 CPUtime=1800.07 cores=0,2,4,6
/proc/15290/stat : 15290 (toysat) R 15286 15290 14941 0 -1 4202496 3432716 0 0 0 179436 571 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 140736343074560 13807774 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15290/statm: 3493009 3433938 845 2943 0 3489903 0
[pid=15290/tid=15294] ppid=15286 vsize=13972036 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15294/stat : 15294 (toysat) S 15286 15290 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 139839082048752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15290/tid=15295] ppid=15286 vsize=13972036 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15295/stat : 15295 (toysat) S 15286 15290 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 139839071558896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15290/tid=15296] ppid=15286 vsize=13972036 CPUtime=0 cores=0,2,4,6
/proc/15290/task/15296/stat : 15296 (toysat) S 15286 15290 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36585721 14307364864 3433938 33554432000 4194304 16246674 140736343092688 139839061085360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13972036

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

[startup+1800.5 s]
/proc/loadavg: 2.20 2.17 2.17 3/184 15346
/proc/meminfo: memFree=13674856/32872528 swapFree=1400172/1569824
[pid=15290] ppid=15286 vsize=0 CPUtime=1800.18 cores=0,2,4,6
/proc/15290/stat : 15290 (toysat) Z 15286 15290 14941 0 -1 4203532 3432716 0 0 0 179437 581 0 0 20 0 2 0 36585721 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15290/statm: 0 0 0 0 0 0 0
[pid=15290/tid=15294] ppid=15286 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/15290/task/15294/stat : 15294 (toysat) R 15286 15290 14941 0 -1 4203588 10 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 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

[startup+1800.91 s]
/proc/loadavg: 2.20 2.17 2.17 2/172 15377
/proc/meminfo: memFree=26311520/32872528 swapFree=1400172/1569824
[pid=15290] ppid=15286 vsize=0 CPUtime=1800.57 cores=0,2,4,6
/proc/15290/stat : 15290 (toysat) Z 15286 15290 14941 0 -1 4203532 3432716 0 0 0 179437 620 0 0 20 0 2 0 36585721 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15290/statm: 0 0 0 0 0 0 0
[pid=15290/tid=15294] ppid=15286 vsize=0 CPUtime=0.48 cores=0,2,4,6
/proc/15290/task/15294/stat : 15294 (toysat) R 15286 15290 14941 0 -1 4203588 10 0 0 0 0 48 0 0 20 0 2 0 36585721 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.57
Current children cumulated vsize (KiB) 0

[startup+1801 s]
/proc/loadavg: 2.20 2.17 2.17 2/172 15377
/proc/meminfo: memFree=26311520/32872528 swapFree=1400172/1569824
[pid=15290] ppid=15286 vsize=0 CPUtime=1800.67 cores=0,2,4,6
/proc/15290/stat : 15290 (toysat) Z 15286 15290 14941 0 -1 4203532 3432716 0 0 0 179437 630 0 0 20 0 2 0 36585721 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15290/statm: 0 0 0 0 0 0 0
[pid=15290/tid=15294] ppid=15286 vsize=0 CPUtime=0.57 cores=0,2,4,6
/proc/15290/task/15294/stat : 15294 (toysat) R 15286 15290 14941 0 -1 4203588 10 0 0 0 0 57 0 0 20 0 2 0 36585721 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.67
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801
CPU time (s): 1800.67
CPU user time (s): 1794.37
CPU system time (s): 6.30004
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 13972036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.37
system time used= 6.30004
maximum resident set size= 13735752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3432716
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= 158
involuntary context switches= 2021

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.37488 second user time and 9.91449 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-19 16:10:05
IDJOB=4110538
IDBENCH=79511
IDSOLVER=2553
FILE ID=node140/4110538-1466345405
RUNJOBID= node140-1466341803-14957
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-cap84_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110538-1466345405/watcher-4110538-1466345405 -o /tmp/evaluation-result-4110538-1466345405/solver-4110538-1466345405 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466341803-14957 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110538-1466345405.wbo

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

MD5SUM BENCH= af4377d2968a0bed7c67bde04ddb5981
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:    1666436 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= 71716 MiB
End job on node140 at 2016-06-19 16:40:06