Trace number 4093231

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.07 1800.35

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/scens/
normalized-scen06-22reduc_wcsp.wbo
MD5SUMec72443b0cc1ba3c5724b6333eaaea9c
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 variables1430
Total number of constraints70954
Number of soft constraints70873
Number of constraints which are clauses70873
Number of constraints which are cardinality constraints (but not clauses)81
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint22
Top cost 3389
Min constraint cost 1
Max constraint cost 2435
Sum of constraints costs 23717414
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 23
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T22:06:59+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-4093231-1466107619.wbo"]
0.00/0.01	c use --random-gen="1957905717 583025615 3032838657 2624180457 2662192776 4274213515 1424469503 423245607 149878656 1515756235 3365724698 2154894718 1987774315 3310217961 1776854802 3186317583 1680035184 1643289635 2452125258 3545635250 2199202283 3513576865 2815692102 2637683457 3750758124 84388540 3758123163 2717393527 4099563468 1857125124 2918020625 1224851478 1630268442 1468927943 3746382851 628246889 2993334236 4139650103 605139650 3599340402 342389951 3827478803 4145905966 2826567909 2150093456 1666686684 1052814962 3634779358 2022023144 282598992 3814225998 2285243179 4107645349 1249701492 2451400530 3118403027 3975226488 1193283003 2361882867 747678850 255912312 1131116009 3111333149 3944971095 32394068 1596283179 576227824 4162541798 4181753585 4159607421 875322738 1469872909 1025477092 1152343092 1349056618 2763881078 3469827547 112849572 3614002308 684136672 2165656315 1155354166 1262543555 2260840683 1128766938 1789840122 1573516125 3059278849 718027603 1435998456 802181099 951650540 3456386241 489848282 368142108 1820748520 3008751635 1919919126 847120295 2481736081 269932956 1616568681 3418842092 891771697 3479193929 3742580064 2894525794 3175852108 3023531058 1919089956 1555287961 2392112152 2907721682 216156872 453527164 450388745 4072103128 4228086627 3875817885 1883303009 3828730598 2912122369 3997433842 926013736 3230472436 2524949754 2934835392 2266044888 3702471307 2333750526 3569395850 3145548142 81521127 3839760825 1483578662 966845118 809720622 800108583 2534096620 649537287 4011884265 2087084224 795898778 1604070559 3777139437 2023253547 1697736359 3888873317 3125566193 2800390816 1250952602 1297183604 1136550029 1607019639 2756704925 3966511087 154933564 2233987205 2684556741 1418637708 1236868595 2085711970 3784952337 2340819259 2191649685 3378399800 2454303539 2209669958 2905047972 2080939077 3671744248 3425764907 4244263017 2657330822 1431800164 3017590961 3208235431 1400983283 534708787 38797631 3965597609 3882460907 1678731652 3264038998 3038080190 903749728 3023383005 2850885587 1619170493 1390253473 828784228 2193198879 3660009570 3010898997 4123460634 167065760 3890754051 3404047425 2627638745 909280183 613670902 2819135561 1993443401 1248532504 1560051504 1463853136 2963651867 1177700477 1365349259 1153322116 2343180508 2807522800 883476150 6944209 691153181 3976564 39981440 1577621195 1876735687 872456634 833116896 24479276 3950814039 2000143615 2309076025 2015567937 2333959094 1203565805 2504144815 3382550972 4020826628 2854653115 3971561045 671143942 3685039797 4120275897 552923728 501972682 1442787523 1048247953 4160653007 3260741532 1507362147 1047694521 1584497163 2124312276 80744994 3733264825 683892635 2226135591 2372355788 1294908472 183800057 4163262548 66763866 433481744 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-4093231-1466107619/watcher-4093231-1466107619 -o /tmp/evaluation-result-4093231-1466107619/solver-4093231-1466107619 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466104016-18188 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093231-1466107619.wbo 

