Trace number 4093270

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.67 1800.98

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-30T01:14:23+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-4093270-1467242063.wbo"]
0.00/0.01	c use --random-gen="4065358693 2131962663 159530906 357948360 1171130733 1229234509 319396095 2755781354 1457182889 3813539448 931572134 1287532743 1557057637 1121598877 524832142 1492529596 2938759716 1438681039 638807469 3864838453 1925955985 33510248 3505348404 3334647060 3838100119 1703873308 482343507 2805490746 1839373419 1097424963 1439699551 254343424 2771019592 3439181675 1070808102 3808621603 2468561279 3224404673 2999338369 50635880 3333773205 965956314 2816421677 2470998113 2293776155 3505542905 337619500 2748090901 2532474997 4036442519 1654648617 3299092167 1214569456 670937369 193772711 192538548 3120377171 4029411137 3673044112 1958279795 3683549152 3951767038 2204682202 1800776550 2362551087 2813032184 2473801767 1509160578 1728449478 313192921 3905394372 837689744 1436294661 4190664934 1961293932 1826398130 2603130750 2258812819 2788652853 4008225105 1390808935 2710980771 2035190031 770191987 914625207 3178366714 3603560306 443274275 3512614299 1406714496 248075026 2081444665 1331471294 1097204280 125245942 441438529 2722533312 4058872271 1177350491 2495496297 25632404 3145728771 2033032349 705392217 1593803459 3874564892 3781048162 3308388638 3118489419 1542664659 3272327640 2172643517 1828331911 1710874552 4143841759 1924351862 951677127 468051289 1269996373 1966278230 1279912393 3423746893 388757615 4176923392 1481246005 2132986059 2214325976 2981207206 3555046480 1965918938 3168738860 10455936 4102338463 3677086570 3638899277 711797052 1894864558 2495747838 774325220 386924823 3272954443 834891002 427153668 1905910616 1263103505 3355008557 2983049429 2358365703 3101404233 1852980316 4150219050 2602513255 1769712097 1991786442 1592374888 1886555335 3988662868 2757151771 2861032107 11592413 1399990511 34376301 3037828202 2040191383 1699223044 1410346322 801675419 1292072548 2667855598 3779296665 1923839548 2092855099 3823280229 3773155923 3702907403 933564223 2087862218 3191185405 2662588939 233856903 840115242 702053446 3609617771 746586862 2600752091 3748641374 1456096243 2475926915 2468567305 820959638 313272042 3002969337 1361638925 1982989551 3085986209 616864331 2861011086 1145298133 407523901 123456876 2732686608 2591751751 3110475379 4125802595 1313155806 3266268793 648896398 3025152070 1722368886 1104279193 3431391937 2973965039 3355386495 3491727340 3931723546 2128485283 1622400341 1815876028 1553815668 507528154 1236690789 1153587579 797547254 2812740191 2934693212 3136387211 369031921 1110599907 2043878243 128376895 1862565436 224736292 96413605 3892232490 974545614 3244505763 3228170790 975685646 4252044147 1075468183 1466556762 3905706641 3860870675 2657467950 797658816 4196212504 4224682801 299758303 3272350558 351243196 3488320150 1246612330 1163408971 2039808850 2317845800 1486471255 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-4093270-1467242063/watcher-4093270-1467242063 -o /tmp/evaluation-result-4093270-1467242063/solver-4093270-1467242063 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1467242062-13533 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093270-1467242063.wbo 

