Trace number 4103465

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) 1013.57 1013.8

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-NSR8K.opb
MD5SUMcc5d7ea426a09a5b1cb030d82bbe1743
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables221520
Total number of constraints6283
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 constraints6283
Minimum length of a constraint45
Maximum length of a constraint221520
Number of terms in the objective function 221520
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 34400198927214221876937
Number of bits of the sum of numbers in the objective function 75
Biggest number in a constraint 536870912000000000000
Number of bits of the biggest number in a constraint 69
Biggest sum of numbers in a constraint 34400301327214221876937
Number of bits of the biggest sum of numbers75
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:07:56+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-4103465-1466237275.opb"]
0.00/0.01	c use --random-gen="4281373951 1142245351 2492528666 1650744669 4167153186 3579486249 1018659422 1567588176 510484343 504222057 2529084605 3525512259 3413753256 1417607715 684298499 1570960014 2981072353 3944054340 3467505111 3046211450 147922633 499900386 1636867223 792812480 1710107493 3300432569 655147780 494581064 92529753 1619448767 368885724 2721442148 751513495 3917819475 2714529430 1898796856 2585506367 712869256 2246174958 2481617154 1188106282 3465620561 1897032805 2102669022 1418967748 4212842736 2078982557 3830978662 3359567765 3584048842 1693853408 1978163669 3114659661 3353382945 3298775525 3857906086 3332348069 1652012787 2864539533 3030716917 2805760422 4217396979 2743775454 127749205 606604976 4154626267 2575001852 2687700602 574287815 3140782717 3724102506 2447869032 2344122029 253419880 140787711 25011673 88451416 2563118792 3378231410 2346233312 3034108834 1607098437 2400404227 1155576972 1790515079 2475747612 3363421810 1292579817 3002772823 1910738218 426777387 786108209 3844490215 4154355069 1804230124 782017562 412858867 3159847375 1827380002 2425612096 67255983 3338092306 4149504151 1197384649 4277005125 4282740760 3277580911 1695904381 3377393582 3920028347 3878079556 3001752028 3899256255 216944731 176164696 1635663385 1275724874 1003185796 560151368 3757567778 2164070875 1187756841 4243136134 3322841255 289104090 602024841 3176940337 2413321105 2871557890 4109978868 423990698 3844673213 1368647714 3896167483 1616968631 1487763484 161657027 2060809895 154105963 1462850651 28988442 2957074490 2716107994 3660096885 2206977532 2558845314 890225333 511441366 838525336 205696151 406795250 579432669 1715054891 989060012 1482178915 996943035 2016890709 2443360853 2283516456 3013068370 112653179 3445083673 344270227 2040674758 1960427129 2601067803 961330836 4158123938 1416764759 2880484471 489360845 4099760627 673753379 923812117 1087197117 3785433620 3935861909 1786393653 467642289 1978727086 1673844092 1230672629 2118243128 3594670276 4160563995 4177182002 46103824 1630238904 2397359850 3559452791 1414013256 2322980446 3997421230 2984110126 504768832 2470106409 709526163 3470351865 3232979348 1129253620 3001643140 3750256679 3332031040 4182738779 2014464475 2024432857 1026567119 2071263336 783827318 1814190855 3836923713 2081394429 823504088 2994411334 1982491104 892952358 3293613190 264089374 781930786 513880737 1211422434 3475096918 1955303077 1155225366 568167409 2345933604 3185747887 2288573306 3927007560 3514531275 2954342532 101478296 1280926884 1587151345 830192384 3834125795 1568047921 3214807898 1970287606 235567639 2863870808 3066192173 2283207275 3175468133 4080269840 3366612775 132680541 3785952915 504601703 3547028230 3305324517 2232861400 1364505901 1037643022 1787741020 3851653569 255 362436" option to reproduce the execution
1.89/1.99	c #vars 221520
1.89/1.99	c #constraints 6283

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

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

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


