Trace number 4119015

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.13 1800.42

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-45.lin.opb
MD5SUM1a43e76df5cf12058a8563bf67a6b7a2
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-114288
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables43689
Total number of constraints87258
Number of constraints which are clauses43629
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints43629
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 43689
Biggest coefficient in the objective function 22846
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 9057216
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 22846
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 9057216
Number of bits of the biggest sum of numbers24
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-30T00:08:49+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","--pb","--search=bcd2","HOME/instance-4119015-1467238129.opb"]
0.00/0.01	c use --random-gen="3640932536 1409170090 643622265 998096304 2351936575 1166423394 2211579919 2184229533 159338504 1531033605 30139053 4268007305 1142067870 2335388780 3614564447 684244234 4121406234 702386974 3166912167 283750287 3271364742 1706817661 1937722762 2744770672 3834841454 1175524598 991162576 689916308 1767252308 3347690295 2443763872 2342837984 397831054 617848539 1388276793 3672082793 4198890275 222559556 2390368234 934123213 2218742156 2106940893 342098905 1359375858 4045593250 3714054455 524867198 315461109 304706265 2028495914 384758190 3497288802 908032442 3625729721 1168394105 3240368289 2961660257 2924859410 3887541121 830509941 2491756900 3723775998 2764252275 3319043298 3474341040 3745762860 4208840320 540144640 68251363 798599291 304288799 192457244 539276831 3122074193 2228890297 2926733604 3283571699 813094010 3153859424 1472338629 2745378105 2651913855 538371786 1001634760 3678755958 2034753411 4193601260 4075640319 225063012 3974972565 3929197091 985306416 1063475504 1920206476 794981539 1991203730 927063786 97377552 1088456101 1736842042 1061678993 1672078265 801305093 703437069 183900989 1398670534 1092262333 2462383709 3151800989 3742624605 1130464072 941126175 1992953559 2466479408 3320943165 3212370197 2979377986 496694815 2569691807 1950324964 4159887810 2735710234 3167829159 64921253 2734884030 2553267806 287424656 2188248637 2011130747 2824395253 2235958472 282649299 1383967346 447214798 1884810492 3544896152 2239753783 1269851238 2076984704 3920190091 3669513954 1392934203 4107190220 1882492181 3974409070 1295143628 1197882822 3845010425 2208025200 2507205974 1676258026 506075104 2296740245 4108615401 2875923220 947246627 2997725355 1203178116 1588953463 2885269858 1805711075 3894230492 4190439485 262906190 1015871478 4059244972 2954356130 1204342770 2177145542 697833775 3179157028 993452602 435085283 3911333645 3861387251 4018286904 399333215 354665473 2449353803 1371763498 1783478222 1667281953 1979186481 1908534148 557040248 1543637913 3400616994 2910338612 654966194 2670433147 1752868672 2080399777 1066130635 3781198098 2674375508 871772328 2710642069 1371557001 1978681289 2208405481 4015984195 2225937875 2388426222 3536729828 2908956463 1297863627 4040463405 829248334 81034336 686830383 3249483906 2582238129 4073763214 858806899 906421501 3913393107 128820039 2602332166 3357514163 768452685 1111132306 3106762314 886755096 1055914343 2624798076 235340028 2585887944 3327226913 2663687747 3009136524 1011080197 284631297 338829313 1901411317 733841872 1915206306 3015730547 2892774628 2624727948 1812777298 4167217590 3718468008 2217463997 644809683 1947855026 3443252333 2448504709 4189719127 3163427874 777570126 1094963242 3942108209 3584244004 173749672 2448740043 2653068759 255 362436" option to reproduce the execution
0.79/0.86	c #vars 43689
0.79/0.86	c #constraints 87258
2.59/2.70	c BCD2: Hardening is enabled.
2.59/2.70	c BCD2: BiasedSearch is enabled.
2.59/2.70	c Solving starts ...
2.59/2.70	c ============================[ Search Statistics ]============================
2.59/2.70	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.59/2.70	c       |         |          |          |    Limit     GC | Var      | Constra 
2.59/2.70	c =============================================================================
2.89/2.92	c  0.0s |       0 |        0 |        0 |    43649      0 |        0 |        0
2.89/2.94	c  0.2s |       0 |       59 |        0 |    43649      0 |        0 |        0
2.89/2.94	c #cpu_time = 0.207s
2.89/2.94	c #wall_clock_time = 0.207s
2.89/2.94	c #decision = 59
2.89/2.94	c #random_decision = 0
2.89/2.94	c #conflict = 0
2.89/2.94	c #restart = 0
2.89/2.95	o 0

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-4119015-1467238129/watcher-4119015-1467238129 -o /tmp/evaluation-result-4119015-1467238129/solver-4119015-1467238129 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1467215373-3684 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119015-1467238129.opb 

