Trace number 4103469

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? (MO) 513.807 513.896

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-dc1l.opb
MD5SUMb626c8307376f19de1f1e51bf91eca4f
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark322124420039689472000
Best CPU time to get the best result obtained on this benchmark1800.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 17540679175205888
Optimality of the best value was proved NO
Number of variables85198
Total number of constraints1652
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1652
Minimum length of a constraint31
Maximum length of a constraint35129
Number of terms in the objective function 85198
Biggest coefficient in the objective function 536870912000000000000
Number of bits for the biggest coefficient in the objective function 69
Sum of the numbers in the objective function 6796468271401867858547
Number of bits of the sum of numbers in the objective function 73
Biggest number in a constraint 536870912000000000000
Number of bits of the biggest number in a constraint 69
Biggest sum of numbers in a constraint 6796468271401867858547
Number of bits of the biggest sum of numbers73
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-18T10:09:23+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4103469-1466237362.opb"]
0.00/0.01	c use --random-gen="987847313 1650112014 2555390069 2918063597 3419525536 549879914 2622371092 260915833 743089370 2377854048 3718468739 2515331787 728084869 3094138741 260056473 4032338629 1106572313 1835903701 2648629554 3106809307 473840593 2633472928 2680658832 945868888 2671375903 3106786680 3735243843 123880252 1765596747 165980346 1357238225 422457027 2230752746 3120846763 1462985868 1282059994 689851318 123973016 4045238613 2153480106 2313769619 3222394297 2751106136 1294422085 344845680 1412658120 84743260 638996632 1712411116 773466421 2725755946 4209639034 1853772367 523437012 2127989984 1761289704 3370121672 2881127933 3414225901 278191157 1364547538 1917593629 1862510135 173762021 2130908295 2573049493 667029543 1004640552 182869886 2361881162 1594157628 1087380188 3154411335 2540440384 800072920 128047849 3339624052 772662839 3151193961 3692736752 530540299 1147984803 2659621860 847383078 4099170325 2714316120 1432664406 3734033809 2880271772 3267876327 2450954699 3694432137 3970284815 2437737948 2486812209 2612101998 1777386398 4080919184 4292286166 4087691763 2042351844 4283250180 1271579949 1088808335 996615815 1865800346 1068931332 1120512410 2145075253 2597545349 2814659917 1722402862 519866646 2925851212 1253339814 3488987243 1881402504 3394182006 3792369237 470810661 2904333854 3630166187 2246157965 1079114665 700729014 3157380447 1941392386 846421670 1911525905 2806054628 3512390118 2693702977 1377433253 425478709 2953598190 989754161 3367179251 1159720271 648222880 1971366751 2340683871 129408213 44642660 2375007831 2717038210 4160243935 4006321758 966948472 3655039944 2327019670 410793720 3778203188 3258100459 4234987017 2552320886 398425352 3432009420 3844191016 2225654851 3876585838 1102420511 2951498485 921218428 1789382229 845252434 1760245395 3863263180 1242229840 726181920 3066220867 2563665788 1346267386 1197780062 1182758495 2500690628 2639176257 681092737 3013239695 2420651489 1174556844 2408787833 3810327035 4211067582 3213604711 3488162872 3661902359 3447375527 1859164965 2787299742 1997864483 1338021505 960965176 2697972656 550885092 3922620387 2404959555 1169897666 2500868830 1442532902 2527494806 2684503706 2702706967 3706740995 1468467999 2313369794 2065535315 1520291251 2655522410 1652705618 3739279473 3863748009 359813885 149329410 3540398950 3578090702 1300350379 3246377944 1231553009 2726276768 2111125652 672488479 173677334 881081529 2745082291 2060863835 1882974197 532390844 3024409204 3983726242 1158052025 3274996893 1610846720 1895172604 2063408793 1916338620 3288449440 3215657421 1089272450 1407557765 2866425294 4096508452 2285755887 1059076847 1770867029 1985060220 1028557510 2709764210 1494900115 2183122568 1006401206 2904734487 3336220574 3935317692 361289401 662251702 3687201726 255 362436" option to reproduce the execution
0.98/1.05	c #vars 85198
0.98/1.05	c #constraints 1652

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

