Trace number 4103593

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.16 1800.46

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-fit2d.opb
MD5SUM98a903315aa0fe9737bc6b622eafe352
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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -700
Optimality of the best value was proved NO
Number of variables118500
Total number of constraints10525
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 constraints10525
Minimum length of a constraint10
Maximum length of a constraint118500
Number of terms in the objective function 102000
Biggest coefficient in the objective function 166502400
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 44079267426
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 166502400
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 44079267426
Number of bits of the biggest sum of numbers36
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:20:31+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-4103593-1466238030.opb"]
0.00/0.01	c use --random-gen="327553739 42938083 1908215226 932851033 3439554480 868001960 2652425601 3399872050 2004794305 171294537 3657763165 3441105057 3146498986 3408187883 810606952 3104854644 1445050676 1021703558 1068012743 3054622003 515466636 3425416160 2242241339 3814690657 1734535621 2440209799 251805357 1973216084 4101541537 174181016 2704086495 857595702 1646983768 1225758089 1386271995 967856135 3708900404 867513331 1926190217 1966259638 1527731930 2242185999 1865434644 3380114402 3296374868 938252323 3822514934 875694819 2823834359 523056203 165697939 812925247 800563338 373521288 177696758 3615321270 3034551209 3593565051 3610173883 580327283 2470588141 3688244229 3784872479 3353103921 2350759652 3083556877 1928153189 3751517524 2523102141 211401439 2049970762 4059168879 2173497777 1345108224 2581627167 3827743616 874866791 2113702280 2824844259 2456349388 230274523 1660564999 3890845115 1314779328 2664633900 1481415836 2389395818 1973968124 3547173963 2968459066 2025741412 3760123916 254067672 1882045330 4045155115 351614763 3235692518 3158557461 3896312161 501134576 1096252105 2869761774 3663113679 2874154422 4012759022 2520087134 3682271029 1123743941 3422531309 4244123782 1150141721 4233601539 2135709239 252804708 1214024244 2658548527 3286196439 2414759697 1241924622 2438080645 473305109 726363656 937474234 1837793488 2146733405 2798302859 3864391065 1519450775 2894481249 2650578085 520570160 1575514302 1796694503 3385055250 3954584372 2725168106 3482650730 2767936368 3778684711 1639123854 1836486022 505666577 2044947184 3599140882 1101807200 2220662974 3791568087 1725879194 392904233 3937184610 341254955 3966950565 1864421669 3602655411 177821189 293165563 2334986754 2567250644 406275438 2509211414 3605846378 2340932363 806183904 721468437 1520399345 304487849 3611155994 3366632685 1743403319 1794641383 2304428339 1234439778 2957523011 882061247 892699785 1818008683 3101385967 2835063718 1498521837 4101357976 3435549661 4047879315 231882089 3401770572 2182596728 570472300 2681798848 632498361 1599304587 4261518398 1061313592 642655897 3515218248 995654540 3987734415 4244770412 1680290931 544856214 819288374 516231729 2949574466 2244881266 1006526937 1328670827 48451857 1149860312 976172401 3366067126 2589206769 4178449506 4190860710 4064749306 3131303340 3303415047 135375321 1192143720 2678894939 1870879840 1092771699 3590314487 3909105716 3751731699 658402411 163439705 2588843087 3539597063 821400747 3799418041 1379343128 229994737 3759114922 3247036975 270719571 2558190511 2944657420 180627350 1372632769 3971795635 2862297034 547050941 1916391773 1980897391 1855935432 1881968953 1616817020 1532785260 4232839145 4160973480 2419888699 808067765 717447216 2081248589 3793997120 3449684503 3015962138 1715632741 255 362436" option to reproduce the execution
3.19/3.24	c #vars 118500
3.19/3.24	c #constraints 10525

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

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

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