pid=13555
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: 1.87 2.15 2.60 3/172 13559
/proc/meminfo: memFree=28653232/32872528 swapFree=1370068/1517236
[pid=13559] ppid=13555 vsize=772540 CPUtime=0 cores=0,2,4,6
/proc/13559/stat : 13559 (toysat) R 13555 13559 6338 0 -1 4202496 2890 0 0 0 0 0 0 0 20 0 4 0 5161125 791080960 2739 33554432000 4194304 16246674 140733343443216 140733343442640 15002730 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13559/statm: 193647 2750 441 2943 0 190541 0
[pid=13559/tid=13563] ppid=13555 vsize=789948 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (toysat) S 13555 13559 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5161125 808906752 2809 33554432000 4194304 16246674 140733343443216 140132607831280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13559/tid=13564] ppid=13555 vsize=794044 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (toysat) S 13555 13559 6338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5161125 813101056 2827 33554432000 4194304 16246674 140733343443216 140132597341424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13559/tid=13565] ppid=13555 vsize=798140 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (toysat) S 13555 13559 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5161125 817295360 2843 33554432000 4194304 16246674 140733343443216 140132586867888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100149 s]
/proc/loadavg: 1.87 2.15 2.60 3/172 13559
/proc/meminfo: memFree=28653232/32872528 swapFree=1370068/1517236
[pid=13559] ppid=13555 vsize=1221188 CPUtime=0.08 cores=0,2,4,6
/proc/13559/stat : 13559 (toysat) R 13555 13559 6338 0 -1 4202496 20562 0 0 0 6 2 0 0 20 0 4 0 5161125 1250496512 20351 33554432000 4194304 16246674 140733343443216 140733343442528 12481124 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13559/statm: 305297 20360 827 2943 0 302191 0
[pid=13559/tid=13563] ppid=13555 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (toysat) S 13555 13559 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5161125 1250496512 20365 33554432000 4194304 16246674 140733343443216 140132607831280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13559/tid=13564] ppid=13555 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (toysat) S 13555 13559 6338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5161125 1250496512 20373 33554432000 4194304 16246674 140733343443216 140132597341424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13559/tid=13565] ppid=13555 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (toysat) S 13555 13559 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5161125 1250496512 20378 33554432000 4194304 16246674 140733343443216 140132586867888 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) 1221188

[startup+0.200511 s]
/proc/loadavg: 1.87 2.15 2.60 3/172 13559
/proc/meminfo: memFree=28653232/32872528 swapFree=1370068/1517236
[pid=13559] ppid=13555 vsize=1223236 CPUtime=0.19 cores=0,2,4,6
/proc/13559/stat : 13559 (toysat) R 13555 13559 6338 0 -1 4202496 40068 0 0 0 14 5 0 0 20 0 4 0 5161125 1252593664 39857 33554432000 4194304 16246674 140733343443216 140733343442528 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13559/statm: 305809 39861 832 2943 0 302703 0
[pid=13559/tid=13563] ppid=13555 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (toysat) S 13555 13559 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5161125 1252593664 39863 33554432000 4194304 16246674 140733343443216 140132607831280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13559/tid=13564] ppid=13555 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (toysat) S 13555 13559 6338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5161125 1252593664 39865 33554432000 4194304 16246674 140733343443216 140132597341424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13559/tid=13565] ppid=13555 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (toysat) S 13555 13559 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5161125 1252593664 39866 33554432000 4194304 16246674 140733343443216 140132586867888 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) 1223236

[startup+0.300483 s]
/proc/loadavg: 1.87 2.15 2.60 3/172 13559
/proc/meminfo: memFree=28653232/32872528 swapFree=1370068/1517236
[pid=13559] ppid=13555 vsize=1307204 CPUtime=0.28 cores=0,2,4,6
/proc/13559/stat : 13559 (toysat) R 13555 13559 6338 0 -1 4202496 49177 0 0 0 22 6 0 0 20 0 4 0 5161125 1338576896 48966 33554432000 4194304 16246674 140733343443216 140733343442528 6132605 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13559/statm: 326801 48966 838 2943 0 323695 0
[pid=13559/tid=13563] ppid=13555 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (toysat) S 13555 13559 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5161125 1338576896 48966 33554432000 4194304 16246674 140733343443216 140132607831280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13559/tid=13564] ppid=13555 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (toysat) S 13555 13559 6338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5161125 1338576896 48966 33554432000 4194304 16246674 140733343443216 140132597341424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13559/tid=13565] ppid=13555 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (toysat) S 13555 13559 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5161125 1338576896 48966 33554432000 4194304 16246674 140733343443216 140132586867888 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) 1307204

[startup+0.700399 s]
/proc/loadavg: 1.87 2.15 2.60 3/172 13559
/proc/meminfo: memFree=28653232/32872528 swapFree=1370068/1517236
[pid=13559] ppid=13555 vsize=1307204 CPUtime=0.68 cores=0,2,4,6
/proc/13559/stat : 13559 (toysat) R 13555 13559 6338 0 -1 4202496 49177 0 0 0 62 6 0 0 20 0 4 0 5161125 1338576896 48966 33554432000 4194304 16246674 140733343443216 140733343425088 13774056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13559/statm: 326801 48966 838 2943 0 323695 0
[pid=13559/tid=13563] ppid=13555 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (toysat) S 13555 13559 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5161125 1338576896 48966 33554432000 4194304 16246674 140733343443216 140132607831280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13559/tid=13564] ppid=13555 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (toysat) S 13555 13559 6338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5161125 1338576896 48966 33554432000 4194304 16246674 140733343443216 140132597341424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13559/tid=13565] ppid=13555 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (toysat) S 13555 13559 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5161125 1338576896 48966 33554432000 4194304 16246674 140733343443216 140132586867888 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) 1307204

