Trace number 4093281

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.71 1801.03

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap81_wcsp.wbo
MD5SUM82056375080d1ec55a672c8d47702d0f
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark15079894
Best CPU time to get the best result obtained on this benchmark1800.08
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1300
Total number of constraints2598
Number of soft constraints2523
Number of constraints which are clauses2523
Number of constraints which are cardinality constraints (but not clauses)75
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint25
Top cost 59386724
Min constraint cost 1
Max constraint cost 59386724
Sum of constraints costs 74836280126
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T21:01:22+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-4093281-1466103682.wbo"]
0.00/0.01	c use --random-gen="930241867 2447774132 1724762194 438757310 3521945637 4121578674 1570526424 712947655 3072108182 2735050952 3849796393 1734746153 2756731261 560283363 1967869011 930109142 3407357065 4043678298 1832979886 1185955760 3065175353 1255487282 3697016119 3744112806 453996384 1853922504 401054733 4135309505 1955611567 1176725544 121807787 565815907 1834859484 563436257 2193471198 1775956654 819527665 3540216777 2867573230 970720938 2168829820 3434444137 3727246196 1495599387 910389500 3892043639 2545882156 2562283572 3742463275 361383034 2163151676 2544038654 2223417735 672752461 1942760166 3797330364 3157229989 1750567474 3260322018 2027939517 2222696050 681225683 2012881020 2558022279 3856100465 2070561267 2091810637 3635139193 1113295563 2539711185 2810454194 710351446 4248232950 825582336 1835050010 4243636284 1987061524 770607886 407254735 2579275164 1287964678 3150273310 1173875743 3012489664 2821069341 1915014748 1356209040 2020839413 974345332 2595847759 979351841 3052291650 3128056643 4198054768 759208071 3757408326 685008632 3724482192 135867975 306720475 3183483211 4070856405 4195254907 1072697290 3551315354 2515071652 3493406531 4216542638 1415874218 548225957 1770569292 1061565662 2258539749 1239278559 4033453952 2398032365 1851849561 1826674311 1351759276 3884519135 1813467851 3362283394 288997333 4019763572 2181226445 3446992424 623349197 2681353769 3660932448 3140659881 773205002 4195104983 890513309 3218873514 1704306536 340296013 1962965948 353464281 1943045668 3555990777 87379748 1140972990 1898491162 3242115669 1143812835 3673258687 2737411317 2282491944 2167316673 116244102 426457517 1897742839 3473387306 2849917966 1306667784 1605755449 928426970 1296504206 3354859746 334250175 3093544971 693459369 4259099951 1784218260 2120853109 323033026 2244794369 879934041 427268891 1410327270 4090569800 3933748098 68519299 1446241822 450851563 3549252924 1129762378 1980267572 791029264 3083779429 2828876114 3229701316 178778281 797994387 3358866431 852764773 387483937 785398079 2129183805 805961523 3623813281 4248479882 2983771708 1658607830 1245628785 3159169963 497822285 2393739897 1067365751 3153660924 3298861573 157345213 1928801999 3494250071 1469700906 3781537507 3366333529 1328423398 4162093906 2591137308 3991195115 2941683854 586986601 2425204432 4099872028 1008982082 2734074764 3272303972 3280686598 1986273774 3210205316 644927780 1628533069 2449793121 3731368632 3017587332 1647387268 2813226131 1545868492 1316278211 2288718910 3819626914 3740476007 3210503764 882551125 2272318762 373485195 2580207229 2162377011 3604836136 2249698275 3138212947 3973722750 2859071848 1938362198 2126648145 3101290578 3203548023 1045896788 3185216471 4141909043 886880369 800650995 2090451370 1008675197 211935172 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-4093281-1466103682/watcher-4093281-1466103682 -o /tmp/evaluation-result-4093281-1466103682/solver-4093281-1466103682 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466103682-14218 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093281-1466103682.wbo 

