Trace number 4093242

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.28 1800.56

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/scens/
normalized-scen08reduc_wcsp.wbo
MD5SUMa57c8a6c45b3bda1a2096d1102135404
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 variables14194
Total number of constraints1450105
Number of soft constraints1449740
Number of constraints which are clauses1449740
Number of constraints which are cardinality constraints (but not clauses)365
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Top cost 262
Min constraint cost 1
Max constraint cost 30
Sum of constraints costs 6361774
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
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-16T22:01:25+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-4093242-1466107284.wbo"]
0.00/0.01	c use --random-gen="4278236618 2858865117 3097952428 3544914033 4254846236 1124067090 3531547499 1420995292 308399218 2181164661 1174262680 3775839265 2064079523 2668244048 2661526084 1846581728 394398598 1146261613 778639328 3367414228 3094784705 3705897480 3309283996 2432394025 4164195296 2031579739 2505063563 8839590 3775952080 290005678 1548140591 948368351 2651259699 1852493949 2363014818 4010156096 1538890432 2315646255 4086676567 749088922 1828656921 1956645788 537170916 1419624293 521335701 169934363 1211883518 4265855959 244651668 4143394881 2449655835 1244672112 3151711276 885715712 452887653 698142312 245565800 1134007374 2606324566 986382581 710076835 3554363759 1290255956 1135990590 3832866026 1008560769 2910522276 858300062 3081678094 3529681735 2214510519 1690658621 1562240427 1976202208 1332191036 3947399423 955973786 667653495 2953896059 3897696929 1864203223 1909923797 854598978 4196351962 1205733630 1995233372 2200737483 2636043560 74354200 70835093 1734288170 3567922757 1907119674 1798117608 577770844 2993165235 1816524089 2394629316 2344872176 3025173510 3622356557 1940481728 1907403706 2542265138 3091242610 3040396172 2362479914 2535765396 1087582218 4180033310 3504536527 3183914029 2087430044 2202533499 2748026404 3943432093 1596230625 1776242539 3822599668 2177798795 3167897845 1406323840 1242508205 1528478978 3397155299 1438127491 3227833395 1845741757 392434871 823382483 3901139398 3864486563 925273045 1813320665 3834903032 847608145 2309901733 1047633235 3539596303 3208415251 2181699662 2944075984 860238192 3155085577 3967850519 2428948483 4269875468 1724987591 4206397673 3764471735 1231638598 1165061061 3350156542 1550098555 4151495774 1725714125 2236930654 1332202849 2800518541 1912084470 957388966 2791695897 1979040204 3384154307 154940098 953984506 937511266 1006710372 3378435400 2858315301 1253014020 4024011201 1328852424 897206030 1203077769 452767743 2393911703 3126822266 2839289457 1614054573 3262474416 3623798753 3925615721 2806727619 49212503 3380357344 786710732 265932070 807630937 4053618641 2935383470 383842879 3805915335 2083675879 2731322326 2626720874 149891220 3765837705 538675010 195823188 3273319005 1947128761 1936157505 1224131189 4233194236 1105440504 2275546797 3190257776 1218491568 77008496 3374130547 3574093015 4215158065 2321603816 1831928455 1547567385 4282191980 2799535033 3988749295 2250988631 3515837543 603503109 3950968620 3467053702 2002886894 3739551016 559120300 1066807628 1449226251 909433916 3379145093 2431439319 646076971 3359975596 3287713461 2929953136 42482725 3933280634 3893236685 956127358 2210841271 714184145 862732328 2237587534 2871745675 3650823080 100830991 276784682 955882244 4054735427 3405713244 2279904784 1673739893 4003361474 3404204419 3218606430 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-4093242-1466107284/watcher-4093242-1466107284 -o /tmp/evaluation-result-4093242-1466107284/solver-4093242-1466107284 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466103682-14217 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093242-1466107284.wbo 

