Trace number 4103913

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.6 1800.87

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-van.opb
MD5SUMf8bd04e1a409d78891d8cd3f4d8f54c0
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark24193312742
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24193312742
Optimality of the best value was proved NO
Number of variables135360
Total number of constraints39616
Number of constraints which are clauses128
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints39488
Minimum length of a constraint2
Maximum length of a constraint496
Number of terms in the objective function 192
Biggest coefficient in the objective function 2427002644
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 319999999936
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 226795425792
Number of bits of the biggest number in a constraint 38
Biggest sum of numbers in a constraint 973128929893
Number of bits of the biggest sum of numbers40
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:45:26+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-4103913-1466239524.opb"]
0.00/0.01	c use --random-gen="1798379809 3985216953 503180349 2359668499 402129972 3458957181 4203693120 2113479598 3119074159 3523082881 1537715967 3703886642 3134359892 1256405225 3632537198 3616813207 646184573 3855867113 1125941536 3161089233 2227151996 364176213 2122054648 885651255 4125068476 1241979280 591915539 1143792678 2112128842 242010408 2007580148 4041064250 679739475 1730575864 1336434767 1691671682 1877508503 2255784483 1606996972 1622613342 2785854617 1575337793 3306027252 3452744526 4278006952 4242730129 3985953236 668828204 4242880027 1806689802 347928309 970879710 4180806815 3488879409 1652427020 2972025203 1990940810 2919855441 972324962 1688562555 3526131337 4190968073 725508295 3597848060 3340884825 1479896467 4050010846 254700880 2339041634 161329998 3395683604 861010038 4270155342 4075388204 1792212216 1451883165 1568956902 4098796923 4105284468 2426263303 1738040173 2089933228 4165583227 3684277978 4089632976 3977967520 3193775692 3422385141 576691972 31026063 2876048528 4132689373 2661386068 2376038986 459691733 2938026412 2240433516 3262123913 3098551671 874533557 2367120515 771909258 650248677 3279007710 1922221491 234378743 1720181545 841112740 378637554 3106578013 3986920046 424234199 3173730995 4169463014 2564069845 2899297197 1482175110 3740639351 2688069187 2138069956 1975714714 2802333755 2486173827 864996146 1014652141 3646844355 2742949226 2224235925 3565001083 3058971540 2314415891 2163621505 2035294613 2943935364 3171630426 620018206 230204603 3831461086 3699935433 891273161 3728490364 2490839441 2029129357 350763868 894130776 233308508 3412688255 688197572 3945229346 2369362069 721127182 3909754535 2784632041 52664521 2311629177 3937920872 1565193119 1221158793 3368931544 3415154471 2641507030 182576624 3697010986 3577033266 353351442 3676935383 870718302 1808399639 1803591881 2653315879 2148889436 3424765130 3211603089 1146089507 2056111147 3890730459 3565363527 3872807147 763014362 1907301813 3574770712 3064087325 2909202982 3492875179 3694640229 2055647856 1718651376 784114074 3221028093 2734590303 1650459419 2648003630 3391836508 3812743108 1916604978 1533686128 3109008526 2470169713 4293970145 1908555173 2555435997 1239223017 3231906528 3760615701 607848400 1380988679 297554183 3363687673 3457934852 828816739 323292967 288257205 1346347382 1700317229 3851926272 2168186061 3986766895 1229148482 1025676581 2355354803 3064892360 3436060608 1751857272 1012217346 722680309 1043708313 4075163031 3906638555 3866378054 3126540523 2574405258 2400551651 2913879557 2678633534 2702974764 3303301893 3835947972 239129394 3401715858 430916248 1797211068 2122974651 3867765200 1462985621 3539115551 692839943 3707169091 2026706444 2637467713 474178677 2136008053 4096443686 665792995 3518972913 3755233999 2758389794 255 362436" option to reproduce the execution
9.59/9.64	c #vars 135360
9.59/9.64	c #constraints 39616

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

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

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