pid=5912
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.28 2.29 2.22 4/179 5915
/proc/meminfo: memFree=27401332/32872528 swapFree=1631852/1795372
[pid=5915] ppid=5912 vsize=763324 CPUtime=0 cores=1,3,5,7
/proc/5915/stat : 5915 (toysat) R 5912 5915 1867 0 -1 4202496 2856 0 0 0 0 0 0 0 20 0 4 0 2838913 781643776 2706 33554432000 4194304 16246674 140734340842448 140734340841872 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5915/statm: 191599 2718 441 2943 0 188493 0
[pid=5915/tid=5916] ppid=5912 vsize=781756 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5916/stat : 5916 (toysat) S 5912 5915 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2838913 800518144 2780 33554432000 4194304 16246674 140734340842448 140016809389296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5915/tid=5917] ppid=5912 vsize=786876 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5917/stat : 5917 (toysat) S 5912 5915 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2838913 805761024 2798 33554432000 4194304 16246674 140734340842448 140016798899440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5915/tid=5918] ppid=5912 vsize=790972 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5918/stat : 5918 (toysat) S 5912 5915 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2838913 809955328 2813 33554432000 4194304 16246674 140734340842448 140016788425904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100159 s]
/proc/loadavg: 2.28 2.29 2.22 4/179 5915
/proc/meminfo: memFree=27401332/32872528 swapFree=1631852/1795372
[pid=5915] ppid=5912 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/5915/stat : 5915 (toysat) R 5912 5915 1867 0 -1 4202496 28217 0 0 0 6 3 0 0 20 0 4 0 2838913 1332285440 28005 33554432000 4194304 16246674 140734340842448 140734340841760 8058796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5915/statm: 325265 28021 798 2943 0 322159 0
[pid=5915/tid=5916] ppid=5912 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5916/stat : 5916 (toysat) S 5912 5915 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2838913 1332285440 28033 33554432000 4194304 16246674 140734340842448 140016809389296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5915/tid=5917] ppid=5912 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5917/stat : 5917 (toysat) S 5912 5915 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2838913 1332285440 28045 33554432000 4194304 16246674 140734340842448 140016798899440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5915/tid=5918] ppid=5912 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5918/stat : 5918 (toysat) S 5912 5915 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2838913 1332285440 28056 33554432000 4194304 16246674 140734340842448 140016788425904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200628 s]
/proc/loadavg: 2.28 2.29 2.22 4/179 5915
/proc/meminfo: memFree=27401332/32872528 swapFree=1631852/1795372
[pid=5915] ppid=5912 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/5915/stat : 5915 (toysat) R 5912 5915 1867 0 -1 4202496 50444 0 0 0 13 6 0 0 20 0 4 0 2838913 1344868352 50743 33554432000 4194304 16246674 140734340842448 140734340841760 7393552 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5915/statm: 328337 50743 799 2943 0 325231 0
[pid=5915/tid=5916] ppid=5912 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5916/stat : 5916 (toysat) S 5912 5915 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2838913 1344868352 50743 33554432000 4194304 16246674 140734340842448 140016809389296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5915/tid=5917] ppid=5912 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5917/stat : 5917 (toysat) S 5912 5915 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2838913 1344868352 50743 33554432000 4194304 16246674 140734340842448 140016798899440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5915/tid=5918] ppid=5912 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5918/stat : 5918 (toysat) S 5912 5915 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2838913 1344868352 50743 33554432000 4194304 16246674 140734340842448 140016788425904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300527 s]
/proc/loadavg: 2.28 2.29 2.22 4/179 5915
/proc/meminfo: memFree=27401332/32872528 swapFree=1631852/1795372
[pid=5915] ppid=5912 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/5915/stat : 5915 (toysat) R 5912 5915 1867 0 -1 4202496 64047 0 0 0 21 8 0 0 20 0 4 0 2838913 1344868352 64346 33554432000 4194304 16246674 140734340842448 140734340841760 4207076 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5915/statm: 328337 64346 799 2943 0 325231 0
[pid=5915/tid=5916] ppid=5912 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5916/stat : 5916 (toysat) S 5912 5915 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2838913 1344868352 64346 33554432000 4194304 16246674 140734340842448 140016809389296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5915/tid=5917] ppid=5912 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5917/stat : 5917 (toysat) S 5912 5915 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2838913 1344868352 64346 33554432000 4194304 16246674 140734340842448 140016798899440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5915/tid=5918] ppid=5912 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5918/stat : 5918 (toysat) S 5912 5915 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2838913 1344868352 64346 33554432000 4194304 16246674 140734340842448 140016788425904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700446 s]
/proc/loadavg: 2.28 2.29 2.22 4/179 5915
/proc/meminfo: memFree=27401332/32872528 swapFree=1631852/1795372
[pid=5915] ppid=5912 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/5915/stat : 5915 (toysat) R 5912 5915 1867 0 -1 4202496 75751 0 0 0 60 9 0 0 20 0 4 0 2838913 1344868352 76050 33554432000 4194304 16246674 140734340842448 140734340840256 4221040 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5915/statm: 328337 76050 800 2943 0 325231 0
[pid=5915/tid=5916] ppid=5912 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5916/stat : 5916 (toysat) S 5912 5915 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2838913 1344868352 76050 33554432000 4194304 16246674 140734340842448 140016809389296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5915/tid=5917] ppid=5912 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5917/stat : 5917 (toysat) S 5912 5915 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2838913 1344868352 76050 33554432000 4194304 16246674 140734340842448 140016798899440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5915/tid=5918] ppid=5912 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5918/stat : 5918 (toysat) S 5912 5915 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2838913 1344868352 76050 33554432000 4194304 16246674 140734340842448 140016788425904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.28 2.29 2.22 3/183 5919
/proc/meminfo: memFree=27073044/32872528 swapFree=1631852/1795372
[pid=5915] ppid=5912 vsize=1317444 CPUtime=1.49 cores=1,3,5,7
/proc/5915/stat : 5915 (toysat) R 5912 5915 1867 0 -1 4202496 155247 0 0 0 129 20 0 0 20 0 4 0 2838913 1349062656 155546 33554432000 4194304 16246674 140734340842448 140734340840256 6953641 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5915/statm: 329361 155555 836 2943 0 326255 0
[pid=5915/tid=5916] ppid=5912 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5916/stat : 5916 (toysat) S 5912 5915 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2838913 1349062656 155561 33554432000 4194304 16246674 140734340842448 140016809389296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5915/tid=5917] ppid=5912 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5917/stat : 5917 (toysat) S 5912 5915 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2838913 1349062656 155567 33554432000 4194304 16246674 140734340842448 140016798899440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5915/tid=5918] ppid=5912 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5918/stat : 5918 (toysat) S 5912 5915 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2838913 1349062656 155572 33554432000 4194304 16246674 140734340842448 140016788425904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1317444