[startup+1.50036 s]
/proc/loadavg: 1.87 2.15 2.60 3/183 13570
/proc/meminfo: memFree=28258564/32872528 swapFree=1370068/1517236
[pid=13559] ppid=13555 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/13559/stat : 13559 (toysat) R 13555 13559 6338 0 -1 4202496 53559 0 0 0 142 7 0 0 20 0 4 0 5161125 1338576896 53348 33554432000 4194304 16246674 140733343443216 140733343425088 13811688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13559/statm: 326801 53348 838 2943 0 323695 0
[pid=13559/tid=13563] ppid=13555 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (toysat) S 13555 13559 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5161125 1338576896 53348 33554432000 4194304 16246674 140733343443216 140132607831280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13559/tid=13564] ppid=13555 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (toysat) S 13555 13559 6338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5161125 1338576896 53348 33554432000 4194304 16246674 140733343443216 140132597341424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13559/tid=13565] ppid=13555 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (toysat) S 13555 13559 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5161125 1338576896 53348 33554432000 4194304 16246674 140733343443216 140132586867888 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) 1307204

[startup+3.1004 s]
/proc/loadavg: 1.87 2.15 2.60 3/183 13570
/proc/meminfo: memFree=28177468/32872528 swapFree=1370068/1517236
[pid=13559] ppid=13555 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/13559/stat : 13559 (toysat) R 13555 13559 6338 0 -1 4202496 61158 0 0 0 301 8 0 0 20 0 4 0 5161125 1338576896 60947 33554432000 4194304 16246674 140733343443216 140733343425088 13807730 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13559/statm: 326801 60947 838 2943 0 323695 0
[pid=13559/tid=13563] ppid=13555 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (toysat) S 13555 13559 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5161125 1338576896 60947 33554432000 4194304 16246674 140733343443216 140132607831280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13559/tid=13564] ppid=13555 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (toysat) S 13555 13559 6338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5161125 1338576896 60947 33554432000 4194304 16246674 140733343443216 140132597341424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13559/tid=13565] ppid=13555 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (toysat) S 13555 13559 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5161125 1338576896 60947 33554432000 4194304 16246674 140733343443216 140132586867888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.3004 s]
/proc/loadavg: 1.88 2.15 2.59 3/183 13570
/proc/meminfo: memFree=28158384/32872528 swapFree=1370068/1517236
[pid=13559] ppid=13555 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/13559/stat : 13559 (toysat) R 13555 13559 6338 0 -1 4202496 61577 0 0 0 621 8 0 0 20 0 4 0 5161125 1339625472 61366 33554432000 4194304 16246674 140733343443216 140733343425088 13809352 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13559/statm: 327057 61366 838 2943 0 323951 0
[pid=13559/tid=13563] ppid=13555 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (toysat) S 13555 13559 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5161125 1339625472 61366 33554432000 4194304 16246674 140733343443216 140132607831280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13559/tid=13564] ppid=13555 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (toysat) S 13555 13559 6338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5161125 1339625472 61366 33554432000 4194304 16246674 140733343443216 140132597341424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13559/tid=13565] ppid=13555 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (toysat) S 13555 13559 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5161125 1339625472 61366 33554432000 4194304 16246674 140733343443216 140132586867888 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) 1308228