pid=14555
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.13 2.16 2.10 3/180 14558
/proc/meminfo: memFree=30354360/32872528 swapFree=1199460/1313924
[pid=14558] ppid=14555 vsize=691644 CPUtime=0 cores=0,2,4,6
/proc/14558/stat : 14558 (toysat) R 14555 14558 13694 0 -1 4202496 2572 0 0 0 0 0 0 0 20 0 4 0 12775050 708243456 3444 33554432000 4194304 16246674 140735834986560 140735834985984 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14558/statm: 173423 3454 441 2943 0 170317 0
[pid=14558/tid=14559] ppid=14555 vsize=709052 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14559/stat : 14559 (toysat) S 14555 14558 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12775051 726069248 3511 33554432000 4194304 16246674 140735834986560 140543698906352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14558/tid=14560] ppid=14555 vsize=713148 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14560/stat : 14560 (toysat) S 14555 14558 13694 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12775051 730263552 3529 33554432000 4194304 16246674 140735834986560 140543610825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14558/tid=14561] ppid=14555 vsize=717244 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14561/stat : 14561 (toysat) S 14555 14558 13694 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12775051 734457856 3546 33554432000 4194304 16246674 140735834986560 140543600352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100124 s]
/proc/loadavg: 2.13 2.16 2.10 3/180 14558
/proc/meminfo: memFree=30354360/32872528 swapFree=1199460/1313924
[pid=14558] ppid=14555 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/14558/stat : 14558 (toysat) R 14555 14558 13694 0 -1 4202496 27935 0 0 0 5 4 0 0 20 0 4 0 12775050 1332285440 28746 33554432000 4194304 16246674 140735834986560 140735834985872 7409112 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14558/statm: 325265 28760 803 2943 0 322159 0
[pid=14558/tid=14559] ppid=14555 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14559/stat : 14559 (toysat) S 14555 14558 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12775051 1332285440 28770 33554432000 4194304 16246674 140735834986560 140543698906352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14558/tid=14560] ppid=14555 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14560/stat : 14560 (toysat) S 14555 14558 13694 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12775051 1332285440 28781 33554432000 4194304 16246674 140735834986560 140543610825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14558/tid=14561] ppid=14555 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14561/stat : 14561 (toysat) S 14555 14558 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12775051 1332285440 28792 33554432000 4194304 16246674 140735834986560 140543600352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200598 s]
/proc/loadavg: 2.13 2.16 2.10 3/180 14558
/proc/meminfo: memFree=30354360/32872528 swapFree=1199460/1313924
[pid=14558] ppid=14555 vsize=1309252 CPUtime=0.19 cores=0,2,4,6
/proc/14558/stat : 14558 (toysat) R 14555 14558 13694 0 -1 4202496 51283 0 0 0 12 7 0 0 20 0 4 0 12775050 1340674048 52605 33554432000 4194304 16246674 140735834986560 140735834968448 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14558/statm: 327313 52607 803 2943 0 324207 0
[pid=14558/tid=14559] ppid=14555 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14559/stat : 14559 (toysat) S 14555 14558 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12775051 1340674048 52610 33554432000 4194304 16246674 140735834986560 140543698906352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14558/tid=14560] ppid=14555 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14560/stat : 14560 (toysat) S 14555 14558 13694 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12775051 1340674048 52613 33554432000 4194304 16246674 140735834986560 140543610825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14558/tid=14561] ppid=14555 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14561/stat : 14561 (toysat) S 14555 14558 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12775051 1340674048 52615 33554432000 4194304 16246674 140735834986560 140543600352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1309252

