Trace number 4110550

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.04 1800.33

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-capmq2_wcsp.wbo
MD5SUMbcd7b5518081fa979d1f2cc7e09012de
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmark
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables90600
Total number of constraints180900
Number of soft constraints180300
Number of constraints which are clauses180300
Number of constraints which are cardinality constraints (but not clauses)600
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint300
Top cost 170764190
Min constraint cost 1
Max constraint cost 170764190
Sum of constraints costs 15370053062545
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 301
Number of bits of the biggest sum of numbers9
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:17:36+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-4110550-1466345856.wbo"]
0.00/0.01	c use --random-gen="1359173478 3783493601 1832145582 1818905360 3415185702 4031500554 3156990227 2632516806 1681950762 2383368817 3958250687 3558936639 1236717484 692172771 252207028 2545661730 1400432231 717162809 2795131710 604363728 4082535989 3559238044 3781422184 1867796323 1601162171 1546870927 2410587128 937416916 1032715595 277033262 1469618840 3244962776 3234780034 1503187224 3480003397 2335015521 146152221 4191211740 1714512234 1492601178 2965638175 3220385589 1830586685 2397607251 1105724682 255140481 1917867576 1284042919 1939886660 2493531074 337718269 3293509796 3311669360 2349843352 2458441342 2224038913 3020325196 3337979141 907149213 3346627938 3412839836 3197373204 720267603 2551388373 3098854854 3725608342 605564730 2291740427 4235122288 2412916619 371350515 1019324715 579823314 235731083 2410538514 1182342909 3864459562 1483059062 1360068614 3240111851 1025632512 3945770365 2482181032 3113940709 314061935 4056421837 754265433 1224165044 2542444012 108379655 3446228021 2310692691 2630879352 4051378070 2283433267 3823808632 3548655869 3561344993 452250371 413004951 3699465868 1159068304 2223842752 1626438978 1254463426 3516074554 2481520397 2063894044 845705772 739512696 3775296398 1811416734 1314856348 1243727766 4272678523 3536333210 1917917080 2771128124 1795214886 210395072 200298024 784784908 3462170768 2958655257 2932278318 3995387927 2390507158 450700592 4118197542 2898111899 814135944 2983605009 3016139782 2922897380 4240858645 4169759075 2715179268 2168943848 3689543705 771369599 412020748 4097950924 456633758 1569114613 2138419611 1544163291 2466776027 1443036975 1922101287 3109070099 2698140233 3161077210 939453292 240511444 450052323 417596919 3124879338 1355641711 2898591565 1781192347 1355368102 608623405 4146056525 879313999 123963295 981885989 1551813459 2318495162 19229437 2561101338 3858746995 2497314420 2288942386 1856465831 2420840574 3760394878 1218185660 2703819717 2762556260 1625118720 1988586603 2827433705 514920042 408181217 935527498 734931980 445560304 2106539783 1838327898 327441302 3319368984 1738110903 2565915022 3908207840 2558572117 4290492122 1508316628 1275671077 319996520 4032400058 378619528 1139543001 1269805921 2339289136 1601377116 2489627915 2473251356 1867331633 2493171627 3823219130 2843037613 850894436 3102966715 2481971955 276323252 3536394946 3507449532 1688897039 4040134011 1994841374 743382368 2611962 3936126934 3577016621 3153435565 1108613649 2279631784 2248794820 4262050293 3605073544 1064574947 33119410 3785929278 3441612223 958483466 3370432169 3316317620 2699330201 4168046920 3712673470 2049047861 1046601576 1807023269 2155400238 2189978147 3609096318 3308280282 890312466 1088484374 3834896257 1972736359 1830187593 3954354147 2413371328 842731490 1266745492 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-4110550-1466345856/watcher-4110550-1466345856 -o /tmp/evaluation-result-4110550-1466345856/solver-4110550-1466345856 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466341817-6063 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110550-1466345856.wbo 