[startup+0 s]
/proc/loadavg: 2.22 2.21 2.18 3/180 3445
/proc/meminfo: memFree=28795352/32872528 swapFree=1200228/1314692
[pid=3445] ppid=3442 vsize=678332 CPUtime=0 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 31224 0 -1 4202496 2519 0 0 0 0 0 0 0 20 0 4 0 25849619 694611968 2881 33554432000 4194304 16246674 140733327207872 140733327207296 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 170095 2889 441 2943 0 166989 0
[pid=3445/tid=3446] ppid=3442 vsize=721340 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25849619 738652160 3052 33554432000 4194304 16246674 140733327207872 140355363122416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=726460 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25849619 743895040 3072 33554432000 4194304 16246674 140733327207872 140355352632560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=730556 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25849619 748089344 3088 33554432000 4194304 16246674 140733327207872 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100159 s]
/proc/loadavg: 2.22 2.21 2.18 3/180 3445
/proc/meminfo: memFree=28795352/32872528 swapFree=1200228/1314692
[pid=3445] ppid=3442 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 31224 0 -1 4202496 30292 0 0 0 4 4 0 0 20 0 4 0 25849619 1333334016 30592 33554432000 4194304 16246674 140733327207872 140733327207184 7368729 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 325521 30607 799 2943 0 322415 0
[pid=3445/tid=3446] ppid=3442 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25849619 1333334016 30619 33554432000 4194304 16246674 140733327207872 140355363122416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25849619 1333334016 30631 33554432000 4194304 16246674 140733327207872 140355352632560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25849619 1333334016 30642 33554432000 4194304 16246674 140733327207872 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200518 s]
/proc/loadavg: 2.22 2.21 2.18 3/180 3445
/proc/meminfo: memFree=28795352/32872528 swapFree=1200228/1314692
[pid=3445] ppid=3442 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 31224 0 -1 4202496 46209 0 0 0 12 7 0 0 20 0 4 0 25849619 1344868352 47019 33554432000 4194304 16246674 140733327207872 140733327207184 7371468 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 328337 47022 799 2943 0 325231 0
[pid=3445/tid=3446] ppid=3442 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25849619 1344868352 47022 33554432000 4194304 16246674 140733327207872 140355363122416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25849619 1344868352 47022 33554432000 4194304 16246674 140733327207872 140355352632560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25849619 1344868352 47022 33554432000 4194304 16246674 140733327207872 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300479 s]
/proc/loadavg: 2.22 2.21 2.18 3/180 3445
/proc/meminfo: memFree=28795352/32872528 swapFree=1200228/1314692
[pid=3445] ppid=3442 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 31224 0 -1 4202496 48562 0 0 0 22 7 0 0 20 0 4 0 25849619 1344868352 49372 33554432000 4194304 16246674 140733327207872 140733327207184 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 328337 49391 800 2943 0 325231 0
[pid=3445/tid=3446] ppid=3442 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25849619 1344868352 49401 33554432000 4194304 16246674 140733327207872 140355363122416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25849619 1344868352 49413 33554432000 4194304 16246674 140733327207872 140355352632560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25849619 1344868352 49423 33554432000 4194304 16246674 140733327207872 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700422 s]
/proc/loadavg: 2.22 2.21 2.18 3/180 3445
/proc/meminfo: memFree=28795352/32872528 swapFree=1200228/1314692
[pid=3445] ppid=3442 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 31224 0 -1 4202496 63522 0 0 0 59 10 0 0 20 0 4 0 25849619 1345916928 64332 33554432000 4194304 16246674 140733327207872 140733327205760 7376483 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 328593 64332 802 2943 0 325487 0
[pid=3445/tid=3446] ppid=3442 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25849619 1345916928 64332 33554432000 4194304 16246674 140733327207872 140355363122416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25849619 1345916928 64332 33554432000 4194304 16246674 140733327207872 140355352632560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25849619 1345916928 64332 33554432000 4194304 16246674 140733327207872 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50041 s]
/proc/loadavg: 2.28 2.22 2.19 3/184 3449
/proc/meminfo: memFree=28478744/32872528 swapFree=1200228/1314692
[pid=3445] ppid=3442 vsize=1314372 CPUtime=1.48 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 31224 0 -1 4202496 89959 0 0 0 135 13 0 0 20 0 4 0 25849619 1345916928 90770 33554432000 4194304 16246674 140733327207872 140733327205696 7853005 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 328593 90786 802 2943 0 325487 0
[pid=3445/tid=3446] ppid=3442 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25849619 1345916928 90798 33554432000 4194304 16246674 140733327207872 140355363122416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25849619 1345916928 90809 33554432000 4194304 16246674 140733327207872 140355352632560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25849619 1345916928 90820 33554432000 4194304 16246674 140733327207872 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1314372