pid=14234
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: 1.08 1.28 1.70 3/172 14237
/proc/meminfo: memFree=30661808/32872528 swapFree=1199460/1313924
[pid=14237] ppid=14234 vsize=751036 CPUtime=0 cores=1,3,5,7
/proc/14237/stat : 14237 (toysat) R 14234 14237 13694 0 -1 4202496 2804 0 0 0 0 0 0 0 20 0 4 0 12414704 769060864 3166 33554432000 4194304 16246674 140734256591120 140734256590544 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14237/statm: 188527 3179 441 2943 0 185421 0
[pid=14237/tid=14238] ppid=14234 vsize=767556 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14238/stat : 14238 (toysat) S 14234 14237 13694 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12414704 785977344 3234 33554432000 4194304 16246674 140734256591120 140556567031024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14237/tid=14239] ppid=14234 vsize=771652 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14239/stat : 14239 (toysat) S 14234 14237 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12414704 790171648 3251 33554432000 4194304 16246674 140734256591120 140556556541168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14237/tid=14240] ppid=14234 vsize=776772 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14240/stat : 14240 (toysat) S 14234 14237 13694 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12414704 795414528 3268 33554432000 4194304 16246674 140734256591120 140556546067632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100122 s]
/proc/loadavg: 1.08 1.28 1.70 3/172 14237
/proc/meminfo: memFree=30661808/32872528 swapFree=1199460/1313924
[pid=14237] ppid=14234 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/14237/stat : 14237 (toysat) R 14234 14237 13694 0 -1 4202496 27138 0 0 0 5 4 0 0 20 0 4 0 12414704 1247350784 27492 33554432000 4194304 16246674 140734256591120 140734256590544 12459048 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14237/statm: 304529 27501 615 2943 0 301423 0
[pid=14237/tid=14238] ppid=14234 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14238/stat : 14238 (toysat) S 14234 14237 13694 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12414704 1247350784 27507 33554432000 4194304 16246674 140734256591120 140556567031024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14237/tid=14239] ppid=14234 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14239/stat : 14239 (toysat) S 14234 14237 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12414704 1247350784 27514 33554432000 4194304 16246674 140734256591120 140556556541168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14237/tid=14240] ppid=14234 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14240/stat : 14240 (toysat) S 14234 14237 13694 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12414704 1247350784 27520 33554432000 4194304 16246674 140734256591120 140556546067632 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) 1218116

[startup+0.200454 s]
/proc/loadavg: 1.08 1.28 1.70 3/172 14237
/proc/meminfo: memFree=30661808/32872528 swapFree=1199460/1313924
[pid=14237] ppid=14234 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/14237/stat : 14237 (toysat) R 14234 14237 13694 0 -1 4202496 28780 0 0 0 14 5 0 0 20 0 4 0 12414704 1250496512 29088 33554432000 4194304 16246674 140734256591120 140734256590432 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14237/statm: 305297 29088 842 2943 0 302191 0
[pid=14237/tid=14238] ppid=14234 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14238/stat : 14238 (toysat) S 14234 14237 13694 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12414704 1250496512 29088 33554432000 4194304 16246674 140734256591120 140556567031024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14237/tid=14239] ppid=14234 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14239/stat : 14239 (toysat) S 14234 14237 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12414704 1250496512 29088 33554432000 4194304 16246674 140734256591120 140556556541168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14237/tid=14240] ppid=14234 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14240/stat : 14240 (toysat) S 14234 14237 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12414704 1250496512 29088 33554432000 4194304 16246674 140734256591120 140556546067632 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) 1221188

[startup+0.300445 s]
/proc/loadavg: 1.08 1.28 1.70 3/172 14237
/proc/meminfo: memFree=30661808/32872528 swapFree=1199460/1313924
[pid=14237] ppid=14234 vsize=1221188 CPUtime=0.29 cores=1,3,5,7
/proc/14237/stat : 14237 (toysat) R 14234 14237 13694 0 -1 4202496 28780 0 0 0 24 5 0 0 20 0 4 0 12414704 1250496512 29088 33554432000 4194304 16246674 140734256591120 140734256590432 12399649 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14237/statm: 305297 29088 842 2943 0 302191 0
[pid=14237/tid=14238] ppid=14234 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14238/stat : 14238 (toysat) S 14234 14237 13694 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12414704 1250496512 29088 33554432000 4194304 16246674 140734256591120 140556567031024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14237/tid=14239] ppid=14234 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14239/stat : 14239 (toysat) S 14234 14237 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12414704 1250496512 29088 33554432000 4194304 16246674 140734256591120 140556556541168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14237/tid=14240] ppid=14234 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14240/stat : 14240 (toysat) S 14234 14237 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12414704 1250496512 29088 33554432000 4194304 16246674 140734256591120 140556546067632 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) 1221188