pid=8403
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.11 2.19 2.17 3/178 8406
/proc/meminfo: memFree=22127968/32872528 swapFree=1542984/1696284
[pid=8406] ppid=8403 vsize=526780 CPUtime=0 cores=0,2,4,6
/proc/8406/stat : 8406 (toysat) R 8403 8406 6047 0 -1 4202496 1929 0 0 0 0 0 0 0 20 0 4 0 36632260 539422720 2800 33554432000 4194304 16246674 140737271470432 140737271469856 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8406/statm: 132463 2809 441 2943 0 129357 0
[pid=8406/tid=8407] ppid=8403 vsize=544188 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8407/stat : 8407 (toysat) S 8403 8406 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36632260 557248512 2868 33554432000 4194304 16246674 140737271470432 139646176570608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8406/tid=8408] ppid=8403 vsize=548284 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8408/stat : 8408 (toysat) S 8403 8406 6047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36632260 561442816 2885 33554432000 4194304 16246674 140737271470432 139646096878832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8406/tid=8409] ppid=8403 vsize=553404 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8409/stat : 8409 (toysat) S 8403 8406 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36632260 566685696 2902 33554432000 4194304 16246674 140737271470432 139646086405296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100157 s]
/proc/loadavg: 2.11 2.19 2.17 3/178 8406
/proc/meminfo: memFree=22127968/32872528 swapFree=1542984/1696284
[pid=8406] ppid=8403 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/8406/stat : 8406 (toysat) R 8403 8406 6047 0 -1 4202496 28679 0 0 0 5 3 0 0 20 0 4 0 36632260 1333334016 29491 33554432000 4194304 16246674 140737271470432 140737271453424 8058796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8406/statm: 325521 29504 802 2943 0 322415 0
[pid=8406/tid=8407] ppid=8403 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8407/stat : 8407 (toysat) S 8403 8406 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36632260 1333334016 29515 33554432000 4194304 16246674 140737271470432 139646176570608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8406/tid=8408] ppid=8403 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8408/stat : 8408 (toysat) S 8403 8406 6047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36632260 1333334016 29525 33554432000 4194304 16246674 140737271470432 139646096878832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8406/tid=8409] ppid=8403 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8409/stat : 8409 (toysat) S 8403 8406 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36632260 1333334016 29537 33554432000 4194304 16246674 140737271470432 139646086405296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200493 s]
/proc/loadavg: 2.11 2.19 2.17 3/178 8406
/proc/meminfo: memFree=22127968/32872528 swapFree=1542984/1696284
[pid=8406] ppid=8403 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/8406/stat : 8406 (toysat) R 8403 8406 6047 0 -1 4202496 48350 0 0 0 13 6 0 0 20 0 4 0 36632260 1343819776 49672 33554432000 4194304 16246674 140737271470432 140737271453424 7889285 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8406/statm: 328081 49672 803 2943 0 324975 0
[pid=8406/tid=8407] ppid=8403 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8407/stat : 8407 (toysat) S 8403 8406 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36632260 1343819776 49672 33554432000 4194304 16246674 140737271470432 139646176570608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8406/tid=8408] ppid=8403 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8408/stat : 8408 (toysat) S 8403 8406 6047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36632260 1343819776 49672 33554432000 4194304 16246674 140737271470432 139646096878832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8406/tid=8409] ppid=8403 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8409/stat : 8409 (toysat) S 8403 8406 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36632260 1343819776 49672 33554432000 4194304 16246674 140737271470432 139646086405296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300476 s]
/proc/loadavg: 2.11 2.19 2.17 3/178 8406
/proc/meminfo: memFree=22127968/32872528 swapFree=1542984/1696284
[pid=8406] ppid=8403 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/8406/stat : 8406 (toysat) R 8403 8406 6047 0 -1 4202496 56898 0 0 0 21 7 0 0 20 0 4 0 36632260 1344868352 58220 33554432000 4194304 16246674 140737271470432 140737271453424 4206864 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8406/statm: 328337 58220 803 2943 0 325231 0
[pid=8406/tid=8407] ppid=8403 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8407/stat : 8407 (toysat) S 8403 8406 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36632260 1344868352 58220 33554432000 4194304 16246674 140737271470432 139646176570608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8406/tid=8408] ppid=8403 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8408/stat : 8408 (toysat) S 8403 8406 6047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36632260 1344868352 58220 33554432000 4194304 16246674 140737271470432 139646096878832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8406/tid=8409] ppid=8403 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8409/stat : 8409 (toysat) S 8403 8406 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36632260 1344868352 58220 33554432000 4194304 16246674 140737271470432 139646086405296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700397 s]
/proc/loadavg: 2.11 2.19 2.17 3/178 8406
/proc/meminfo: memFree=22127968/32872528 swapFree=1542984/1696284
[pid=8406] ppid=8403 vsize=1313348 CPUtime=0.68 cores=0,2,4,6
/proc/8406/stat : 8406 (toysat) R 8403 8406 6047 0 -1 4202496 64586 0 0 0 60 8 0 0 20 0 4 0 36632260 1344868352 65908 33554432000 4194304 16246674 140737271470432 140737271453424 4206653 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8406/statm: 328337 65908 804 2943 0 325231 0
[pid=8406/tid=8407] ppid=8403 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8407/stat : 8407 (toysat) S 8403 8406 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36632260 1344868352 65908 33554432000 4194304 16246674 140737271470432 139646176570608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8406/tid=8408] ppid=8403 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8408/stat : 8408 (toysat) S 8403 8406 6047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36632260 1344868352 65908 33554432000 4194304 16246674 140737271470432 139646096878832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8406/tid=8409] ppid=8403 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8409/stat : 8409 (toysat) S 8403 8406 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36632260 1344868352 65908 33554432000 4194304 16246674 140737271470432 139646086405296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50039 s]
/proc/loadavg: 2.10 2.19 2.17 4/182 8410
/proc/meminfo: memFree=21835592/32872528 swapFree=1542984/1696284
[pid=8406] ppid=8403 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/8406/stat : 8406 (toysat) R 8403 8406 6047 0 -1 4202496 116380 0 0 0 132 17 0 0 20 0 4 0 36632260 1344868352 117703 33554432000 4194304 16246674 140737271470432 140737271453424 6143278 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8406/statm: 328337 117712 831 2943 0 325231 0
[pid=8406/tid=8407] ppid=8403 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8407/stat : 8407 (toysat) S 8403 8406 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36632260 1344868352 117719 33554432000 4194304 16246674 140737271470432 139646176570608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8406/tid=8408] ppid=8403 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8408/stat : 8408 (toysat) S 8403 8406 6047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36632260 1344868352 117726 33554432000 4194304 16246674 140737271470432 139646096878832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8406/tid=8409] ppid=8403 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8409/stat : 8409 (toysat) S 8403 8406 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36632260 1344868352 117734 33554432000 4194304 16246674 140737271470432 139646086405296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.1003 s]
/proc/loadavg: 2.10 2.19 2.17 3/183 8411
/proc/meminfo: memFree=21503884/32872528 swapFree=1542984/1696284
[pid=8406] ppid=8403 vsize=1317444 CPUtime=3.08 cores=0,2,4,6
/proc/8406/stat : 8406 (toysat) R 8403 8406 6047 0 -1 4202496 231324 0 0 0 275 33 0 0 20 0 4 0 36632260 1349062656 232646 33554432000 4194304 16246674 140737271470432 140737271452352 13955776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8406/statm: 329361 232646 836 2943 0 326255 0
[pid=8406/tid=8407] ppid=8403 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8407/stat : 8407 (toysat) S 8403 8406 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36632260 1349062656 232646 33554432000 4194304 16246674 140737271470432 139646176570608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8406/tid=8408] ppid=8403 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8408/stat : 8408 (toysat) S 8403 8406 6047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36632260 1349062656 232646 33554432000 4194304 16246674 140737271470432 139646096878832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8406/tid=8409] ppid=8403 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8409/stat : 8409 (toysat) S 8403 8406 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36632260 1349062656 232646 33554432000 4194304 16246674 140737271470432 139646086405296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1317444

