Trace number 4093173

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

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/graphs/
normalized-graph07_wcsp.wbo
MD5SUMfddb3e21e350e2df5161d1678905aa9f
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 variables5160
Total number of constraints512485
Number of soft constraints512344
Number of constraints which are clauses512344
Number of constraints which are cardinality constraints (but not clauses)141
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Top cost 463736
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 146536849
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-16T23:01:16+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-4093173-1466110876.wbo"]
0.00/0.01	c use --random-gen="2275228800 3721348435 3668972646 1362300024 3089430231 3511373981 2012279333 2057107727 3200004921 1204714927 1409344937 3375215102 1134977966 3306768585 4231799378 4159043862 294509629 3776988513 1975437790 39060451 3046842093 2473843910 3257048658 766128862 3192612200 3871472030 295124331 43677002 4096741633 1731698622 4159862982 2745699080 969393478 3857931205 2514008881 3748029446 2857497563 17554506 3183282360 3847243320 494203053 3439585360 3641667128 1003883785 2720149430 443622858 1445579213 2430469195 2168569786 2983531399 565193996 1160972563 3647339793 1431058975 694682573 1863727992 3458889667 89104145 2932173709 3533820098 3628710663 2653286656 143114069 2411426607 480258304 1725824616 908867979 3794259558 1061921308 3446792227 251883572 2372963545 2358469443 2734541609 1306653758 2616621214 2015400918 3558034489 1485738775 3905948663 3086367903 4161149506 2206289217 2462033327 3039287514 3540195772 2391487900 3317176620 319504870 830088190 1091923331 1946235484 4241906703 3733240973 3710737573 2810303268 370829601 4248444122 390998697 1085017579 3459198488 752858752 1453007512 3769311219 4204911330 372154705 2880099171 559402054 284112553 2287852062 1869923078 1412482070 3855119740 466022682 1447047084 2610821502 2495433254 427745851 1802146764 2279442070 160376322 3308991680 239807047 488920928 3974707913 1202551783 3084757660 1031721138 1480644567 4123494767 1547586596 3511590692 3138083282 466035962 1783027560 2701825402 1339394102 115798389 4107925684 1760916209 2876229333 1191688821 1963365760 1633085998 747895663 896712655 818910589 856199022 4185597569 1275700593 3791236702 1355714548 3701319712 389481403 4263672767 2496578761 1436937007 1767663842 2219201740 3859518379 327216610 3396019503 140917508 3285604730 3215236223 120109096 4045504428 1079921230 360919629 3483130171 1730096446 1011825974 2603148267 2649983089 2141929046 1002360424 1318572919 205964441 2432710197 524613572 2468985036 1739926714 1223688953 3561868716 4137858999 3041498356 2385009180 426126867 2922560397 561403922 3853971760 57276981 3365710280 1570049996 1504411042 382369201 3863156342 2522346159 2236113228 2154992325 3334442483 3692947495 849718126 83439845 3549641993 4102497170 3858919434 2170244108 3638775836 3629364827 3441749003 2871144915 2581789243 3534061530 881777670 2862723223 1143735329 2070728712 3820374279 269583135 1367403900 2630269876 796199463 1082151491 861205966 2403273530 913282279 3681873287 3995505075 958279673 375357043 3553533555 2694108480 1342210193 2141624543 199768642 2771054515 3168614716 2028005971 2038080516 2970921426 3966719505 798232602 710117077 252531269 4073616850 2704139285 612593393 1093509251 3310360900 3333089102 2455543662 1017434304 3784456592 3473039050 377570580 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-4093173-1466110876/watcher-4093173-1466110876 -o /tmp/evaluation-result-4093173-1466110876/solver-4093173-1466110876 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466109073-30540 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093173-1466110876.wbo 