pid=21606
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.08 2.08 3/179 21609
/proc/meminfo: memFree=20177892/32872528 swapFree=163656/177964
[pid=21609] ppid=21606 vsize=732604 CPUtime=0 cores=0,2,4,6
/proc/21609/stat : 21609 (toysat) R 21606 21609 20760 0 -1 4202496 2737 0 0 0 0 0 0 0 20 0 4 0 25786212 750186496 2587 33554432000 4194304 16246674 140737404613488 140737404612912 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21609/statm: 183663 2596 441 2943 0 180557 0
[pid=21609/tid=21610] ppid=21606 vsize=750012 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21610/stat : 21610 (toysat) S 21606 21609 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786213 768012288 2655 33554432000 4194304 16246674 140737404613488 140038089190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21609/tid=21611] ppid=21606 vsize=754108 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21611/stat : 21611 (toysat) S 21606 21609 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786213 772206592 2672 33554432000 4194304 16246674 140737404613488 140038078700784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21609/tid=21612] ppid=21606 vsize=759228 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21612/stat : 21612 (toysat) S 21606 21609 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25786213 777449472 2689 33554432000 4194304 16246674 140737404613488 140038068227248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.02 2.08 2.08 3/179 21609
/proc/meminfo: memFree=20177892/32872528 swapFree=163656/177964
[pid=21609] ppid=21606 vsize=1304132 CPUtime=0.09 cores=0,2,4,6
/proc/21609/stat : 21609 (toysat) R 21606 21609 20760 0 -1 4202496 32590 0 0 0 5 4 0 0 20 0 4 0 25786212 1335431168 32378 33554432000 4194304 16246674 140737404613488 140737404612800 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21609/statm: 326033 32392 799 2943 0 322927 0
[pid=21609/tid=21610] ppid=21606 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21610/stat : 21610 (toysat) S 21606 21609 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786213 1335431168 32403 33554432000 4194304 16246674 140737404613488 140038089190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21609/tid=21611] ppid=21606 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21611/stat : 21611 (toysat) S 21606 21609 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786213 1335431168 32414 33554432000 4194304 16246674 140737404613488 140038078700784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21609/tid=21612] ppid=21606 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21612/stat : 21612 (toysat) S 21606 21609 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786213 1335431168 32425 33554432000 4194304 16246674 140737404613488 140038068227248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1304132

[startup+0.200522 s]
/proc/loadavg: 2.02 2.08 2.08 3/179 21609
/proc/meminfo: memFree=20177892/32872528 swapFree=163656/177964
[pid=21609] ppid=21606 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/21609/stat : 21609 (toysat) R 21606 21609 20760 0 -1 4202496 37558 0 0 0 15 4 0 0 20 0 4 0 25786212 1342771200 37856 33554432000 4194304 16246674 140737404613488 140737404612800 7378171 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21609/statm: 327825 37856 799 2943 0 324719 0
[pid=21609/tid=21610] ppid=21606 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21610/stat : 21610 (toysat) S 21606 21609 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786213 1342771200 37856 33554432000 4194304 16246674 140737404613488 140038089190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21609/tid=21611] ppid=21606 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21611/stat : 21611 (toysat) S 21606 21609 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786213 1342771200 37856 33554432000 4194304 16246674 140737404613488 140038078700784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21609/tid=21612] ppid=21606 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21612/stat : 21612 (toysat) S 21606 21609 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786213 1342771200 37856 33554432000 4194304 16246674 140737404613488 140038068227248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300498 s]
/proc/loadavg: 2.02 2.08 2.08 3/179 21609
/proc/meminfo: memFree=20177892/32872528 swapFree=163656/177964
[pid=21609] ppid=21606 vsize=1311300 CPUtime=0.29 cores=0,2,4,6
/proc/21609/stat : 21609 (toysat) R 21606 21609 20760 0 -1 4202496 48739 0 0 0 23 6 0 0 20 0 4 0 25786212 1342771200 49040 33554432000 4194304 16246674 140737404613488 140737404612800 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21609/statm: 327825 49058 800 2943 0 324719 0
[pid=21609/tid=21610] ppid=21606 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21610/stat : 21610 (toysat) S 21606 21609 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786213 1342771200 49069 33554432000 4194304 16246674 140737404613488 140038089190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21609/tid=21611] ppid=21606 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21611/stat : 21611 (toysat) S 21606 21609 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786213 1342771200 49081 33554432000 4194304 16246674 140737404613488 140038078700784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21609/tid=21612] ppid=21606 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21612/stat : 21612 (toysat) S 21606 21609 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786213 1342771200 49092 33554432000 4194304 16246674 140737404613488 140038068227248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1311300