[startup+6.3004 s]
/proc/loadavg: 2.10 2.19 2.17 4/183 8411
/proc/meminfo: memFree=21066164/32872528 swapFree=1542984/1696284
[pid=8406] ppid=8403 vsize=1317444 CPUtime=6.28 cores=0,2,4,6
/proc/8406/stat : 8406 (toysat) R 8403 8406 6047 0 -1 4202496 269133 0 0 0 590 38 0 0 20 0 4 0 36632260 1349062656 270455 33554432000 4194304 16246674 140737271470432 140737271452352 4206664 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8406/statm: 329361 270455 836 2943 0 326255 0
[pid=8406/tid=8407] ppid=8403 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8407/stat : 8407 (toysat) S 8403 8406 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36632260 1349062656 270455 33554432000 4194304 16246674 140737271470432 139646176570608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8406/tid=8408] ppid=8403 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8408/stat : 8408 (toysat) S 8403 8406 6047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36632260 1349062656 270455 33554432000 4194304 16246674 140737271470432 139646096878832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8406/tid=8409] ppid=8403 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8409/stat : 8409 (toysat) S 8403 8406 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36632260 1349062656 270455 33554432000 4194304 16246674 140737271470432 139646086405296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1317444

[startup+12.7003 s]
/proc/loadavg: 2.16 2.20 2.18 3/183 8411
/proc/meminfo: memFree=20948292/32872528 swapFree=1542984/1696284
[pid=8406] ppid=8403 vsize=1412676 CPUtime=12.69 cores=0,2,4,6
/proc/8406/stat : 8406 (toysat) R 8403 8406 6047 0 -1 4202496 293796 0 0 0 1227 42 0 0 20 0 4 0 36632260 1446580224 295118 33554432000 4194304 16246674 140737271470432 140737271452352 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8406/statm: 353169 295118 845 2943 0 350063 0
[pid=8406/tid=8407] ppid=8403 vsize=1412676 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8407/stat : 8407 (toysat) S 8403 8406 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36632260 1446580224 295118 33554432000 4194304 16246674 140737271470432 139646176570608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8406/tid=8408] ppid=8403 vsize=1412676 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8408/stat : 8408 (toysat) S 8403 8406 6047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36632260 1446580224 295118 33554432000 4194304 16246674 140737271470432 139646096878832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8406/tid=8409] ppid=8403 vsize=1412676 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8409/stat : 8409 (toysat) S 8403 8406 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36632260 1446580224 295118 33554432000 4194304 16246674 140737271470432 139646086405296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1412676