[startup+3.10044 s]
/proc/loadavg: 2.26 2.28 2.22 3/183 5919
/proc/meminfo: memFree=26318876/32872528 swapFree=1631852/1795372
[pid=5915] ppid=5912 vsize=1343044 CPUtime=3.09 cores=1,3,5,7
/proc/5915/stat : 5915 (toysat) R 5912 5915 1867 0 -1 4202496 276423 0 0 0 270 39 0 0 20 0 4 0 2838913 1375277056 276722 33554432000 4194304 16246674 140734340842448 140734340824320 4220507 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5915/statm: 335761 276722 875 2943 0 332655 0
[pid=5915/tid=5916] ppid=5912 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5916/stat : 5916 (toysat) S 5912 5915 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2838913 1375277056 276722 33554432000 4194304 16246674 140734340842448 140016809389296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5915/tid=5917] ppid=5912 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5917/stat : 5917 (toysat) S 5912 5915 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2838913 1375277056 276722 33554432000 4194304 16246674 140734340842448 140016798899440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5915/tid=5918] ppid=5912 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5918/stat : 5918 (toysat) S 5912 5915 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2838913 1375277056 276722 33554432000 4194304 16246674 140734340842448 140016788425904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1343044

[startup+6.30044 s]
/proc/loadavg: 2.26 2.28 2.22 4/183 5919
/proc/meminfo: memFree=26293836/32872528 swapFree=1631852/1795372
[pid=5915] ppid=5912 vsize=1343044 CPUtime=6.29 cores=1,3,5,7
/proc/5915/stat : 5915 (toysat) R 5912 5915 1867 0 -1 4202496 276432 0 0 0 590 39 0 0 20 0 4 0 2838913 1375277056 276731 33554432000 4194304 16246674 140734340842448 140734340824320 12449269 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5915/statm: 335761 276731 882 2943 0 332655 0
[pid=5915/tid=5916] ppid=5912 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5916/stat : 5916 (toysat) S 5912 5915 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2838913 1375277056 276731 33554432000 4194304 16246674 140734340842448 140016809389296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5915/tid=5917] ppid=5912 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5917/stat : 5917 (toysat) S 5912 5915 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2838913 1375277056 276731 33554432000 4194304 16246674 140734340842448 140016798899440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5915/tid=5918] ppid=5912 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5918/stat : 5918 (toysat) S 5912 5915 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2838913 1375277056 276731 33554432000 4194304 16246674 140734340842448 140016788425904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1343044