[startup+0.700325 s]
/proc/loadavg: 1.08 1.28 1.70 3/172 14237
/proc/meminfo: memFree=30661808/32872528 swapFree=1199460/1313924
[pid=14237] ppid=14234 vsize=1221188 CPUtime=0.69 cores=1,3,5,7
/proc/14237/stat : 14237 (toysat) R 14234 14237 13694 0 -1 4202496 29408 0 0 0 64 5 0 0 20 0 4 0 12414704 1250496512 29716 33554432000 4194304 16246674 140734256591120 140734256572992 12459048 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14237/statm: 305297 29717 842 2943 0 302191 0
[pid=14237/tid=14238] ppid=14234 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14238/stat : 14238 (toysat) S 14234 14237 13694 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12414704 1250496512 29717 33554432000 4194304 16246674 140734256591120 140556567031024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14237/tid=14239] ppid=14234 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14239/stat : 14239 (toysat) S 14234 14237 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12414704 1250496512 29717 33554432000 4194304 16246674 140734256591120 140556556541168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14237/tid=14240] ppid=14234 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14240/stat : 14240 (toysat) S 14234 14237 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12414704 1250496512 29717 33554432000 4194304 16246674 140734256591120 140556546067632 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) 1221188

[startup+1.50032 s]
/proc/loadavg: 1.08 1.28 1.70 3/184 14254
/proc/meminfo: memFree=30340352/32872528 swapFree=1199460/1313924
[pid=14237] ppid=14234 vsize=1221188 CPUtime=1.49 cores=1,3,5,7
/proc/14237/stat : 14237 (toysat) R 14234 14237 13694 0 -1 4202496 47452 0 0 0 142 7 0 0 20 0 4 0 12414704 1250496512 47760 33554432000 4194304 16246674 140734256591120 140734256572992 13956064 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14237/statm: 305297 47760 842 2943 0 302191 0
[pid=14237/tid=14238] ppid=14234 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14238/stat : 14238 (toysat) S 14234 14237 13694 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12414704 1250496512 47760 33554432000 4194304 16246674 140734256591120 140556567031024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14237/tid=14239] ppid=14234 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14239/stat : 14239 (toysat) S 14234 14237 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12414704 1250496512 47760 33554432000 4194304 16246674 140734256591120 140556556541168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14237/tid=14240] ppid=14234 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14240/stat : 14240 (toysat) S 14234 14237 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12414704 1250496512 47760 33554432000 4194304 16246674 140734256591120 140556546067632 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) 1221188

[startup+3.10035 s]
/proc/loadavg: 1.08 1.28 1.70 3/184 14254
/proc/meminfo: memFree=30149020/32872528 swapFree=1199460/1313924
[pid=14237] ppid=14234 vsize=1221188 CPUtime=3.09 cores=1,3,5,7
/proc/14237/stat : 14237 (toysat) R 14234 14237 13694 0 -1 4202496 92226 0 0 0 295 14 0 0 20 0 4 0 12414704 1250496512 92534 33554432000 4194304 16246674 140734256591120 140734256572992 12481124 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14237/statm: 305297 92543 842 2943 0 302191 0
[pid=14237/tid=14238] ppid=14234 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14238/stat : 14238 (toysat) S 14234 14237 13694 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12414704 1250496512 92548 33554432000 4194304 16246674 140734256591120 140556567031024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14237/tid=14239] ppid=14234 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14239/stat : 14239 (toysat) S 14234 14237 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12414704 1250496512 92554 33554432000 4194304 16246674 140734256591120 140556556541168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14237/tid=14240] ppid=14234 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14240/stat : 14240 (toysat) S 14234 14237 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12414704 1250496512 92559 33554432000 4194304 16246674 140734256591120 140556546067632 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) 1221188