[startup+3.10042 s]
/proc/loadavg: 2.28 2.22 2.19 3/184 3449
/proc/meminfo: memFree=28380388/32872528 swapFree=1200228/1314692
[pid=3445] ppid=3442 vsize=1338948 CPUtime=3.09 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 31224 0 -1 4202496 148842 0 0 0 287 22 0 0 20 0 4 0 25849619 1371082752 154762 33554432000 4194304 16246674 140733327207872 140733327190864 7377736 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 334737 154762 802 2943 0 331631 0
[pid=3445/tid=3446] ppid=3442 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25849619 1371082752 154762 33554432000 4194304 16246674 140733327207872 140355363122416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25849619 1371082752 154762 33554432000 4194304 16246674 140733327207872 140355352632560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25849619 1371082752 154762 33554432000 4194304 16246674 140733327207872 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1338948

[startup+6.3004 s]
/proc/loadavg: 2.28 2.22 2.19 3/184 3449
/proc/meminfo: memFree=27941984/32872528 swapFree=1200228/1314692
[pid=3445] ppid=3442 vsize=1372740 CPUtime=6.29 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 31224 0 -1 4202496 206861 0 0 0 600 29 0 0 20 0 4 0 25849619 1405685760 213803 33554432000 4194304 16246674 140733327207872 140733327189760 4220807 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 343185 213803 836 2943 0 340079 0
[pid=3445/tid=3446] ppid=3442 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25849619 1405685760 213803 33554432000 4194304 16246674 140733327207872 140355363122416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25849619 1405685760 213803 33554432000 4194304 16246674 140733327207872 140355352632560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25849619 1405685760 213803 33554432000 4194304 16246674 140733327207872 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1372740

[startup+12.7004 s]
/proc/loadavg: 2.31 2.23 2.19 3/184 3449
/proc/meminfo: memFree=27696984/32872528 swapFree=1200228/1314692
[pid=3445] ppid=3442 vsize=1372740 CPUtime=12.68 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 31224 0 -1 4202496 268100 0 0 0 1232 36 0 0 20 0 4 0 25849619 1405685760 275042 33554432000 4194304 16246674 140733327207872 140733327189760 12429087 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 343185 275042 837 2943 0 340079 0
[pid=3445/tid=3446] ppid=3442 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25849619 1405685760 275042 33554432000 4194304 16246674 140733327207872 140355363122416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25849619 1405685760 275042 33554432000 4194304 16246674 140733327207872 140355352632560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25849619 1405685760 275042 33554432000 4194304 16246674 140733327207872 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1372740

[startup+25.5005 s]
/proc/loadavg: 2.26 2.23 2.18 3/184 3449
/proc/meminfo: memFree=27698468/32872528 swapFree=1200228/1314692
[pid=3445] ppid=3442 vsize=1372740 CPUtime=25.48 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 31224 0 -1 4202496 268100 0 0 0 2512 36 0 0 20 0 4 0 25849619 1405685760 275042 33554432000 4194304 16246674 140733327207872 140733327189760 12371101 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 343185 275042 837 2943 0 340079 0
[pid=3445/tid=3446] ppid=3442 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25849619 1405685760 275042 33554432000 4194304 16246674 140733327207872 140355363122416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25849619 1405685760 275042 33554432000 4194304 16246674 140733327207872 140355352632560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25849619 1405685760 275042 33554432000 4194304 16246674 140733327207872 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1372740