[startup+12.7005 s]
/proc/loadavg: 2.22 2.27 2.22 3/183 5919
/proc/meminfo: memFree=26293360/32872528 swapFree=1631852/1795372
[pid=5915] ppid=5912 vsize=1343044 CPUtime=12.69 cores=1,3,5,7
/proc/5915/stat : 5915 (toysat) R 5912 5915 1867 0 -1 4202496 276432 0 0 0 1230 39 0 0 20 0 4 0 2838913 1375277056 276731 33554432000 4194304 16246674 140734340842448 140734340824320 12429087 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5915/statm: 335761 276731 882 2943 0 332655 0
[pid=5915/tid=5916] ppid=5912 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5916/stat : 5916 (toysat) S 5912 5915 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2838913 1375277056 276731 33554432000 4194304 16246674 140734340842448 140016809389296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5915/tid=5917] ppid=5912 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5917/stat : 5917 (toysat) S 5912 5915 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2838913 1375277056 276731 33554432000 4194304 16246674 140734340842448 140016798899440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5915/tid=5918] ppid=5912 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5918/stat : 5918 (toysat) S 5912 5915 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2838913 1375277056 276731 33554432000 4194304 16246674 140734340842448 140016788425904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1343044

[startup+25.5005 s]
/proc/loadavg: 2.18 2.26 2.21 3/183 5919
/proc/meminfo: memFree=26294232/32872528 swapFree=1631852/1795372
[pid=5915] ppid=5912 vsize=1343044 CPUtime=25.49 cores=1,3,5,7
/proc/5915/stat : 5915 (toysat) R 5912 5915 1867 0 -1 4202496 276432 0 0 0 2510 39 0 0 20 0 4 0 2838913 1375277056 276731 33554432000 4194304 16246674 140734340842448 140734340824320 12414114 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5915/statm: 335761 276731 882 2943 0 332655 0
[pid=5915/tid=5916] ppid=5912 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5916/stat : 5916 (toysat) S 5912 5915 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2838913 1375277056 276731 33554432000 4194304 16246674 140734340842448 140016809389296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5915/tid=5917] ppid=5912 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5917/stat : 5917 (toysat) S 5912 5915 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2838913 1375277056 276731 33554432000 4194304 16246674 140734340842448 140016798899440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5915/tid=5918] ppid=5912 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5918/stat : 5918 (toysat) S 5912 5915 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2838913 1375277056 276731 33554432000 4194304 16246674 140734340842448 140016788425904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1343044