[startup+0 s]
/proc/loadavg: 1.99 2.04 2.00 3/179 15547
/proc/meminfo: memFree=30076784/32872528 swapFree=534252/566956
[pid=15547] ppid=15544 vsize=753084 CPUtime=0 cores=1,3,5,7
/proc/15547/stat : 15547 (toysat) R 15544 15547 10353 0 -1 4202496 2813 0 0 0 0 0 0 0 20 0 4 0 25773214 771158016 2664 33554432000 4194304 16246674 140735680429392 140735680428816 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15547/statm: 188783 2674 441 2943 0 185677 0
[pid=15547/tid=15548] ppid=15544 vsize=770492 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15548/stat : 15548 (toysat) S 15544 15547 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25773214 788983808 2734 33554432000 4194304 16246674 140735680429392 140009142201584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15547/tid=15549] ppid=15544 vsize=774588 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15549/stat : 15549 (toysat) S 15544 15547 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25773214 793178112 2750 33554432000 4194304 16246674 140735680429392 140009131711728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15547/tid=15550] ppid=15544 vsize=779708 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15550/stat : 15550 (toysat) S 15544 15547 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25773214 798420992 2767 33554432000 4194304 16246674 140735680429392 140009121238192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 1.99 2.04 2.00 3/179 15547
/proc/meminfo: memFree=30076784/32872528 swapFree=534252/566956
[pid=15547] ppid=15544 vsize=1304132 CPUtime=0.09 cores=1,3,5,7
/proc/15547/stat : 15547 (toysat) R 15544 15547 10353 0 -1 4202496 32409 0 0 0 5 4 0 0 20 0 4 0 25773214 1335431168 32198 33554432000 4194304 16246674 140735680429392 140735680428704 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15547/statm: 326033 32214 799 2943 0 322927 0
[pid=15547/tid=15548] ppid=15544 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15548/stat : 15548 (toysat) S 15544 15547 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25773214 1335431168 32225 33554432000 4194304 16246674 140735680429392 140009142201584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15547/tid=15549] ppid=15544 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15549/stat : 15549 (toysat) S 15544 15547 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25773214 1335431168 32236 33554432000 4194304 16246674 140735680429392 140009131711728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15547/tid=15550] ppid=15544 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15550/stat : 15550 (toysat) S 15544 15547 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25773214 1335431168 32246 33554432000 4194304 16246674 140735680429392 140009121238192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1304132

[startup+0.200584 s]
/proc/loadavg: 1.99 2.04 2.00 3/179 15547
/proc/meminfo: memFree=30076784/32872528 swapFree=534252/566956
[pid=15547] ppid=15544 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/15547/stat : 15547 (toysat) R 15544 15547 10353 0 -1 4202496 37502 0 0 0 14 5 0 0 20 0 4 0 25773214 1342771200 37801 33554432000 4194304 16246674 140735680429392 140735680428704 13789017 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15547/statm: 327825 37801 799 2943 0 324719 0
[pid=15547/tid=15548] ppid=15544 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15548/stat : 15548 (toysat) S 15544 15547 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25773214 1342771200 37801 33554432000 4194304 16246674 140735680429392 140009142201584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15547/tid=15549] ppid=15544 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15549/stat : 15549 (toysat) S 15544 15547 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25773214 1342771200 37801 33554432000 4194304 16246674 140735680429392 140009131711728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15547/tid=15550] ppid=15544 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15550/stat : 15550 (toysat) S 15544 15547 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25773214 1342771200 37801 33554432000 4194304 16246674 140735680429392 140009121238192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300523 s]
/proc/loadavg: 1.99 2.04 2.00 3/179 15547
/proc/meminfo: memFree=30076784/32872528 swapFree=534252/566956
[pid=15547] ppid=15544 vsize=1311300 CPUtime=0.29 cores=1,3,5,7
/proc/15547/stat : 15547 (toysat) R 15544 15547 10353 0 -1 4202496 37502 0 0 0 24 5 0 0 20 0 4 0 25773214 1342771200 37801 33554432000 4194304 16246674 140735680429392 140735680428704 7361304 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15547/statm: 327825 37801 799 2943 0 324719 0
[pid=15547/tid=15548] ppid=15544 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15548/stat : 15548 (toysat) S 15544 15547 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25773214 1342771200 37801 33554432000 4194304 16246674 140735680429392 140009142201584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15547/tid=15549] ppid=15544 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15549/stat : 15549 (toysat) S 15544 15547 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25773214 1342771200 37801 33554432000 4194304 16246674 140735680429392 140009131711728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15547/tid=15550] ppid=15544 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15550/stat : 15550 (toysat) S 15544 15547 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25773214 1342771200 37801 33554432000 4194304 16246674 140735680429392 140009121238192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1311300