pid=18527
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.03 2.02 2.00 3/179 18530
/proc/meminfo: memFree=31145420/32872528 swapFree=532956/565660
[pid=18530] ppid=18527 vsize=771652 CPUtime=0 cores=0,2,4,6
/proc/18530/stat : 18530 (toysat) R 18527 18530 17565 0 -1 4202496 2888 0 0 0 0 0 0 0 20 0 4 0 12807500 790171648 3249 33554432000 4194304 16246674 140733857279952 140733857279376 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18530/statm: 193681 3258 442 2943 0 190575 0
[pid=18530/tid=18531] ppid=18527 vsize=789060 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18531/stat : 18531 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 807997440 3318 33554432000 4194304 16246674 140733857279952 140492274642160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=794180 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18532/stat : 18532 (toysat) S 18527 18530 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12807500 813240320 3337 33554432000 4194304 16246674 140733857279952 140492264152304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=798276 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18533/stat : 18533 (toysat) S 18527 18530 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12807500 817434624 3353 33554432000 4194304 16246674 140733857279952 140492253678768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 18530
/proc/meminfo: memFree=31145420/32872528 swapFree=532956/565660
[pid=18530] ppid=18527 vsize=1301060 CPUtime=0.08 cores=0,2,4,6
/proc/18530/stat : 18530 (toysat) R 18527 18530 17565 0 -1 4202496 25248 0 0 0 5 3 0 0 20 0 4 0 12807500 1332285440 25550 33554432000 4194304 16246674 140733857279952 140733857279264 7368729 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18530/statm: 325265 25563 802 2943 0 322159 0
[pid=18530/tid=18531] ppid=18527 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18531/stat : 18531 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 1332285440 25573 33554432000 4194304 16246674 140733857279952 140492274642160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18532/stat : 18532 (toysat) S 18527 18530 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12807500 1332285440 25584 33554432000 4194304 16246674 140733857279952 140492264152304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18533/stat : 18533 (toysat) S 18527 18530 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12807500 1332285440 25594 33554432000 4194304 16246674 140733857279952 140492253678768 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) 1301060

[startup+0.200497 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 18530
/proc/meminfo: memFree=31145420/32872528 swapFree=532956/565660
[pid=18530] ppid=18527 vsize=1308228 CPUtime=0.19 cores=0,2,4,6
/proc/18530/stat : 18530 (toysat) R 18527 18530 17565 0 -1 4202496 50432 0 0 0 12 7 0 0 20 0 4 0 12807500 1339625472 51244 33554432000 4194304 16246674 140733857279952 140733857279264 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18530/statm: 327057 51247 802 2943 0 323951 0
[pid=18530/tid=18531] ppid=18527 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18531/stat : 18531 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 1339625472 51250 33554432000 4194304 16246674 140733857279952 140492274642160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18532/stat : 18532 (toysat) S 18527 18530 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12807500 1339625472 51253 33554432000 4194304 16246674 140733857279952 140492264152304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18533/stat : 18533 (toysat) S 18527 18530 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12807500 1339625472 51255 33554432000 4194304 16246674 140733857279952 140492253678768 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) 1308228

[startup+0.300483 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 18530
/proc/meminfo: memFree=31145420/32872528 swapFree=532956/565660
[pid=18530] ppid=18527 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/18530/stat : 18530 (toysat) R 18527 18530 17565 0 -1 4202496 62636 0 0 0 20 9 0 0 20 0 4 0 12807500 1345916928 63448 33554432000 4194304 16246674 140733857279952 140733857279264 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18530/statm: 328593 63448 802 2943 0 325487 0
[pid=18530/tid=18531] ppid=18527 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18531/stat : 18531 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 1345916928 63448 33554432000 4194304 16246674 140733857279952 140492274642160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18532/stat : 18532 (toysat) S 18527 18530 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12807500 1345916928 63448 33554432000 4194304 16246674 140733857279952 140492264152304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18533/stat : 18533 (toysat) S 18527 18530 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12807500 1345916928 63448 33554432000 4194304 16246674 140733857279952 140492253678768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700395 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 18530
/proc/meminfo: memFree=31145420/32872528 swapFree=532956/565660
[pid=18530] ppid=18527 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/18530/stat : 18530 (toysat) R 18527 18530 17565 0 -1 4202496 63529 0 0 0 60 9 0 0 20 0 4 0 12807500 1345916928 64341 33554432000 4194304 16246674 140733857279952 140733857279128 13780585 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18530/statm: 328593 64341 832 2943 0 325487 0
[pid=18530/tid=18531] ppid=18527 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18531/stat : 18531 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 1345916928 64341 33554432000 4194304 16246674 140733857279952 140492274642160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18532/stat : 18532 (toysat) S 18527 18530 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12807500 1345916928 64341 33554432000 4194304 16246674 140733857279952 140492264152304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18533/stat : 18533 (toysat) S 18527 18530 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12807500 1345916928 64341 33554432000 4194304 16246674 140733857279952 140492253678768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50039 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 18534
/proc/meminfo: memFree=30331944/32872528 swapFree=532956/565660
[pid=18530] ppid=18527 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/18530/stat : 18530 (toysat) R 18527 18530 17565 0 -1 4202496 194584 0 0 0 122 27 0 0 20 0 4 0 12807500 1345916928 195396 33554432000 4194304 16246674 140733857279952 140733857279128 12481124 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18530/statm: 328593 195407 835 2943 0 325487 0
[pid=18530/tid=18531] ppid=18527 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18531/stat : 18531 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 1345916928 195414 33554432000 4194304 16246674 140733857279952 140492274642160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18532/stat : 18532 (toysat) S 18527 18530 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12807500 1345916928 195421 33554432000 4194304 16246674 140733857279952 140492264152304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18533/stat : 18533 (toysat) S 18527 18530 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12807500 1345916928 195428 33554432000 4194304 16246674 140733857279952 140492253678768 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) 1314372