[startup+0.300464 s]
/proc/loadavg: 2.13 2.16 2.10 3/180 14558
/proc/meminfo: memFree=30354360/32872528 swapFree=1199460/1313924
[pid=14558] ppid=14555 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/14558/stat : 14558 (toysat) R 14555 14558 13694 0 -1 4202496 60501 0 0 0 21 8 0 0 20 0 4 0 12775050 1345916928 61823 33554432000 4194304 16246674 140735834986560 140735834968448 4206674 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14558/statm: 328593 61823 803 2943 0 325487 0
[pid=14558/tid=14559] ppid=14555 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14559/stat : 14559 (toysat) S 14555 14558 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12775051 1345916928 61823 33554432000 4194304 16246674 140735834986560 140543698906352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14558/tid=14560] ppid=14555 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14560/stat : 14560 (toysat) S 14555 14558 13694 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12775051 1345916928 61823 33554432000 4194304 16246674 140735834986560 140543610825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14558/tid=14561] ppid=14555 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14561/stat : 14561 (toysat) S 14555 14558 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12775051 1345916928 61823 33554432000 4194304 16246674 140735834986560 140543600352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700425 s]
/proc/loadavg: 2.13 2.16 2.10 3/180 14558
/proc/meminfo: memFree=30354360/32872528 swapFree=1199460/1313924
[pid=14558] ppid=14555 vsize=1314372 CPUtime=0.68 cores=0,2,4,6
/proc/14558/stat : 14558 (toysat) R 14555 14558 13694 0 -1 4202496 71093 0 0 0 59 9 0 0 20 0 4 0 12775050 1345916928 72415 33554432000 4194304 16246674 140735834986560 140735834968448 4220543 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14558/statm: 328593 72415 803 2943 0 325487 0
[pid=14558/tid=14559] ppid=14555 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14559/stat : 14559 (toysat) S 14555 14558 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12775051 1345916928 72415 33554432000 4194304 16246674 140735834986560 140543698906352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14558/tid=14560] ppid=14555 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14560/stat : 14560 (toysat) S 14555 14558 13694 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12775051 1345916928 72415 33554432000 4194304 16246674 140735834986560 140543610825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14558/tid=14561] ppid=14555 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14561/stat : 14561 (toysat) S 14555 14558 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12775051 1345916928 72415 33554432000 4194304 16246674 140735834986560 140543600352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1314372

[startup+1.50042 s]
/proc/loadavg: 2.20 2.17 2.10 3/184 14562
/proc/meminfo: memFree=29855608/32872528 swapFree=1199460/1313924
[pid=14558] ppid=14555 vsize=1326660 CPUtime=1.48 cores=0,2,4,6
/proc/14558/stat : 14558 (toysat) R 14555 14558 13694 0 -1 4202496 107233 0 0 0 133 15 0 0 20 0 4 0 12775050 1358499840 110088 33554432000 4194304 16246674 140735834986560 140735834968448 7409204 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14558/statm: 331665 110088 804 2943 0 328559 0
[pid=14558/tid=14559] ppid=14555 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14559/stat : 14559 (toysat) S 14555 14558 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12775051 1358499840 110088 33554432000 4194304 16246674 140735834986560 140543698906352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14558/tid=14560] ppid=14555 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14560/stat : 14560 (toysat) S 14555 14558 13694 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12775051 1358499840 110088 33554432000 4194304 16246674 140735834986560 140543610825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14558/tid=14561] ppid=14555 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14561/stat : 14561 (toysat) S 14555 14558 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12775051 1358499840 110088 33554432000 4194304 16246674 140735834986560 140543600352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1326660

[startup+3.10042 s]
/proc/loadavg: 2.20 2.17 2.10 3/184 14562
/proc/meminfo: memFree=29660728/32872528 swapFree=1199460/1313924
[pid=14558] ppid=14555 vsize=1351236 CPUtime=3.09 cores=0,2,4,6
/proc/14558/stat : 14558 (toysat) R 14555 14558 13694 0 -1 4202496 160584 0 0 0 286 23 0 0 20 0 4 0 12775050 1383665664 168038 33554432000 4194304 16246674 140735834986560 140735834968448 7439417 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14558/statm: 337809 168038 804 2943 0 334703 0
[pid=14558/tid=14559] ppid=14555 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14559/stat : 14559 (toysat) S 14555 14558 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12775051 1383665664 168038 33554432000 4194304 16246674 140735834986560 140543698906352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14558/tid=14560] ppid=14555 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14560/stat : 14560 (toysat) S 14555 14558 13694 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12775051 1383665664 168038 33554432000 4194304 16246674 140735834986560 140543610825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14558/tid=14561] ppid=14555 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14561/stat : 14561 (toysat) S 14555 14558 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12775051 1383665664 168038 33554432000 4194304 16246674 140735834986560 140543600352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1351236