[startup+0.700439 s]
/proc/loadavg: 1.99 2.04 2.00 3/179 15547
/proc/meminfo: memFree=30076784/32872528 swapFree=534252/566956
[pid=15547] ppid=15544 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/15547/stat : 15547 (toysat) R 15544 15547 10353 0 -1 4202496 66238 0 0 0 61 8 0 0 20 0 4 0 25773214 1344868352 66537 33554432000 4194304 16246674 140735680429392 140735680428568 4221006 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15547/statm: 328337 66537 802 2943 0 325231 0
[pid=15547/tid=15548] ppid=15544 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15548/stat : 15548 (toysat) S 15544 15547 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25773214 1344868352 66537 33554432000 4194304 16246674 140735680429392 140009142201584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15547/tid=15549] ppid=15544 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15549/stat : 15549 (toysat) S 15544 15547 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25773214 1344868352 66537 33554432000 4194304 16246674 140735680429392 140009131711728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15547/tid=15550] ppid=15544 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15550/stat : 15550 (toysat) S 15544 15547 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25773214 1344868352 66537 33554432000 4194304 16246674 140735680429392 140009121238192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50044 s]
/proc/loadavg: 1.99 2.04 2.00 3/183 15551
/proc/meminfo: memFree=29781056/32872528 swapFree=534252/566956
[pid=15547] ppid=15544 vsize=1337924 CPUtime=1.48 cores=1,3,5,7
/proc/15547/stat : 15547 (toysat) R 15544 15547 10353 0 -1 4202496 73984 0 0 0 139 9 0 0 20 0 4 0 25773214 1370034176 77349 33554432000 4194304 16246674 140735680429392 140735680428568 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15547/statm: 334481 77349 802 2943 0 331375 0
[pid=15547/tid=15548] ppid=15544 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15548/stat : 15548 (toysat) S 15544 15547 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25773214 1370034176 77349 33554432000 4194304 16246674 140735680429392 140009142201584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15547/tid=15549] ppid=15544 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15549/stat : 15549 (toysat) S 15544 15547 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25773214 1370034176 77349 33554432000 4194304 16246674 140735680429392 140009131711728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15547/tid=15550] ppid=15544 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15550/stat : 15550 (toysat) S 15544 15547 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25773214 1370034176 77349 33554432000 4194304 16246674 140735680429392 140009121238192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1337924

[startup+3.10044 s]
/proc/loadavg: 1.99 2.04 2.00 3/183 15551
/proc/meminfo: memFree=29643888/32872528 swapFree=534252/566956
[pid=15547] ppid=15544 vsize=1411652 CPUtime=3.09 cores=1,3,5,7
/proc/15547/stat : 15547 (toysat) R 15544 15547 10353 0 -1 4202496 266140 0 0 0 274 35 0 0 20 0 4 0 25773214 1445531648 271038 33554432000 4194304 16246674 140735680429392 140735680411264 12652957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15547/statm: 352913 271038 836 2943 0 349807 0
[pid=15547/tid=15548] ppid=15544 vsize=1411652 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15548/stat : 15548 (toysat) S 15544 15547 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25773214 1445531648 271038 33554432000 4194304 16246674 140735680429392 140009142201584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15547/tid=15549] ppid=15544 vsize=1411652 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15549/stat : 15549 (toysat) S 15544 15547 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25773214 1445531648 271038 33554432000 4194304 16246674 140735680429392 140009131711728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15547/tid=15550] ppid=15544 vsize=1411652 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15550/stat : 15550 (toysat) S 15544 15547 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25773214 1445531648 271038 33554432000 4194304 16246674 140735680429392 140009121238192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1411652