[startup+51.1005 s]
/proc/loadavg: 2.27 2.27 2.22 3/183 5919
/proc/meminfo: memFree=26294060/32872528 swapFree=1631852/1795372
[pid=5915] ppid=5912 vsize=1343044 CPUtime=51.08 cores=1,3,5,7
/proc/5915/stat : 5915 (toysat) R 5912 5915 1867 0 -1 4202496 276432 0 0 0 5069 39 0 0 20 0 4 0 2838913 1375277056 276731 33554432000 4194304 16246674 140734340842448 140734340824320 12652957 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5915/statm: 335761 276731 882 2943 0 332655 0
[pid=5915/tid=5916] ppid=5912 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5916/stat : 5916 (toysat) S 5912 5915 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2838913 1375277056 276731 33554432000 4194304 16246674 140734340842448 140016809389296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5915/tid=5917] ppid=5912 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5917/stat : 5917 (toysat) S 5912 5915 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2838913 1375277056 276731 33554432000 4194304 16246674 140734340842448 140016798899440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5915/tid=5918] ppid=5912 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5918/stat : 5918 (toysat) S 5912 5915 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2838913 1375277056 276731 33554432000 4194304 16246674 140734340842448 140016788425904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1343044

[startup+102.301 s]
/proc/loadavg: 2.53 2.33 2.24 3/184 5923
/proc/meminfo: memFree=26293480/32872528 swapFree=1631852/1795372
[pid=5915] ppid=5912 vsize=1343044 CPUtime=102.28 cores=1,3,5,7
/proc/5915/stat : 5915 (toysat) R 5912 5915 1867 0 -1 4202496 276432 0 0 0 10189 39 0 0 20 0 4 0 2838913 1375277056 276731 33554432000 4194304 16246674 140734340842448 140734340824320 13055848 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5915/statm: 335761 276731 882 2943 0 332655 0
[pid=5915/tid=5916] ppid=5912 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5916/stat : 5916 (toysat) S 5912 5915 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2838913 1375277056 276731 33554432000 4194304 16246674 140734340842448 140016809389296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5915/tid=5917] ppid=5912 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5917/stat : 5917 (toysat) S 5912 5915 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2838913 1375277056 276731 33554432000 4194304 16246674 140734340842448 140016798899440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5915/tid=5918] ppid=5912 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5918/stat : 5918 (toysat) S 5912 5915 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2838913 1375277056 276731 33554432000 4194304 16246674 140734340842448 140016788425904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1343044


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

/proc/5915/task/5918/stat : 5918 (toysat) S 5912 5915 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2838913 1448677376 294908 33554432000 4194304 16246674 140734340842448 140016788425904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1414724

[startup+1302.3 s]
/proc/loadavg: 2.18 2.28 2.27 3/184 6001
/proc/meminfo: memFree=26130064/32872528 swapFree=1631852/1795372
[pid=5915] ppid=5912 vsize=1449540 CPUtime=1302.07 cores=1,3,5,7
/proc/5915/stat : 5915 (toysat) R 5912 5915 1867 0 -1 4202496 303100 0 0 0 130163 44 0 0 20 0 4 0 2838913 1484328960 303612 33554432000 4194304 16246674 140734340842448 140734340840256 4206912 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5915/statm: 362385 303612 882 2943 0 359279 0
[pid=5915/tid=5916] ppid=5912 vsize=1449540 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5916/stat : 5916 (toysat) S 5912 5915 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2838913 1484328960 303612 33554432000 4194304 16246674 140734340842448 140016809389296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5915/tid=5917] ppid=5912 vsize=1449540 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5917/stat : 5917 (toysat) S 5912 5915 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2838913 1484328960 303612 33554432000 4194304 16246674 140734340842448 140016798899440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5915/tid=5918] ppid=5912 vsize=1449540 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5918/stat : 5918 (toysat) S 5912 5915 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2838913 1484328960 303612 33554432000 4194304 16246674 140734340842448 140016788425904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1449540