[startup+6.30043 s]
/proc/loadavg: 2.26 2.18 2.11 3/184 14562
/proc/meminfo: memFree=28482016/32872528 swapFree=1199460/1313924
[pid=14558] ppid=14555 vsize=1400388 CPUtime=6.29 cores=0,2,4,6
/proc/14558/stat : 14558 (toysat) R 14555 14558 13694 0 -1 4202496 253336 0 0 0 592 37 0 0 20 0 4 0 12775050 1433997312 270499 33554432000 4194304 16246674 140735834986560 140735834984384 7439385 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14558/statm: 350097 270499 804 2943 0 346991 0
[pid=14558/tid=14559] ppid=14555 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14559/stat : 14559 (toysat) S 14555 14558 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12775051 1433997312 270499 33554432000 4194304 16246674 140735834986560 140543698906352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14558/tid=14560] ppid=14555 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14560/stat : 14560 (toysat) S 14555 14558 13694 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12775051 1433997312 270499 33554432000 4194304 16246674 140735834986560 140543610825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14558/tid=14561] ppid=14555 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14561/stat : 14561 (toysat) S 14555 14558 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12775051 1433997312 270499 33554432000 4194304 16246674 140735834986560 140543600352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1400388

[startup+12.7004 s]
/proc/loadavg: 2.24 2.18 2.11 3/184 14562
/proc/meminfo: memFree=27531456/32872528 swapFree=1199460/1313924
[pid=14558] ppid=14555 vsize=1746500 CPUtime=12.68 cores=0,2,4,6
/proc/14558/stat : 14558 (toysat) R 14555 14558 13694 0 -1 4202496 356720 0 0 0 1217 51 0 0 20 0 4 0 12775050 1788416000 377460 33554432000 4194304 16246674 140735834986560 140735834968448 4550185 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14558/statm: 436625 377460 836 2943 0 433519 0
[pid=14558/tid=14559] ppid=14555 vsize=1746500 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14559/stat : 14559 (toysat) S 14555 14558 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12775051 1788416000 377460 33554432000 4194304 16246674 140735834986560 140543698906352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14558/tid=14560] ppid=14555 vsize=1746500 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14560/stat : 14560 (toysat) S 14555 14558 13694 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12775051 1788416000 377460 33554432000 4194304 16246674 140735834986560 140543610825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14558/tid=14561] ppid=14555 vsize=1746500 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14561/stat : 14561 (toysat) S 14555 14558 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12775051 1788416000 377460 33554432000 4194304 16246674 140735834986560 140543600352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1746500

[startup+25.5005 s]
/proc/loadavg: 2.19 2.17 2.10 3/184 14562
/proc/meminfo: memFree=26046004/32872528 swapFree=1199460/1313924
[pid=14558] ppid=14555 vsize=2483780 CPUtime=25.49 cores=0,2,4,6
/proc/14558/stat : 14558 (toysat) R 14555 14558 13694 0 -1 4202496 541127 0 0 0 2471 78 0 0 20 0 4 0 12775050 2543390720 562889 33554432000 4194304 16246674 140735834986560 140735834985736 13950338 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14558/statm: 620945 562889 839 2943 0 617839 0
[pid=14558/tid=14559] ppid=14555 vsize=2483780 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14559/stat : 14559 (toysat) S 14555 14558 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12775051 2543390720 562889 33554432000 4194304 16246674 140735834986560 140543698906352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14558/tid=14560] ppid=14555 vsize=2483780 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14560/stat : 14560 (toysat) S 14555 14558 13694 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12775051 2543390720 562889 33554432000 4194304 16246674 140735834986560 140543610825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14558/tid=14561] ppid=14555 vsize=2483780 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14561/stat : 14561 (toysat) S 14555 14558 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12775051 2543390720 562889 33554432000 4194304 16246674 140735834986560 140543600352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2483780