[startup+6.30036 s]
/proc/loadavg: 1.24 1.31 1.71 3/184 14254
/proc/meminfo: memFree=28913164/32872528 swapFree=1199460/1313924
[pid=14237] ppid=14234 vsize=1277508 CPUtime=6.29 cores=1,3,5,7
/proc/14237/stat : 14237 (toysat) R 14234 14237 13694 0 -1 4202496 260311 0 0 0 595 34 0 0 20 0 4 0 12414704 1308168192 260619 33554432000 4194304 16246674 140734256591120 140734256572992 12481366 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14237/statm: 319377 260619 842 2943 0 316271 0
[pid=14237/tid=14238] ppid=14234 vsize=1277508 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14238/stat : 14238 (toysat) S 14234 14237 13694 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12414704 1308168192 260619 33554432000 4194304 16246674 140734256591120 140556567031024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14237/tid=14239] ppid=14234 vsize=1277508 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14239/stat : 14239 (toysat) S 14234 14237 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12414704 1308168192 260619 33554432000 4194304 16246674 140734256591120 140556556541168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14237/tid=14240] ppid=14234 vsize=1277508 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14240/stat : 14240 (toysat) S 14234 14237 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12414704 1308168192 260619 33554432000 4194304 16246674 140734256591120 140556546067632 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) 1277508

[startup+12.7004 s]
/proc/loadavg: 1.30 1.32 1.71 3/184 14254
/proc/meminfo: memFree=28497964/32872528 swapFree=1199460/1313924
[pid=14237] ppid=14234 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/14237/stat : 14237 (toysat) R 14234 14237 13694 0 -1 4202496 267926 0 0 0 1234 35 0 0 20 0 4 0 12414704 1338576896 268234 33554432000 4194304 16246674 140734256591120 140734256572992 13955810 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14237/statm: 326801 268234 844 2943 0 323695 0
[pid=14237/tid=14238] ppid=14234 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14238/stat : 14238 (toysat) S 14234 14237 13694 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12414704 1338576896 268234 33554432000 4194304 16246674 140734256591120 140556567031024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14237/tid=14239] ppid=14234 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14239/stat : 14239 (toysat) S 14234 14237 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12414704 1338576896 268234 33554432000 4194304 16246674 140734256591120 140556556541168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14237/tid=14240] ppid=14234 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14240/stat : 14240 (toysat) S 14234 14237 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12414704 1338576896 268234 33554432000 4194304 16246674 140734256591120 140556546067632 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) 1307204

[startup+25.5004 s]
/proc/loadavg: 1.45 1.36 1.71 3/184 14254
/proc/meminfo: memFree=28498724/32872528 swapFree=1199460/1313924
[pid=14237] ppid=14234 vsize=1307204 CPUtime=25.48 cores=1,3,5,7
/proc/14237/stat : 14237 (toysat) R 14234 14237 13694 0 -1 4202496 267926 0 0 0 2513 35 0 0 20 0 4 0 12414704 1338576896 268234 33554432000 4194304 16246674 140734256591120 140734256572992 13923733 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14237/statm: 326801 268234 844 2943 0 323695 0
[pid=14237/tid=14238] ppid=14234 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14238/stat : 14238 (toysat) S 14234 14237 13694 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12414704 1338576896 268234 33554432000 4194304 16246674 140734256591120 140556567031024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14237/tid=14239] ppid=14234 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14239/stat : 14239 (toysat) S 14234 14237 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12414704 1338576896 268234 33554432000 4194304 16246674 140734256591120 140556556541168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14237/tid=14240] ppid=14234 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14240/stat : 14240 (toysat) S 14234 14237 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12414704 1338576896 268234 33554432000 4194304 16246674 140734256591120 140556546067632 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) 1307204

[startup+51.1004 s]
/proc/loadavg: 1.64 1.41 1.72 3/183 14254
/proc/meminfo: memFree=28498736/32872528 swapFree=1199460/1313924
[pid=14237] ppid=14234 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/14237/stat : 14237 (toysat) R 14234 14237 13694 0 -1 4202496 267926 0 0 0 5073 35 0 0 20 0 4 0 12414704 1338576896 268234 33554432000 4194304 16246674 140734256591120 140734256572992 6132539 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14237/statm: 326801 268234 844 2943 0 323695 0
[pid=14237/tid=14238] ppid=14234 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14238/stat : 14238 (toysat) S 14234 14237 13694 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12414704 1338576896 268234 33554432000 4194304 16246674 140734256591120 140556567031024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14237/tid=14239] ppid=14234 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14239/stat : 14239 (toysat) S 14234 14237 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12414704 1338576896 268234 33554432000 4194304 16246674 140734256591120 140556556541168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14237/tid=14240] ppid=14234 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14240/stat : 14240 (toysat) S 14234 14237 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12414704 1338576896 268234 33554432000 4194304 16246674 140734256591120 140556546067632 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) 1307204