[startup+1362.3 s]
/proc/loadavg: 2.21 2.27 2.26 3/183 6002
/proc/meminfo: memFree=26110016/32872528 swapFree=1631852/1795372
[pid=5915] ppid=5912 vsize=1468996 CPUtime=1362.06 cores=1,3,5,7
/proc/5915/stat : 5915 (toysat) R 5912 5915 1867 0 -1 4202496 307966 0 0 0 136161 45 0 0 20 0 4 0 2838913 1504251904 308476 33554432000 4194304 16246674 140734340842448 140734340841664 12449269 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5915/statm: 367249 308476 882 2943 0 364143 0
[pid=5915/tid=5916] ppid=5912 vsize=1468996 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5916/stat : 5916 (toysat) S 5912 5915 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2838913 1504251904 308476 33554432000 4194304 16246674 140734340842448 140016809389296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5915/tid=5917] ppid=5912 vsize=1468996 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5917/stat : 5917 (toysat) S 5912 5915 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2838913 1504251904 308476 33554432000 4194304 16246674 140734340842448 140016798899440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5915/tid=5918] ppid=5912 vsize=1468996 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5918/stat : 5918 (toysat) S 5912 5915 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2838913 1504251904 308476 33554432000 4194304 16246674 140734340842448 140016788425904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1468996

[startup+1422.3 s]
/proc/loadavg: 2.17 2.24 2.25 4/183 6003
/proc/meminfo: memFree=26091208/32872528 swapFree=1631852/1795372
[pid=5915] ppid=5912 vsize=1487428 CPUtime=1422.06 cores=1,3,5,7
/proc/5915/stat : 5915 (toysat) R 5912 5915 1867 0 -1 4202496 312574 0 0 0 142160 46 0 0 20 0 4 0 2838913 1523126272 313084 33554432000 4194304 16246674 140734340842448 140734340841664 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5915/statm: 371857 313084 882 2943 0 368751 0
[pid=5915/tid=5916] ppid=5912 vsize=1487428 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5916/stat : 5916 (toysat) S 5912 5915 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2838913 1523126272 313084 33554432000 4194304 16246674 140734340842448 140016809389296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5915/tid=5917] ppid=5912 vsize=1487428 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5917/stat : 5917 (toysat) S 5912 5915 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2838913 1523126272 313084 33554432000 4194304 16246674 140734340842448 140016798899440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5915/tid=5918] ppid=5912 vsize=1487428 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5918/stat : 5918 (toysat) S 5912 5915 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2838913 1523126272 313084 33554432000 4194304 16246674 140734340842448 140016788425904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1487428

[startup+1482.3 s]
/proc/loadavg: 2.15 2.23 2.25 3/183 6004
/proc/meminfo: memFree=26023232/32872528 swapFree=1631852/1795372
[pid=5915] ppid=5912 vsize=1555012 CPUtime=1482.04 cores=1,3,5,7
/proc/5915/stat : 5915 (toysat) R 5912 5915 1867 0 -1 4202496 329470 0 0 0 148156 48 0 0 20 0 4 0 2838913 1592332288 329980 33554432000 4194304 16246674 140734340842448 140734340841664 12654434 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5915/statm: 388753 329980 882 2943 0 385647 0
[pid=5915/tid=5916] ppid=5912 vsize=1555012 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5916/stat : 5916 (toysat) S 5912 5915 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2838913 1592332288 329980 33554432000 4194304 16246674 140734340842448 140016809389296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5915/tid=5917] ppid=5912 vsize=1555012 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5917/stat : 5917 (toysat) S 5912 5915 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2838913 1592332288 329980 33554432000 4194304 16246674 140734340842448 140016798899440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5915/tid=5918] ppid=5912 vsize=1555012 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5918/stat : 5918 (toysat) S 5912 5915 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2838913 1592332288 329980 33554432000 4194304 16246674 140734340842448 140016788425904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1555012

[startup+1542.31 s]
/proc/loadavg: 2.31 2.26 2.26 3/183 6006
/proc/meminfo: memFree=26006096/32872528 swapFree=1631852/1795372
[pid=5915] ppid=5912 vsize=1572420 CPUtime=1542.04 cores=1,3,5,7
/proc/5915/stat : 5915 (toysat) R 5912 5915 1867 0 -1 4202496 333822 0 0 0 154155 49 0 0 20 0 4 0 2838913 1610158080 334332 33554432000 4194304 16246674 140734340842448 140734340840192 4206587 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5915/statm: 393105 334332 882 2943 0 389999 0
[pid=5915/tid=5916] ppid=5912 vsize=1572420 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5916/stat : 5916 (toysat) S 5912 5915 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2838913 1610158080 334332 33554432000 4194304 16246674 140734340842448 140016809389296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5915/tid=5917] ppid=5912 vsize=1572420 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5917/stat : 5917 (toysat) S 5912 5915 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2838913 1610158080 334332 33554432000 4194304 16246674 140734340842448 140016798899440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5915/tid=5918] ppid=5912 vsize=1572420 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5918/stat : 5918 (toysat) S 5912 5915 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2838913 1610158080 334332 33554432000 4194304 16246674 140734340842448 140016788425904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1572420