[startup+3.10033 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 18534
/proc/meminfo: memFree=29394504/32872528 swapFree=532956/565660
[pid=18530] ppid=18527 vsize=1384004 CPUtime=3.08 cores=0,2,4,6
/proc/18530/stat : 18530 (toysat) R 18527 18530 17565 0 -1 4202496 249322 0 0 0 274 34 0 0 20 0 4 0 12807500 1417220096 250134 33554432000 4194304 16246674 140733857279952 140733857261824 13807598 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18530/statm: 346001 250134 841 2943 0 342895 0
[pid=18530/tid=18531] ppid=18527 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18531/stat : 18531 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 1417220096 250134 33554432000 4194304 16246674 140733857279952 140492274642160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18532/stat : 18532 (toysat) S 18527 18530 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12807500 1417220096 250134 33554432000 4194304 16246674 140733857279952 140492264152304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18533/stat : 18533 (toysat) S 18527 18530 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12807500 1417220096 250134 33554432000 4194304 16246674 140733857279952 140492253678768 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) 1384004

[startup+6.30033 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 18534
/proc/meminfo: memFree=29393060/32872528 swapFree=532956/565660
[pid=18530] ppid=18527 vsize=1384004 CPUtime=6.29 cores=0,2,4,6
/proc/18530/stat : 18530 (toysat) R 18527 18530 17565 0 -1 4202496 249322 0 0 0 594 35 0 0 20 0 4 0 12807500 1417220096 250134 33554432000 4194304 16246674 140733857279952 140733857261824 6132488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18530/statm: 346001 250134 841 2943 0 342895 0
[pid=18530/tid=18531] ppid=18527 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18531/stat : 18531 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 1417220096 250134 33554432000 4194304 16246674 140733857279952 140492274642160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18532/stat : 18532 (toysat) S 18527 18530 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12807500 1417220096 250134 33554432000 4194304 16246674 140733857279952 140492264152304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18533/stat : 18533 (toysat) S 18527 18530 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12807500 1417220096 250134 33554432000 4194304 16246674 140733857279952 140492253678768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1384004

[startup+12.7003 s]
/proc/loadavg: 2.09 2.04 2.00 3/183 18534
/proc/meminfo: memFree=29393240/32872528 swapFree=532956/565660
[pid=18530] ppid=18527 vsize=1384004 CPUtime=12.69 cores=0,2,4,6
/proc/18530/stat : 18530 (toysat) R 18527 18530 17565 0 -1 4202496 249322 0 0 0 1234 35 0 0 20 0 4 0 12807500 1417220096 250134 33554432000 4194304 16246674 140733857279952 140733857261824 13774084 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18530/statm: 346001 250134 841 2943 0 342895 0
[pid=18530/tid=18531] ppid=18527 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18531/stat : 18531 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 1417220096 250134 33554432000 4194304 16246674 140733857279952 140492274642160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18532/stat : 18532 (toysat) S 18527 18530 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12807500 1417220096 250134 33554432000 4194304 16246674 140733857279952 140492264152304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18533/stat : 18533 (toysat) S 18527 18530 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12807500 1417220096 250134 33554432000 4194304 16246674 140733857279952 140492253678768 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) 1384004