[startup+102.3 s]
/proc/loadavg: 1.84 1.50 1.73 3/183 14255
/proc/meminfo: memFree=28499020/32872528 swapFree=1199460/1313924
[pid=14237] ppid=14234 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/14237/stat : 14237 (toysat) R 14234 14237 13694 0 -1 4202496 267926 0 0 0 10193 35 0 0 20 0 4 0 12414704 1338576896 268234 33554432000 4194304 16246674 140734256591120 140734256572992 6132605 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14237/statm: 326801 268234 844 2943 0 323695 0
[pid=14237/tid=14238] ppid=14234 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14238/stat : 14238 (toysat) S 14234 14237 13694 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12414704 1338576896 268234 33554432000 4194304 16246674 140734256591120 140556567031024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14237/tid=14239] ppid=14234 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14239/stat : 14239 (toysat) S 14234 14237 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12414704 1338576896 268234 33554432000 4194304 16246674 140734256591120 140556556541168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14237/tid=14240] ppid=14234 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14240/stat : 14240 (toysat) S 14234 14237 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12414704 1338576896 268234 33554432000 4194304 16246674 140734256591120 140556546067632 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) 1307204


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

[pid=14237] ppid=14234 vsize=13327940 CPUtime=1362.06 cores=1,3,5,7
/proc/14237/stat : 14237 (toysat) R 14234 14237 13694 0 -1 4202496 3273154 0 0 0 135673 533 0 0 20 0 4 0 12414704 13647810560 3273425 33554432000 4194304 16246674 140734256591120 140734256590296 13923665 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14237/statm: 3331985 3273425 845 2943 0 3328879 0
[pid=14237/tid=14238] ppid=14234 vsize=13327940 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14238/stat : 14238 (toysat) S 14234 14237 13694 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12414704 13647810560 3273425 33554432000 4194304 16246674 140734256591120 140556567031024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14237/tid=14239] ppid=14234 vsize=13327940 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14239/stat : 14239 (toysat) S 14234 14237 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12414704 13647810560 3273425 33554432000 4194304 16246674 140734256591120 140556556541168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14237/tid=14240] ppid=14234 vsize=13327940 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14240/stat : 14240 (toysat) S 14234 14237 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12414704 13647810560 3273425 33554432000 4194304 16246674 140734256591120 140556546067632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 13327940

[startup+1422.3 s]
/proc/loadavg: 2.14 2.14 2.01 3/183 14288
/proc/meminfo: memFree=4406752/32872528 swapFree=1199460/1313924
[pid=14237] ppid=14234 vsize=13327940 CPUtime=1422.05 cores=1,3,5,7
/proc/14237/stat : 14237 (toysat) R 14234 14237 13694 0 -1 4202496 3273155 0 0 0 141667 538 0 0 20 0 4 0 12414704 13647810560 3273425 33554432000 4194304 16246674 140734256591120 140734256590296 13809400 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14237/statm: 3331985 3273425 845 2943 0 3328879 0
[pid=14237/tid=14238] ppid=14234 vsize=13327940 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14238/stat : 14238 (toysat) S 14234 14237 13694 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12414704 13647810560 3273425 33554432000 4194304 16246674 140734256591120 140556567031024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14237/tid=14239] ppid=14234 vsize=13327940 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14239/stat : 14239 (toysat) S 14234 14237 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12414704 13647810560 3273425 33554432000 4194304 16246674 140734256591120 140556556541168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14237/tid=14240] ppid=14234 vsize=13327940 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14240/stat : 14240 (toysat) S 14234 14237 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12414704 13647810560 3273425 33554432000 4194304 16246674 140734256591120 140556546067632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 13327940