[startup+0 s]
/proc/loadavg: 2.25 2.23 2.19 4/179 19832
/proc/meminfo: memFree=22198680/32872528 swapFree=1431120/1543540
[pid=19832] ppid=19829 vsize=722364 CPUtime=0 cores=1,3,5,7
/proc/19832/stat : 19832 (toysat) R 19829 19832 15180 0 -1 4202496 2697 0 0 0 0 0 0 0 20 0 4 0 26001360 739700736 2547 33554432000 4194304 16246674 140736959258256 140736959257680 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19832/statm: 181359 2555 441 2943 0 178253 0
[pid=19832/tid=19833] ppid=19829 vsize=740796 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19833/stat : 19833 (toysat) S 19829 19832 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26001361 758575104 2617 33554432000 4194304 16246674 140736959258256 139820882963696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19832/tid=19834] ppid=19829 vsize=744892 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19834/stat : 19834 (toysat) S 19829 19832 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26001361 762769408 2633 33554432000 4194304 16246674 140736959258256 139820872473840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19832/tid=19835] ppid=19829 vsize=748988 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19835/stat : 19835 (toysat) S 19829 19832 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26001361 766963712 2651 33554432000 4194304 16246674 140736959258256 139820862000304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.25 2.23 2.19 4/179 19832
/proc/meminfo: memFree=22198680/32872528 swapFree=1431120/1543540
[pid=19832] ppid=19829 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/19832/stat : 19832 (toysat) R 19829 19832 15180 0 -1 4202496 29565 0 0 0 6 3 0 0 20 0 4 0 26001360 1333334016 29354 33554432000 4194304 16246674 140736959258256 140736959256920 8057278 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19832/statm: 325521 29366 800 2943 0 322415 0
[pid=19832/tid=19833] ppid=19829 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19833/stat : 19833 (toysat) S 19829 19832 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26001361 1333334016 29377 33554432000 4194304 16246674 140736959258256 139820882963696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19832/tid=19834] ppid=19829 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19834/stat : 19834 (toysat) S 19829 19832 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26001361 1333334016 29388 33554432000 4194304 16246674 140736959258256 139820872473840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19832/tid=19835] ppid=19829 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19835/stat : 19835 (toysat) S 19829 19832 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26001361 1333334016 29399 33554432000 4194304 16246674 140736959258256 139820862000304 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) 1302084

[startup+0.200508 s]
/proc/loadavg: 2.25 2.23 2.19 4/179 19832
/proc/meminfo: memFree=22198680/32872528 swapFree=1431120/1543540
[pid=19832] ppid=19829 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/19832/stat : 19832 (toysat) R 19829 19832 15180 0 -1 4202496 47176 0 0 0 13 6 0 0 20 0 4 0 26001360 1344868352 47475 33554432000 4194304 16246674 140736959258256 140736959256920 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19832/statm: 328337 47475 800 2943 0 325231 0
[pid=19832/tid=19833] ppid=19829 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19833/stat : 19833 (toysat) S 19829 19832 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26001361 1344868352 47475 33554432000 4194304 16246674 140736959258256 139820882963696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19832/tid=19834] ppid=19829 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19834/stat : 19834 (toysat) S 19829 19832 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26001361 1344868352 47475 33554432000 4194304 16246674 140736959258256 139820872473840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19832/tid=19835] ppid=19829 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19835/stat : 19835 (toysat) S 19829 19832 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26001361 1344868352 47475 33554432000 4194304 16246674 140736959258256 139820862000304 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) 1313348

[startup+0.300508 s]
/proc/loadavg: 2.25 2.23 2.19 4/179 19832
/proc/meminfo: memFree=22198680/32872528 swapFree=1431120/1543540
[pid=19832] ppid=19829 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/19832/stat : 19832 (toysat) R 19829 19832 15180 0 -1 4202496 50099 0 0 0 23 6 0 0 20 0 4 0 26001360 1344868352 50398 33554432000 4194304 16246674 140736959258256 140736959256920 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19832/statm: 328337 50398 800 2943 0 325231 0
[pid=19832/tid=19833] ppid=19829 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19833/stat : 19833 (toysat) S 19829 19832 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26001361 1344868352 50398 33554432000 4194304 16246674 140736959258256 139820882963696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19832/tid=19834] ppid=19829 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19834/stat : 19834 (toysat) S 19829 19832 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26001361 1344868352 50398 33554432000 4194304 16246674 140736959258256 139820872473840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19832/tid=19835] ppid=19829 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19835/stat : 19835 (toysat) S 19829 19832 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26001361 1344868352 50398 33554432000 4194304 16246674 140736959258256 139820862000304 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) 1313348