[startup+0.700407 s]
/proc/loadavg: 2.02 2.08 2.08 3/179 21609
/proc/meminfo: memFree=20177892/32872528 swapFree=163656/177964
[pid=21609] ppid=21606 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/21609/stat : 21609 (toysat) R 21606 21609 20760 0 -1 4202496 57384 0 0 0 62 7 0 0 20 0 4 0 25786212 1343819776 57682 33554432000 4194304 16246674 140737404613488 140737404611328 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21609/statm: 328081 57682 802 2943 0 324975 0
[pid=21609/tid=21610] ppid=21606 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21610/stat : 21610 (toysat) S 21606 21609 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786213 1343819776 57682 33554432000 4194304 16246674 140737404613488 140038089190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21609/tid=21611] ppid=21606 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21611/stat : 21611 (toysat) S 21606 21609 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786213 1343819776 57682 33554432000 4194304 16246674 140737404613488 140038078700784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21609/tid=21612] ppid=21606 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21612/stat : 21612 (toysat) S 21606 21609 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786213 1343819776 57682 33554432000 4194304 16246674 140737404613488 140038068227248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50041 s]
/proc/loadavg: 2.02 2.08 2.08 3/183 21613
/proc/meminfo: memFree=19916412/32872528 swapFree=163656/177964
[pid=21609] ppid=21606 vsize=1346116 CPUtime=1.49 cores=0,2,4,6
/proc/21609/stat : 21609 (toysat) R 21606 21609 20760 0 -1 4202496 146925 0 0 0 130 19 0 0 20 0 4 0 25786212 1378422784 149268 33554432000 4194304 16246674 140737404613488 140737404611328 12449273 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21609/statm: 336529 149281 835 2943 0 333423 0
[pid=21609/tid=21610] ppid=21606 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21610/stat : 21610 (toysat) S 21606 21609 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786213 1378422784 149289 33554432000 4194304 16246674 140737404613488 140038089190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21609/tid=21611] ppid=21606 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21611/stat : 21611 (toysat) S 21606 21609 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786213 1378422784 149300 33554432000 4194304 16246674 140737404613488 140038078700784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21609/tid=21612] ppid=21606 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21612/stat : 21612 (toysat) S 21606 21609 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786213 1378422784 149308 33554432000 4194304 16246674 140737404613488 140038068227248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1346116