[startup+51.1004 s]
/proc/loadavg: 2.12 2.16 2.10 3/183 14562
/proc/meminfo: memFree=21812796/32872528 swapFree=1199460/1313924
[pid=14558] ppid=14555 vsize=4596292 CPUtime=51.08 cores=0,2,4,6
/proc/14558/stat : 14558 (toysat) R 14555 14558 13694 0 -1 4202496 1069262 0 0 0 4951 157 0 0 20 0 4 0 12775050 4706603008 1091024 33554432000 4194304 16246674 140735834986560 140735834968448 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14558/statm: 1149073 1091024 845 2943 0 1145967 0
[pid=14558/tid=14559] ppid=14555 vsize=4596292 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14559/stat : 14559 (toysat) S 14555 14558 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12775051 4706603008 1091024 33554432000 4194304 16246674 140735834986560 140543698906352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14558/tid=14560] ppid=14555 vsize=4596292 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14560/stat : 14560 (toysat) S 14555 14558 13694 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12775051 4706603008 1091024 33554432000 4194304 16246674 140735834986560 140543610825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14558/tid=14561] ppid=14555 vsize=4596292 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14561/stat : 14561 (toysat) S 14555 14558 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12775051 4706603008 1091024 33554432000 4194304 16246674 140735834986560 140543600352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 4596292

[startup+102.3 s]
/proc/loadavg: 2.17 2.16 2.10 3/183 14563
/proc/meminfo: memFree=21812828/32872528 swapFree=1199460/1313924
[pid=14558] ppid=14555 vsize=4596292 CPUtime=102.28 cores=0,2,4,6
/proc/14558/stat : 14558 (toysat) R 14555 14558 13694 0 -1 4202496 1069262 0 0 0 10070 158 0 0 20 0 4 0 12775050 4706603008 1091024 33554432000 4194304 16246674 140735834986560 140735834968448 13809356 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14558/statm: 1149073 1091024 845 2943 0 1145967 0
[pid=14558/tid=14559] ppid=14555 vsize=4596292 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14559/stat : 14559 (toysat) S 14555 14558 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12775051 4706603008 1091024 33554432000 4194304 16246674 140735834986560 140543698906352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14558/tid=14560] ppid=14555 vsize=4596292 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14560/stat : 14560 (toysat) S 14555 14558 13694 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12775051 4706603008 1091024 33554432000 4194304 16246674 140735834986560 140543610825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14558/tid=14561] ppid=14555 vsize=4596292 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14561/stat : 14561 (toysat) S 14555 14558 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12775051 4706603008 1091024 33554432000 4194304 16246674 140735834986560 140543600352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 4596292


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

[pid=14558] ppid=14555 vsize=5078596 CPUtime=1362.08 cores=0,2,4,6
/proc/14558/stat : 14558 (toysat) R 14555 14558 13694 0 -1 4202496 1189840 0 0 0 136024 184 0 0 20 0 4 0 12775050 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140735834968448 13809356 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14558/statm: 1269649 1211602 845 2943 0 1266543 0
[pid=14558/tid=14559] ppid=14555 vsize=5078596 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14559/stat : 14559 (toysat) S 14555 14558 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12775051 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140543698906352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14558/tid=14560] ppid=14555 vsize=5078596 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14560/stat : 14560 (toysat) S 14555 14558 13694 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12775051 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140543610825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14558/tid=14561] ppid=14555 vsize=5078596 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14561/stat : 14561 (toysat) S 14555 14558 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12775051 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140543600352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 5078596