[startup+0.700401 s]
/proc/loadavg: 2.25 2.23 2.19 4/179 19832
/proc/meminfo: memFree=22198680/32872528 swapFree=1431120/1543540
[pid=19832] ppid=19829 vsize=1313348 CPUtime=0.68 cores=1,3,5,7
/proc/19832/stat : 19832 (toysat) R 19829 19832 15180 0 -1 4202496 58092 0 0 0 61 7 0 0 20 0 4 0 26001360 1344868352 58391 33554432000 4194304 16246674 140736959258256 140736959256920 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19832/statm: 328337 58391 801 2943 0 325231 0
[pid=19832/tid=19833] ppid=19829 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19833/stat : 19833 (toysat) S 19829 19832 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26001361 1344868352 58391 33554432000 4194304 16246674 140736959258256 139820882963696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19832/tid=19834] ppid=19829 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19834/stat : 19834 (toysat) S 19829 19832 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26001361 1344868352 58391 33554432000 4194304 16246674 140736959258256 139820872473840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19832/tid=19835] ppid=19829 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19835/stat : 19835 (toysat) S 19829 19832 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26001361 1344868352 58391 33554432000 4194304 16246674 140736959258256 139820862000304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.25 2.23 2.19 4/183 19836
/proc/meminfo: memFree=27375740/32872528 swapFree=1431120/1543540
[pid=19832] ppid=19829 vsize=1318468 CPUtime=1.49 cores=1,3,5,7
/proc/19832/stat : 19832 (toysat) R 19829 19832 15180 0 -1 4202496 77860 0 0 0 139 10 0 0 20 0 4 0 26001360 1350111232 78159 33554432000 4194304 16246674 140736959258256 140736959257352 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19832/statm: 329617 78159 801 2943 0 326511 0
[pid=19832/tid=19833] ppid=19829 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19833/stat : 19833 (toysat) S 19829 19832 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26001361 1350111232 78159 33554432000 4194304 16246674 140736959258256 139820882963696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19832/tid=19834] ppid=19829 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19834/stat : 19834 (toysat) S 19829 19832 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26001361 1350111232 78159 33554432000 4194304 16246674 140736959258256 139820872473840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19832/tid=19835] ppid=19829 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19835/stat : 19835 (toysat) S 19829 19832 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26001361 1350111232 78159 33554432000 4194304 16246674 140736959258256 139820862000304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1318468

[startup+3.10038 s]
/proc/loadavg: 2.25 2.23 2.19 4/183 19836
/proc/meminfo: memFree=27200636/32872528 swapFree=1431120/1543540
[pid=19832] ppid=19829 vsize=1343044 CPUtime=3.09 cores=1,3,5,7
/proc/19832/stat : 19832 (toysat) R 19829 19832 15180 0 -1 4202496 109807 0 0 0 293 16 0 0 20 0 4 0 26001360 1375277056 116238 33554432000 4194304 16246674 140736959258256 140736959256064 8057278 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19832/statm: 335761 116254 801 2943 0 332655 0
[pid=19832/tid=19833] ppid=19829 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19833/stat : 19833 (toysat) S 19829 19832 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26001361 1375277056 116265 33554432000 4194304 16246674 140736959258256 139820882963696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19832/tid=19834] ppid=19829 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19834/stat : 19834 (toysat) S 19829 19832 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26001361 1375277056 116276 33554432000 4194304 16246674 140736959258256 139820872473840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19832/tid=19835] ppid=19829 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19835/stat : 19835 (toysat) S 19829 19832 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26001361 1375277056 116288 33554432000 4194304 16246674 140736959258256 139820862000304 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) 1343044