[startup+12.7004 s]
/proc/loadavg: 1.89 2.15 2.59 3/183 13570
/proc/meminfo: memFree=28156108/32872528 swapFree=1370068/1517236
[pid=13559] ppid=13555 vsize=1309252 CPUtime=12.68 cores=0,2,4,6
/proc/13559/stat : 13559 (toysat) R 13555 13559 6338 0 -1 4202496 61835 0 0 0 1260 8 0 0 20 0 4 0 5161125 1340674048 61624 33554432000 4194304 16246674 140733343443216 140733343425088 13809288 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13559/statm: 327313 61624 840 2943 0 324207 0
[pid=13559/tid=13563] ppid=13555 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (toysat) S 13555 13559 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5161125 1340674048 61624 33554432000 4194304 16246674 140733343443216 140132607831280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13559/tid=13564] ppid=13555 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (toysat) S 13555 13559 6338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5161125 1340674048 61624 33554432000 4194304 16246674 140733343443216 140132597341424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13559/tid=13565] ppid=13555 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (toysat) S 13555 13559 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5161125 1340674048 61624 33554432000 4194304 16246674 140733343443216 140132586867888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1309252

[startup+25.5003 s]
/proc/loadavg: 1.98 2.15 2.58 4/183 13570
/proc/meminfo: memFree=28140456/32872528 swapFree=1370068/1517236
[pid=13559] ppid=13555 vsize=1310276 CPUtime=25.49 cores=0,2,4,6
/proc/13559/stat : 13559 (toysat) R 13555 13559 6338 0 -1 4202496 63934 0 0 0 2540 9 0 0 20 0 4 0 5161125 1341722624 63723 33554432000 4194304 16246674 140733343443216 140733343425088 13807443 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13559/statm: 327569 63723 840 2943 0 324463 0
[pid=13559/tid=13563] ppid=13555 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (toysat) S 13555 13559 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5161125 1341722624 63723 33554432000 4194304 16246674 140733343443216 140132607831280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13559/tid=13564] ppid=13555 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (toysat) S 13555 13559 6338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5161125 1341722624 63723 33554432000 4194304 16246674 140733343443216 140132597341424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13559/tid=13565] ppid=13555 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (toysat) S 13555 13559 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5161125 1341722624 63723 33554432000 4194304 16246674 140733343443216 140132586867888 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) 1310276

[startup+51.1003 s]
/proc/loadavg: 2.05 2.16 2.57 3/183 13570
/proc/meminfo: memFree=27899768/32872528 swapFree=1370068/1517236
[pid=13559] ppid=13555 vsize=1311300 CPUtime=51.08 cores=0,2,4,6
/proc/13559/stat : 13559 (toysat) R 13555 13559 6338 0 -1 4202496 89203 0 0 0 5095 13 0 0 20 0 4 0 5161125 1342771200 98568 33554432000 4194304 16246674 140733343443216 140733343425088 13809305 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13559/statm: 327825 98568 840 2943 0 324719 0
[pid=13559/tid=13563] ppid=13555 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (toysat) S 13555 13559 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5161125 1342771200 98568 33554432000 4194304 16246674 140733343443216 140132607831280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13559/tid=13564] ppid=13555 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (toysat) S 13555 13559 6338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5161125 1342771200 98568 33554432000 4194304 16246674 140733343443216 140132597341424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13559/tid=13565] ppid=13555 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (toysat) S 13555 13559 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5161125 1342771200 98568 33554432000 4194304 16246674 140733343443216 140132586867888 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) 1311300

[startup+102.3 s]
/proc/loadavg: 2.11 2.16 2.55 4/183 13571
/proc/meminfo: memFree=26827456/32872528 swapFree=1370068/1517236
[pid=13559] ppid=13555 vsize=1312324 CPUtime=102.28 cores=0,2,4,6
/proc/13559/stat : 13559 (toysat) R 13555 13559 6338 0 -1 4202496 214760 0 0 0 10197 31 0 0 20 0 4 0 5161125 1343819776 244285 33554432000 4194304 16246674 140733343443216 140733343425088 13774072 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13559/statm: 328081 244285 840 2943 0 324975 0
[pid=13559/tid=13563] ppid=13555 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (toysat) S 13555 13559 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5161125 1343819776 244285 33554432000 4194304 16246674 140733343443216 140132607831280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13559/tid=13564] ppid=13555 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (toysat) S 13555 13559 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5161125 1343819776 244285 33554432000 4194304 16246674 140733343443216 140132597341424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13559/tid=13565] ppid=13555 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (toysat) S 13555 13559 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5161125 1343819776 244285 33554432000 4194304 16246674 140733343443216 140132586867888 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) 1312324


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