[startup+3.10042 s]
/proc/loadavg: 2.02 2.08 2.08 3/183 21613
/proc/meminfo: memFree=19072716/32872528 swapFree=163656/177964
[pid=21609] ppid=21606 vsize=1346116 CPUtime=3.08 cores=0,2,4,6
/proc/21609/stat : 21609 (toysat) R 21606 21609 20760 0 -1 4202496 274089 0 0 0 274 34 0 0 20 0 4 0 25786212 1378422784 277453 33554432000 4194304 16246674 140737404613488 140737404612800 12652957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21609/statm: 336529 277453 836 2943 0 333423 0
[pid=21609/tid=21610] ppid=21606 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21610/stat : 21610 (toysat) S 21606 21609 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786213 1378422784 277453 33554432000 4194304 16246674 140737404613488 140038089190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21609/tid=21611] ppid=21606 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21611/stat : 21611 (toysat) S 21606 21609 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786213 1378422784 277453 33554432000 4194304 16246674 140737404613488 140038078700784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21609/tid=21612] ppid=21606 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21612/stat : 21612 (toysat) S 21606 21609 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786213 1378422784 277453 33554432000 4194304 16246674 140737404613488 140038068227248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1346116

[startup+6.30042 s]
/proc/loadavg: 2.10 2.09 2.09 3/183 21613
/proc/meminfo: memFree=19051888/32872528 swapFree=163656/177964
[pid=21609] ppid=21606 vsize=1376836 CPUtime=6.29 cores=0,2,4,6
/proc/21609/stat : 21609 (toysat) R 21606 21609 20760 0 -1 4202496 281769 0 0 0 593 36 0 0 20 0 4 0 25786212 1409880064 285133 33554432000 4194304 16246674 140737404613488 140737404595392 6955824 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21609/statm: 344209 285133 836 2943 0 341103 0
[pid=21609/tid=21610] ppid=21606 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21610/stat : 21610 (toysat) S 21606 21609 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786213 1409880064 285133 33554432000 4194304 16246674 140737404613488 140038089190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21609/tid=21611] ppid=21606 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21611/stat : 21611 (toysat) S 21606 21609 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786213 1409880064 285133 33554432000 4194304 16246674 140737404613488 140038078700784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21609/tid=21612] ppid=21606 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21612/stat : 21612 (toysat) S 21606 21609 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786213 1409880064 285133 33554432000 4194304 16246674 140737404613488 140038068227248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1376836

[startup+12.7004 s]
/proc/loadavg: 2.09 2.09 2.09 3/183 21613
/proc/meminfo: memFree=19037548/32872528 swapFree=163656/177964
[pid=21609] ppid=21606 vsize=1376836 CPUtime=12.69 cores=0,2,4,6
/proc/21609/stat : 21609 (toysat) R 21606 21609 20760 0 -1 4202496 281769 0 0 0 1233 36 0 0 20 0 4 0 25786212 1409880064 285133 33554432000 4194304 16246674 140737404613488 140737404595392 12429162 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21609/statm: 344209 285133 836 2943 0 341103 0
[pid=21609/tid=21610] ppid=21606 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21610/stat : 21610 (toysat) S 21606 21609 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786213 1409880064 285133 33554432000 4194304 16246674 140737404613488 140038089190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21609/tid=21611] ppid=21606 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21611/stat : 21611 (toysat) S 21606 21609 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786213 1409880064 285133 33554432000 4194304 16246674 140737404613488 140038078700784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21609/tid=21612] ppid=21606 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21612/stat : 21612 (toysat) S 21606 21609 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786213 1409880064 285133 33554432000 4194304 16246674 140737404613488 140038068227248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1376836

[startup+25.5005 s]
/proc/loadavg: 2.14 2.10 2.09 3/183 21613
/proc/meminfo: memFree=19037360/32872528 swapFree=163656/177964
[pid=21609] ppid=21606 vsize=1376836 CPUtime=25.49 cores=0,2,4,6
/proc/21609/stat : 21609 (toysat) R 21606 21609 20760 0 -1 4202496 281769 0 0 0 2513 36 0 0 20 0 4 0 25786212 1409880064 285133 33554432000 4194304 16246674 140737404613488 140737404595392 12371300 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21609/statm: 344209 285133 836 2943 0 341103 0
[pid=21609/tid=21610] ppid=21606 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21610/stat : 21610 (toysat) S 21606 21609 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786213 1409880064 285133 33554432000 4194304 16246674 140737404613488 140038089190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21609/tid=21611] ppid=21606 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21611/stat : 21611 (toysat) S 21606 21609 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786213 1409880064 285133 33554432000 4194304 16246674 140737404613488 140038078700784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21609/tid=21612] ppid=21606 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21612/stat : 21612 (toysat) S 21606 21609 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786213 1409880064 285133 33554432000 4194304 16246674 140737404613488 140038068227248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1376836