[startup+6.30041 s]
/proc/loadavg: 2.23 2.23 2.18 3/183 19836
/proc/meminfo: memFree=26847256/32872528 swapFree=1431120/1543540
[pid=19832] ppid=19829 vsize=1392196 CPUtime=6.29 cores=1,3,5,7
/proc/19832/stat : 19832 (toysat) R 19829 19832 15180 0 -1 4202496 238709 0 0 0 596 33 0 0 20 0 4 0 26001360 1425608704 256893 33554432000 4194304 16246674 140736959258256 140736959241248 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19832/statm: 348049 256893 802 2943 0 344943 0
[pid=19832/tid=19833] ppid=19829 vsize=1392196 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19833/stat : 19833 (toysat) S 19829 19832 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26001361 1425608704 256893 33554432000 4194304 16246674 140736959258256 139820882963696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19832/tid=19834] ppid=19829 vsize=1392196 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19834/stat : 19834 (toysat) S 19829 19832 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26001361 1425608704 256893 33554432000 4194304 16246674 140736959258256 139820872473840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19832/tid=19835] ppid=19829 vsize=1392196 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19835/stat : 19835 (toysat) S 19829 19832 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26001361 1425608704 256893 33554432000 4194304 16246674 140736959258256 139820862000304 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) 1392196

[startup+12.7004 s]
/proc/loadavg: 2.21 2.22 2.18 4/183 19836
/proc/meminfo: memFree=26176872/32872528 swapFree=1431120/1543540
[pid=19832] ppid=19829 vsize=1710660 CPUtime=12.69 cores=1,3,5,7
/proc/19832/stat : 19832 (toysat) R 19829 19832 15180 0 -1 4202496 325363 0 0 0 1221 48 0 0 20 0 4 0 26001360 1751715840 368586 33554432000 4194304 16246674 140736959258256 140736959240128 6955584 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19832/statm: 427665 368586 834 2943 0 424559 0
[pid=19832/tid=19833] ppid=19829 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19833/stat : 19833 (toysat) S 19829 19832 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26001361 1751715840 368586 33554432000 4194304 16246674 140736959258256 139820882963696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19832/tid=19834] ppid=19829 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19834/stat : 19834 (toysat) S 19829 19832 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26001361 1751715840 368586 33554432000 4194304 16246674 140736959258256 139820872473840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19832/tid=19835] ppid=19829 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19835/stat : 19835 (toysat) S 19829 19832 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26001361 1751715840 368586 33554432000 4194304 16246674 140736959258256 139820862000304 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) 1710660

[startup+25.5004 s]
/proc/loadavg: 2.23 2.23 2.18 3/183 19836
/proc/meminfo: memFree=24213268/32872528 swapFree=1431120/1543540
[pid=19832] ppid=19829 vsize=2370116 CPUtime=25.49 cores=1,3,5,7
/proc/19832/stat : 19832 (toysat) R 19829 19832 15180 0 -1 4202496 490151 0 0 0 2476 73 0 0 20 0 4 0 26001360 2426998784 533374 33554432000 4194304 16246674 140736959258256 140736959256920 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19832/statm: 592529 533377 835 2943 0 589423 0
[pid=19832/tid=19833] ppid=19829 vsize=2370116 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19833/stat : 19833 (toysat) S 19829 19832 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26001361 2426998784 533393 33554432000 4194304 16246674 140736959258256 139820882963696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19832/tid=19834] ppid=19829 vsize=2370116 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19834/stat : 19834 (toysat) S 19829 19832 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26001361 2426998784 533398 33554432000 4194304 16246674 140736959258256 139820872473616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19832/tid=19835] ppid=19829 vsize=2370116 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19835/stat : 19835 (toysat) S 19829 19832 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26001361 2426998784 533403 33554432000 4194304 16246674 140736959258256 139820862000304 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) 2370116

[startup+51.1004 s]
/proc/loadavg: 2.29 2.24 2.19 3/183 19836
/proc/meminfo: memFree=17619644/32872528 swapFree=1431120/1543540
[pid=19832] ppid=19829 vsize=5258820 CPUtime=51.08 cores=1,3,5,7
/proc/19832/stat : 19832 (toysat) R 19829 19832 15180 0 -1 4202496 1212406 0 0 0 4934 174 0 0 20 0 4 0 26001360 5385031680 1255629 33554432000 4194304 16246674 140736959258256 140736959257432 13885029 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19832/statm: 1314705 1255629 835 2943 0 1311599 0
[pid=19832/tid=19833] ppid=19829 vsize=5258820 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19833/stat : 19833 (toysat) S 19829 19832 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26001361 5385031680 1255629 33554432000 4194304 16246674 140736959258256 139820882963696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19832/tid=19834] ppid=19829 vsize=5258820 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19834/stat : 19834 (toysat) S 19829 19832 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26001361 5385031680 1255629 33554432000 4194304 16246674 140736959258256 139820872473840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19832/tid=19835] ppid=19829 vsize=5258820 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19835/stat : 19835 (toysat) S 19829 19832 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26001361 5385031680 1255629 33554432000 4194304 16246674 140736959258256 139820862000304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 5258820

