Trace number 4103457

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.22 1800.5

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-A1C1S1.opb
MD5SUM1a4e4bfb1c77b43166d46bacbe01c892
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables103872
Total number of constraints3312
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 constraints3312
Minimum length of a constraint31
Maximum length of a constraint725
Number of terms in the objective function 37632
Biggest coefficient in the objective function 31125091123200
Number of bits for the biggest coefficient in the objective function 45
Sum of the numbers in the objective function 14624065344515792
Number of bits of the sum of numbers in the objective function 54
Biggest number in a constraint 31125091123200
Number of bits of the biggest number in a constraint 45
Biggest sum of numbers in a constraint 14624065344515792
Number of bits of the biggest sum of numbers54
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:06:51+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-4103457-1466237210.opb"]
0.00/0.01	c use --random-gen="3035723842 2410167691 1940302922 1401463969 365196002 1749398219 242816704 1653955034 1312970094 1490493981 3543404926 2468200807 2344514417 2262045824 1892394696 2656514915 898929562 1387910387 1539675341 1879775172 1061831322 3213067780 1229964788 1807687567 488447826 1316570613 972849649 999280645 2840016587 1095801497 1755297379 4063267498 2844607159 3663898702 4242873248 533513890 1168766914 467076281 1336511402 2030680670 1202742840 2225596982 2647228180 1240726622 3866055309 1369656931 2202249866 3522303374 1671795910 3411261243 3698331075 4184062394 2566726473 2302755088 1170064654 1003022006 1709072784 2403928040 2774508742 2485415123 2931537997 3336795667 2653901563 1004145869 580453917 3117548078 135105792 1045823687 346015291 1321340243 2482509608 785893283 2576672356 2437883001 3538936416 1369107945 1003437437 1755210588 799249361 4108515677 3110465101 635440625 3000675406 1298538675 1203462079 3044821308 1327807583 417242090 390261621 3189310816 2731925485 1641073656 3073471755 2113378973 2765322480 3540777998 4173681292 1705459057 2589754230 966491435 4243961212 573575027 4173325395 1977554123 2195972306 1629115678 516535656 2997999200 970866970 771704746 1699315650 2109241204 3060389164 1516942321 592107131 4126030692 967986436 1113457005 908030862 1597199451 2383768411 1355547124 2097775204 1862423014 150126895 765583228 1027829959 1221052169 3301916724 3216482846 3151829922 1392450328 1334960123 164327691 3731617119 3758502081 996190277 4077844453 4117576986 4049889058 408209069 3714937560 2857920115 2369737010 1501475431 4286774091 3383945101 2327565974 3350628395 4056490562 2512300917 881927219 2381431714 1091001358 724952922 43744515 1183637805 3631718345 332507253 923932690 3309369226 2095798699 1199798292 1832010322 3217903869 2997486669 3007539169 3171674939 190377507 2922768211 1602276025 938891851 1555815106 4067136063 1616219733 2669865485 3937048640 4270318572 3983114908 671285650 431057600 1613697775 2830575248 3486797258 2608465866 2475935052 2078925642 2655005237 915804431 1562994250 169553481 1052514719 4158258231 280213912 721474957 3312185175 2862367138 992042716 3542063333 852068580 2452281148 1712723985 1444586545 3915008971 1804096567 4150267978 904045607 701160772 686051562 3158597757 2715069263 60448126 2560552920 1306479003 50061984 3222397043 699623005 3288010031 3617979047 234131926 3123324120 1802395202 1821501808 1651961460 911718319 753072436 2523885347 822397370 758595490 1288461862 1679605047 2771968042 2122218432 1016998678 1225751164 3415064094 2361373386 668404078 245429994 4004420523 2794611519 3929429132 4091351653 4257235985 3626514921 1276584591 3274242550 1429126550 2337719121 155048729 1571226732 2688588453 2027869916 3783087473 2622409298 505901786 255 362436" option to reproduce the execution
0.48/0.59	c #vars 103872
0.48/0.59	c #constraints 3312

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