[startup+25.5004 s]
/proc/loadavg: 2.13 2.19 2.17 3/183 8411
/proc/meminfo: memFree=20948848/32872528 swapFree=1542984/1696284
[pid=8406] ppid=8403 vsize=1412676 CPUtime=25.49 cores=0,2,4,6
/proc/8406/stat : 8406 (toysat) R 8403 8406 6047 0 -1 4202496 293796 0 0 0 2507 42 0 0 20 0 4 0 36632260 1446580224 295118 33554432000 4194304 16246674 140737271470432 140737271452352 13809312 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8406/statm: 353169 295118 845 2943 0 350063 0
[pid=8406/tid=8407] ppid=8403 vsize=1412676 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8407/stat : 8407 (toysat) S 8403 8406 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36632260 1446580224 295118 33554432000 4194304 16246674 140737271470432 139646176570608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8406/tid=8408] ppid=8403 vsize=1412676 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8408/stat : 8408 (toysat) S 8403 8406 6047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36632260 1446580224 295118 33554432000 4194304 16246674 140737271470432 139646096878832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8406/tid=8409] ppid=8403 vsize=1412676 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8409/stat : 8409 (toysat) S 8403 8406 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36632260 1446580224 295118 33554432000 4194304 16246674 140737271470432 139646086405296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1412676