[startup+102.3 s]
/proc/loadavg: 2.47 2.29 2.21 3/183 19837
/proc/meminfo: memFree=17093236/32872528 swapFree=1431120/1543540
[pid=19832] ppid=19829 vsize=5353028 CPUtime=102.27 cores=1,3,5,7
/proc/19832/stat : 19832 (toysat) R 19829 19832 15180 0 -1 4202496 1293046 0 0 0 10034 193 0 0 20 0 4 0 26001360 5481500672 1252045 33554432000 4194304 16246674 140736959258256 140736959256064 15002759 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19832/statm: 1338257 1251533 835 2943 0 1335151 0
[pid=19832/tid=19833] ppid=19829 vsize=5353028 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19833/stat : 19833 (toysat) S 19829 19832 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26001361 5481500672 1251533 33554432000 4194304 16246674 140736959258256 139820882963696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19832/tid=19834] ppid=19829 vsize=5353028 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19834/stat : 19834 (toysat) S 19829 19832 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26001361 5481500672 1251533 33554432000 4194304 16246674 140736959258256 139820872473616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19832/tid=19835] ppid=19829 vsize=5353028 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19835/stat : 19835 (toysat) S 19829 19832 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26001361 5481500672 1251021 33554432000 4194304 16246674 140736959258256 139820862000304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 5353028


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

[pid=19832] ppid=19829 vsize=11426372 CPUtime=1362.08 cores=1,3,5,7
/proc/19832/stat : 19832 (toysat) R 19829 19832 15180 0 -1 4202496 5700324 0 0 0 135238 970 0 0 20 0 4 0 26001360 11700604928 2797499 33554432000 4194304 16246674 140736959258256 140736959256920 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19832/statm: 2856593 2797505 836 2943 0 2853487 0
[pid=19832/tid=19833] ppid=19829 vsize=11426372 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19833/stat : 19833 (toysat) S 19829 19832 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26001361 11700604928 2797510 33554432000 4194304 16246674 140736959258256 139820882963696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19832/tid=19834] ppid=19829 vsize=11426372 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19834/stat : 19834 (toysat) S 19829 19832 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26001361 11700604928 2797514 33554432000 4194304 16246674 140736959258256 139820872473616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19832/tid=19835] ppid=19829 vsize=11426372 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19835/stat : 19835 (toysat) S 19829 19832 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26001361 11700604928 2797517 33554432000 4194304 16246674 140736959258256 139820862000304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 11426372

[startup+1422.3 s]
/proc/loadavg: 2.27 2.30 2.25 3/183 19893
/proc/meminfo: memFree=15477024/32872528 swapFree=1431120/1543540
[pid=19832] ppid=19829 vsize=11452996 CPUtime=1422.08 cores=1,3,5,7
/proc/19832/stat : 19832 (toysat) R 19829 19832 15180 0 -1 4202496 5707005 0 0 0 141229 979 0 0 20 0 4 0 26001360 11727867904 2804180 33554432000 4194304 16246674 140736959258256 140736959256064 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19832/statm: 2863249 2804180 836 2943 0 2860143 0
[pid=19832/tid=19833] ppid=19829 vsize=11452996 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19833/stat : 19833 (toysat) S 19829 19832 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26001361 11727867904 2804180 33554432000 4194304 16246674 140736959258256 139820882963696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19832/tid=19834] ppid=19829 vsize=11452996 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19834/stat : 19834 (toysat) S 19829 19832 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26001361 11727867904 2804180 33554432000 4194304 16246674 140736959258256 139820872473616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19832/tid=19835] ppid=19829 vsize=11452996 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19835/stat : 19835 (toysat) S 19829 19832 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26001361 11727867904 2804180 33554432000 4194304 16246674 140736959258256 139820862000304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 11452996