pid=21425
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.30 2.26 2.23 4/179 21428
/proc/meminfo: memFree=28596856/32872528 swapFree=1459628/1655852
[pid=21428] ppid=21425 vsize=372156 CPUtime=0 cores=1,3,5,7
/proc/21428/stat : 21428 (toysat) R 21425 21428 16189 0 -1 4202496 1326 0 0 0 0 0 0 0 20 0 4 0 25766587 381087744 1687 33554432000 4194304 16246674 140736900444688 140736900444112 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21428/statm: 93551 1698 441 2943 0 90445 0
[pid=21428/tid=21429] ppid=21425 vsize=389564 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21429/stat : 21429 (toysat) S 21425 21428 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25766587 398913536 1758 33554432000 4194304 16246674 140736900444688 139990664195312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21428/tid=21430] ppid=21425 vsize=394684 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21430/stat : 21430 (toysat) S 21425 21428 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25766587 404156416 1775 33554432000 4194304 16246674 140736900444688 139990653705456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21428/tid=21431] ppid=21425 vsize=398780 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21431/stat : 21431 (toysat) S 21425 21428 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25766587 408350720 1791 33554432000 4194304 16246674 140736900444688 139990566694064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100181 s]
/proc/loadavg: 2.30 2.26 2.23 4/179 21428
/proc/meminfo: memFree=28596856/32872528 swapFree=1459628/1655852
[pid=21428] ppid=21425 vsize=1303108 CPUtime=0.08 cores=1,3,5,7
/proc/21428/stat : 21428 (toysat) R 21425 21428 16189 0 -1 4202496 29526 0 0 0 4 4 0 0 20 0 4 0 25766587 1334382592 29825 33554432000 4194304 16246674 140736900444688 140736900444000 7371468 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21428/statm: 325777 29841 799 2943 0 322671 0
[pid=21428/tid=21429] ppid=21425 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21429/stat : 21429 (toysat) S 21425 21428 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25766587 1334382592 29853 33554432000 4194304 16246674 140736900444688 139990664195312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21428/tid=21430] ppid=21425 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21430/stat : 21430 (toysat) S 21425 21428 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25766587 1334382592 29864 33554432000 4194304 16246674 140736900444688 139990653705456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21428/tid=21431] ppid=21425 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21431/stat : 21431 (toysat) S 21425 21428 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25766587 1334382592 29875 33554432000 4194304 16246674 140736900444688 139990566694064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1303108

[startup+0.200548 s]
/proc/loadavg: 2.30 2.26 2.23 4/179 21428
/proc/meminfo: memFree=28596856/32872528 swapFree=1459628/1655852
[pid=21428] ppid=21425 vsize=1310276 CPUtime=0.19 cores=1,3,5,7
/proc/21428/stat : 21428 (toysat) R 21425 21428 16189 0 -1 4202496 39821 0 0 0 13 6 0 0 20 0 4 0 25766587 1341722624 40630 33554432000 4194304 16246674 140736900444688 140736900444000 8055566 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21428/statm: 327569 40630 801 2943 0 324463 0
[pid=21428/tid=21429] ppid=21425 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21429/stat : 21429 (toysat) S 21425 21428 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25766587 1341722624 40630 33554432000 4194304 16246674 140736900444688 139990664195312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21428/tid=21430] ppid=21425 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21430/stat : 21430 (toysat) S 21425 21428 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25766587 1341722624 40630 33554432000 4194304 16246674 140736900444688 139990653705456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21428/tid=21431] ppid=21425 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21431/stat : 21431 (toysat) S 21425 21428 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25766587 1341722624 40630 33554432000 4194304 16246674 140736900444688 139990566694064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1310276

[startup+0.300517 s]
/proc/loadavg: 2.30 2.26 2.23 4/179 21428
/proc/meminfo: memFree=28596856/32872528 swapFree=1459628/1655852
[pid=21428] ppid=21425 vsize=1311300 CPUtime=0.28 cores=1,3,5,7
/proc/21428/stat : 21428 (toysat) R 21425 21428 16189 0 -1 4202496 43126 0 0 0 22 6 0 0 20 0 4 0 25766587 1342771200 43935 33554432000 4194304 16246674 140736900444688 140736900444000 8055381 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21428/statm: 327825 43935 801 2943 0 324719 0
[pid=21428/tid=21429] ppid=21425 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21429/stat : 21429 (toysat) S 21425 21428 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25766587 1342771200 43935 33554432000 4194304 16246674 140736900444688 139990664195312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21428/tid=21430] ppid=21425 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21430/stat : 21430 (toysat) S 21425 21428 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25766587 1342771200 43935 33554432000 4194304 16246674 140736900444688 139990653705456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21428/tid=21431] ppid=21425 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21431/stat : 21431 (toysat) S 21425 21428 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25766587 1342771200 43935 33554432000 4194304 16246674 140736900444688 139990566694064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1311300