[startup+6.30044 s]
/proc/loadavg: 1.99 2.04 2.00 3/183 15551
/proc/meminfo: memFree=28901932/32872528 swapFree=534252/566956
[pid=15547] ppid=15544 vsize=1411652 CPUtime=6.29 cores=1,3,5,7
/proc/15547/stat : 15547 (toysat) R 15544 15547 10353 0 -1 4202496 287400 0 0 0 591 38 0 0 20 0 4 0 25773214 1445531648 293831 33554432000 4194304 16246674 140735680429392 140735680411264 13763657 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15547/statm: 352913 293831 836 2943 0 349807 0
[pid=15547/tid=15548] ppid=15544 vsize=1411652 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15548/stat : 15548 (toysat) S 15544 15547 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25773214 1445531648 293831 33554432000 4194304 16246674 140735680429392 140009142201584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15547/tid=15549] ppid=15544 vsize=1411652 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15549/stat : 15549 (toysat) S 15544 15547 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25773214 1445531648 293831 33554432000 4194304 16246674 140735680429392 140009131711728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15547/tid=15550] ppid=15544 vsize=1411652 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15550/stat : 15550 (toysat) S 15544 15547 10353 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25773214 1445531648 293831 33554432000 4194304 16246674 140735680429392 140009121238192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1411652

[startup+12.7005 s]
/proc/loadavg: 1.99 2.03 2.00 3/183 15551
/proc/meminfo: memFree=28802392/32872528 swapFree=534252/566956
[pid=15547] ppid=15544 vsize=1411652 CPUtime=12.69 cores=1,3,5,7
/proc/15547/stat : 15547 (toysat) R 15544 15547 10353 0 -1 4202496 287400 0 0 0 1231 38 0 0 20 0 4 0 25773214 1445531648 293831 33554432000 4194304 16246674 140735680429392 140735680411264 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15547/statm: 352913 293831 836 2943 0 349807 0
[pid=15547/tid=15548] ppid=15544 vsize=1411652 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15548/stat : 15548 (toysat) S 15544 15547 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25773214 1445531648 293831 33554432000 4194304 16246674 140735680429392 140009142201584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15547/tid=15549] ppid=15544 vsize=1411652 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15549/stat : 15549 (toysat) S 15544 15547 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25773214 1445531648 293831 33554432000 4194304 16246674 140735680429392 140009131711728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15547/tid=15550] ppid=15544 vsize=1411652 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15550/stat : 15550 (toysat) S 15544 15547 10353 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25773214 1445531648 293831 33554432000 4194304 16246674 140735680429392 140009121238192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1411652

[startup+25.5005 s]
/proc/loadavg: 1.99 2.03 2.00 3/183 15551
/proc/meminfo: memFree=27976056/32872528 swapFree=534252/566956
[pid=15547] ppid=15544 vsize=1411652 CPUtime=25.49 cores=1,3,5,7
/proc/15547/stat : 15547 (toysat) R 15544 15547 10353 0 -1 4202496 287400 0 0 0 2511 38 0 0 20 0 4 0 25773214 1445531648 293831 33554432000 4194304 16246674 140735680429392 140735680411264 12449088 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15547/statm: 352913 293831 836 2943 0 349807 0
[pid=15547/tid=15548] ppid=15544 vsize=1411652 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15548/stat : 15548 (toysat) S 15544 15547 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25773214 1445531648 293831 33554432000 4194304 16246674 140735680429392 140009142201584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15547/tid=15549] ppid=15544 vsize=1411652 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15549/stat : 15549 (toysat) S 15544 15547 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25773214 1445531648 293831 33554432000 4194304 16246674 140735680429392 140009131711728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15547/tid=15550] ppid=15544 vsize=1411652 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15550/stat : 15550 (toysat) S 15544 15547 10353 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25773214 1445531648 293831 33554432000 4194304 16246674 140735680429392 140009121238192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1411652