[startup+25.5004 s]
/proc/loadavg: 2.16 2.05 2.01 3/183 18534
/proc/meminfo: memFree=29394008/32872528 swapFree=532956/565660
[pid=18530] ppid=18527 vsize=1384004 CPUtime=25.49 cores=0,2,4,6
/proc/18530/stat : 18530 (toysat) R 18527 18530 17565 0 -1 4202496 249322 0 0 0 2514 35 0 0 20 0 4 0 12807500 1417220096 250134 33554432000 4194304 16246674 140733857279952 140733857261824 13807601 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18530/statm: 346001 250134 841 2943 0 342895 0
[pid=18530/tid=18531] ppid=18527 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18531/stat : 18531 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 1417220096 250134 33554432000 4194304 16246674 140733857279952 140492274642160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18532/stat : 18532 (toysat) S 18527 18530 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12807500 1417220096 250134 33554432000 4194304 16246674 140733857279952 140492264152304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18533/stat : 18533 (toysat) S 18527 18530 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12807500 1417220096 250134 33554432000 4194304 16246674 140733857279952 140492253678768 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) 1384004

[startup+51.1004 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 18534
/proc/meminfo: memFree=29357356/32872528 swapFree=532956/565660
[pid=18530] ppid=18527 vsize=1384004 CPUtime=51.09 cores=0,2,4,6
/proc/18530/stat : 18530 (toysat) R 18527 18530 17565 0 -1 4202496 249322 0 0 0 5074 35 0 0 20 0 4 0 12807500 1417220096 250134 33554432000 4194304 16246674 140733857279952 140733857261824 13807598 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18530/statm: 346001 250134 841 2943 0 342895 0
[pid=18530/tid=18531] ppid=18527 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18531/stat : 18531 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 1417220096 250134 33554432000 4194304 16246674 140733857279952 140492274642160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18532/stat : 18532 (toysat) S 18527 18530 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12807500 1417220096 250134 33554432000 4194304 16246674 140733857279952 140492264152304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18533/stat : 18533 (toysat) S 18527 18530 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12807500 1417220096 250134 33554432000 4194304 16246674 140733857279952 140492253678768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1384004

[startup+102.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 18535
/proc/meminfo: memFree=29276668/32872528 swapFree=532956/565660
[pid=18530] ppid=18527 vsize=1384004 CPUtime=102.29 cores=0,2,4,6
/proc/18530/stat : 18530 (toysat) R 18527 18530 17565 0 -1 4202496 249322 0 0 0 10194 35 0 0 20 0 4 0 12807500 1417220096 250134 33554432000 4194304 16246674 140733857279952 140733857261824 13807598 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18530/statm: 346001 250134 841 2943 0 342895 0
[pid=18530/tid=18531] ppid=18527 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18531/stat : 18531 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 1417220096 250134 33554432000 4194304 16246674 140733857279952 140492274642160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18532/stat : 18532 (toysat) S 18527 18530 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12807500 1417220096 250134 33554432000 4194304 16246674 140733857279952 140492264152304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18533/stat : 18533 (toysat) S 18527 18530 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12807500 1417220096 250134 33554432000 4194304 16246674 140733857279952 140492253678768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1384004


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

/proc/18530/task/18533/stat : 18533 (toysat) S 18527 18530 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523229 33554432000 4194304 16246674 140733857279952 140492253678768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 2328132

[startup+1362.3 s]
/proc/loadavg: 2.02 2.06 2.03 3/183 18566
/proc/meminfo: memFree=27202352/32872528 swapFree=532956/565660
[pid=18530] ppid=18527 vsize=2328132 CPUtime=1362.09 cores=0,2,4,6
/proc/18530/stat : 18530 (toysat) R 18527 18530 17565 0 -1 4202496 522510 0 0 0 136136 73 0 0 20 0 4 0 12807500 2384007168 523323 33554432000 4194304 16246674 140733857279952 140733857261824 13774072 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18530/statm: 582033 523323 843 2943 0 578927 0
[pid=18530/tid=18531] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18531/stat : 18531 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523323 33554432000 4194304 16246674 140733857279952 140492274642160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18532/stat : 18532 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523323 33554432000 4194304 16246674 140733857279952 140492264152304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18533/stat : 18533 (toysat) S 18527 18530 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523323 33554432000 4194304 16246674 140733857279952 140492253678768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 2328132

[startup+1422.3 s]
/proc/loadavg: 2.09 2.08 2.03 3/184 18571
/proc/meminfo: memFree=27201616/32872528 swapFree=532956/565660
[pid=18530] ppid=18527 vsize=2328132 CPUtime=1422.08 cores=0,2,4,6
/proc/18530/stat : 18530 (toysat) R 18527 18530 17565 0 -1 4202496 522664 0 0 0 142135 73 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140733857261824 13807598 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18530/statm: 582033 523475 843 2943 0 578927 0
[pid=18530/tid=18531] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18531/stat : 18531 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140492274642160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18532/stat : 18532 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140492264152304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18533/stat : 18533 (toysat) S 18527 18530 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140492253678768 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) 2328132

[startup+1482.3 s]
/proc/loadavg: 2.13 2.09 2.04 4/183 18572
/proc/meminfo: memFree=27201840/32872528 swapFree=532956/565660
[pid=18530] ppid=18527 vsize=2328132 CPUtime=1482.07 cores=0,2,4,6
/proc/18530/stat : 18530 (toysat) R 18527 18530 17565 0 -1 4202496 522664 0 0 0 148134 73 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140733857261824 13809288 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18530/statm: 582033 523475 843 2943 0 578927 0
[pid=18530/tid=18531] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18531/stat : 18531 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140492274642160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18532/stat : 18532 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140492264152304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18533/stat : 18533 (toysat) S 18527 18530 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140492253678768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 2328132

[startup+1542.31 s]
/proc/loadavg: 2.12 2.09 2.03 3/183 18573
/proc/meminfo: memFree=27201984/32872528 swapFree=532956/565660
[pid=18530] ppid=18527 vsize=2328132 CPUtime=1542.06 cores=0,2,4,6
/proc/18530/stat : 18530 (toysat) R 18527 18530 17565 0 -1 4202496 522669 0 0 0 154133 73 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140733857261824 13923665 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18530/statm: 582033 523475 843 2943 0 578927 0
[pid=18530/tid=18531] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18531/stat : 18531 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140492274642160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18532/stat : 18532 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140492264152304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18533/stat : 18533 (toysat) S 18527 18530 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140492253678768 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) 2328132