[startup+51.1005 s]
/proc/loadavg: 2.09 2.09 2.09 3/184 21616
/proc/meminfo: memFree=18942520/32872528 swapFree=163656/177964
[pid=21609] ppid=21606 vsize=1471044 CPUtime=51.08 cores=0,2,4,6
/proc/21609/stat : 21609 (toysat) R 21606 21609 20760 0 -1 4202496 305321 0 0 0 5069 39 0 0 20 0 4 0 25786212 1506349056 308685 33554432000 4194304 16246674 140737404613488 140737404595392 12655177 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21609/statm: 367761 308685 836 2943 0 364655 0
[pid=21609/tid=21610] ppid=21606 vsize=1471044 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21610/stat : 21610 (toysat) S 21606 21609 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786213 1506349056 308685 33554432000 4194304 16246674 140737404613488 140038089190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21609/tid=21611] ppid=21606 vsize=1471044 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21611/stat : 21611 (toysat) S 21606 21609 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786213 1506349056 308685 33554432000 4194304 16246674 140737404613488 140038078700784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21609/tid=21612] ppid=21606 vsize=1471044 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21612/stat : 21612 (toysat) S 21606 21609 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786213 1506349056 308685 33554432000 4194304 16246674 140737404613488 140038068227248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1471044

[startup+102.301 s]
/proc/loadavg: 2.04 2.08 2.08 3/183 21618
/proc/meminfo: memFree=18941000/32872528 swapFree=163656/177964
[pid=21609] ppid=21606 vsize=1471044 CPUtime=102.28 cores=0,2,4,6
/proc/21609/stat : 21609 (toysat) R 21606 21609 20760 0 -1 4202496 305323 0 0 0 10189 39 0 0 20 0 4 0 25786212 1506349056 308687 33554432000 4194304 16246674 140737404613488 140737404595392 12429087 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21609/statm: 367761 308687 837 2943 0 364655 0
[pid=21609/tid=21610] ppid=21606 vsize=1471044 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21610/stat : 21610 (toysat) S 21606 21609 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786213 1506349056 308687 33554432000 4194304 16246674 140737404613488 140038089190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21609/tid=21611] ppid=21606 vsize=1471044 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21611/stat : 21611 (toysat) S 21606 21609 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786213 1506349056 308687 33554432000 4194304 16246674 140737404613488 140038078700784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21609/tid=21612] ppid=21606 vsize=1471044 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21612/stat : 21612 (toysat) S 21606 21609 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786213 1506349056 308687 33554432000 4194304 16246674 140737404613488 140038068227248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1471044

[startup+162.3 s]
/proc/loadavg: 2.12 2.09 2.09 3/183 21619
/proc/meminfo: memFree=18939904/32872528 swapFree=163656/177964
[pid=21609] ppid=21606 vsize=1471044 CPUtime=162.27 cores=0,2,4,6
/proc/21609/stat : 21609 (toysat) R 21606 21609 20760 0 -1 4202496 305323 0 0 0 16188 39 0 0 20 0 4 0 25786212 1506349056 308687 33554432000 4194304 16246674 140737404613488 140737404595392 12429162 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21609/statm: 367761 308687 837 2943 0 364655 0
[pid=21609/tid=21610] ppid=21606 vsize=1471044 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21610/stat : 21610 (toysat) S 21606 21609 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786213 1506349056 308687 33554432000 4194304 16246674 140737404613488 140038089190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21609/tid=21611] ppid=21606 vsize=1471044 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21611/stat : 21611 (toysat) S 21606 21609 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786213 1506349056 308687 33554432000 4194304 16246674 140737404613488 140038078700784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21609/tid=21612] ppid=21606 vsize=1471044 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21612/stat : 21612 (toysat) S 21606 21609 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786213 1506349056 308687 33554432000 4194304 16246674 140737404613488 140038068227248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1471044