pid=30735
running on 4 cores: 1,3,5,7

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.04 2.05 2.18 3/180 30738
/proc/meminfo: memFree=31257104/32872528 swapFree=496356/529060
[pid=30738] ppid=30735 vsize=763460 CPUtime=0 cores=1,3,5,7
/proc/30738/stat : 30738 (toysat) R 30735 30738 28709 0 -1 4202496 2860 0 0 0 0 0 0 0 20 0 4 0 13133051 781783040 2710 33554432000 4194304 16246674 140735447335888 140735447335312 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30738/statm: 191377 2715 442 2943 0 188271 0
[pid=30738/tid=30739] ppid=30735 vsize=781892 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30739/stat : 30739 (toysat) S 30735 30738 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13133052 800657408 2779 33554432000 4194304 16246674 140735447335888 140247733087472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30738/tid=30740] ppid=30735 vsize=785988 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30740/stat : 30740 (toysat) S 30735 30738 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13133052 804851712 2797 33554432000 4194304 16246674 140735447335888 140247722597616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30738/tid=30741] ppid=30735 vsize=790084 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30741/stat : 30741 (toysat) S 30735 30738 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13133052 809046016 2814 33554432000 4194304 16246674 140735447335888 140247712124080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100189 s]
/proc/loadavg: 2.04 2.05 2.18 3/180 30738
/proc/meminfo: memFree=31257104/32872528 swapFree=496356/529060
[pid=30738] ppid=30735 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/30738/stat : 30738 (toysat) R 30735 30738 28709 0 -1 4202496 26484 0 0 0 6 3 0 0 20 0 4 0 13133051 1332285440 26273 33554432000 4194304 16246674 140735447335888 140735447335200 7368729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30738/statm: 325265 26287 802 2943 0 322159 0
[pid=30738/tid=30739] ppid=30735 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30739/stat : 30739 (toysat) S 30735 30738 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13133052 1332285440 26298 33554432000 4194304 16246674 140735447335888 140247733087472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30738/tid=30740] ppid=30735 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30740/stat : 30740 (toysat) S 30735 30738 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13133052 1332285440 26309 33554432000 4194304 16246674 140735447335888 140247722597616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30738/tid=30741] ppid=30735 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30741/stat : 30741 (toysat) S 30735 30738 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13133052 1332285440 26319 33554432000 4194304 16246674 140735447335888 140247712124080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200534 s]
/proc/loadavg: 2.04 2.05 2.18 3/180 30738
/proc/meminfo: memFree=31257104/32872528 swapFree=496356/529060
[pid=30738] ppid=30735 vsize=1314372 CPUtime=0.19 cores=1,3,5,7
/proc/30738/stat : 30738 (toysat) R 30735 30738 28709 0 -1 4202496 47084 0 0 0 13 6 0 0 20 0 4 0 13133051 1345916928 47384 33554432000 4194304 16246674 140735447335888 140735447334552 7852948 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30738/statm: 328593 47384 803 2943 0 325487 0
[pid=30738/tid=30739] ppid=30735 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30739/stat : 30739 (toysat) S 30735 30738 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13133052 1345916928 47384 33554432000 4194304 16246674 140735447335888 140247733087472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30738/tid=30740] ppid=30735 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30740/stat : 30740 (toysat) S 30735 30738 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13133052 1345916928 47384 33554432000 4194304 16246674 140735447335888 140247722597616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30738/tid=30741] ppid=30735 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30741/stat : 30741 (toysat) S 30735 30738 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13133052 1345916928 47384 33554432000 4194304 16246674 140735447335888 140247712124080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300506 s]
/proc/loadavg: 2.04 2.05 2.18 3/180 30738
/proc/meminfo: memFree=31257104/32872528 swapFree=496356/529060
[pid=30738] ppid=30735 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/30738/stat : 30738 (toysat) R 30735 30738 28709 0 -1 4202496 65204 0 0 0 21 8 0 0 20 0 4 0 13133051 1345916928 65504 33554432000 4194304 16246674 140735447335888 140735447334552 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30738/statm: 328593 65504 803 2943 0 325487 0
[pid=30738/tid=30739] ppid=30735 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30739/stat : 30739 (toysat) S 30735 30738 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13133052 1345916928 65504 33554432000 4194304 16246674 140735447335888 140247733087472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30738/tid=30740] ppid=30735 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30740/stat : 30740 (toysat) S 30735 30738 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13133052 1345916928 65504 33554432000 4194304 16246674 140735447335888 140247722597616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30738/tid=30741] ppid=30735 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30741/stat : 30741 (toysat) S 30735 30738 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13133052 1345916928 65504 33554432000 4194304 16246674 140735447335888 140247712124080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700414 s]
/proc/loadavg: 2.04 2.05 2.18 3/180 30738
/proc/meminfo: memFree=31257104/32872528 swapFree=496356/529060
[pid=30738] ppid=30735 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/30738/stat : 30738 (toysat) R 30735 30738 28709 0 -1 4202496 70985 0 0 0 60 9 0 0 20 0 4 0 13133051 1345916928 71285 33554432000 4194304 16246674 140735447335888 140735447334552 7440264 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30738/statm: 328593 71285 803 2943 0 325487 0
[pid=30738/tid=30739] ppid=30735 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30739/stat : 30739 (toysat) S 30735 30738 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13133052 1345916928 71285 33554432000 4194304 16246674 140735447335888 140247733087472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30738/tid=30740] ppid=30735 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30740/stat : 30740 (toysat) S 30735 30738 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13133052 1345916928 71285 33554432000 4194304 16246674 140735447335888 140247722597616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30738/tid=30741] ppid=30735 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30741/stat : 30741 (toysat) S 30735 30738 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13133052 1345916928 71285 33554432000 4194304 16246674 140735447335888 140247712124080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50043 s]
/proc/loadavg: 2.04 2.04 2.18 3/184 30742
/proc/meminfo: memFree=30738724/32872528 swapFree=496356/529060
[pid=30738] ppid=30735 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/30738/stat : 30738 (toysat) R 30735 30738 28709 0 -1 4202496 85838 0 0 0 137 12 0 0 20 0 4 0 13133051 1345916928 86138 33554432000 4194304 16246674 140735447335888 140735447333696 8058688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30738/statm: 328593 86138 804 2943 0 325487 0
[pid=30738/tid=30739] ppid=30735 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30739/stat : 30739 (toysat) S 30735 30738 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13133052 1345916928 86138 33554432000 4194304 16246674 140735447335888 140247733087472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30738/tid=30740] ppid=30735 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30740/stat : 30740 (toysat) S 30735 30738 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13133052 1345916928 86138 33554432000 4194304 16246674 140735447335888 140247722597616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30738/tid=30741] ppid=30735 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30741/stat : 30741 (toysat) S 30735 30738 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13133052 1345916928 86138 33554432000 4194304 16246674 140735447335888 140247712124080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10042 s]
/proc/loadavg: 2.04 2.04 2.18 3/184 30742
/proc/meminfo: memFree=30540696/32872528 swapFree=496356/529060
[pid=30738] ppid=30735 vsize=1322564 CPUtime=3.09 cores=1,3,5,7
/proc/30738/stat : 30738 (toysat) R 30735 30738 28709 0 -1 4202496 121426 0 0 0 291 18 0 0 20 0 4 0 13133051 1354305536 121726 33554432000 4194304 16246674 140735447335888 140735447318880 12459087 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30738/statm: 330641 121726 831 2943 0 327535 0
[pid=30738/tid=30739] ppid=30735 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30739/stat : 30739 (toysat) S 30735 30738 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13133052 1354305536 121726 33554432000 4194304 16246674 140735447335888 140247733087472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30738/tid=30740] ppid=30735 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30740/stat : 30740 (toysat) S 30735 30738 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13133052 1354305536 121726 33554432000 4194304 16246674 140735447335888 140247722597616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30738/tid=30741] ppid=30735 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30741/stat : 30741 (toysat) S 30735 30738 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13133052 1354305536 121726 33554432000 4194304 16246674 140735447335888 140247712124080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1322564