[startup+51.1004 s]
/proc/loadavg: 2.22 2.20 2.18 4/183 8411
/proc/meminfo: memFree=20947524/32872528 swapFree=1542984/1696284
[pid=8406] ppid=8403 vsize=1412676 CPUtime=51.08 cores=0,2,4,6
/proc/8406/stat : 8406 (toysat) R 8403 8406 6047 0 -1 4202496 293796 0 0 0 5066 42 0 0 20 0 4 0 36632260 1446580224 295118 33554432000 4194304 16246674 140737271470432 140737271452352 13807598 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8406/statm: 353169 295118 845 2943 0 350063 0
[pid=8406/tid=8407] ppid=8403 vsize=1412676 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8407/stat : 8407 (toysat) S 8403 8406 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36632260 1446580224 295118 33554432000 4194304 16246674 140737271470432 139646176570608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8406/tid=8408] ppid=8403 vsize=1412676 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8408/stat : 8408 (toysat) S 8403 8406 6047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36632260 1446580224 295118 33554432000 4194304 16246674 140737271470432 139646096878832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8406/tid=8409] ppid=8403 vsize=1412676 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8409/stat : 8409 (toysat) S 8403 8406 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36632260 1446580224 295118 33554432000 4194304 16246674 140737271470432 139646086405296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1412676

[startup+102.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/183 8412
/proc/meminfo: memFree=18198240/32872528 swapFree=1542984/1696284
[pid=8406] ppid=8403 vsize=1412676 CPUtime=102.28 cores=0,2,4,6
/proc/8406/stat : 8406 (toysat) R 8403 8406 6047 0 -1 4202496 293796 0 0 0 10186 42 0 0 20 0 4 0 36632260 1446580224 295118 33554432000 4194304 16246674 140737271470432 140737271452352 13807608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8406/statm: 353169 295118 845 2943 0 350063 0
[pid=8406/tid=8407] ppid=8403 vsize=1412676 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8407/stat : 8407 (toysat) S 8403 8406 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36632260 1446580224 295118 33554432000 4194304 16246674 140737271470432 139646176570608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8406/tid=8408] ppid=8403 vsize=1412676 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8408/stat : 8408 (toysat) S 8403 8406 6047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36632260 1446580224 295118 33554432000 4194304 16246674 140737271470432 139646096878832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8406/tid=8409] ppid=8403 vsize=1412676 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8409/stat : 8409 (toysat) S 8403 8406 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36632260 1446580224 295118 33554432000 4194304 16246674 140737271470432 139646086405296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1412676


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

/proc/8406/task/8409/stat : 8409 (toysat) S 8403 8406 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36632260 1446580224 295121 33554432000 4194304 16246674 140737271470432 139646086405296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1412676

[startup+1362.3 s]
/proc/loadavg: 2.18 2.18 2.18 4/184 8495
/proc/meminfo: memFree=27516948/32872528 swapFree=1542984/1696284
[pid=8406] ppid=8403 vsize=1412676 CPUtime=1362.08 cores=0,2,4,6
/proc/8406/stat : 8406 (toysat) R 8403 8406 6047 0 -1 4202496 293797 0 0 0 136166 42 0 0 20 0 4 0 36632260 1446580224 295121 33554432000 4194304 16246674 140737271470432 140737271452352 13809224 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8406/statm: 353169 295121 845 2943 0 350063 0
[pid=8406/tid=8407] ppid=8403 vsize=1412676 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8407/stat : 8407 (toysat) S 8403 8406 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36632260 1446580224 295121 33554432000 4194304 16246674 140737271470432 139646176570608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8406/tid=8408] ppid=8403 vsize=1412676 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8408/stat : 8408 (toysat) S 8403 8406 6047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36632260 1446580224 295121 33554432000 4194304 16246674 140737271470432 139646096878832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8406/tid=8409] ppid=8403 vsize=1412676 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8409/stat : 8409 (toysat) S 8403 8406 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36632260 1446580224 295121 33554432000 4194304 16246674 140737271470432 139646086405296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1412676