[startup+1482.3 s]
/proc/loadavg: 2.28 2.30 2.26 4/184 19897
/proc/meminfo: memFree=13508220/32872528 swapFree=1431120/1543540
[pid=19832] ppid=19829 vsize=12334660 CPUtime=1482.06 cores=1,3,5,7
/proc/19832/stat : 19832 (toysat) R 19829 19832 15180 0 -1 4202496 5927421 0 0 0 147191 1015 0 0 20 0 4 0 26001360 12630691840 3024596 33554432000 4194304 16246674 140736959258256 140736959257352 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19832/statm: 3083665 3024596 836 2943 0 3080559 0
[pid=19832/tid=19833] ppid=19829 vsize=12334660 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19833/stat : 19833 (toysat) S 19829 19832 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26001361 12630691840 3024596 33554432000 4194304 16246674 140736959258256 139820882963696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19832/tid=19834] ppid=19829 vsize=12334660 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19834/stat : 19834 (toysat) S 19829 19832 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26001361 12630691840 3024596 33554432000 4194304 16246674 140736959258256 139820872473840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19832/tid=19835] ppid=19829 vsize=12334660 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19835/stat : 19835 (toysat) S 19829 19832 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26001361 12630691840 3024596 33554432000 4194304 16246674 140736959258256 139820862000304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 12334660

[startup+1542.3 s]
/proc/loadavg: 2.39 2.32 2.27 3/183 19898
/proc/meminfo: memFree=13141840/32872528 swapFree=1431120/1543540
[pid=19832] ppid=19829 vsize=12364356 CPUtime=1542.05 cores=1,3,5,7
/proc/19832/stat : 19832 (toysat) R 19829 19832 15180 0 -1 4202496 5934845 0 0 0 153181 1024 0 0 20 0 4 0 26001360 12661100544 3032020 33554432000 4194304 16246674 140736959258256 140736959257352 13892928 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19832/statm: 3091089 3032020 836 2943 0 3087983 0
[pid=19832/tid=19833] ppid=19829 vsize=12364356 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19833/stat : 19833 (toysat) S 19829 19832 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26001361 12661100544 3032020 33554432000 4194304 16246674 140736959258256 139820882963696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19832/tid=19834] ppid=19829 vsize=12364356 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19834/stat : 19834 (toysat) S 19829 19832 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26001361 12661100544 3032020 33554432000 4194304 16246674 140736959258256 139820872473840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19832/tid=19835] ppid=19829 vsize=12364356 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19835/stat : 19835 (toysat) S 19829 19832 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26001361 12661100544 3032020 33554432000 4194304 16246674 140736959258256 139820862000304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 12364356

[startup+1602.3 s]
/proc/loadavg: 2.20 2.27 2.25 3/183 19899
/proc/meminfo: memFree=12873692/32872528 swapFree=1431120/1543540
[pid=19832] ppid=19829 vsize=12364356 CPUtime=1602.05 cores=1,3,5,7
/proc/19832/stat : 19832 (toysat) R 19829 19832 15180 0 -1 4202496 5934845 0 0 0 159175 1030 0 0 20 0 4 0 26001360 12661100544 3032020 33554432000 4194304 16246674 140736959258256 140736959256128 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19832/statm: 3091089 3032020 836 2943 0 3087983 0
[pid=19832/tid=19833] ppid=19829 vsize=12364356 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19833/stat : 19833 (toysat) S 19829 19832 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26001361 12661100544 3032020 33554432000 4194304 16246674 140736959258256 139820882963696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19832/tid=19834] ppid=19829 vsize=12364356 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19834/stat : 19834 (toysat) S 19829 19832 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26001361 12661100544 3032020 33554432000 4194304 16246674 140736959258256 139820872473616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19832/tid=19835] ppid=19829 vsize=12364356 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19835/stat : 19835 (toysat) S 19829 19832 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26001361 12661100544 3032020 33554432000 4194304 16246674 140736959258256 139820862000304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 12364356