[startup+6.3004 s]
/proc/loadavg: 2.04 2.04 2.18 3/184 30742
/proc/meminfo: memFree=30043040/32872528 swapFree=496356/529060
[pid=30738] ppid=30735 vsize=1351236 CPUtime=6.29 cores=1,3,5,7
/proc/30738/stat : 30738 (toysat) R 30735 30738 28709 0 -1 4202496 257182 0 0 0 593 36 0 0 20 0 4 0 13133051 1383665664 257483 33554432000 4194304 16246674 140735447335888 140735447317760 12481124 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30738/statm: 337809 257494 839 2943 0 334703 0
[pid=30738/tid=30739] ppid=30735 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30739/stat : 30739 (toysat) S 30735 30738 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13133052 1383665664 257500 33554432000 4194304 16246674 140735447335888 140247733087472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30738/tid=30740] ppid=30735 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30740/stat : 30740 (toysat) S 30735 30738 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13133052 1383665664 257507 33554432000 4194304 16246674 140735447335888 140247722597616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30738/tid=30741] ppid=30735 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30741/stat : 30741 (toysat) S 30735 30738 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13133052 1383665664 257514 33554432000 4194304 16246674 140735447335888 140247712124080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1351236

[startup+12.7004 s]
/proc/loadavg: 2.03 2.04 2.17 3/184 30742
/proc/meminfo: memFree=28558652/32872528 swapFree=496356/529060
[pid=30738] ppid=30735 vsize=1658436 CPUtime=12.69 cores=1,3,5,7
/proc/30738/stat : 30738 (toysat) R 30735 30738 28709 0 -1 4202496 355236 0 0 0 1220 49 0 0 20 0 4 0 13133051 1698238464 355536 33554432000 4194304 16246674 140735447335888 140735447333696 4206864 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30738/statm: 414609 355536 839 2943 0 411503 0
[pid=30738/tid=30739] ppid=30735 vsize=1658436 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30739/stat : 30739 (toysat) S 30735 30738 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13133052 1698238464 355536 33554432000 4194304 16246674 140735447335888 140247733087472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30738/tid=30740] ppid=30735 vsize=1658436 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30740/stat : 30740 (toysat) S 30735 30738 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13133052 1698238464 355536 33554432000 4194304 16246674 140735447335888 140247722597392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30738/tid=30741] ppid=30735 vsize=1658436 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30741/stat : 30741 (toysat) S 30735 30738 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13133052 1698238464 355536 33554432000 4194304 16246674 140735447335888 140247712124080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1658436