[startup+1422.3 s]
/proc/loadavg: 2.39 2.24 2.19 4/183 8496
/proc/meminfo: memFree=27517424/32872528 swapFree=1542984/1696284
[pid=8406] ppid=8403 vsize=1412676 CPUtime=1422.08 cores=0,2,4,6
/proc/8406/stat : 8406 (toysat) R 8403 8406 6047 0 -1 4202496 293798 0 0 0 142166 42 0 0 20 0 4 0 36632260 1446580224 295121 33554432000 4194304 16246674 140737271470432 140737271452352 13809242 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8406/statm: 353169 295121 845 2943 0 350063 0
[pid=8406/tid=8407] ppid=8403 vsize=1412676 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8407/stat : 8407 (toysat) S 8403 8406 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36632260 1446580224 295121 33554432000 4194304 16246674 140737271470432 139646176570608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8406/tid=8408] ppid=8403 vsize=1412676 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8408/stat : 8408 (toysat) S 8403 8406 6047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36632260 1446580224 295121 33554432000 4194304 16246674 140737271470432 139646096878832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8406/tid=8409] ppid=8403 vsize=1412676 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8409/stat : 8409 (toysat) S 8403 8406 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36632260 1446580224 295121 33554432000 4194304 16246674 140737271470432 139646086405296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1412676

[startup+1482.3 s]
/proc/loadavg: 2.31 2.24 2.19 4/183 8497
/proc/meminfo: memFree=27516572/32872528 swapFree=1542984/1696284
[pid=8406] ppid=8403 vsize=1412676 CPUtime=1482.06 cores=0,2,4,6
/proc/8406/stat : 8406 (toysat) R 8403 8406 6047 0 -1 4202496 293798 0 0 0 148164 42 0 0 20 0 4 0 36632260 1446580224 295121 33554432000 4194304 16246674 140737271470432 140737271452352 13809288 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8406/statm: 353169 295121 845 2943 0 350063 0
[pid=8406/tid=8407] ppid=8403 vsize=1412676 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8407/stat : 8407 (toysat) S 8403 8406 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36632260 1446580224 295121 33554432000 4194304 16246674 140737271470432 139646176570608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8406/tid=8408] ppid=8403 vsize=1412676 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8408/stat : 8408 (toysat) S 8403 8406 6047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36632260 1446580224 295121 33554432000 4194304 16246674 140737271470432 139646096878832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8406/tid=8409] ppid=8403 vsize=1412676 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8409/stat : 8409 (toysat) S 8403 8406 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36632260 1446580224 295121 33554432000 4194304 16246674 140737271470432 139646086405296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1412676

[startup+1542.31 s]
/proc/loadavg: 2.23 2.22 2.19 4/183 8499
/proc/meminfo: memFree=27517000/32872528 swapFree=1542984/1696284
[pid=8406] ppid=8403 vsize=1412676 CPUtime=1542.06 cores=0,2,4,6
/proc/8406/stat : 8406 (toysat) R 8403 8406 6047 0 -1 4202496 293799 0 0 0 154164 42 0 0 20 0 4 0 36632260 1446580224 295121 33554432000 4194304 16246674 140737271470432 140737271452352 13807598 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8406/statm: 353169 295121 845 2943 0 350063 0
[pid=8406/tid=8407] ppid=8403 vsize=1412676 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8407/stat : 8407 (toysat) S 8403 8406 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36632260 1446580224 295121 33554432000 4194304 16246674 140737271470432 139646176570608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8406/tid=8408] ppid=8403 vsize=1412676 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8408/stat : 8408 (toysat) S 8403 8406 6047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36632260 1446580224 295121 33554432000 4194304 16246674 140737271470432 139646096878832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8406/tid=8409] ppid=8403 vsize=1412676 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8409/stat : 8409 (toysat) S 8403 8406 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36632260 1446580224 295121 33554432000 4194304 16246674 140737271470432 139646086405296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1412676

[startup+1602.3 s]
/proc/loadavg: 2.14 2.20 2.18 4/183 8500
/proc/meminfo: memFree=27516904/32872528 swapFree=1542984/1696284
[pid=8406] ppid=8403 vsize=1412676 CPUtime=1602.04 cores=0,2,4,6
/proc/8406/stat : 8406 (toysat) R 8403 8406 6047 0 -1 4202496 293803 0 0 0 160162 42 0 0 20 0 4 0 36632260 1446580224 295121 33554432000 4194304 16246674 140737271470432 140737271452352 13809224 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8406/statm: 353169 295121 845 2943 0 350063 0
[pid=8406/tid=8407] ppid=8403 vsize=1412676 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8407/stat : 8407 (toysat) S 8403 8406 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36632260 1446580224 295121 33554432000 4194304 16246674 140737271470432 139646176570608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8406/tid=8408] ppid=8403 vsize=1412676 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8408/stat : 8408 (toysat) S 8403 8406 6047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36632260 1446580224 295121 33554432000 4194304 16246674 140737271470432 139646096878832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8406/tid=8409] ppid=8403 vsize=1412676 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8409/stat : 8409 (toysat) S 8403 8406 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36632260 1446580224 295121 33554432000 4194304 16246674 140737271470432 139646086405296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1412676