[startup+1602.3 s]
/proc/loadavg: 2.04 2.07 2.03 3/183 18574
/proc/meminfo: memFree=27202128/32872528 swapFree=532956/565660
[pid=18530] ppid=18527 vsize=2328132 CPUtime=1602.04 cores=0,2,4,6
/proc/18530/stat : 18530 (toysat) R 18527 18530 17565 0 -1 4202496 522670 0 0 0 160131 73 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140733857261824 13807598 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18530/statm: 582033 523475 843 2943 0 578927 0
[pid=18530/tid=18531] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18531/stat : 18531 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140492274642160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18532/stat : 18532 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140492264152304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18533/stat : 18533 (toysat) S 18527 18530 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140492253678768 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) 2328132

[startup+1662.3 s]
/proc/loadavg: 2.05 2.07 2.03 3/183 18575
/proc/meminfo: memFree=27201652/32872528 swapFree=532956/565660
[pid=18530] ppid=18527 vsize=2328132 CPUtime=1662.03 cores=0,2,4,6
/proc/18530/stat : 18530 (toysat) R 18527 18530 17565 0 -1 4202496 522671 0 0 0 166130 73 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140733857261824 13774072 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18530/statm: 582033 523475 843 2943 0 578927 0
[pid=18530/tid=18531] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18531/stat : 18531 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140492274642160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18532/stat : 18532 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140492264152304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18533/stat : 18533 (toysat) S 18527 18530 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140492253678768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 2328132