[startup+222.307 s]
/proc/loadavg: 2.10 2.09 2.09 3/182 21620
/proc/meminfo: memFree=18939312/32872528 swapFree=163656/177964
[pid=21609] ppid=21606 vsize=1471044 CPUtime=222.27 cores=0,2,4,6
/proc/21609/stat : 21609 (toysat) R 21606 21609 20760 0 -1 4202496 305323 0 0 0 22188 39 0 0 20 0 4 0 25786212 1506349056 308687 33554432000 4194304 16246674 140737404613488 140737404595392 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21609/statm: 367761 308687 837 2943 0 364655 0
[pid=21609/tid=21610] ppid=21606 vsize=1471044 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21610/stat : 21610 (toysat) S 21606 21609 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786213 1506349056 308687 33554432000 4194304 16246674 140737404613488 140038089190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21609/tid=21611] ppid=21606 vsize=1471044 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21611/stat : 21611 (toysat) S 21606 21609 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786213 1506349056 308687 33554432000 4194304 16246674 140737404613488 140038078700784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21609/tid=21612] ppid=21606 vsize=1471044 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21612/stat : 21612 (toysat) S 21606 21609 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786213 1506349056 308687 33554432000 4194304 16246674 140737404613488 140038068227248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 1471044

[startup+282.3 s]
/proc/loadavg: 2.08 2.08 2.09 3/183 21671
/proc/meminfo: memFree=21382840/32872528 swapFree=163656/177964
[pid=21609] ppid=21606 vsize=8945220 CPUtime=282.24 cores=0,2,4,6
/proc/21609/stat : 21609 (toysat) R 21606 21609 20760 0 -1 4202496 2173872 0 0 0 27936 288 0 0 20 0 4 0 25786212 9159905280 2177491 33554432000 4194304 16246674 140737404613488 140737404612584 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21609/statm: 2236305 2177491 838 2943 0 2233199 0
[pid=21609/tid=21610] ppid=21606 vsize=8945220 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21610/stat : 21610 (toysat) S 21606 21609 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786213 9159905280 2177491 33554432000 4194304 16246674 140737404613488 140038089190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21609/tid=21611] ppid=21606 vsize=8945220 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21611/stat : 21611 (toysat) S 21606 21609 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786213 9159905280 2177491 33554432000 4194304 16246674 140737404613488 140038078700784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21609/tid=21612] ppid=21606 vsize=8945220 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21612/stat : 21612 (toysat) S 21606 21609 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786213 9159905280 2177491 33554432000 4194304 16246674 140737404613488 140038068227248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 8945220

[startup+342.3 s]
/proc/loadavg: 2.02 2.06 2.08 3/183 21672
/proc/meminfo: memFree=17527052/32872528 swapFree=163656/177964
[pid=21609] ppid=21606 vsize=3068484 CPUtime=342.24 cores=0,2,4,6
/proc/21609/stat : 21609 (toysat) R 21606 21609 20760 0 -1 4202496 2599859 0 0 0 33836 388 0 0 20 0 4 0 25786212 3142127616 708307 33554432000 4194304 16246674 140737404613488 140737404612584 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21609/statm: 767121 708307 838 2943 0 764015 0
[pid=21609/tid=21610] ppid=21606 vsize=3068484 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21610/stat : 21610 (toysat) S 21606 21609 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786213 3142127616 708307 33554432000 4194304 16246674 140737404613488 140038089190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21609/tid=21611] ppid=21606 vsize=3068484 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21611/stat : 21611 (toysat) S 21606 21609 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786213 3142127616 708307 33554432000 4194304 16246674 140737404613488 140038078700784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21609/tid=21612] ppid=21606 vsize=3068484 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21612/stat : 21612 (toysat) S 21606 21609 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786213 3142127616 708307 33554432000 4194304 16246674 140737404613488 140038068227248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 3068484