[startup+1662.3 s]
/proc/loadavg: 2.17 2.19 2.18 3/183 8501
/proc/meminfo: memFree=27290620/32872528 swapFree=1542984/1696284
[pid=8406] ppid=8403 vsize=1638980 CPUtime=1662.04 cores=0,2,4,6
/proc/8406/stat : 8406 (toysat) R 8403 8406 6047 0 -1 4202496 350142 0 0 0 166154 50 0 0 20 0 4 0 36632260 1678315520 351459 33554432000 4194304 16246674 140737271470432 140737271452352 13807730 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8406/statm: 409745 351459 845 2943 0 406639 0
[pid=8406/tid=8407] ppid=8403 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8407/stat : 8407 (toysat) S 8403 8406 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36632260 1678315520 351459 33554432000 4194304 16246674 140737271470432 139646176570608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8406/tid=8408] ppid=8403 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8408/stat : 8408 (toysat) S 8403 8406 6047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36632260 1678315520 351459 33554432000 4194304 16246674 140737271470432 139646096878832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8406/tid=8409] ppid=8403 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8409/stat : 8409 (toysat) S 8403 8406 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36632260 1678315520 351459 33554432000 4194304 16246674 140737271470432 139646086405296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 1638980

[startup+1722.3 s]
/proc/loadavg: 2.25 2.20 2.18 4/183 8502
/proc/meminfo: memFree=27291144/32872528 swapFree=1542984/1696284
[pid=8406] ppid=8403 vsize=1638980 CPUtime=1722.03 cores=0,2,4,6
/proc/8406/stat : 8406 (toysat) R 8403 8406 6047 0 -1 4202496 350142 0 0 0 172153 50 0 0 20 0 4 0 36632260 1678315520 351459 33554432000 4194304 16246674 140737271470432 140737271452352 13807598 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8406/statm: 409745 351459 845 2943 0 406639 0
[pid=8406/tid=8407] ppid=8403 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8407/stat : 8407 (toysat) S 8403 8406 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36632260 1678315520 351459 33554432000 4194304 16246674 140737271470432 139646176570608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8406/tid=8408] ppid=8403 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8408/stat : 8408 (toysat) S 8403 8406 6047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36632260 1678315520 351459 33554432000 4194304 16246674 140737271470432 139646096878832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8406/tid=8409] ppid=8403 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8409/stat : 8409 (toysat) S 8403 8406 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36632260 1678315520 351459 33554432000 4194304 16246674 140737271470432 139646086405296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 1638980