[startup+1422.3 s]
/proc/loadavg: 2.14 2.21 2.26 3/183 13603
/proc/meminfo: memFree=10210012/32872528 swapFree=1370068/1517236
[pid=13559] ppid=13555 vsize=9439812 CPUtime=1422.05 cores=0,2,4,6
/proc/13559/stat : 13559 (toysat) R 13555 13559 6338 0 -1 4202496 2263334 0 0 0 141814 391 0 0 20 0 4 0 5161125 9666367488 2300879 33554432000 4194304 16246674 140733343443216 140733343442392 13807774 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13559/statm: 2359953 2300879 841 2943 0 2356847 0
[pid=13559/tid=13563] ppid=13555 vsize=9439812 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (toysat) S 13555 13559 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5161125 9666367488 2300879 33554432000 4194304 16246674 140733343443216 140132607831280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13559/tid=13564] ppid=13555 vsize=9439812 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (toysat) S 13555 13559 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5161125 9666367488 2300879 33554432000 4194304 16246674 140733343443216 140132597341424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13559/tid=13565] ppid=13555 vsize=9439812 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (toysat) S 13555 13559 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5161125 9666367488 2300879 33554432000 4194304 16246674 140733343443216 140132586867888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 9439812

[startup+1482.3 s]
/proc/loadavg: 2.21 2.21 2.26 3/183 13605
/proc/meminfo: memFree=10209892/32872528 swapFree=1370068/1517236
[pid=13559] ppid=13555 vsize=9439812 CPUtime=1482.04 cores=0,2,4,6
/proc/13559/stat : 13559 (toysat) R 13555 13559 6338 0 -1 4202496 2263334 0 0 0 147811 393 0 0 20 0 4 0 5161125 9666367488 2300879 33554432000 4194304 16246674 140733343443216 140733343442392 13807608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13559/statm: 2359953 2300879 841 2943 0 2356847 0
[pid=13559/tid=13563] ppid=13555 vsize=9439812 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (toysat) S 13555 13559 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5161125 9666367488 2300879 33554432000 4194304 16246674 140733343443216 140132607831280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13559/tid=13564] ppid=13555 vsize=9439812 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (toysat) S 13555 13559 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5161125 9666367488 2300879 33554432000 4194304 16246674 140733343443216 140132597341424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13559/tid=13565] ppid=13555 vsize=9439812 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (toysat) S 13555 13559 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5161125 9666367488 2300879 33554432000 4194304 16246674 140733343443216 140132586867888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 9439812

[startup+1542.3 s]
/proc/loadavg: 2.15 2.20 2.25 3/184 13609
/proc/meminfo: memFree=4878956/32872528 swapFree=1370068/1517236
[pid=13559] ppid=13555 vsize=12100164 CPUtime=1542.02 cores=0,2,4,6
/proc/13559/stat : 13559 (toysat) R 13555 13559 6338 0 -1 4202496 2928423 0 0 0 153717 485 0 0 20 0 4 0 5161125 12390567936 2965967 33554432000 4194304 16246674 140733343443216 140733343442392 13817064 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13559/statm: 3025041 2965967 841 2943 0 3021935 0
[pid=13559/tid=13563] ppid=13555 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (toysat) S 13555 13559 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5161125 12390567936 2965967 33554432000 4194304 16246674 140733343443216 140132607831280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13559/tid=13564] ppid=13555 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (toysat) S 13555 13559 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5161125 12390567936 2965967 33554432000 4194304 16246674 140733343443216 140132597341424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13559/tid=13565] ppid=13555 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (toysat) S 13555 13559 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5161125 12390567936 2965967 33554432000 4194304 16246674 140733343443216 140132586867888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 12100164

[startup+1602.3 s]
/proc/loadavg: 2.09 2.18 2.24 3/183 13610
/proc/meminfo: memFree=4879232/32872528 swapFree=1370068/1517236
[pid=13559] ppid=13555 vsize=12100164 CPUtime=1602.02 cores=0,2,4,6
/proc/13559/stat : 13559 (toysat) R 13555 13559 6338 0 -1 4202496 2928423 0 0 0 159713 489 0 0 20 0 4 0 5161125 12390567936 2965967 33554432000 4194304 16246674 140733343443216 140733343442392 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13559/statm: 3025041 2965967 841 2943 0 3021935 0
[pid=13559/tid=13563] ppid=13555 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (toysat) S 13555 13559 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5161125 12390567936 2965967 33554432000 4194304 16246674 140733343443216 140132607831280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13559/tid=13564] ppid=13555 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (toysat) S 13555 13559 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5161125 12390567936 2965967 33554432000 4194304 16246674 140733343443216 140132597341424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13559/tid=13565] ppid=13555 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (toysat) S 13555 13559 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5161125 12390567936 2965967 33554432000 4194304 16246674 140733343443216 140132586867888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 12100164