[startup+0.700373 s]
/proc/loadavg: 2.30 2.26 2.23 4/179 21428
/proc/meminfo: memFree=28596856/32872528 swapFree=1459628/1655852
[pid=21428] ppid=21425 vsize=1312324 CPUtime=0.68 cores=1,3,5,7
/proc/21428/stat : 21428 (toysat) R 21425 21428 16189 0 -1 4202496 51775 0 0 0 61 7 0 0 20 0 4 0 25766587 1343819776 52584 33554432000 4194304 16246674 140736900444688 140736900444000 4220501 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21428/statm: 328081 52584 813 2943 0 324975 0
[pid=21428/tid=21429] ppid=21425 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21429/stat : 21429 (toysat) S 21425 21428 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25766587 1343819776 52584 33554432000 4194304 16246674 140736900444688 139990664195312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21428/tid=21430] ppid=21425 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21430/stat : 21430 (toysat) S 21425 21428 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25766587 1343819776 52584 33554432000 4194304 16246674 140736900444688 139990653705456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21428/tid=21431] ppid=21425 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21431/stat : 21431 (toysat) S 21425 21428 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25766587 1343819776 52584 33554432000 4194304 16246674 140736900444688 139990566694064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1312324

[startup+1.50038 s]
/proc/loadavg: 2.27 2.25 2.23 3/183 21432
/proc/meminfo: memFree=28068208/32872528 swapFree=1459628/1655852
[pid=21428] ppid=21425 vsize=1355332 CPUtime=1.49 cores=1,3,5,7
/proc/21428/stat : 21428 (toysat) R 21425 21428 16189 0 -1 4202496 225459 0 0 0 120 29 0 0 20 0 4 0 25766587 1387859968 226268 33554432000 4194304 16246674 140736900444688 140736900426560 12429797 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21428/statm: 338833 226275 823 2943 0 335727 0
[pid=21428/tid=21429] ppid=21425 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21429/stat : 21429 (toysat) S 21425 21428 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25766587 1387859968 226280 33554432000 4194304 16246674 140736900444688 139990664195312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21428/tid=21430] ppid=21425 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21430/stat : 21430 (toysat) S 21425 21428 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25766587 1387859968 226284 33554432000 4194304 16246674 140736900444688 139990653705456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21428/tid=21431] ppid=21425 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21431/stat : 21431 (toysat) S 21425 21428 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25766587 1387859968 226288 33554432000 4194304 16246674 140736900444688 139990566694064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1355332

[startup+3.10041 s]
/proc/loadavg: 2.27 2.25 2.23 3/183 21432
/proc/meminfo: memFree=27386084/32872528 swapFree=1459628/1655852
[pid=21428] ppid=21425 vsize=1446468 CPUtime=3.08 cores=1,3,5,7
/proc/21428/stat : 21428 (toysat) R 21425 21428 16189 0 -1 4202496 302230 0 0 0 270 38 0 0 20 0 4 0 25766587 1481183232 303039 33554432000 4194304 16246674 140736900444688 140736900426560 12371164 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21428/statm: 361617 303039 824 2943 0 358511 0
[pid=21428/tid=21429] ppid=21425 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21429/stat : 21429 (toysat) S 21425 21428 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25766587 1481183232 303039 33554432000 4194304 16246674 140736900444688 139990664195312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21428/tid=21430] ppid=21425 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21430/stat : 21430 (toysat) S 21425 21428 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25766587 1481183232 303039 33554432000 4194304 16246674 140736900444688 139990653705456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21428/tid=21431] ppid=21425 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21431/stat : 21431 (toysat) S 21425 21428 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25766587 1481183232 303039 33554432000 4194304 16246674 140736900444688 139990566694064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1446468