[startup+25.5005 s]
/proc/loadavg: 2.02 2.04 2.17 3/184 30742
/proc/meminfo: memFree=28497004/32872528 swapFree=496356/529060
[pid=30738] ppid=30735 vsize=1675844 CPUtime=25.48 cores=1,3,5,7
/proc/30738/stat : 30738 (toysat) R 30735 30738 28709 0 -1 4202496 359594 0 0 0 2498 50 0 0 20 0 4 0 13133051 1716064256 359894 33554432000 4194304 16246674 140735447335888 140735447317760 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30738/statm: 418961 359894 845 2943 0 415855 0
[pid=30738/tid=30739] ppid=30735 vsize=1675844 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30739/stat : 30739 (toysat) S 30735 30738 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13133052 1716064256 359894 33554432000 4194304 16246674 140735447335888 140247733087472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30738/tid=30740] ppid=30735 vsize=1675844 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30740/stat : 30740 (toysat) S 30735 30738 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13133052 1716064256 359894 33554432000 4194304 16246674 140735447335888 140247722597616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30738/tid=30741] ppid=30735 vsize=1675844 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30741/stat : 30741 (toysat) S 30735 30738 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13133052 1716064256 359894 33554432000 4194304 16246674 140735447335888 140247712124080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1675844

[startup+51.1005 s]
/proc/loadavg: 2.20 2.08 2.18 3/183 30742
/proc/meminfo: memFree=28496760/32872528 swapFree=496356/529060
[pid=30738] ppid=30735 vsize=1675844 CPUtime=51.08 cores=1,3,5,7
/proc/30738/stat : 30738 (toysat) R 30735 30738 28709 0 -1 4202496 359594 0 0 0 5058 50 0 0 20 0 4 0 13133051 1716064256 359894 33554432000 4194304 16246674 140735447335888 140735447317760 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30738/statm: 418961 359894 845 2943 0 415855 0
[pid=30738/tid=30739] ppid=30735 vsize=1675844 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30739/stat : 30739 (toysat) S 30735 30738 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13133052 1716064256 359894 33554432000 4194304 16246674 140735447335888 140247733087472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30738/tid=30740] ppid=30735 vsize=1675844 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30740/stat : 30740 (toysat) S 30735 30738 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13133052 1716064256 359894 33554432000 4194304 16246674 140735447335888 140247722597616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30738/tid=30741] ppid=30735 vsize=1675844 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30741/stat : 30741 (toysat) S 30735 30738 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13133052 1716064256 359894 33554432000 4194304 16246674 140735447335888 140247712124080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1675844