[startup+402.3 s]
/proc/loadavg: 2.06 2.07 2.08 3/182 21673
/proc/meminfo: memFree=4191064/32872528 swapFree=163656/177964
[pid=21609] ppid=21606 vsize=13651524 CPUtime=402.23 cores=0,2,4,6
/proc/21609/stat : 21609 (toysat) R 21606 21609 20760 0 -1 4202496 5245626 0 0 0 39481 742 0 0 20 0 4 0 25786212 13979160576 3354071 33554432000 4194304 16246674 140737404613488 140737404612584 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21609/statm: 3412881 3354071 839 2943 0 3409775 0
[pid=21609/tid=21610] ppid=21606 vsize=13651524 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21610/stat : 21610 (toysat) S 21606 21609 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786213 13979160576 3354071 33554432000 4194304 16246674 140737404613488 140038089190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21609/tid=21611] ppid=21606 vsize=13651524 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21611/stat : 21611 (toysat) S 21606 21609 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786213 13979160576 3354071 33554432000 4194304 16246674 140737404613488 140038078700784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21609/tid=21612] ppid=21606 vsize=13651524 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21612/stat : 21612 (toysat) S 21606 21609 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786213 13979160576 3354071 33554432000 4194304 16246674 140737404613488 140038068227248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 13651524

[startup+462.3 s]
/proc/loadavg: 2.02 2.05 2.07 3/183 21723
/proc/meminfo: memFree=16994336/32872528 swapFree=163656/177964
[pid=21609] ppid=21606 vsize=13651524 CPUtime=462.22 cores=0,2,4,6
/proc/21609/stat : 21609 (toysat) R 21606 21609 20760 0 -1 4202496 5245630 0 0 0 45477 745 0 0 20 0 4 0 25786212 13979160576 3354075 33554432000 4194304 16246674 140737404613488 140737404612584 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21609/statm: 3412881 3354075 843 2943 0 3409775 0
[pid=21609/tid=21610] ppid=21606 vsize=13651524 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21610/stat : 21610 (toysat) S 21606 21609 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786213 13979160576 3354075 33554432000 4194304 16246674 140737404613488 140038089190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21609/tid=21611] ppid=21606 vsize=13651524 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21611/stat : 21611 (toysat) S 21606 21609 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786213 13979160576 3354075 33554432000 4194304 16246674 140737404613488 140038078700784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21609/tid=21612] ppid=21606 vsize=13651524 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21612/stat : 21612 (toysat) S 21606 21609 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786213 13979160576 3354075 33554432000 4194304 16246674 140737404613488 140038068227248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 13651524



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+512.9 s]
/proc/loadavg: 2.09 2.06 2.08 3/183 21724
/proc/meminfo: memFree=14868888/32872528 swapFree=163656/177964
[pid=21609] ppid=21606 vsize=15909444 CPUtime=512.8 cores=0,2,4,6
/proc/21609/stat : 21609 (toysat) R 21606 21609 20760 0 -1 4202496 5809925 0 0 0 50446 834 0 0 20 0 4 0 25786212 16291270656 3918370 33554432000 4194304 16246674 140737404613488 140737404612584 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21609/statm: 3977361 3918370 843 2943 0 3974255 0
[pid=21609/tid=21610] ppid=21606 vsize=15909444 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21610/stat : 21610 (toysat) S 21606 21609 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786213 16291270656 3918370 33554432000 4194304 16246674 140737404613488 140038089190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21609/tid=21611] ppid=21606 vsize=15909444 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21611/stat : 21611 (toysat) S 21606 21609 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786213 16291270656 3918370 33554432000 4194304 16246674 140737404613488 140038078700784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21609/tid=21612] ppid=21606 vsize=15909444 CPUtime=0 cores=0,2,4,6
/proc/21609/task/21612/stat : 21612 (toysat) S 21606 21609 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786213 16291270656 3918370 33554432000 4194304 16246674 140737404613488 140038068227248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 512.8
Current children cumulated vsize (KiB) 15909444

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