[startup+1782.3 s]
/proc/loadavg: 2.23 2.20 2.18 4/183 8503
/proc/meminfo: memFree=27062844/32872528 swapFree=1542984/1696284
[pid=8406] ppid=8403 vsize=1638980 CPUtime=1782.02 cores=0,2,4,6
/proc/8406/stat : 8406 (toysat) R 8403 8406 6047 0 -1 4202496 350143 0 0 0 178152 50 0 0 20 0 4 0 36632260 1678315520 351459 33554432000 4194304 16246674 140737271470432 140737271452352 13774229 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8406/statm: 409745 351459 845 2943 0 406639 0
[pid=8406/tid=8407] ppid=8403 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8407/stat : 8407 (toysat) S 8403 8406 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36632260 1678315520 351459 33554432000 4194304 16246674 140737271470432 139646176570608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8406/tid=8408] ppid=8403 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8408/stat : 8408 (toysat) S 8403 8406 6047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36632260 1678315520 351459 33554432000 4194304 16246674 140737271470432 139646096878832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8406/tid=8409] ppid=8403 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8409/stat : 8409 (toysat) S 8403 8406 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36632260 1678315520 351459 33554432000 4194304 16246674 140737271470432 139646086405296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 1638980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.18 2.19 2.18 3/183 8503
/proc/meminfo: memFree=27063184/32872528 swapFree=1542984/1696284
[pid=8406] ppid=8403 vsize=1638980 CPUtime=1800.01 cores=0,2,4,6
/proc/8406/stat : 8406 (toysat) R 8403 8406 6047 0 -1 4202496 350143 0 0 0 179951 50 0 0 20 0 4 0 36632260 1678315520 351459 33554432000 4194304 16246674 140737271470432 140737271452352 13923640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8406/statm: 409745 351459 845 2943 0 406639 0
[pid=8406/tid=8407] ppid=8403 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8407/stat : 8407 (toysat) S 8403 8406 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36632260 1678315520 351459 33554432000 4194304 16246674 140737271470432 139646176570608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8406/tid=8408] ppid=8403 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8408/stat : 8408 (toysat) S 8403 8406 6047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36632260 1678315520 351459 33554432000 4194304 16246674 140737271470432 139646096878832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8406/tid=8409] ppid=8403 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8409/stat : 8409 (toysat) S 8403 8406 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36632260 1678315520 351459 33554432000 4194304 16246674 140737271470432 139646086405296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1638980

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

[startup+1800.3 s]
/proc/loadavg: 2.18 2.19 2.18 3/183 8503
/proc/meminfo: memFree=27063184/32872528 swapFree=1542984/1696284
[pid=8406] ppid=8403 vsize=1638980 CPUtime=1800.01 cores=0,2,4,6
/proc/8406/stat : 8406 (toysat) R 8403 8406 6047 0 -1 4202496 350143 0 0 0 179951 50 0 0 20 0 4 0 36632260 1678315520 351459 33554432000 4194304 16246674 140737271470432 140737271452352 13923640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8406/statm: 409745 351459 845 2943 0 406639 0
[pid=8406/tid=8407] ppid=8403 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8407/stat : 8407 (toysat) S 8403 8406 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36632260 1678315520 351459 33554432000 4194304 16246674 140737271470432 139646176570608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8406/tid=8408] ppid=8403 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8408/stat : 8408 (toysat) S 8403 8406 6047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36632260 1678315520 351459 33554432000 4194304 16246674 140737271470432 139646096878832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8406/tid=8409] ppid=8403 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/8406/task/8409/stat : 8409 (toysat) S 8403 8406 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36632260 1678315520 351459 33554432000 4194304 16246674 140737271470432 139646086405296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1638980

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.33
CPU time (s): 1800.04
CPU user time (s): 1799.52
CPU system time (s): 0.51992
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 1638980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.51992
maximum resident set size= 1405836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 350143
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= 36
involuntary context switches= 1871

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.02524 second user time and 7.31889 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-19 16:17:36
IDJOB=4110550
IDBENCH=79515
IDSOLVER=2553
FILE ID=node125/4110550-1466345856
RUNJOBID= node125-1466341817-6063
PBS_JOBID= 19922028
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= bcd7b5518081fa979d1f2cc7e09012de
RANDOM SEED=601997739

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
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:        22127976 kB
Buffers:          183240 kB
Cached:           359944 kB
SwapCached:          764 kB
Active:          7912112 kB
Inactive:         373644 kB
Active(anon):    7743572 kB
Inactive(anon):     1188 kB
Active(file):     168540 kB
Inactive(file):   372456 kB
Unevictable:     1696284 kB
Mlocked:         1542984 kB
SwapTotal:      67108856 kB
SwapFree:       67098312 kB
Dirty:             22540 kB
Writeback:             0 kB
AnonPages:       9470292 kB
Mapped:            10492 kB
Shmem:                 0 kB
Slab:             611748 kB
SReclaimable:      55492 kB
SUnreclaim:       556256 kB
KernelStack:        1512 kB
PageTables:        22528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    9581260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 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= 71700 MiB
End job on node125 at 2016-06-19 16:47:37