[startup+1662.3 s]
/proc/loadavg: 2.26 2.20 2.24 3/183 13611
/proc/meminfo: memFree=4879012/32872528 swapFree=1370068/1517236
[pid=13559] ppid=13555 vsize=12100164 CPUtime=1662.01 cores=0,2,4,6
/proc/13559/stat : 13559 (toysat) R 13555 13559 6338 0 -1 4202496 2928427 0 0 0 165710 491 0 0 20 0 4 0 5161125 12390567936 2965971 33554432000 4194304 16246674 140733343443216 140733343442392 13955776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13559/statm: 3025041 2965971 841 2943 0 3021935 0
[pid=13559/tid=13563] ppid=13555 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (toysat) S 13555 13559 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5161125 12390567936 2965971 33554432000 4194304 16246674 140733343443216 140132607831280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13559/tid=13564] ppid=13555 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (toysat) S 13555 13559 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5161125 12390567936 2965971 33554432000 4194304 16246674 140733343443216 140132597341424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13559/tid=13565] ppid=13555 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (toysat) S 13555 13559 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5161125 12390567936 2965971 33554432000 4194304 16246674 140733343443216 140132586867888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 12100164

[startup+1722.3 s]
/proc/loadavg: 2.30 2.22 2.25 3/183 13612
/proc/meminfo: memFree=4878916/32872528 swapFree=1370068/1517236
[pid=13559] ppid=13555 vsize=12100164 CPUtime=1722 cores=0,2,4,6
/proc/13559/stat : 13559 (toysat) R 13555 13559 6338 0 -1 4202496 2928427 0 0 0 171706 494 0 0 20 0 4 0 5161125 12390567936 2965971 33554432000 4194304 16246674 140733343443216 140733343442392 6171060 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13559/statm: 3025041 2965971 841 2943 0 3021935 0
[pid=13559/tid=13563] ppid=13555 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (toysat) S 13555 13559 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5161125 12390567936 2965971 33554432000 4194304 16246674 140733343443216 140132607831280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13559/tid=13564] ppid=13555 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (toysat) S 13555 13559 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5161125 12390567936 2965971 33554432000 4194304 16246674 140733343443216 140132597341424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13559/tid=13565] ppid=13555 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (toysat) S 13555 13559 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5161125 12390567936 2965971 33554432000 4194304 16246674 140733343443216 140132586867888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 12100164

[startup+1782.31 s]
/proc/loadavg: 2.31 2.23 2.24 3/183 13614
/proc/meminfo: memFree=4878444/32872528 swapFree=1370068/1517236
[pid=13559] ppid=13555 vsize=12100164 CPUtime=1782 cores=0,2,4,6
/proc/13559/stat : 13559 (toysat) R 13555 13559 6338 0 -1 4202496 2928427 0 0 0 177704 496 0 0 20 0 4 0 5161125 12390567936 2965971 33554432000 4194304 16246674 140733343443216 140733343442392 6132712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13559/statm: 3025041 2965971 841 2943 0 3021935 0
[pid=13559/tid=13563] ppid=13555 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (toysat) S 13555 13559 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5161125 12390567936 2965971 33554432000 4194304 16246674 140733343443216 140132607831280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13559/tid=13564] ppid=13555 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (toysat) S 13555 13559 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5161125 12390567936 2965971 33554432000 4194304 16246674 140733343443216 140132597341424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13559/tid=13565] ppid=13555 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (toysat) S 13555 13559 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5161125 12390567936 2965971 33554432000 4194304 16246674 140733343443216 140132586867888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 12100164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.29 2.23 2.24 3/183 13614
/proc/meminfo: memFree=4878428/32872528 swapFree=1370068/1517236
[pid=13559] ppid=13555 vsize=12100164 CPUtime=1800.09 cores=0,2,4,6
/proc/13559/stat : 13559 (toysat) R 13555 13559 6338 0 -1 4202496 2928427 0 0 0 179512 497 0 0 20 0 4 0 5161125 12390567936 2965971 33554432000 4194304 16246674 140733343443216 140733343442392 13809392 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13559/statm: 3025041 2965971 841 2943 0 3021935 0
[pid=13559/tid=13563] ppid=13555 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (toysat) S 13555 13559 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5161125 12390567936 2965971 33554432000 4194304 16246674 140733343443216 140132607831280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13559/tid=13564] ppid=13555 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (toysat) S 13555 13559 6338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5161125 12390567936 2965971 33554432000 4194304 16246674 140733343443216 140132597341424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13559/tid=13565] ppid=13555 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (toysat) S 13555 13559 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5161125 12390567936 2965971 33554432000 4194304 16246674 140733343443216 140132586867888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 12100164

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