[startup+1602.3 s]
/proc/loadavg: 2.40 2.29 2.27 4/183 6007
/proc/meminfo: memFree=25982432/32872528 swapFree=1631852/1795372
[pid=5915] ppid=5912 vsize=1595972 CPUtime=1602.02 cores=1,3,5,7
/proc/5915/stat : 5915 (toysat) R 5912 5915 1867 0 -1 4202496 339710 0 0 0 160152 50 0 0 20 0 4 0 2838913 1634275328 340220 33554432000 4194304 16246674 140734340842448 140734340840256 4220894 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5915/statm: 398993 340220 882 2943 0 395887 0
[pid=5915/tid=5916] ppid=5912 vsize=1595972 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5916/stat : 5916 (toysat) S 5912 5915 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2838913 1634275328 340220 33554432000 4194304 16246674 140734340842448 140016809389296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5915/tid=5917] ppid=5912 vsize=1595972 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5917/stat : 5917 (toysat) S 5912 5915 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2838913 1634275328 340220 33554432000 4194304 16246674 140734340842448 140016798899440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5915/tid=5918] ppid=5912 vsize=1595972 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5918/stat : 5918 (toysat) S 5912 5915 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2838913 1634275328 340220 33554432000 4194304 16246674 140734340842448 140016788425904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1595972

[startup+1662.3 s]
/proc/loadavg: 2.21 2.26 2.26 3/182 6008
/proc/meminfo: memFree=25975388/32872528 swapFree=1631852/1795372
[pid=5915] ppid=5912 vsize=1603140 CPUtime=1662.01 cores=1,3,5,7
/proc/5915/stat : 5915 (toysat) R 5912 5915 1867 0 -1 4202496 341502 0 0 0 166150 51 0 0 20 0 4 0 2838913 1641615360 342012 33554432000 4194304 16246674 140734340842448 140734340841664 6955123 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5915/statm: 400785 342012 882 2943 0 397679 0
[pid=5915/tid=5916] ppid=5912 vsize=1603140 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5916/stat : 5916 (toysat) S 5912 5915 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2838913 1641615360 342012 33554432000 4194304 16246674 140734340842448 140016809389296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5915/tid=5917] ppid=5912 vsize=1603140 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5917/stat : 5917 (toysat) S 5912 5915 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2838913 1641615360 342012 33554432000 4194304 16246674 140734340842448 140016798899440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5915/tid=5918] ppid=5912 vsize=1603140 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5918/stat : 5918 (toysat) S 5912 5915 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2838913 1641615360 342012 33554432000 4194304 16246674 140734340842448 140016788425904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1603140

[startup+1722.3 s]
/proc/loadavg: 2.30 2.27 2.27 4/183 6010
/proc/meminfo: memFree=25975044/32872528 swapFree=1631852/1795372
[pid=5915] ppid=5912 vsize=1603140 CPUtime=1722 cores=1,3,5,7
/proc/5915/stat : 5915 (toysat) R 5912 5915 1867 0 -1 4202496 341502 0 0 0 172149 51 0 0 20 0 4 0 2838913 1641615360 342012 33554432000 4194304 16246674 140734340842448 140734340841664 12449422 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5915/statm: 400785 342012 882 2943 0 397679 0
[pid=5915/tid=5916] ppid=5912 vsize=1603140 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5916/stat : 5916 (toysat) S 5912 5915 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2838913 1641615360 342012 33554432000 4194304 16246674 140734340842448 140016809389296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5915/tid=5917] ppid=5912 vsize=1603140 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5917/stat : 5917 (toysat) S 5912 5915 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2838913 1641615360 342012 33554432000 4194304 16246674 140734340842448 140016798899440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5915/tid=5918] ppid=5912 vsize=1603140 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5918/stat : 5918 (toysat) S 5912 5915 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2838913 1641615360 342012 33554432000 4194304 16246674 140734340842448 140016788425904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1603140