[startup+51.1005 s]
/proc/loadavg: 1.99 2.03 2.00 3/183 15551
/proc/meminfo: memFree=24657568/32872528 swapFree=534252/566956
[pid=15547] ppid=15544 vsize=1411652 CPUtime=51.09 cores=1,3,5,7
/proc/15547/stat : 15547 (toysat) R 15544 15547 10353 0 -1 4202496 287400 0 0 0 5071 38 0 0 20 0 4 0 25773214 1445531648 293831 33554432000 4194304 16246674 140735680429392 140735680411264 6955222 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15547/statm: 352913 293831 836 2943 0 349807 0
[pid=15547/tid=15548] ppid=15544 vsize=1411652 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15548/stat : 15548 (toysat) S 15544 15547 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25773214 1445531648 293831 33554432000 4194304 16246674 140735680429392 140009142201584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15547/tid=15549] ppid=15544 vsize=1411652 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15549/stat : 15549 (toysat) S 15544 15547 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25773214 1445531648 293831 33554432000 4194304 16246674 140735680429392 140009131711728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15547/tid=15550] ppid=15544 vsize=1411652 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15550/stat : 15550 (toysat) S 15544 15547 10353 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25773214 1445531648 293831 33554432000 4194304 16246674 140735680429392 140009121238192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1411652

[startup+102.301 s]
/proc/loadavg: 1.99 2.02 2.00 3/183 15553
/proc/meminfo: memFree=17224100/32872528 swapFree=534252/566956
[pid=15547] ppid=15544 vsize=2398788 CPUtime=102.28 cores=1,3,5,7
/proc/15547/stat : 15547 (toysat) R 15544 15547 10353 0 -1 4202496 745136 0 0 0 10127 101 0 0 20 0 4 0 25773214 2456358912 540623 33554432000 4194304 16246674 140735680429392 140735680427200 6955656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15547/statm: 599697 540623 838 2943 0 596591 0
[pid=15547/tid=15548] ppid=15544 vsize=2398788 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15548/stat : 15548 (toysat) S 15544 15547 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25773214 2456358912 540623 33554432000 4194304 16246674 140735680429392 140009142201584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15547/tid=15549] ppid=15544 vsize=2398788 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15549/stat : 15549 (toysat) S 15544 15547 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25773214 2456358912 540623 33554432000 4194304 16246674 140735680429392 140009131711728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15547/tid=15550] ppid=15544 vsize=2398788 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15550/stat : 15550 (toysat) S 15544 15547 10353 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25773214 2456358912 540623 33554432000 4194304 16246674 140735680429392 140009121238192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2398788


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


[startup+642.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 15712
/proc/meminfo: memFree=17724848/32872528 swapFree=534252/566956
[pid=15547] ppid=15544 vsize=9867844 CPUtime=642.17 cores=1,3,5,7
/proc/15547/stat : 15547 (toysat) R 15544 15547 10353 0 -1 4202496 12054561 0 0 0 62374 1843 0 0 20 0 4 0 25773214 10104672256 2408159 33554432000 4194304 16246674 140735680429392 140735680428488 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15547/statm: 2466961 2408159 843 2943 0 2463855 0
[pid=15547/tid=15548] ppid=15544 vsize=9867844 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15548/stat : 15548 (toysat) S 15544 15547 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25773214 10104672256 2408159 33554432000 4194304 16246674 140735680429392 140009142201584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15547/tid=15549] ppid=15544 vsize=9867844 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15549/stat : 15549 (toysat) S 15544 15547 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25773214 10104672256 2408159 33554432000 4194304 16246674 140735680429392 140009131711728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15547/tid=15550] ppid=15544 vsize=9867844 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15550/stat : 15550 (toysat) S 15544 15547 10353 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25773214 10104672256 2408159 33554432000 4194304 16246674 140735680429392 140009121238192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 642.17
Current children cumulated vsize (KiB) 9867844

[startup+702.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/182 15713
/proc/meminfo: memFree=14064192/32872528 swapFree=534252/566956
[pid=15547] ppid=15544 vsize=14334532 CPUtime=702.15 cores=1,3,5,7
/proc/15547/stat : 15547 (toysat) R 15544 15547 10353 0 -1 4202496 13171235 0 0 0 68223 1992 0 0 20 0 4 0 25773214 14678560768 3524833 33554432000 4194304 16246674 140735680429392 140735680428488 4226176 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15547/statm: 3583633 3524833 843 2943 0 3580527 0
[pid=15547/tid=15548] ppid=15544 vsize=14334532 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15548/stat : 15548 (toysat) S 15544 15547 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25773214 14678560768 3524833 33554432000 4194304 16246674 140735680429392 140009142201584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15547/tid=15549] ppid=15544 vsize=14334532 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15549/stat : 15549 (toysat) S 15544 15547 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25773214 14678560768 3524833 33554432000 4194304 16246674 140735680429392 140009131711728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15547/tid=15550] ppid=15544 vsize=14334532 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15550/stat : 15550 (toysat) S 15544 15547 10353 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25773214 14678560768 3524833 33554432000 4194304 16246674 140735680429392 140009121238192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 702.15
Current children cumulated vsize (KiB) 14334532