[startup+1422.3 s]
/proc/loadavg: 2.21 2.22 2.13 4/183 14595
/proc/meminfo: memFree=20846372/32872528 swapFree=1199460/1313924
[pid=14558] ppid=14555 vsize=5078596 CPUtime=1422.08 cores=0,2,4,6
/proc/14558/stat : 14558 (toysat) R 14555 14558 13694 0 -1 4202496 1189840 0 0 0 142023 185 0 0 20 0 4 0 12775050 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140735834968448 6132605 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14558/statm: 1269649 1211602 845 2943 0 1266543 0
[pid=14558/tid=14559] ppid=14555 vsize=5078596 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14559/stat : 14559 (toysat) S 14555 14558 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12775051 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140543698906352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14558/tid=14560] ppid=14555 vsize=5078596 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14560/stat : 14560 (toysat) S 14555 14558 13694 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12775051 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140543610825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14558/tid=14561] ppid=14555 vsize=5078596 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14561/stat : 14561 (toysat) S 14555 14558 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12775051 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140543600352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 5078596

[startup+1482.3 s]
/proc/loadavg: 2.12 2.19 2.13 4/182 14596
/proc/meminfo: memFree=20846292/32872528 swapFree=1199460/1313924
[pid=14558] ppid=14555 vsize=5078596 CPUtime=1482.06 cores=0,2,4,6
/proc/14558/stat : 14558 (toysat) R 14555 14558 13694 0 -1 4202496 1189840 0 0 0 148021 185 0 0 20 0 4 0 12775050 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140735834968448 13809356 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14558/statm: 1269649 1211602 845 2943 0 1266543 0
[pid=14558/tid=14559] ppid=14555 vsize=5078596 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14559/stat : 14559 (toysat) S 14555 14558 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12775051 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140543698906352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14558/tid=14560] ppid=14555 vsize=5078596 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14560/stat : 14560 (toysat) S 14555 14558 13694 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12775051 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140543610825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14558/tid=14561] ppid=14555 vsize=5078596 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14561/stat : 14561 (toysat) S 14555 14558 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12775051 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140543600352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 5078596

[startup+1542.31 s]
/proc/loadavg: 2.16 2.18 2.13 3/183 14598
/proc/meminfo: memFree=20846536/32872528 swapFree=1199460/1313924
[pid=14558] ppid=14555 vsize=5078596 CPUtime=1542.06 cores=0,2,4,6
/proc/14558/stat : 14558 (toysat) R 14555 14558 13694 0 -1 4202496 1189840 0 0 0 154021 185 0 0 20 0 4 0 12775050 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140735834968448 13809356 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14558/statm: 1269649 1211602 845 2943 0 1266543 0
[pid=14558/tid=14559] ppid=14555 vsize=5078596 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14559/stat : 14559 (toysat) S 14555 14558 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12775051 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140543698906352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14558/tid=14560] ppid=14555 vsize=5078596 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14560/stat : 14560 (toysat) S 14555 14558 13694 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12775051 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140543610825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14558/tid=14561] ppid=14555 vsize=5078596 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14561/stat : 14561 (toysat) S 14555 14558 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12775051 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140543600352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 5078596

[startup+1602.3 s]
/proc/loadavg: 2.16 2.18 2.12 3/183 14599
/proc/meminfo: memFree=20846532/32872528 swapFree=1199460/1313924
[pid=14558] ppid=14555 vsize=5078596 CPUtime=1602.05 cores=0,2,4,6
/proc/14558/stat : 14558 (toysat) R 14555 14558 13694 0 -1 4202496 1189840 0 0 0 160019 186 0 0 20 0 4 0 12775050 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140735834968448 13809356 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14558/statm: 1269649 1211602 845 2943 0 1266543 0
[pid=14558/tid=14559] ppid=14555 vsize=5078596 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14559/stat : 14559 (toysat) S 14555 14558 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12775051 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140543698906352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14558/tid=14560] ppid=14555 vsize=5078596 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14560/stat : 14560 (toysat) S 14555 14558 13694 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12775051 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140543610825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14558/tid=14561] ppid=14555 vsize=5078596 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14561/stat : 14561 (toysat) S 14555 14558 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12775051 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140543600352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 5078596