[startup+6.3004 s]
/proc/loadavg: 2.27 2.25 2.23 3/183 21432
/proc/meminfo: memFree=27384400/32872528 swapFree=1459628/1655852
[pid=21428] ppid=21425 vsize=1446468 CPUtime=6.29 cores=1,3,5,7
/proc/21428/stat : 21428 (toysat) R 21425 21428 16189 0 -1 4202496 302230 0 0 0 589 40 0 0 20 0 4 0 25766587 1481183232 303039 33554432000 4194304 16246674 140736900444688 140736900442560 4220850 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21428/statm: 361617 303039 824 2943 0 358511 0
[pid=21428/tid=21429] ppid=21425 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21429/stat : 21429 (toysat) S 21425 21428 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25766587 1481183232 303039 33554432000 4194304 16246674 140736900444688 139990664195312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21428/tid=21430] ppid=21425 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21430/stat : 21430 (toysat) S 21425 21428 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25766587 1481183232 303039 33554432000 4194304 16246674 140736900444688 139990653705456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21428/tid=21431] ppid=21425 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21431/stat : 21431 (toysat) S 21425 21428 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25766587 1481183232 303039 33554432000 4194304 16246674 140736900444688 139990566694064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1446468

[startup+12.7004 s]
/proc/loadavg: 2.23 2.24 2.23 3/183 21432
/proc/meminfo: memFree=27242256/32872528 swapFree=1459628/1655852
[pid=21428] ppid=21425 vsize=1588804 CPUtime=12.68 cores=1,3,5,7
/proc/21428/stat : 21428 (toysat) R 21425 21428 16189 0 -1 4202496 337814 0 0 0 1224 44 0 0 20 0 4 0 25766587 1626935296 338623 33554432000 4194304 16246674 140736900444688 140736900443904 4220490 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21428/statm: 397201 338623 824 2943 0 394095 0
[pid=21428/tid=21429] ppid=21425 vsize=1588804 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21429/stat : 21429 (toysat) S 21425 21428 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25766587 1626935296 338623 33554432000 4194304 16246674 140736900444688 139990664195312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21428/tid=21430] ppid=21425 vsize=1588804 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21430/stat : 21430 (toysat) S 21425 21428 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25766587 1626935296 338623 33554432000 4194304 16246674 140736900444688 139990653705456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21428/tid=21431] ppid=21425 vsize=1588804 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21431/stat : 21431 (toysat) S 21425 21428 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25766587 1626935296 338623 33554432000 4194304 16246674 140736900444688 139990566694064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1588804

[startup+25.5005 s]
/proc/loadavg: 2.20 2.23 2.22 4/183 21432
/proc/meminfo: memFree=26908208/32872528 swapFree=1459628/1655852
[pid=21428] ppid=21425 vsize=1922628 CPUtime=25.48 cores=1,3,5,7
/proc/21428/stat : 21428 (toysat) R 21425 21428 16189 0 -1 4202496 421270 0 0 0 2493 55 0 0 20 0 4 0 25766587 1968771072 422079 33554432000 4194304 16246674 140736900444688 140736900443904 4206688 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21428/statm: 480657 422079 824 2943 0 477551 0
[pid=21428/tid=21429] ppid=21425 vsize=1922628 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21429/stat : 21429 (toysat) S 21425 21428 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25766587 1968771072 422079 33554432000 4194304 16246674 140736900444688 139990664195312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21428/tid=21430] ppid=21425 vsize=1922628 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21430/stat : 21430 (toysat) S 21425 21428 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25766587 1968771072 422079 33554432000 4194304 16246674 140736900444688 139990653705456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21428/tid=21431] ppid=21425 vsize=1922628 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21431/stat : 21431 (toysat) S 21425 21428 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25766587 1968771072 422079 33554432000 4194304 16246674 140736900444688 139990566694064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1922628

[startup+51.1005 s]
/proc/loadavg: 2.26 2.25 2.23 3/183 21432
/proc/meminfo: memFree=26895220/32872528 swapFree=1459628/1655852
[pid=21428] ppid=21425 vsize=1933892 CPUtime=51.08 cores=1,3,5,7
/proc/21428/stat : 21428 (toysat) R 21425 21428 16189 0 -1 4202496 424086 0 0 0 5052 56 0 0 20 0 4 0 25766587 1980305408 424895 33554432000 4194304 16246674 140736900444688 140736900443904 12654104 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21428/statm: 483473 424895 824 2943 0 480367 0
[pid=21428/tid=21429] ppid=21425 vsize=1933892 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21429/stat : 21429 (toysat) S 21425 21428 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25766587 1980305408 424895 33554432000 4194304 16246674 140736900444688 139990664195312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21428/tid=21430] ppid=21425 vsize=1933892 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21430/stat : 21430 (toysat) S 21425 21428 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25766587 1980305408 424895 33554432000 4194304 16246674 140736900444688 139990653705456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21428/tid=21431] ppid=21425 vsize=1933892 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21431/stat : 21431 (toysat) S 21425 21428 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25766587 1980305408 424895 33554432000 4194304 16246674 140736900444688 139990566694064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1933892