[startup+762.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/184 15718
/proc/meminfo: memFree=22739548/32872528 swapFree=534252/566956
[pid=15547] ppid=15544 vsize=3604036 CPUtime=762.15 cores=1,3,5,7
/proc/15547/stat : 15547 (toysat) R 15544 15547 10353 0 -1 4202496 14192676 0 0 0 74005 2210 0 0 20 0 4 0 25773214 3690532864 842210 33554432000 4194304 16246674 140735680429392 140735680428704 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15547/statm: 901009 842210 843 2943 0 897903 0
[pid=15547/tid=15548] ppid=15544 vsize=3604036 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15548/stat : 15548 (toysat) S 15544 15547 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25773214 3690532864 842210 33554432000 4194304 16246674 140735680429392 140009142201584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15547/tid=15549] ppid=15544 vsize=3604036 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15549/stat : 15549 (toysat) S 15544 15547 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25773214 3690532864 842210 33554432000 4194304 16246674 140735680429392 140009131711728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15547/tid=15550] ppid=15544 vsize=3604036 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15550/stat : 15550 (toysat) S 15544 15547 10353 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25773214 3690532864 842210 33554432000 4194304 16246674 140735680429392 140009121238192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 762.15
Current children cumulated vsize (KiB) 3604036

[startup+822.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 15719
/proc/meminfo: memFree=22018528/32872528 swapFree=534252/566956
[pid=15547] ppid=15544 vsize=5791300 CPUtime=822.12 cores=1,3,5,7
/proc/15547/stat : 15547 (toysat) R 15544 15547 10353 0 -1 4202496 15729703 0 0 0 79771 2441 0 0 20 0 4 0 25773214 5930291200 1389027 33554432000 4194304 16246674 140735680429392 140735680428704 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15547/statm: 1447825 1389027 843 2943 0 1444719 0
[pid=15547/tid=15548] ppid=15544 vsize=5791300 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15548/stat : 15548 (toysat) S 15544 15547 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25773214 5930291200 1389027 33554432000 4194304 16246674 140735680429392 140009142201584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15547/tid=15549] ppid=15544 vsize=5791300 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15549/stat : 15549 (toysat) S 15544 15547 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25773214 5930291200 1389027 33554432000 4194304 16246674 140735680429392 140009131711728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15547/tid=15550] ppid=15544 vsize=5791300 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15550/stat : 15550 (toysat) S 15544 15547 10353 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25773214 5930291200 1389027 33554432000 4194304 16246674 140735680429392 140009121238192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 5791300

[startup+882.308 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 15720
/proc/meminfo: memFree=5101608/32872528 swapFree=534252/566956
[pid=15547] ppid=15544 vsize=12305988 CPUtime=882.11 cores=1,3,5,7
/proc/15547/stat : 15547 (toysat) R 15544 15547 10353 0 -1 4202496 17358377 0 0 0 85551 2660 0 0 20 0 4 0 25773214 12601331712 3017701 33554432000 4194304 16246674 140735680429392 140735680427328 14006562 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15547/statm: 3076497 3017701 843 2943 0 3073391 0
[pid=15547/tid=15548] ppid=15544 vsize=12305988 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15548/stat : 15548 (toysat) S 15544 15547 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25773214 12601331712 3017701 33554432000 4194304 16246674 140735680429392 140009142201584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15547/tid=15549] ppid=15544 vsize=12305988 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15549/stat : 15549 (toysat) S 15544 15547 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25773214 12601331712 3017701 33554432000 4194304 16246674 140735680429392 140009131711504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15547/tid=15550] ppid=15544 vsize=12305988 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15550/stat : 15550 (toysat) S 15544 15547 10353 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25773214 12601331712 3017701 33554432000 4194304 16246674 140735680429392 140009121238192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 12305988