[startup+102.301 s]
/proc/loadavg: 2.17 2.10 2.18 3/183 30743
/proc/meminfo: memFree=28496608/32872528 swapFree=496356/529060
[pid=30738] ppid=30735 vsize=1675844 CPUtime=102.28 cores=1,3,5,7
/proc/30738/stat : 30738 (toysat) R 30735 30738 28709 0 -1 4202496 359594 0 0 0 10178 50 0 0 20 0 4 0 13133051 1716064256 359894 33554432000 4194304 16246674 140735447335888 140735447317760 13807608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30738/statm: 418961 359894 845 2943 0 415855 0
[pid=30738/tid=30739] ppid=30735 vsize=1675844 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30739/stat : 30739 (toysat) S 30735 30738 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13133052 1716064256 359894 33554432000 4194304 16246674 140735447335888 140247733087472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30738/tid=30740] ppid=30735 vsize=1675844 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30740/stat : 30740 (toysat) S 30735 30738 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13133052 1716064256 359894 33554432000 4194304 16246674 140735447335888 140247722597616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30738/tid=30741] ppid=30735 vsize=1675844 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30741/stat : 30741 (toysat) S 30735 30738 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13133052 1716064256 359894 33554432000 4194304 16246674 140735447335888 140247712124080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1675844


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

/proc/30738/task/30741/stat : 30741 (toysat) S 30735 30738 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247712124080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1820228

[startup+1362.3 s]
/proc/loadavg: 2.05 2.05 2.06 3/183 30776
/proc/meminfo: memFree=28204612/32872528 swapFree=496356/529060
[pid=30738] ppid=30735 vsize=1820228 CPUtime=1362.08 cores=1,3,5,7
/proc/30738/stat : 30738 (toysat) R 30735 30738 28709 0 -1 4202496 395688 0 0 0 136153 55 0 0 20 0 4 0 13133051 1863913472 396241 33554432000 4194304 16246674 140735447335888 140735447317760 13807582 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30738/statm: 455057 396241 845 2943 0 451951 0
[pid=30738/tid=30739] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30739/stat : 30739 (toysat) S 30735 30738 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247733087472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30738/tid=30740] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30740/stat : 30740 (toysat) S 30735 30738 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247722597616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30738/tid=30741] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30741/stat : 30741 (toysat) S 30735 30738 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247712124080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1820228

[startup+1422.3 s]
/proc/loadavg: 2.08 2.05 2.06 3/183 30777
/proc/meminfo: memFree=28204748/32872528 swapFree=496356/529060
[pid=30738] ppid=30735 vsize=1820228 CPUtime=1422.08 cores=1,3,5,7
/proc/30738/stat : 30738 (toysat) R 30735 30738 28709 0 -1 4202496 395688 0 0 0 142153 55 0 0 20 0 4 0 13133051 1863913472 396241 33554432000 4194304 16246674 140735447335888 140735447317760 13807774 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30738/statm: 455057 396241 845 2943 0 451951 0
[pid=30738/tid=30739] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30739/stat : 30739 (toysat) S 30735 30738 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247733087472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30738/tid=30740] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30740/stat : 30740 (toysat) S 30735 30738 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247722597616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30738/tid=30741] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30741/stat : 30741 (toysat) S 30735 30738 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247712124080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1820228

[startup+1482.3 s]
/proc/loadavg: 2.08 2.06 2.06 3/183 30778
/proc/meminfo: memFree=28204636/32872528 swapFree=496356/529060
[pid=30738] ppid=30735 vsize=1820228 CPUtime=1482.06 cores=1,3,5,7
/proc/30738/stat : 30738 (toysat) R 30735 30738 28709 0 -1 4202496 395690 0 0 0 148151 55 0 0 20 0 4 0 13133051 1863913472 396241 33554432000 4194304 16246674 140735447335888 140735447317760 13807457 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30738/statm: 455057 396241 845 2943 0 451951 0
[pid=30738/tid=30739] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30739/stat : 30739 (toysat) S 30735 30738 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247733087472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30738/tid=30740] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30740/stat : 30740 (toysat) S 30735 30738 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247722597616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30738/tid=30741] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30741/stat : 30741 (toysat) S 30735 30738 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247712124080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1820228