[startup+102.301 s]
/proc/loadavg: 2.33 2.26 2.23 3/183 21433
/proc/meminfo: memFree=26894476/32872528 swapFree=1459628/1655852
[pid=21428] ppid=21425 vsize=1933892 CPUtime=102.28 cores=1,3,5,7
/proc/21428/stat : 21428 (toysat) R 21425 21428 16189 0 -1 4202496 493718 0 0 0 10161 67 0 0 20 0 4 0 25766587 1980305408 424895 33554432000 4194304 16246674 140736900444688 140736900443904 4220480 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21428/statm: 483473 424895 824 2943 0 480367 0
[pid=21428/tid=21429] ppid=21425 vsize=1933892 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21429/stat : 21429 (toysat) S 21425 21428 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25766587 1980305408 424895 33554432000 4194304 16246674 140736900444688 139990664195312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21428/tid=21430] ppid=21425 vsize=1933892 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21430/stat : 21430 (toysat) S 21425 21428 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25766587 1980305408 424895 33554432000 4194304 16246674 140736900444688 139990653705456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21428/tid=21431] ppid=21425 vsize=1933892 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21431/stat : 21431 (toysat) S 21425 21428 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25766587 1980305408 424895 33554432000 4194304 16246674 140736900444688 139990566694064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1933892


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

/proc/21428/task/21431/stat : 21431 (toysat) S 21425 21428 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25766587 1981353984 425422 33554432000 4194304 16246674 140736900444688 139990566694064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1934916

[startup+1302.3 s]
/proc/loadavg: 2.34 2.31 2.27 3/183 21464
/proc/meminfo: memFree=26956732/32872528 swapFree=1459628/1655852
[pid=21428] ppid=21425 vsize=1866308 CPUtime=1302.09 cores=1,3,5,7
/proc/21428/stat : 21428 (toysat) R 21425 21428 16189 0 -1 4202496 2340530 0 0 0 129839 370 0 0 20 0 4 0 25766587 1911099392 408270 33554432000 4194304 16246674 140736900444688 140736900442496 4225056 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21428/statm: 466577 408270 836 2943 0 463471 0
[pid=21428/tid=21429] ppid=21425 vsize=1866308 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21429/stat : 21429 (toysat) S 21425 21428 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25766587 1911099392 408270 33554432000 4194304 16246674 140736900444688 139990664195312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21428/tid=21430] ppid=21425 vsize=1866308 CPUtime=0.02 cores=1,3,5,7
/proc/21428/task/21430/stat : 21430 (toysat) S 21425 21428 16189 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 4 0 25766587 1911099392 408270 33554432000 4194304 16246674 140736900444688 139990653705456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21428/tid=21431] ppid=21425 vsize=1866308 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21431/stat : 21431 (toysat) S 21425 21428 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25766587 1911099392 408270 33554432000 4194304 16246674 140736900444688 139990566694064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1866308

[startup+1362.3 s]
/proc/loadavg: 2.21 2.28 2.26 3/183 21465
/proc/meminfo: memFree=26888520/32872528 swapFree=1459628/1655852
[pid=21428] ppid=21425 vsize=1934916 CPUtime=1362.07 cores=1,3,5,7
/proc/21428/stat : 21428 (toysat) R 21425 21428 16189 0 -1 4202496 2490036 0 0 0 135814 393 0 0 20 0 4 0 25766587 1981353984 425422 33554432000 4194304 16246674 140736900444688 140736900442560 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21428/statm: 483729 425422 836 2943 0 480623 0
[pid=21428/tid=21429] ppid=21425 vsize=1934916 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21429/stat : 21429 (toysat) S 21425 21428 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25766587 1981353984 425422 33554432000 4194304 16246674 140736900444688 139990664195312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21428/tid=21430] ppid=21425 vsize=1934916 CPUtime=0.02 cores=1,3,5,7
/proc/21428/task/21430/stat : 21430 (toysat) S 21425 21428 16189 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 4 0 25766587 1981353984 425422 33554432000 4194304 16246674 140736900444688 139990653705456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21428/tid=21431] ppid=21425 vsize=1934916 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21431/stat : 21431 (toysat) S 21425 21428 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25766587 1981353984 425422 33554432000 4194304 16246674 140736900444688 139990566694064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1934916