[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 15721
/proc/meminfo: memFree=4697276/32872528 swapFree=534252/566956
[pid=15547] ppid=15544 vsize=12709444 CPUtime=942.1 cores=1,3,5,7
/proc/15547/stat : 15547 (toysat) R 15544 15547 10353 0 -1 4202496 17412085 0 0 0 91536 2674 0 0 20 0 4 0 25773214 13014470656 3118421 33554432000 4194304 16246674 140735680429392 140735680427328 14006494 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15547/statm: 3177361 3118421 843 2943 0 3174255 0
[pid=15547/tid=15548] ppid=15544 vsize=12709444 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15548/stat : 15548 (toysat) S 15544 15547 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25773214 13014470656 3118421 33554432000 4194304 16246674 140735680429392 140009142201584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15547/tid=15549] ppid=15544 vsize=12709444 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15549/stat : 15549 (toysat) S 15544 15547 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25773214 13014470656 3118421 33554432000 4194304 16246674 140735680429392 140009131711504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15547/tid=15550] ppid=15544 vsize=12709444 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15550/stat : 15550 (toysat) S 15544 15547 10353 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25773214 13014470656 3118421 33554432000 4194304 16246674 140735680429392 140009121238192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 12709444

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 15770
/proc/meminfo: memFree=8891212/32872528 swapFree=534252/566956
[pid=15547] ppid=15544 vsize=15185476 CPUtime=1002.08 cores=1,3,5,7
/proc/15547/stat : 15547 (toysat) R 15544 15547 10353 0 -1 4202496 17974883 0 0 0 97454 2754 0 0 20 0 4 0 25773214 15549927424 3737429 33554432000 4194304 16246674 140735680429392 140735680427328 14016690 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15547/statm: 3796369 3737429 843 2943 0 3793263 0
[pid=15547/tid=15548] ppid=15544 vsize=15185476 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15548/stat : 15548 (toysat) S 15544 15547 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25773214 15549927424 3737429 33554432000 4194304 16246674 140735680429392 140009142201584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15547/tid=15549] ppid=15544 vsize=15185476 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15549/stat : 15549 (toysat) S 15544 15547 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25773214 15549927424 3737429 33554432000 4194304 16246674 140735680429392 140009131711504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15547/tid=15550] ppid=15544 vsize=15185476 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15550/stat : 15550 (toysat) S 15544 15547 10353 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25773214 15549927424 3737429 33554432000 4194304 16246674 140735680429392 140009121238192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 15185476



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1013 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 15771
/proc/meminfo: memFree=7118864/32872528 swapFree=534252/566956
[pid=15547] ppid=15544 vsize=15888964 CPUtime=1012.78 cores=1,3,5,7
/proc/15547/stat : 15547 (toysat) R 15544 15547 10353 0 -1 4202496 18150859 0 0 0 98499 2779 0 0 20 0 4 0 25773214 16270299136 3913405 33554432000 4194304 16246674 140735680429392 140735680428488 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15547/statm: 3972241 3913416 843 2943 0 3969135 0
[pid=15547/tid=15548] ppid=15544 vsize=15888964 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15548/stat : 15548 (toysat) S 15544 15547 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25773214 16270299136 3913423 33554432000 4194304 16246674 140735680429392 140009142201584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15547/tid=15549] ppid=15544 vsize=15888964 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15549/stat : 15549 (toysat) S 15544 15547 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25773214 16270299136 3913428 33554432000 4194304 16246674 140735680429392 140009131711728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15547/tid=15550] ppid=15544 vsize=15888964 CPUtime=0 cores=1,3,5,7
/proc/15547/task/15550/stat : 15550 (toysat) S 15544 15547 10353 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25773214 16270299136 3913433 33554432000 4194304 16246674 140735680429392 140009121238192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1012.78
Current children cumulated vsize (KiB) 15888964

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