[startup+1722.3 s]
/proc/loadavg: 2.09 2.07 2.03 3/183 18577
/proc/meminfo: memFree=27201800/32872528 swapFree=532956/565660
[pid=18530] ppid=18527 vsize=2328132 CPUtime=1722.03 cores=0,2,4,6
/proc/18530/stat : 18530 (toysat) R 18527 18530 17565 0 -1 4202496 522671 0 0 0 172129 74 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140733857261824 13809344 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18530/statm: 582033 523475 843 2943 0 578927 0
[pid=18530/tid=18531] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18531/stat : 18531 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140492274642160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18532/stat : 18532 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140492264152304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18533/stat : 18533 (toysat) S 18527 18530 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140492253678768 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) 2328132

[startup+1782.3 s]
/proc/loadavg: 2.14 2.08 2.03 3/183 18578
/proc/meminfo: memFree=27201452/32872528 swapFree=532956/565660
[pid=18530] ppid=18527 vsize=2328132 CPUtime=1782.01 cores=0,2,4,6
/proc/18530/stat : 18530 (toysat) R 18527 18530 17565 0 -1 4202496 522671 0 0 0 178127 74 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140733857279128 6132667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18530/statm: 582033 523475 843 2943 0 578927 0
[pid=18530/tid=18531] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18531/stat : 18531 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140492274642160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18532/stat : 18532 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140492264152304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18533/stat : 18533 (toysat) S 18527 18530 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140492253678768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 2328132



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.11 2.08 2.03 3/183 18578
/proc/meminfo: memFree=27201484/32872528 swapFree=532956/565660
[pid=18530] ppid=18527 vsize=2328132 CPUtime=1800.01 cores=0,2,4,6
/proc/18530/stat : 18530 (toysat) R 18527 18530 17565 0 -1 4202496 522671 0 0 0 179927 74 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140733857261824 6132467 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18530/statm: 582033 523475 843 2943 0 578927 0
[pid=18530/tid=18531] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18531/stat : 18531 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140492274642160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18532/stat : 18532 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140492264152304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18533/stat : 18533 (toysat) S 18527 18530 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140492253678768 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) 2328132

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

[startup+1800.3 s]
/proc/loadavg: 2.11 2.08 2.03 3/183 18578
/proc/meminfo: memFree=27201484/32872528 swapFree=532956/565660
[pid=18530] ppid=18527 vsize=2328132 CPUtime=1800.01 cores=0,2,4,6
/proc/18530/stat : 18530 (toysat) R 18527 18530 17565 0 -1 4202496 522671 0 0 0 179927 74 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140733857261824 6132467 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18530/statm: 582033 523475 843 2943 0 578927 0
[pid=18530/tid=18531] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18531/stat : 18531 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140492274642160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18532/stat : 18532 (toysat) S 18527 18530 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140492264152304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=2328132 CPUtime=0 cores=0,2,4,6
/proc/18530/task/18533/stat : 18533 (toysat) S 18527 18530 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12807500 2384007168 523475 33554432000 4194304 16246674 140733857279952 140492253678768 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) 2328132

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.35
CPU time (s): 1800.07
CPU user time (s): 1799.28
CPU system time (s): 0.78588
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 2328132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.28
system time used= 0.78588
maximum resident set size= 2093900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 522671
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= 35
involuntary context switches= 1868

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.72528 second user time and 6.73897 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-16 22:06:59
IDJOB=4093231
IDBENCH=79562
IDSOLVER=2553
FILE ID=node138/4093231-1466107619
RUNJOBID= node138-1466104016-18188
PBS_JOBID= 19904048
Free space on /tmp= 71712 MiB

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

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

MD5SUM BENCH= ec72443b0cc1ba3c5724b6333eaaea9c
RANDOM SEED=398817131

node138.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.395
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	: 5332.79
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.395
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.395
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.395
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.395
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.395
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.395
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.395
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31171244 kB
Buffers:           58120 kB
Cached:           150148 kB
SwapCached:         1380 kB
Active:           330032 kB
Inactive:         103172 kB
Active(anon):     225408 kB
Inactive(anon):     1664 kB
Active(file):     104624 kB
Inactive(file):   101508 kB
Unevictable:      565660 kB
Mlocked:          532956 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             36752 kB
Writeback:             0 kB
AnonPages:        785016 kB
Mapped:            10236 kB
Shmem:                 0 kB
Slab:             570408 kB
SReclaimable:      14060 kB
SUnreclaim:       556348 kB
KernelStack:        1408 kB
PageTables:         7360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1790516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71712 MiB
End job on node138 at 2016-06-16 22:36:59