[startup+1422.3 s]
/proc/loadavg: 2.30 2.29 2.26 3/184 21470
/proc/meminfo: memFree=26888724/32872528 swapFree=1459628/1655852
[pid=21428] ppid=21425 vsize=1934916 CPUtime=1422.07 cores=1,3,5,7
/proc/21428/stat : 21428 (toysat) R 21425 21428 16189 0 -1 4202496 2627509 0 0 0 141792 415 0 0 20 0 4 0 25766587 1981353984 425422 33554432000 4194304 16246674 140736900444688 140736900442496 4225100 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21428/statm: 483729 425422 836 2943 0 480623 0
[pid=21428/tid=21429] ppid=21425 vsize=1934916 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21429/stat : 21429 (toysat) S 21425 21428 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25766587 1981353984 425422 33554432000 4194304 16246674 140736900444688 139990664195312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21428/tid=21430] ppid=21425 vsize=1934916 CPUtime=0.02 cores=1,3,5,7
/proc/21428/task/21430/stat : 21430 (toysat) S 21425 21428 16189 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 4 0 25766587 1981353984 425422 33554432000 4194304 16246674 140736900444688 139990653705456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21428/tid=21431] ppid=21425 vsize=1934916 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21431/stat : 21431 (toysat) S 21425 21428 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25766587 1981353984 425422 33554432000 4194304 16246674 140736900444688 139990566694064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1934916

[startup+1482.3 s]
/proc/loadavg: 2.21 2.26 2.26 3/183 21471
/proc/meminfo: memFree=26888040/32872528 swapFree=1459628/1655852
[pid=21428] ppid=21425 vsize=1934916 CPUtime=1482.05 cores=1,3,5,7
/proc/21428/stat : 21428 (toysat) R 21425 21428 16189 0 -1 4202496 2837175 0 0 0 147756 449 0 0 20 0 4 0 25766587 1981353984 425422 33554432000 4194304 16246674 140736900444688 140736900442448 4225306 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21428/statm: 483729 425422 836 2943 0 480623 0
[pid=21428/tid=21429] ppid=21425 vsize=1934916 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21429/stat : 21429 (toysat) S 21425 21428 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25766587 1981353984 425422 33554432000 4194304 16246674 140736900444688 139990664195312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21428/tid=21430] ppid=21425 vsize=1934916 CPUtime=0.02 cores=1,3,5,7
/proc/21428/task/21430/stat : 21430 (toysat) S 21425 21428 16189 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 4 0 25766587 1981353984 425422 33554432000 4194304 16246674 140736900444688 139990653705232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21428/tid=21431] ppid=21425 vsize=1934916 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21431/stat : 21431 (toysat) S 21425 21428 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25766587 1981353984 425422 33554432000 4194304 16246674 140736900444688 139990566694064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1934916

[startup+1542.31 s]
/proc/loadavg: 2.26 2.26 2.26 3/183 21472
/proc/meminfo: memFree=26888516/32872528 swapFree=1459628/1655852
[pid=21428] ppid=21425 vsize=1934916 CPUtime=1542.04 cores=1,3,5,7
/proc/21428/stat : 21428 (toysat) R 21425 21428 16189 0 -1 4202496 2886329 0 0 0 153748 456 0 0 20 0 4 0 25766587 1981353984 425422 33554432000 4194304 16246674 140736900444688 140736900442496 12654419 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21428/statm: 483729 425422 836 2943 0 480623 0
[pid=21428/tid=21429] ppid=21425 vsize=1934916 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21429/stat : 21429 (toysat) S 21425 21428 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25766587 1981353984 425422 33554432000 4194304 16246674 140736900444688 139990664195312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21428/tid=21430] ppid=21425 vsize=1934916 CPUtime=0.02 cores=1,3,5,7
/proc/21428/task/21430/stat : 21430 (toysat) S 21425 21428 16189 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 4 0 25766587 1981353984 425422 33554432000 4194304 16246674 140736900444688 139990653705456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21428/tid=21431] ppid=21425 vsize=1934916 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21431/stat : 21431 (toysat) S 21425 21428 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25766587 1981353984 425422 33554432000 4194304 16246674 140736900444688 139990566694064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1934916