[startup+1542.31 s]
/proc/loadavg: 2.06 2.06 2.06 3/183 30779
/proc/meminfo: memFree=28204636/32872528 swapFree=496356/529060
[pid=30738] ppid=30735 vsize=1820228 CPUtime=1542.06 cores=1,3,5,7
/proc/30738/stat : 30738 (toysat) R 30735 30738 28709 0 -1 4202496 395691 0 0 0 154151 55 0 0 20 0 4 0 13133051 1863913472 396241 33554432000 4194304 16246674 140735447335888 140735447317760 13923665 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30738/statm: 455057 396241 845 2943 0 451951 0
[pid=30738/tid=30739] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30739/stat : 30739 (toysat) S 30735 30738 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247733087472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30738/tid=30740] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30740/stat : 30740 (toysat) S 30735 30738 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247722597616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30738/tid=30741] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30741/stat : 30741 (toysat) S 30735 30738 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247712124080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1820228

[startup+1602.3 s]
/proc/loadavg: 2.07 2.06 2.06 3/183 30780
/proc/meminfo: memFree=28204508/32872528 swapFree=496356/529060
[pid=30738] ppid=30735 vsize=1820228 CPUtime=1602.04 cores=1,3,5,7
/proc/30738/stat : 30738 (toysat) R 30735 30738 28709 0 -1 4202496 395694 0 0 0 160149 55 0 0 20 0 4 0 13133051 1863913472 396241 33554432000 4194304 16246674 140735447335888 140735447317760 13817064 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30738/statm: 455057 396241 845 2943 0 451951 0
[pid=30738/tid=30739] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30739/stat : 30739 (toysat) S 30735 30738 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247733087472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30738/tid=30740] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30740/stat : 30740 (toysat) S 30735 30738 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247722597616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30738/tid=30741] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30741/stat : 30741 (toysat) S 30735 30738 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247712124080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1820228

[startup+1662.3 s]
/proc/loadavg: 2.02 2.05 2.06 3/182 30781
/proc/meminfo: memFree=28204532/32872528 swapFree=496356/529060
[pid=30738] ppid=30735 vsize=1820228 CPUtime=1662.03 cores=1,3,5,7
/proc/30738/stat : 30738 (toysat) R 30735 30738 28709 0 -1 4202496 395694 0 0 0 166148 55 0 0 20 0 4 0 13133051 1863913472 396241 33554432000 4194304 16246674 140735447335888 140735447317760 13807598 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30738/statm: 455057 396241 845 2943 0 451951 0
[pid=30738/tid=30739] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30739/stat : 30739 (toysat) S 30735 30738 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247733087472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30738/tid=30740] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30740/stat : 30740 (toysat) S 30735 30738 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247722597616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30738/tid=30741] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30741/stat : 30741 (toysat) S 30735 30738 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247712124080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1820228

[startup+1722.3 s]
/proc/loadavg: 2.09 2.05 2.05 4/183 30783
/proc/meminfo: memFree=28204352/32872528 swapFree=496356/529060
[pid=30738] ppid=30735 vsize=1820228 CPUtime=1722.02 cores=1,3,5,7
/proc/30738/stat : 30738 (toysat) R 30735 30738 28709 0 -1 4202496 395694 0 0 0 172147 55 0 0 20 0 4 0 13133051 1863913472 396241 33554432000 4194304 16246674 140735447335888 140735447317760 13807443 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30738/statm: 455057 396241 845 2943 0 451951 0
[pid=30738/tid=30739] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30739/stat : 30739 (toysat) S 30735 30738 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247733087472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30738/tid=30740] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30740/stat : 30740 (toysat) S 30735 30738 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247722597616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30738/tid=30741] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30741/stat : 30741 (toysat) S 30735 30738 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247712124080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1820228