[startup+1800.6 s]
/proc/loadavg: 2.29 2.23 2.24 3/183 13614
/proc/meminfo: memFree=4878428/32872528 swapFree=1370068/1517236
[pid=13559] ppid=13555 vsize=0 CPUtime=1800.28 cores=0,2,4,6
/proc/13559/stat : 13559 (toysat) Z 13555 13559 6338 0 -1 4203532 2928427 0 0 0 179512 516 0 0 20 0 2 0 5161125 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13559/statm: 0 0 0 0 0 0 0
[pid=13559/tid=13564] ppid=13555 vsize=0 CPUtime=0.18 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (toysat) R 13555 13559 6338 0 -1 4203588 10 0 0 0 0 18 0 0 20 0 2 0 5161125 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 0

[startup+1800.8 s]
/proc/loadavg: 2.29 2.23 2.24 3/183 13614
/proc/meminfo: memFree=4878428/32872528 swapFree=1370068/1517236
[pid=13559] ppid=13555 vsize=0 CPUtime=1800.48 cores=0,2,4,6
/proc/13559/stat : 13559 (toysat) Z 13555 13559 6338 0 -1 4203532 2928427 0 0 0 179512 536 0 0 20 0 2 0 5161125 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13559/statm: 0 0 0 0 0 0 0
[pid=13559/tid=13564] ppid=13555 vsize=0 CPUtime=0.38 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (toysat) R 13555 13559 6338 0 -1 4203588 10 0 0 0 0 38 0 0 20 0 2 0 5161125 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.48
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 2.29 2.23 2.24 3/179 13614
/proc/meminfo: memFree=26521252/32872528 swapFree=1370068/1517236
[pid=13559] ppid=13555 vsize=0 CPUtime=1800.59 cores=0,2,4,6
/proc/13559/stat : 13559 (toysat) Z 13555 13559 6338 0 -1 4203532 2928427 0 0 0 179512 547 0 0 20 0 2 0 5161125 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13559/statm: 0 0 0 0 0 0 0
[pid=13559/tid=13564] ppid=13555 vsize=0 CPUtime=0.49 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (toysat) R 13555 13559 6338 0 -1 4203588 10 0 0 0 0 49 0 0 20 0 2 0 5161125 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.59
Current children cumulated vsize (KiB) 0

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.13
system time used= 5.54316
maximum resident set size= 11863884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2928427
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= 105
involuntary context switches= 1849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.50531 second user time and 6.96494 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-30 01:14:23
IDJOB=4093270
IDBENCH=79522
IDSOLVER=2553
FILE ID=node129/4093270-1467242063
RUNJOBID= node129-1467242062-13533
PBS_JOBID= 19997579
Free space on /tmp= 71604 MiB

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

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

MD5SUM BENCH= 4ad1347278976f19411afc1ab6eea52f
RANDOM SEED=962833693

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 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.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.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.56
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:        28654900 kB
Buffers:           96908 kB
Cached:          1836084 kB
SwapCached:            0 kB
Active:           358500 kB
Inactive:        1589280 kB
Active(anon):      17492 kB
Inactive(anon):        0 kB
Active(file):     341008 kB
Inactive(file):  1589280 kB
Unevictable:     1517236 kB
Mlocked:         1370068 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             32616 kB
Writeback:             0 kB
AnonPages:       1531852 kB
Mapped:            13684 kB
Shmem:               204 kB
Slab:             620220 kB
SReclaimable:      64328 kB
SUnreclaim:       555892 kB
KernelStack:        1384 kB
PageTables:         7160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1617180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 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= 71568 MiB
End job on node129 at 2016-06-30 01:44:24