[startup+513.6 s]
/proc/loadavg: 2.09 2.06 2.08 3/183 21724
/proc/meminfo: memFree=14868888/32872528 swapFree=163656/177964
[pid=21609] ppid=21606 vsize=0 CPUtime=513.51 cores=0,2,4,6
/proc/21609/stat : 21609 (toysat) Z 21606 21609 20760 0 -1 4203532 5810426 0 0 0 50447 904 0 0 20 0 2 0 25786212 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21609/statm: 0 0 0 0 0 0 0
[pid=21609/tid=21611] ppid=21606 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/21609/task/21611/stat : 21611 (toysat) R 21606 21609 20760 0 -1 4203588 8 0 0 0 0 68 0 0 20 0 2 0 25786213 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 513.51
Current children cumulated vsize (KiB) 0

[startup+513.807 s]
/proc/loadavg: 2.09 2.06 2.08 3/181 21724
/proc/meminfo: memFree=27321088/32872528 swapFree=163656/177964
[pid=21609] ppid=21606 vsize=0 CPUtime=513.71 cores=0,2,4,6
/proc/21609/stat : 21609 (toysat) Z 21606 21609 20760 0 -1 4203532 5810426 0 0 0 50447 924 0 0 20 0 2 0 25786212 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21609/statm: 0 0 0 0 0 0 0
[pid=21609/tid=21611] ppid=21606 vsize=0 CPUtime=0.89 cores=0,2,4,6
/proc/21609/task/21611/stat : 21611 (toysat) R 21606 21609 20760 0 -1 4203588 8 0 0 0 0 89 0 0 20 0 2 0 25786213 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 513.71
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 513.896
CPU time (s): 513.807
CPU user time (s): 504.471
CPU system time (s): 9.33558
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 15909444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 504.471
system time used= 9.33558
maximum resident set size= 15675484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5810426
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= 178
involuntary context switches= 562

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.50647 second user time and 4.54931 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 10:09:23
IDJOB=4103469
IDBENCH=2370
IDSOLVER=2542
FILE ID=node105/4103469-1466237362
RUNJOBID= node105-1466229502-20776
PBS_JOBID= 19918174
Free space on /tmp= 71648 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1l.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103469-1466237362/watcher-4103469-1466237362 -o /tmp/evaluation-result-4103469-1466237362/solver-4103469-1466237362 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20776 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103469-1466237362.opb

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

MD5SUM BENCH= b626c8307376f19de1f1e51bf91eca4f
RANDOM SEED=984606818

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        20178436 kB
Buffers:           90296 kB
Cached:           264760 kB
SwapCached:         1696 kB
Active:         11574840 kB
Inactive:         182172 kB
Active(anon):   11400064 kB
Inactive(anon):     4132 kB
Active(file):     174776 kB
Inactive(file):   178040 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:             24452 kB
Writeback:             0 kB
AnonPages:      11579428 kB
Mapped:            10472 kB
Shmem:                 0 kB
Slab:             605716 kB
SReclaimable:      49284 kB
SUnreclaim:       556432 kB
KernelStack:        1448 kB
PageTables:        26696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   11722532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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= 71704 MiB
End job on node105 at 2016-06-18 10:17:57