[startup+1662.3 s]
/proc/loadavg: 1.64 2.11 2.20 2/172 19930
/proc/meminfo: memFree=18076980/32872528 swapFree=1431120/1543540
[pid=19832] ppid=19829 vsize=12394052 CPUtime=1662.05 cores=1,3,5,7
/proc/19832/stat : 19832 (toysat) R 19829 19832 15180 0 -1 4202496 6533117 0 0 0 165074 1131 0 0 20 0 4 0 26001360 12691509248 3039700 33554432000 4194304 16246674 140736959258256 140736959257432 4206952 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19832/statm: 3098513 3039700 836 2943 0 3095407 0
[pid=19832/tid=19833] ppid=19829 vsize=12394052 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19833/stat : 19833 (toysat) S 19829 19832 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26001361 12691509248 3039700 33554432000 4194304 16246674 140736959258256 139820882963696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19832/tid=19834] ppid=19829 vsize=12394052 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19834/stat : 19834 (toysat) S 19829 19832 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26001361 12691509248 3039700 33554432000 4194304 16246674 140736959258256 139820872473840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19832/tid=19835] ppid=19829 vsize=12394052 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19835/stat : 19835 (toysat) S 19829 19832 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26001361 12691509248 3039700 33554432000 4194304 16246674 140736959258256 139820862000304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.05
Current children cumulated vsize (KiB) 12394052

[startup+1722.3 s]
/proc/loadavg: 1.37 1.94 2.13 2/173 19932
/proc/meminfo: memFree=20014796/32872528 swapFree=1431120/1543540
[pid=19832] ppid=19829 vsize=10459716 CPUtime=1722.02 cores=1,3,5,7
/proc/19832/stat : 19832 (toysat) R 19829 19832 15180 0 -1 4202496 6533117 0 0 0 171056 1146 0 0 20 0 4 0 26001360 10710749184 2556116 33554432000 4194304 16246674 140736959258256 140736959257352 4220894 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19832/statm: 2614929 2556116 836 2943 0 2611823 0
[pid=19832/tid=19833] ppid=19829 vsize=10459716 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19833/stat : 19833 (toysat) S 19829 19832 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26001361 10710749184 2556116 33554432000 4194304 16246674 140736959258256 139820882963696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19832/tid=19834] ppid=19829 vsize=10459716 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19834/stat : 19834 (toysat) S 19829 19832 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26001361 10710749184 2556116 33554432000 4194304 16246674 140736959258256 139820872473840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19832/tid=19835] ppid=19829 vsize=10459716 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19835/stat : 19835 (toysat) S 19829 19832 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26001361 10710749184 2556116 33554432000 4194304 16246674 140736959258256 139820862000304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 10459716

[startup+1782.31 s]
/proc/loadavg: 1.28 1.81 2.07 2/173 19933
/proc/meminfo: memFree=17852324/32872528 swapFree=1431120/1543540
[pid=19832] ppid=19829 vsize=12618308 CPUtime=1782.03 cores=1,3,5,7
/proc/19832/stat : 19832 (toysat) R 19829 19832 15180 0 -1 4202496 7072766 0 0 0 176978 1225 0 0 20 0 4 0 26001360 12921147392 3095765 33554432000 4194304 16246674 140736959258256 140736959256064 4221031 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19832/statm: 3154577 3095765 836 2943 0 3151471 0
[pid=19832/tid=19833] ppid=19829 vsize=12618308 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19833/stat : 19833 (toysat) S 19829 19832 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26001361 12921147392 3095765 33554432000 4194304 16246674 140736959258256 139820882963696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19832/tid=19834] ppid=19829 vsize=12618308 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19834/stat : 19834 (toysat) S 19829 19832 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26001361 12921147392 3095765 33554432000 4194304 16246674 140736959258256 139820872473616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19832/tid=19835] ppid=19829 vsize=12618308 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19835/stat : 19835 (toysat) S 19829 19832 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26001361 12921147392 3095765 33554432000 4194304 16246674 140736959258256 139820862000304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782.03
Current children cumulated vsize (KiB) 12618308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 1.28 1.77 2.06 2/173 19934
/proc/meminfo: memFree=19669964/32872528 swapFree=1431120/1543540
[pid=19832] ppid=19829 vsize=10803780 CPUtime=1800.02 cores=1,3,5,7
/proc/19832/stat : 19832 (toysat) R 19829 19832 15180 0 -1 4202496 7072767 0 0 0 178766 1236 0 0 20 0 4 0 26001360 11063070720 2642133 33554432000 4194304 16246674 140736959258256 140736959257352 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19832/statm: 2700945 2642133 836 2943 0 2697839 0
[pid=19832/tid=19833] ppid=19829 vsize=10803780 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19833/stat : 19833 (toysat) S 19829 19832 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26001361 11063070720 2642133 33554432000 4194304 16246674 140736959258256 139820882963696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19832/tid=19834] ppid=19829 vsize=10803780 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19834/stat : 19834 (toysat) S 19829 19832 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26001361 11063070720 2642133 33554432000 4194304 16246674 140736959258256 139820872473840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19832/tid=19835] ppid=19829 vsize=10803780 CPUtime=0 cores=1,3,5,7
/proc/19832/task/19835/stat : 19835 (toysat) S 19829 19832 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26001361 11063070720 2642133 33554432000 4194304 16246674 140736959258256 139820862000304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10803780

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