[startup+51.1005 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 3449
/proc/meminfo: memFree=27698308/32872528 swapFree=1200228/1314692
[pid=3445] ppid=3442 vsize=1372740 CPUtime=51.08 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 31224 0 -1 4202496 268100 0 0 0 5072 36 0 0 20 0 4 0 25849619 1405685760 275042 33554432000 4194304 16246674 140733327207872 140733327189760 12654233 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 343185 275042 837 2943 0 340079 0
[pid=3445/tid=3446] ppid=3442 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25849619 1405685760 275042 33554432000 4194304 16246674 140733327207872 140355363122416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25849619 1405685760 275042 33554432000 4194304 16246674 140733327207872 140355352632560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25849619 1405685760 275042 33554432000 4194304 16246674 140733327207872 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1372740

[startup+102.3 s]
/proc/loadavg: 2.34 2.25 2.19 3/183 3450
/proc/meminfo: memFree=27324876/32872528 swapFree=1200228/1314692
[pid=3445] ppid=3442 vsize=1752644 CPUtime=102.28 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 31224 0 -1 4202496 372652 0 0 0 10177 51 0 0 20 0 4 0 25849619 1794707456 379594 33554432000 4194304 16246674 140733327207872 140733327189760 4206912 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 438161 379594 837 2943 0 435055 0
[pid=3445/tid=3446] ppid=3442 vsize=1752644 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25849619 1794707456 379594 33554432000 4194304 16246674 140733327207872 140355363122416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1752644 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25849619 1794707456 379594 33554432000 4194304 16246674 140733327207872 140355352632560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1752644 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25849619 1794707456 379594 33554432000 4194304 16246674 140733327207872 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1752644


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

/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25849619 2817069056 629450 33554432000 4194304 16246674 140733327207872 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 2751044

[startup+1302.3 s]
/proc/loadavg: 2.10 2.12 2.15 3/183 3674
/proc/meminfo: memFree=16494684/32872528 swapFree=1200228/1314692
[pid=3445] ppid=3442 vsize=2751044 CPUtime=1302.08 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 31224 0 -1 4202496 622256 0 0 0 130073 135 0 0 20 0 4 0 25849619 2817069056 629450 33554432000 4194304 16246674 140733327207872 140733327207184 13009032 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 687761 629450 837 2943 0 684655 0
[pid=3445/tid=3446] ppid=3442 vsize=2751044 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25849619 2817069056 629450 33554432000 4194304 16246674 140733327207872 140355363122416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=2751044 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25849619 2817069056 629450 33554432000 4194304 16246674 140733327207872 140355352632560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=2751044 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25849619 2817069056 629450 33554432000 4194304 16246674 140733327207872 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 2751044

[startup+1362.3 s]
/proc/loadavg: 2.09 2.11 2.14 3/183 3675
/proc/meminfo: memFree=14664968/32872528 swapFree=1200228/1314692
[pid=3445] ppid=3442 vsize=2751044 CPUtime=1362.07 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 31224 0 -1 4202496 622259 0 0 0 136067 140 0 0 20 0 4 0 25849619 2817069056 629450 33554432000 4194304 16246674 140733327207872 140733327206968 4206604 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3445/statm: 687761 629450 837 2943 0 684655 0
[pid=3445/tid=3446] ppid=3442 vsize=2751044 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25849619 2817069056 629450 33554432000 4194304 16246674 140733327207872 140355363122416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=2751044 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25849619 2817069056 629450 33554432000 4194304 16246674 140733327207872 140355352632560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=2751044 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25849619 2817069056 629450 33554432000 4194304 16246674 140733327207872 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 2751044

[startup+1422.3 s]
/proc/loadavg: 2.07 2.10 2.13 3/183 3724
/proc/meminfo: memFree=26737592/32872528 swapFree=1200228/1314692
[pid=3445] ppid=3442 vsize=2774596 CPUtime=1422.06 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 31224 0 -1 4202496 628150 0 0 0 142061 145 0 0 20 0 4 0 25849619 2841186304 635338 33554432000 4194304 16246674 140733327207872 140733327207048 15015658 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3445/statm: 693649 635338 837 2943 0 690543 0
[pid=3445/tid=3446] ppid=3442 vsize=2774596 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25849619 2841186304 635338 33554432000 4194304 16246674 140733327207872 140355363122416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=2774596 CPUtime=0.01 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 31224 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 25849619 2841186304 635338 33554432000 4194304 16246674 140733327207872 140355352632560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=2774596 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25849619 2841186304 635338 33554432000 4194304 16246674 140733327207872 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 2774596

[startup+1482.3 s]
/proc/loadavg: 2.13 2.11 2.13 4/183 3725
/proc/meminfo: memFree=24134080/32872528 swapFree=1200228/1314692
[pid=3445] ppid=3442 vsize=2774596 CPUtime=1482.04 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 31224 0 -1 4202496 628150 0 0 0 148055 149 0 0 20 0 4 0 25849619 2841186304 635338 33554432000 4194304 16246674 140733327207872 140733327207184 12655203 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3445/statm: 693649 635338 837 2943 0 690543 0
[pid=3445/tid=3446] ppid=3442 vsize=2774596 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25849619 2841186304 635338 33554432000 4194304 16246674 140733327207872 140355363122416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=2774596 CPUtime=0.01 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 31224 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 25849619 2841186304 635338 33554432000 4194304 16246674 140733327207872 140355352632560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=2774596 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25849619 2841186304 635338 33554432000 4194304 16246674 140733327207872 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 2774596

[startup+1542.31 s]
/proc/loadavg: 2.04 2.09 2.12 3/183 3727
/proc/meminfo: memFree=23236212/32872528 swapFree=1200228/1314692
[pid=3445] ppid=3442 vsize=2774596 CPUtime=1542.04 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 31224 0 -1 4202496 628150 0 0 0 154051 153 0 0 20 0 4 0 25849619 2841186304 635338 33554432000 4194304 16246674 140733327207872 140733327206968 4206987 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3445/statm: 693649 635338 837 2943 0 690543 0
[pid=3445/tid=3446] ppid=3442 vsize=2774596 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25849619 2841186304 635338 33554432000 4194304 16246674 140733327207872 140355363122416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=2774596 CPUtime=0.01 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 31224 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 25849619 2841186304 635338 33554432000 4194304 16246674 140733327207872 140355352632560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=2774596 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25849619 2841186304 635338 33554432000 4194304 16246674 140733327207872 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 2774596

[startup+1602.3 s]
/proc/loadavg: 2.06 2.08 2.11 3/183 3728
/proc/meminfo: memFree=22558820/32872528 swapFree=1200228/1314692
[pid=3445] ppid=3442 vsize=2811460 CPUtime=1602.02 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 31224 0 -1 4202496 637366 0 0 0 160044 158 0 0 20 0 4 0 25849619 2878935040 644554 33554432000 4194304 16246674 140733327207872 140733327207048 4220495 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3445/statm: 702865 644554 837 2943 0 699759 0
[pid=3445/tid=3446] ppid=3442 vsize=2811460 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25849619 2878935040 644554 33554432000 4194304 16246674 140733327207872 140355363122416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=2811460 CPUtime=0.01 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 31224 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 25849619 2878935040 644554 33554432000 4194304 16246674 140733327207872 140355352632336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=2811460 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25849619 2878935040 644554 33554432000 4194304 16246674 140733327207872 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 2811460

[startup+1662.3 s]
/proc/loadavg: 2.05 2.08 2.11 3/183 3729
/proc/meminfo: memFree=20400384/32872528 swapFree=1200228/1314692
[pid=3445] ppid=3442 vsize=2826820 CPUtime=1662.01 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 31224 0 -1 4202496 641206 0 0 0 166036 165 0 0 20 0 4 0 25849619 2894663680 648394 33554432000 4194304 16246674 140733327207872 140733327205952 4206864 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3445/statm: 706705 648394 837 2943 0 703599 0
[pid=3445/tid=3446] ppid=3442 vsize=2826820 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25849619 2894663680 648394 33554432000 4194304 16246674 140733327207872 140355363122416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=2826820 CPUtime=0.01 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 31224 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 25849619 2894663680 648394 33554432000 4194304 16246674 140733327207872 140355352632336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=2826820 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25849619 2894663680 648394 33554432000 4194304 16246674 140733327207872 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 2826820

[startup+1722.3 s]
/proc/loadavg: 2.07 2.08 2.10 3/183 3730
/proc/meminfo: memFree=19925864/32872528 swapFree=1200228/1314692
[pid=3445] ppid=3442 vsize=2842180 CPUtime=1722 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 31224 0 -1 4202496 645046 0 0 0 172029 171 0 0 20 0 4 0 25849619 2910392320 652234 33554432000 4194304 16246674 140733327207872 140733327206968 4206604 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3445/statm: 710545 652234 837 2943 0 707439 0
[pid=3445/tid=3446] ppid=3442 vsize=2842180 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25849619 2910392320 652234 33554432000 4194304 16246674 140733327207872 140355363122416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=2842180 CPUtime=0.01 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 31224 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 25849619 2910392320 652234 33554432000 4194304 16246674 140733327207872 140355352632560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=2842180 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25849619 2910392320 652234 33554432000 4194304 16246674 140733327207872 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 2842180

[startup+1782.3 s]
/proc/loadavg: 2.13 2.09 2.10 3/184 3734
/proc/meminfo: memFree=18730868/32872528 swapFree=1200228/1314692
[pid=3445] ppid=3442 vsize=2852420 CPUtime=1781.99 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 31224 0 -1 4202496 647606 0 0 0 178023 176 0 0 20 0 4 0 25849619 2920878080 654794 33554432000 4194304 16246674 140733327207872 140733327207184 15015658 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3445/statm: 713105 654794 837 2943 0 709999 0
[pid=3445/tid=3446] ppid=3442 vsize=2852420 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25849619 2920878080 654794 33554432000 4194304 16246674 140733327207872 140355363122416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=2852420 CPUtime=0.01 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 31224 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 25849619 2920878080 654794 33554432000 4194304 16246674 140733327207872 140355352632560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=2852420 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25849619 2920878080 654794 33554432000 4194304 16246674 140733327207872 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 2852420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.18 2.10 2.10 3/184 3734
/proc/meminfo: memFree=18724044/32872528 swapFree=1200228/1314692
[pid=3445] ppid=3442 vsize=2859588 CPUtime=1800.08 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 31224 0 -1 4202496 649398 0 0 0 179830 178 0 0 20 0 4 0 25849619 2928218112 656586 33554432000 4194304 16246674 140733327207872 140733327207184 4220897 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3445/statm: 714897 656586 837 2943 0 711791 0
[pid=3445/tid=3446] ppid=3442 vsize=2859588 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25849619 2928218112 656586 33554432000 4194304 16246674 140733327207872 140355363122416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=2859588 CPUtime=0.01 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 31224 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 25849619 2928218112 656586 33554432000 4194304 16246674 140733327207872 140355352632560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=2859588 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25849619 2928218112 656586 33554432000 4194304 16246674 140733327207872 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2859588

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.46
CPU time (s): 1800.16
CPU user time (s): 1798.32
CPU system time (s): 1.83972
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 2859588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.32
system time used= 1.83972
maximum resident set size= 2626344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 649398
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= 1901
involuntary context switches= 2004

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66299 second user time and 9.10362 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-18 10:20:31
IDJOB=4103593
IDBENCH=2404
IDSOLVER=2542
FILE ID=node131/4103593-1466238030
RUNJOBID= node131-1466206062-31240
PBS_JOBID= 19918146
Free space on /tmp= 71668 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2d.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103593-1466238030/watcher-4103593-1466238030 -o /tmp/evaluation-result-4103593-1466238030/solver-4103593-1466238030 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31240 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103593-1466238030.opb

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

MD5SUM BENCH= 98a903315aa0fe9737bc6b622eafe352
RANDOM SEED=1225602632

node131.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28795740 kB
Buffers:          128636 kB
Cached:           187600 kB
SwapCached:         1500 kB
Active:          1825712 kB
Inactive:         195180 kB
Active(anon):    1703444 kB
Inactive(anon):     3064 kB
Active(file):     122268 kB
Inactive(file):   192116 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099856 kB
Dirty:             36468 kB
Writeback:             0 kB
AnonPages:       3020260 kB
Mapped:            10524 kB
Shmem:                 0 kB
Slab:             603668 kB
SReclaimable:      47440 kB
SUnreclaim:       556228 kB
KernelStack:        1472 kB
PageTables:         9888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3159604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    178176 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= 71656 MiB
End job on node131 at 2016-06-18 10:50:31