[startup+1782.3 s]
/proc/loadavg: 2.24 2.26 2.26 3/183 6011
/proc/meminfo: memFree=25974452/32872528 swapFree=1631852/1795372
[pid=5915] ppid=5912 vsize=1603140 CPUtime=1781.99 cores=1,3,5,7
/proc/5915/stat : 5915 (toysat) R 5912 5915 1867 0 -1 4202496 341502 0 0 0 178148 51 0 0 20 0 4 0 2838913 1641615360 342012 33554432000 4194304 16246674 140734340842448 140734340841664 12654452 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5915/statm: 400785 342012 882 2943 0 397679 0
[pid=5915/tid=5916] ppid=5912 vsize=1603140 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5916/stat : 5916 (toysat) S 5912 5915 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2838913 1641615360 342012 33554432000 4194304 16246674 140734340842448 140016809389296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5915/tid=5917] ppid=5912 vsize=1603140 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5917/stat : 5917 (toysat) S 5912 5915 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2838913 1641615360 342012 33554432000 4194304 16246674 140734340842448 140016798899440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5915/tid=5918] ppid=5912 vsize=1603140 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5918/stat : 5918 (toysat) S 5912 5915 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2838913 1641615360 342012 33554432000 4194304 16246674 140734340842448 140016788425904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1603140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.25 2.26 2.26 4/183 6012
/proc/meminfo: memFree=25974688/32872528 swapFree=1631852/1795372
[pid=5915] ppid=5912 vsize=1603140 CPUtime=1800.09 cores=1,3,5,7
/proc/5915/stat : 5915 (toysat) R 5912 5915 1867 0 -1 4202496 341502 0 0 0 179958 51 0 0 20 0 4 0 2838913 1641615360 342012 33554432000 4194304 16246674 140734340842448 140734340824320 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5915/statm: 400785 342012 882 2943 0 397679 0
[pid=5915/tid=5916] ppid=5912 vsize=1603140 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5916/stat : 5916 (toysat) S 5912 5915 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2838913 1641615360 342012 33554432000 4194304 16246674 140734340842448 140016809389296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5915/tid=5917] ppid=5912 vsize=1603140 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5917/stat : 5917 (toysat) S 5912 5915 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2838913 1641615360 342012 33554432000 4194304 16246674 140734340842448 140016798899440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5915/tid=5918] ppid=5912 vsize=1603140 CPUtime=0 cores=1,3,5,7
/proc/5915/task/5918/stat : 5918 (toysat) S 5912 5915 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2838913 1641615360 342012 33554432000 4194304 16246674 140734340842448 140016788425904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1603140

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.42
CPU time (s): 1800.13
CPU user time (s): 1799.59
CPU system time (s): 0.534918
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 1603140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.534918
maximum resident set size= 1368048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 341502
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= 1292
involuntary context switches= 3077

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9923 second user time and 17.2004 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-30 00:08:49
IDJOB=4119015
IDBENCH=111635
IDSOLVER=2542
FILE ID=node123/4119015-1467238129
RUNJOBID= node123-1467215373-3684
PBS_JOBID= 19997595
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-45.lin.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119015-1467238129/watcher-4119015-1467238129 -o /tmp/evaluation-result-4119015-1467238129/solver-4119015-1467238129 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1467215373-3684 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119015-1467238129.opb

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

MD5SUM BENCH= 1a43e76df5cf12058a8563bf67a6b7a2
RANDOM SEED=1189720607

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.387
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.387
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.54
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.387
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.387
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.387
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:        27401224 kB
Buffers:          105992 kB
Cached:          1765268 kB
SwapCached:            0 kB
Active:          1237764 kB
Inactive:        1723468 kB
Active(anon):    1092268 kB
Inactive(anon):        0 kB
Active(file):     145496 kB
Inactive(file):  1723468 kB
Unevictable:     1795372 kB
Mlocked:         1631852 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             20272 kB
Writeback:             0 kB
AnonPages:       2885232 kB
Mapped:            17548 kB
Shmem:               204 kB
Slab:             579200 kB
SReclaimable:      23552 kB
SUnreclaim:       555648 kB
KernelStack:        1464 kB
PageTables:         9720 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3021064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    167936 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= 71688 MiB
End job on node123 at 2016-06-30 00:38:49