[startup+1602.3 s]
/proc/loadavg: 2.41 2.30 2.27 3/183 21473
/proc/meminfo: memFree=27112764/32872528 swapFree=1459628/1655852
[pid=21428] ppid=21425 vsize=1750596 CPUtime=1602.03 cores=1,3,5,7
/proc/21428/stat : 21428 (toysat) R 21425 21428 16189 0 -1 4202496 2973520 0 0 0 159734 469 0 0 20 0 4 0 25766587 1792610304 379237 33554432000 4194304 16246674 140736900444688 140736900442448 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21428/statm: 437649 379244 836 2943 0 434543 0
[pid=21428/tid=21429] ppid=21425 vsize=1750596 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21429/stat : 21429 (toysat) S 21425 21428 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25766587 1792610304 379248 33554432000 4194304 16246674 140736900444688 139990664195312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21428/tid=21430] ppid=21425 vsize=1750596 CPUtime=0.02 cores=1,3,5,7
/proc/21428/task/21430/stat : 21430 (toysat) S 21425 21428 16189 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 4 0 25766587 1792610304 379254 33554432000 4194304 16246674 140736900444688 139990653705232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21428/tid=21431] ppid=21425 vsize=1750596 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21431/stat : 21431 (toysat) S 21425 21428 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25766587 1792610304 379257 33554432000 4194304 16246674 140736900444688 139990566694064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1750596

[startup+1662.3 s]
/proc/loadavg: 2.49 2.33 2.28 4/183 21522
/proc/meminfo: memFree=24268072/32872528 swapFree=1459628/1655852
[pid=21428] ppid=21425 vsize=1935940 CPUtime=1662.02 cores=1,3,5,7
/proc/21428/stat : 21428 (toysat) R 21425 21428 16189 0 -1 4202496 3032250 0 0 0 165725 477 0 0 20 0 4 0 25766587 1982402560 425679 33554432000 4194304 16246674 140736900444688 140736900442496 4220871 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21428/statm: 483985 425679 836 2943 0 480879 0
[pid=21428/tid=21429] ppid=21425 vsize=1935940 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21429/stat : 21429 (toysat) S 21425 21428 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25766587 1982402560 425679 33554432000 4194304 16246674 140736900444688 139990664195312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21428/tid=21430] ppid=21425 vsize=1935940 CPUtime=0.03 cores=1,3,5,7
/proc/21428/task/21430/stat : 21430 (toysat) S 21425 21428 16189 0 -1 4202560 8 0 0 0 3 0 0 0 20 0 4 0 25766587 1982402560 425679 33554432000 4194304 16246674 140736900444688 139990653705456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21428/tid=21431] ppid=21425 vsize=1935940 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21431/stat : 21431 (toysat) S 21425 21428 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25766587 1982402560 425679 33554432000 4194304 16246674 140736900444688 139990566694064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1935940

[startup+1722.3 s]
/proc/loadavg: 2.30 2.30 2.27 3/183 21524
/proc/meminfo: memFree=17175484/32872528 swapFree=1459628/1655852
[pid=21428] ppid=21425 vsize=1935940 CPUtime=1722.01 cores=1,3,5,7
/proc/21428/stat : 21428 (toysat) R 21425 21428 16189 0 -1 4202496 3092666 0 0 0 171713 488 0 0 20 0 4 0 25766587 1982402560 425679 33554432000 4194304 16246674 140736900444688 140736900442560 4221138 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21428/statm: 483985 425679 836 2943 0 480879 0
[pid=21428/tid=21429] ppid=21425 vsize=1935940 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21429/stat : 21429 (toysat) S 21425 21428 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25766587 1982402560 425679 33554432000 4194304 16246674 140736900444688 139990664195312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21428/tid=21430] ppid=21425 vsize=1935940 CPUtime=0.03 cores=1,3,5,7
/proc/21428/task/21430/stat : 21430 (toysat) S 21425 21428 16189 0 -1 4202560 8 0 0 0 3 0 0 0 20 0 4 0 25766587 1982402560 425679 33554432000 4194304 16246674 140736900444688 139990653705456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21428/tid=21431] ppid=21425 vsize=1935940 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21431/stat : 21431 (toysat) S 21425 21428 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25766587 1982402560 425679 33554432000 4194304 16246674 140736900444688 139990566694064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1935940