[startup+1482.3 s]
/proc/loadavg: 2.24 2.17 2.03 4/183 14289
/proc/meminfo: memFree=4406428/32872528 swapFree=1199460/1313924
[pid=14237] ppid=14234 vsize=13327940 CPUtime=1482.04 cores=1,3,5,7
/proc/14237/stat : 14237 (toysat) R 14234 14237 13694 0 -1 4202496 3273155 0 0 0 147660 544 0 0 20 0 4 0 12414704 13647810560 3273425 33554432000 4194304 16246674 140734256591120 140734256590296 13817016 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14237/statm: 3331985 3273425 845 2943 0 3328879 0
[pid=14237/tid=14238] ppid=14234 vsize=13327940 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14238/stat : 14238 (toysat) S 14234 14237 13694 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12414704 13647810560 3273425 33554432000 4194304 16246674 140734256591120 140556567031024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14237/tid=14239] ppid=14234 vsize=13327940 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14239/stat : 14239 (toysat) S 14234 14237 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12414704 13647810560 3273425 33554432000 4194304 16246674 140734256591120 140556556541168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14237/tid=14240] ppid=14234 vsize=13327940 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14240/stat : 14240 (toysat) S 14234 14237 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12414704 13647810560 3273425 33554432000 4194304 16246674 140734256591120 140556546067632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 13327940

[startup+1542.31 s]
/proc/loadavg: 2.27 2.19 2.04 3/183 14290
/proc/meminfo: memFree=4406832/32872528 swapFree=1199460/1313924
[pid=14237] ppid=14234 vsize=13327940 CPUtime=1542.04 cores=1,3,5,7
/proc/14237/stat : 14237 (toysat) R 14234 14237 13694 0 -1 4202496 3273155 0 0 0 153655 549 0 0 20 0 4 0 12414704 13647810560 3273425 33554432000 4194304 16246674 140734256591120 140734256590296 13955776 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14237/statm: 3331985 3273425 845 2943 0 3328879 0
[pid=14237/tid=14238] ppid=14234 vsize=13327940 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14238/stat : 14238 (toysat) S 14234 14237 13694 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12414704 13647810560 3273425 33554432000 4194304 16246674 140734256591120 140556567031024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14237/tid=14239] ppid=14234 vsize=13327940 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14239/stat : 14239 (toysat) S 14234 14237 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12414704 13647810560 3273425 33554432000 4194304 16246674 140734256591120 140556556541168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14237/tid=14240] ppid=14234 vsize=13327940 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14240/stat : 14240 (toysat) S 14234 14237 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12414704 13647810560 3273425 33554432000 4194304 16246674 140734256591120 140556546067632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 13327940

[startup+1602.3 s]
/proc/loadavg: 2.33 2.21 2.05 3/183 14291
/proc/meminfo: memFree=4407820/32872528 swapFree=1199460/1313924
[pid=14237] ppid=14234 vsize=13327940 CPUtime=1602.02 cores=1,3,5,7
/proc/14237/stat : 14237 (toysat) R 14234 14237 13694 0 -1 4202496 3273155 0 0 0 159648 554 0 0 20 0 4 0 12414704 13647810560 3273425 33554432000 4194304 16246674 140734256591120 140734256590296 6132432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14237/statm: 3331985 3273425 845 2943 0 3328879 0
[pid=14237/tid=14238] ppid=14234 vsize=13327940 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14238/stat : 14238 (toysat) S 14234 14237 13694 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12414704 13647810560 3273425 33554432000 4194304 16246674 140734256591120 140556567031024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14237/tid=14239] ppid=14234 vsize=13327940 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14239/stat : 14239 (toysat) S 14234 14237 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12414704 13647810560 3273425 33554432000 4194304 16246674 140734256591120 140556556541168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14237/tid=14240] ppid=14234 vsize=13327940 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14240/stat : 14240 (toysat) S 14234 14237 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12414704 13647810560 3273425 33554432000 4194304 16246674 140734256591120 140556546067632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 13327940