[startup+1662.3 s]
/proc/loadavg: 2.06 2.14 2.11 4/183 14600
/proc/meminfo: memFree=20846772/32872528 swapFree=1199460/1313924
[pid=14558] ppid=14555 vsize=5078596 CPUtime=1662.03 cores=0,2,4,6
/proc/14558/stat : 14558 (toysat) R 14555 14558 13694 0 -1 4202496 1189840 0 0 0 166017 186 0 0 20 0 4 0 12775050 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140735834968448 13774056 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14558/statm: 1269649 1211602 845 2943 0 1266543 0
[pid=14558/tid=14559] ppid=14555 vsize=5078596 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14559/stat : 14559 (toysat) S 14555 14558 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12775051 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140543698906352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14558/tid=14560] ppid=14555 vsize=5078596 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14560/stat : 14560 (toysat) S 14555 14558 13694 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12775051 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140543610825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14558/tid=14561] ppid=14555 vsize=5078596 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14561/stat : 14561 (toysat) S 14555 14558 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12775051 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140543600352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 5078596

[startup+1722.3 s]
/proc/loadavg: 2.22 2.17 2.12 3/184 14604
/proc/meminfo: memFree=20846368/32872528 swapFree=1199460/1313924
[pid=14558] ppid=14555 vsize=5078596 CPUtime=1722.03 cores=0,2,4,6
/proc/14558/stat : 14558 (toysat) R 14555 14558 13694 0 -1 4202496 1189840 0 0 0 172016 187 0 0 20 0 4 0 12775050 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140735834968448 13809356 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14558/statm: 1269649 1211602 845 2943 0 1266543 0
[pid=14558/tid=14559] ppid=14555 vsize=5078596 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14559/stat : 14559 (toysat) S 14555 14558 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12775051 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140543698906352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14558/tid=14560] ppid=14555 vsize=5078596 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14560/stat : 14560 (toysat) S 14555 14558 13694 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12775051 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140543610825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14558/tid=14561] ppid=14555 vsize=5078596 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14561/stat : 14561 (toysat) S 14555 14558 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12775051 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140543600352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 5078596

[startup+1782.3 s]
/proc/loadavg: 2.13 2.15 2.12 3/183 14605
/proc/meminfo: memFree=20846388/32872528 swapFree=1199460/1313924
[pid=14558] ppid=14555 vsize=5078596 CPUtime=1782.02 cores=0,2,4,6
/proc/14558/stat : 14558 (toysat) R 14555 14558 13694 0 -1 4202496 1189840 0 0 0 178015 187 0 0 20 0 4 0 12775050 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140735834968448 13807508 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14558/statm: 1269649 1211602 845 2943 0 1266543 0
[pid=14558/tid=14559] ppid=14555 vsize=5078596 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14559/stat : 14559 (toysat) S 14555 14558 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12775051 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140543698906352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14558/tid=14560] ppid=14555 vsize=5078596 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14560/stat : 14560 (toysat) S 14555 14558 13694 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12775051 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140543610825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14558/tid=14561] ppid=14555 vsize=5078596 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14561/stat : 14561 (toysat) S 14555 14558 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12775051 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140543600352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 5078596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.10 2.15 2.11 4/183 14606
/proc/meminfo: memFree=20846356/32872528 swapFree=1199460/1313924
[pid=14558] ppid=14555 vsize=5078596 CPUtime=1800.02 cores=0,2,4,6
/proc/14558/stat : 14558 (toysat) R 14555 14558 13694 0 -1 4202496 1189840 0 0 0 179815 187 0 0 20 0 4 0 12775050 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140735834968448 13807508 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14558/statm: 1269649 1211602 845 2943 0 1266543 0
[pid=14558/tid=14559] ppid=14555 vsize=5078596 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14559/stat : 14559 (toysat) S 14555 14558 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12775051 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140543698906352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14558/tid=14560] ppid=14555 vsize=5078596 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14560/stat : 14560 (toysat) S 14555 14558 13694 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12775051 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140543610825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14558/tid=14561] ppid=14555 vsize=5078596 CPUtime=0 cores=0,2,4,6
/proc/14558/task/14561/stat : 14561 (toysat) S 14555 14558 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12775051 5200482304 1211602 33554432000 4194304 16246674 140735834986560 140543600352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 5078596

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