[startup+1800.6 s]
/proc/loadavg: 1.28 1.77 2.06 2/173 19934
/proc/meminfo: memFree=19669964/32872528 swapFree=1431120/1543540
[pid=19832] ppid=19829 vsize=0 CPUtime=1800.33 cores=1,3,5,7
/proc/19832/stat : 19832 (toysat) Z 19829 19832 15180 0 -1 4203532 7072767 0 0 0 178767 1266 0 0 20 0 2 0 26001360 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19832/statm: 0 0 0 0 0 0 0
[pid=19832/tid=19835] ppid=19829 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/19832/task/19835/stat : 19835 (toysat) R 19829 19832 15180 0 -1 4203588 2 0 0 0 0 28 0 0 20 0 2 0 26001361 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0

[startup+1800.8 s]
/proc/loadavg: 1.28 1.77 2.06 2/173 19934
/proc/meminfo: memFree=19669964/32872528 swapFree=1431120/1543540
[pid=19832] ppid=19829 vsize=0 CPUtime=1800.53 cores=1,3,5,7
/proc/19832/stat : 19832 (toysat) Z 19829 19832 15180 0 -1 4203532 7072767 0 0 0 178767 1286 0 0 20 0 2 0 26001360 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19832/statm: 0 0 0 0 0 0 0
[pid=19832/tid=19835] ppid=19829 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/19832/task/19835/stat : 19835 (toysat) R 19829 19832 15180 0 -1 4203588 2 0 0 0 0 48 0 0 20 0 2 0 26001361 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.53
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.87
CPU time (s): 1800.6
CPU user time (s): 1787.67
CPU system time (s): 12.928
CPU usage (%): 99.985
Max. virtual memory (cumulated for all children) (KiB): 12618308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.67
system time used= 12.928
maximum resident set size= 12383060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7072767
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= 1086
involuntary context switches= 2961

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5973 second user time and 6.94294 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-18 10:45:26
IDJOB=4103913
IDBENCH=2503
IDSOLVER=2542
FILE ID=node116/4103913-1466239524
RUNJOBID= node116-1466206094-15197
PBS_JOBID= 19918160
Free space on /tmp= 71636 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-van.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103913-1466239524/watcher-4103913-1466239524 -o /tmp/evaluation-result-4103913-1466239524/solver-4103913-1466239524 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15197 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103913-1466239524.opb

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

MD5SUM BENCH= f8bd04e1a409d78891d8cd3f4d8f54c0
RANDOM SEED=1842954373

node116.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.781
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.56
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.781
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.781
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.781
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.781
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.781
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.54
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.781
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.781
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:        22198944 kB
Buffers:          119688 kB
Cached:           225428 kB
SwapCached:         2060 kB
Active:          8199024 kB
Inactive:         171984 kB
Active(anon):    8024248 kB
Inactive(anon):     4052 kB
Active(file):     174776 kB
Inactive(file):   167932 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099604 kB
Dirty:             93696 kB
Writeback:             0 kB
AnonPages:       9570904 kB
Mapped:            10828 kB
Shmem:                 0 kB
Slab:             609184 kB
SReclaimable:      52820 kB
SUnreclaim:       556364 kB
KernelStack:        1464 kB
PageTables:        22888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    9713236 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    116736 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= 71636 MiB
End job on node116 at 2016-06-18 11:15:27