[startup+1662.3 s]
/proc/loadavg: 2.16 2.18 2.05 4/183 14292
/proc/meminfo: memFree=4407380/32872528 swapFree=1199460/1313924
[pid=14237] ppid=14234 vsize=13327940 CPUtime=1662.01 cores=1,3,5,7
/proc/14237/stat : 14237 (toysat) R 14234 14237 13694 0 -1 4202496 3273159 0 0 0 165643 558 0 0 20 0 4 0 12414704 13647810560 3273429 33554432000 4194304 16246674 140734256591120 140734256589056 14013885 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14237/statm: 3331985 3273429 849 2943 0 3328879 0
[pid=14237/tid=14238] ppid=14234 vsize=13327940 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14238/stat : 14238 (toysat) S 14234 14237 13694 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12414704 13647810560 3273429 33554432000 4194304 16246674 140734256591120 140556567031024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14237/tid=14239] ppid=14234 vsize=13327940 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14239/stat : 14239 (toysat) S 14234 14237 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12414704 13647810560 3273429 33554432000 4194304 16246674 140734256591120 140556556540944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14237/tid=14240] ppid=14234 vsize=13327940 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14240/stat : 14240 (toysat) S 14234 14237 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12414704 13647810560 3273429 33554432000 4194304 16246674 140734256591120 140556546067632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 13327940

[startup+1722.3 s]
/proc/loadavg: 2.23 2.21 2.07 3/184 14297
/proc/meminfo: memFree=4406312/32872528 swapFree=1199460/1313924
[pid=14237] ppid=14234 vsize=13327940 CPUtime=1722.01 cores=1,3,5,7
/proc/14237/stat : 14237 (toysat) R 14234 14237 13694 0 -1 4202496 3273159 0 0 0 171638 563 0 0 20 0 4 0 12414704 13647810560 3273429 33554432000 4194304 16246674 140734256591120 140734256590296 12481310 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14237/statm: 3331985 3273429 849 2943 0 3328879 0
[pid=14237/tid=14238] ppid=14234 vsize=13327940 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14238/stat : 14238 (toysat) S 14234 14237 13694 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12414704 13647810560 3273429 33554432000 4194304 16246674 140734256591120 140556567031024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14237/tid=14239] ppid=14234 vsize=13327940 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14239/stat : 14239 (toysat) S 14234 14237 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12414704 13647810560 3273429 33554432000 4194304 16246674 140734256591120 140556556541168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14237/tid=14240] ppid=14234 vsize=13327940 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14240/stat : 14240 (toysat) S 14234 14237 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12414704 13647810560 3273429 33554432000 4194304 16246674 140734256591120 140556546067632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 13327940

[startup+1782.3 s]
/proc/loadavg: 2.22 2.21 2.08 3/183 14298
/proc/meminfo: memFree=4407436/32872528 swapFree=1199460/1313924
[pid=14237] ppid=14234 vsize=13327940 CPUtime=1781.99 cores=1,3,5,7
/proc/14237/stat : 14237 (toysat) R 14234 14237 13694 0 -1 4202496 3273159 0 0 0 177632 567 0 0 20 0 4 0 12414704 13647810560 3273429 33554432000 4194304 16246674 140734256591120 140734256590296 6132521 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14237/statm: 3331985 3273429 849 2943 0 3328879 0
[pid=14237/tid=14238] ppid=14234 vsize=13327940 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14238/stat : 14238 (toysat) S 14234 14237 13694 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12414704 13647810560 3273429 33554432000 4194304 16246674 140734256591120 140556567031024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14237/tid=14239] ppid=14234 vsize=13327940 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14239/stat : 14239 (toysat) S 14234 14237 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12414704 13647810560 3273429 33554432000 4194304 16246674 140734256591120 140556556541168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14237/tid=14240] ppid=14234 vsize=13327940 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14240/stat : 14240 (toysat) S 14234 14237 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12414704 13647810560 3273429 33554432000 4194304 16246674 140734256591120 140556546067632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 13327940



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.24 2.21 2.08 3/183 14298
/proc/meminfo: memFree=4407320/32872528 swapFree=1199460/1313924
[pid=14237] ppid=14234 vsize=13327940 CPUtime=1800.09 cores=1,3,5,7
/proc/14237/stat : 14237 (toysat) R 14234 14237 13694 0 -1 4202496 3273159 0 0 0 179441 568 0 0 20 0 4 0 12414704 13647810560 3273429 33554432000 4194304 16246674 140734256591120 140734256590296 13817064 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14237/statm: 3331985 3273429 849 2943 0 3328879 0
[pid=14237/tid=14238] ppid=14234 vsize=13327940 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14238/stat : 14238 (toysat) S 14234 14237 13694 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12414704 13647810560 3273429 33554432000 4194304 16246674 140734256591120 140556567031024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14237/tid=14239] ppid=14234 vsize=13327940 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14239/stat : 14239 (toysat) S 14234 14237 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12414704 13647810560 3273429 33554432000 4194304 16246674 140734256591120 140556556541168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14237/tid=14240] ppid=14234 vsize=13327940 CPUtime=0 cores=1,3,5,7
/proc/14237/task/14240/stat : 14240 (toysat) S 14234 14237 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12414704 13647810560 3273429 33554432000 4194304 16246674 140734256591120 140556546067632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13327940

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