[startup+1782.3 s]
/proc/loadavg: 2.20 2.27 2.26 3/183 21525
/proc/meminfo: memFree=15032372/32872528 swapFree=1459628/1655852
[pid=21428] ppid=21425 vsize=1931844 CPUtime=1781.99 cores=1,3,5,7
/proc/21428/stat : 21428 (toysat) R 21425 21428 16189 0 -1 4202496 3211194 0 0 0 177693 506 0 0 20 0 4 0 25766587 1978208256 424655 33554432000 4194304 16246674 140736900444688 140736900443904 12654547 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21428/statm: 482961 424655 836 2943 0 479855 0
[pid=21428/tid=21429] ppid=21425 vsize=1931844 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21429/stat : 21429 (toysat) S 21425 21428 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25766587 1978208256 424655 33554432000 4194304 16246674 140736900444688 139990664195312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21428/tid=21430] ppid=21425 vsize=1931844 CPUtime=0.03 cores=1,3,5,7
/proc/21428/task/21430/stat : 21430 (toysat) S 21425 21428 16189 0 -1 4202560 8 0 0 0 3 0 0 0 20 0 4 0 25766587 1978208256 424655 33554432000 4194304 16246674 140736900444688 139990653705456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21428/tid=21431] ppid=21425 vsize=1931844 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21431/stat : 21431 (toysat) S 21425 21428 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25766587 1978208256 424655 33554432000 4194304 16246674 140736900444688 139990566694064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1931844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.30 2.29 2.27 3/183 21525
/proc/meminfo: memFree=15029864/32872528 swapFree=1459628/1655852
[pid=21428] ppid=21425 vsize=1935940 CPUtime=1800.09 cores=1,3,5,7
/proc/21428/stat : 21428 (toysat) R 21425 21428 16189 0 -1 4202496 3239610 0 0 0 179497 512 0 0 20 0 4 0 25766587 1982402560 425679 33554432000 4194304 16246674 140736900444688 140736900442496 4220489 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21428/statm: 483985 425679 836 2943 0 480879 0
[pid=21428/tid=21429] ppid=21425 vsize=1935940 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21429/stat : 21429 (toysat) S 21425 21428 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25766587 1982402560 425679 33554432000 4194304 16246674 140736900444688 139990664195312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21428/tid=21430] ppid=21425 vsize=1935940 CPUtime=0.03 cores=1,3,5,7
/proc/21428/task/21430/stat : 21430 (toysat) S 21425 21428 16189 0 -1 4202560 8 0 0 0 3 0 0 0 20 0 4 0 25766587 1982402560 425679 33554432000 4194304 16246674 140736900444688 139990653705456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21428/tid=21431] ppid=21425 vsize=1935940 CPUtime=0 cores=1,3,5,7
/proc/21428/task/21431/stat : 21431 (toysat) S 21425 21428 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25766587 1982402560 425679 33554432000 4194304 16246674 140736900444688 139990566694064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1935940

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 21428 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.5
CPU time (s): 1800.22
CPU user time (s): 1795.01
CPU system time (s): 5.21421
CPU usage (%): 99.9848
Max. virtual memory (cumulated for all children) (KiB): 1935940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.01
system time used= 5.21421
maximum resident set size= 1702716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3239610
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= 4518
involuntary context switches= 6630

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

The end

Launcher Data 

Begin job on node136 at 2016-06-18 10:06:51
IDJOB=4103457
IDBENCH=2367
IDSOLVER=2542
FILE ID=node136/4103457-1466237210
RUNJOBID= node136-1466206055-16206
PBS_JOBID= 19918141
Free space on /tmp= 71716 MiB

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

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

MD5SUM BENCH= 1a4e4bfb1c77b43166d46bacbe01c892
RANDOM SEED=292392197

node136.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		: 2667.278
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	: 5334.55
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		: 2667.278
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		: 2667.278
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.56
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		: 2667.278
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		: 2667.278
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		: 2667.278
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		: 2667.278
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.67
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		: 2667.278
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:        28597392 kB
Buffers:          111440 kB
Cached:           174128 kB
SwapCached:            0 kB
Active:          1686156 kB
Inactive:         189224 kB
Active(anon):    1577800 kB
Inactive(anon):    14636 kB
Active(file):     108356 kB
Inactive(file):   174588 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             20820 kB
Writeback:             0 kB
AnonPages:       3245572 kB
Mapped:            16248 kB
Shmem:               204 kB
Slab:             609136 kB
SReclaimable:      53004 kB
SUnreclaim:       556132 kB
KernelStack:        1464 kB
PageTables:        10496 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3381720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    198656 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= 71700 MiB
End job on node136 at 2016-06-18 10:36:51