[startup+1782.3 s]
/proc/loadavg: 2.19 2.08 2.06 3/184 30787
/proc/meminfo: memFree=28204188/32872528 swapFree=496356/529060
[pid=30738] ppid=30735 vsize=1820228 CPUtime=1782.01 cores=1,3,5,7
/proc/30738/stat : 30738 (toysat) R 30735 30738 28709 0 -1 4202496 395694 0 0 0 178146 55 0 0 20 0 4 0 13133051 1863913472 396241 33554432000 4194304 16246674 140735447335888 140735447317760 13807696 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30738/statm: 455057 396241 845 2943 0 451951 0
[pid=30738/tid=30739] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30739/stat : 30739 (toysat) S 30735 30738 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247733087472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30738/tid=30740] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30740/stat : 30740 (toysat) S 30735 30738 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247722597616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30738/tid=30741] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30741/stat : 30741 (toysat) S 30735 30738 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247712124080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1820228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.14 2.08 2.06 3/183 30787
/proc/meminfo: memFree=28204552/32872528 swapFree=496356/529060
[pid=30738] ppid=30735 vsize=1820228 CPUtime=1800.01 cores=1,3,5,7
/proc/30738/stat : 30738 (toysat) R 30735 30738 28709 0 -1 4202496 395694 0 0 0 179946 55 0 0 20 0 4 0 13133051 1863913472 396241 33554432000 4194304 16246674 140735447335888 140735447317760 13774090 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30738/statm: 455057 396241 845 2943 0 451951 0
[pid=30738/tid=30739] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30739/stat : 30739 (toysat) S 30735 30738 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247733087472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30738/tid=30740] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30740/stat : 30740 (toysat) S 30735 30738 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247722597616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30738/tid=30741] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30741/stat : 30741 (toysat) S 30735 30738 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247712124080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1820228

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

[startup+1800.3 s]
/proc/loadavg: 2.14 2.08 2.06 3/183 30787
/proc/meminfo: memFree=28204552/32872528 swapFree=496356/529060
[pid=30738] ppid=30735 vsize=1820228 CPUtime=1800.01 cores=1,3,5,7
/proc/30738/stat : 30738 (toysat) R 30735 30738 28709 0 -1 4202496 395694 0 0 0 179946 55 0 0 20 0 4 0 13133051 1863913472 396241 33554432000 4194304 16246674 140735447335888 140735447317760 13774090 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30738/statm: 455057 396241 845 2943 0 451951 0
[pid=30738/tid=30739] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30739/stat : 30739 (toysat) S 30735 30738 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247733087472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30738/tid=30740] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30740/stat : 30740 (toysat) S 30735 30738 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247722597616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30738/tid=30741] ppid=30735 vsize=1820228 CPUtime=0 cores=1,3,5,7
/proc/30738/task/30741/stat : 30741 (toysat) S 30735 30738 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13133052 1863913472 396241 33554432000 4194304 16246674 140735447335888 140247712124080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1820228

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.33
CPU time (s): 1800.05
CPU user time (s): 1799.47
CPU system time (s): 0.576912
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 1820228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.576912
maximum resident set size= 1584964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 395694
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= 39
involuntary context switches= 1870

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.88126 second user time and 6.72398 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-16 23:01:16
IDJOB=4093173
IDBENCH=79643
IDSOLVER=2553
FILE ID=node141/4093173-1466110876
RUNJOBID= node141-1466109073-30540
PBS_JOBID= 19904052
Free space on /tmp= 71684 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/graphs/normalized-graph07_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093173-1466110876/watcher-4093173-1466110876 -o /tmp/evaluation-result-4093173-1466110876/solver-4093173-1466110876 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466109073-30540 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093173-1466110876.wbo

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

MD5SUM BENCH= fddb3e21e350e2df5161d1678905aa9f
RANDOM SEED=424026625

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.547
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.547
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31282672 kB
Buffers:           60852 kB
Cached:           197144 kB
SwapCached:         2876 kB
Active:           249652 kB
Inactive:         102224 kB
Active(anon):      94180 kB
Inactive(anon):     2160 kB
Active(file):     155472 kB
Inactive(file):   100064 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67099004 kB
Dirty:             63684 kB
Writeback:             0 kB
AnonPages:        588440 kB
Mapped:            10416 kB
Shmem:                 0 kB
Slab:             572828 kB
SReclaimable:      16700 kB
SUnreclaim:       556128 kB
KernelStack:        1496 kB
PageTables:         6656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1660796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71668 MiB
End job on node141 at 2016-06-16 23:31:17