[startup+1800.81 s]
/proc/loadavg: 2.24 2.21 2.08 3/179 14298
/proc/meminfo: memFree=16526344/32872528 swapFree=1199460/1313924
[pid=14237] ppid=14234 vsize=0 CPUtime=1800.49 cores=1,3,5,7
/proc/14237/stat : 14237 (toysat) Z 14234 14237 13694 0 -1 4203532 3273159 0 0 0 179441 608 0 0 20 0 2 0 12414704 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14237/statm: 0 0 0 0 0 0 0
[pid=14237/tid=14239] ppid=14234 vsize=0 CPUtime=0.39 cores=1,3,5,7
/proc/14237/task/14239/stat : 14239 (toysat) R 14234 14237 13694 0 -1 4203588 8 0 0 0 0 39 0 0 20 0 2 0 12414704 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.49
Current children cumulated vsize (KiB) 0

[startup+1801 s]
/proc/loadavg: 2.24 2.21 2.08 3/179 14298
/proc/meminfo: memFree=16526344/32872528 swapFree=1199460/1313924
[pid=14237] ppid=14234 vsize=0 CPUtime=1800.69 cores=1,3,5,7
/proc/14237/stat : 14237 (toysat) Z 14234 14237 13694 0 -1 4203532 3273159 0 0 0 179441 628 0 0 20 0 2 0 12414704 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14237/statm: 0 0 0 0 0 0 0
[pid=14237/tid=14239] ppid=14234 vsize=0 CPUtime=0.58 cores=1,3,5,7
/proc/14237/task/14239/stat : 14239 (toysat) R 14234 14237 13694 0 -1 4203588 8 0 0 0 0 58 0 0 20 0 2 0 12414704 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.69
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.03
CPU time (s): 1800.71
CPU user time (s): 1794.42
CPU system time (s): 6.29504
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 13327940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.42
system time used= 6.29504
maximum resident set size= 13093716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3273159
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= 95
involuntary context switches= 1856

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.47732 second user time and 7.00293 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-16 21:01:22
IDJOB=4093281
IDBENCH=79541
IDSOLVER=2553
FILE ID=node131/4093281-1466103682
RUNJOBID= node131-1466103682-14218
PBS_JOBID= 19904055
Free space on /tmp= 71708 MiB

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

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

MD5SUM BENCH= 82056375080d1ec55a672c8d47702d0f
RANDOM SEED=1411328764

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:        30662816 kB
Buffers:           53588 kB
Cached:           137412 kB
SwapCached:         1964 kB
Active:           102392 kB
Inactive:          91324 kB
Active(anon):       3576 kB
Inactive(anon):     1452 kB
Active(file):      98816 kB
Inactive(file):    89872 kB
Unevictable:     1313924 kB
Mlocked:         1199460 kB
SwapTotal:      67108856 kB
SwapFree:       67099352 kB
Dirty:             16360 kB
Writeback:             0 kB
AnonPages:       1316380 kB
Mapped:             7020 kB
Shmem:                 0 kB
Slab:             568012 kB
SReclaimable:      12352 kB
SUnreclaim:       555660 kB
KernelStack:        1384 kB
PageTables:         6632 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1409072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    114688 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= 71672 MiB
End job on node131 at 2016-06-16 21:31:23