[startup+1013.21 s]
/proc/loadavg: 2.07 2.03 2.00 4/181 15771
/proc/meminfo: memFree=8936148/32872528 swapFree=534252/566956
[pid=15547] ppid=15544 vsize=0 CPUtime=1012.98 cores=1,3,5,7
/proc/15547/stat : 15547 (toysat) Z 15544 15547 10353 0 -1 4203532 18151373 0 0 0 98499 2799 0 0 20 0 2 0 25773214 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15547/statm: 0 0 0 0 0 0 0
[pid=15547/tid=15549] ppid=15544 vsize=0 CPUtime=0.19 cores=1,3,5,7
/proc/15547/task/15549/stat : 15549 (toysat) R 15544 15547 10353 0 -1 4203588 8 0 0 0 0 19 0 0 20 0 2 0 25773214 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1012.98
Current children cumulated vsize (KiB) 0

[startup+1013.6 s]
/proc/loadavg: 2.07 2.03 2.00 4/181 15771
/proc/meminfo: memFree=8936148/32872528 swapFree=534252/566956
[pid=15547] ppid=15544 vsize=0 CPUtime=1013.37 cores=1,3,5,7
/proc/15547/stat : 15547 (toysat) Z 15544 15547 10353 0 -1 4203532 18151373 0 0 0 98499 2838 0 0 20 0 2 0 25773214 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15547/statm: 0 0 0 0 0 0 0
[pid=15547/tid=15549] ppid=15544 vsize=0 CPUtime=0.59 cores=1,3,5,7
/proc/15547/task/15549/stat : 15549 (toysat) R 15544 15547 10353 0 -1 4203588 8 0 0 0 0 59 0 0 20 0 2 0 25773214 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1013.37
Current children cumulated vsize (KiB) 0

[startup+1013.7 s]
/proc/loadavg: 2.07 2.03 2.00 4/181 15771
/proc/meminfo: memFree=8936148/32872528 swapFree=534252/566956
[pid=15547] ppid=15544 vsize=0 CPUtime=1013.47 cores=1,3,5,7
/proc/15547/stat : 15547 (toysat) Z 15544 15547 10353 0 -1 4203532 18151373 0 0 0 98499 2848 0 0 20 0 2 0 25773214 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15547/statm: 0 0 0 0 0 0 0
[pid=15547/tid=15549] ppid=15544 vsize=0 CPUtime=0.69 cores=1,3,5,7
/proc/15547/task/15549/stat : 15549 (toysat) R 15544 15547 10353 0 -1 4203588 8 0 0 0 0 69 0 0 20 0 2 0 25773214 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1013.47
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1013.8
CPU time (s): 1013.57
CPU user time (s): 984.998
CPU system time (s): 28.5767
CPU usage (%): 99.9779
Max. virtual memory (cumulated for all children) (KiB): 15888964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 984.998
system time used= 28.5767
maximum resident set size= 15655676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18151373
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= 466
involuntary context switches= 1044

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.97094 second user time and 7.92279 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-18 10:07:56
IDJOB=4103465
IDBENCH=2369
IDSOLVER=2542
FILE ID=node138/4103465-1466237275
RUNJOBID= node138-1466206053-10370
PBS_JOBID= 19918139
Free space on /tmp= 71696 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-NSR8K.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103465-1466237275/watcher-4103465-1466237275 -o /tmp/evaluation-result-4103465-1466237275/solver-4103465-1466237275 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10370 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103465-1466237275.opb

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

MD5SUM BENCH= cc5d7ea426a09a5b1cb030d82bbe1743
RANDOM SEED=1446340613

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30077164 kB
Buffers:          123140 kB
Cached:           150160 kB
SwapCached:         1060 kB
Active:          1332724 kB
Inactive:         155892 kB
Active(anon):    1216344 kB
Inactive(anon):     1228 kB
Active(file):     116380 kB
Inactive(file):   154664 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             32708 kB
Writeback:             0 kB
AnonPages:       1783964 kB
Mapped:            10828 kB
Shmem:                 0 kB
Slab:             605840 kB
SReclaimable:      49124 kB
SUnreclaim:       556716 kB
KernelStack:        1456 kB
PageTables:         7776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1924316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 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= 71680 MiB
End job on node138 at 2016-06-18 10:24:50