[startup+1800.4 s]
/proc/loadavg: 2.10 2.15 2.11 4/183 14606
/proc/meminfo: memFree=20846356/32872528 swapFree=1199460/1313924
[pid=14558] ppid=14555 vsize=0 CPUtime=1800.12 cores=0,2,4,6
/proc/14558/stat : 14558 (toysat) Z 14555 14558 13694 0 -1 4203532 1189840 0 0 0 179815 197 0 0 20 0 2 0 12775050 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14558/statm: 0 0 0 0 0 0 0
[pid=14558/tid=14560] ppid=14555 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/14558/task/14560/stat : 14560 (toysat) R 14555 14558 13694 0 -1 4203588 7 0 0 0 0 8 0 0 20 0 2 0 12775051 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

[startup+1800.5 s]
/proc/loadavg: 2.10 2.15 2.11 4/183 14606
/proc/meminfo: memFree=20846356/32872528 swapFree=1199460/1313924
[pid=14558] ppid=14555 vsize=0 CPUtime=1800.21 cores=0,2,4,6
/proc/14558/stat : 14558 (toysat) Z 14555 14558 13694 0 -1 4203532 1189840 0 0 0 179815 206 0 0 20 0 2 0 12775050 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14558/statm: 0 0 0 0 0 0 0
[pid=14558/tid=14560] ppid=14555 vsize=0 CPUtime=0.18 cores=0,2,4,6
/proc/14558/task/14560/stat : 14560 (toysat) R 14555 14558 13694 0 -1 4203588 7 0 0 0 0 18 0 0 20 0 2 0 12775051 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.56
CPU time (s): 1800.28
CPU user time (s): 1798.16
CPU system time (s): 2.12168
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 5078596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.16
system time used= 2.12168
maximum resident set size= 4846408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1189840
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= 33
involuntary context switches= 1874

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.31119 second user time and 7.96279 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-16 22:01:25
IDJOB=4093242
IDBENCH=79561
IDSOLVER=2553
FILE ID=node131/4093242-1466107284
RUNJOBID= node131-1466103682-14217
PBS_JOBID= 19904055
Free space on /tmp= 71604 MiB

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

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

MD5SUM BENCH= a57c8a6c45b3bda1a2096d1102135404
RANDOM SEED=1293589411

node131.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.752
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.50
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.752
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.752
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.57
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.752
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.56
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.752
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.752
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.752
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.57
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.752
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:        30361632 kB
Buffers:           55188 kB
Cached:           244232 kB
SwapCached:         1964 kB
Active:           393420 kB
Inactive:          93532 kB
Active(anon):     188672 kB
Inactive(anon):     1452 kB
Active(file):     204748 kB
Inactive(file):    92080 kB
Unevictable:     1313924 kB
Mlocked:         1199460 kB
SwapTotal:      67108856 kB
SwapFree:       67099352 kB
Dirty:            119332 kB
Writeback:             0 kB
AnonPages:       1503328 kB
Mapped:            10136 kB
Shmem:                 0 kB
Slab:             574300 kB
SReclaimable:      17964 kB
SUnreclaim:       556336 kB
KernelStack:        1416 kB
PageTables:         8840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2525168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 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= 71588 MiB
End job on node131 at 2016-06-16 22:31:26