Trace number 4103429

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.09 1800.4

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-A2C1S1.opb
MD5SUMa644593dc228e712d5b0d277ee939168
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:02:19+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-4103429-1466236938.opb"]
0.00/0.01	c use --random-gen="3149773972 174758554 1298306393 1931852392 1503181450 4040314900 2087619157 4188835853 2020208077 1593347841 2382733309 4143898375 2680255972 1783886990 1120893299 2174559965 4095547300 1716792453 597906171 2479959257 1698893028 1123786455 273566746 1176448353 1286349317 4089565200 3142694131 2799386516 1978198980 4248909825 118024262 3731372735 954029892 1313690419 1823508132 1808480384 957195404 1600999254 648958409 16805490 1321152762 212733471 3520469205 2791148552 2434363554 1418501671 1453965863 3520385998 1699158491 869113844 3756986343 2454806364 1967624192 2534160257 427356315 3800504324 816490575 3299340280 2579364306 3754105308 3806943173 2331158882 2672755538 2473076427 1884295794 1177244967 3388040916 3788036547 4231313655 2323882814 3727746236 1875608679 1095587699 816614091 967432594 286233789 3667008550 223932668 950142557 3895743711 1681858049 1999519338 2763337909 3298335831 141380286 518477635 721375100 2572671828 655579873 1439113187 966057835 2671483151 496284098 1113174429 950886623 2246912133 2211561545 52984352 3856572059 202773354 3623798599 1378815 2211217621 2480844965 2804398754 443160900 2933928330 4229182803 2793025871 3819803746 1913945581 4200174812 2825317152 1817532828 2122577958 4053012481 2137852245 423408335 818662421 1070099984 3130882951 3375034966 879203276 2565217426 1271614590 2494938049 2962310569 150362248 3560511471 1457447129 2792216271 1014211764 1484107248 3584705704 657451438 516000922 1739618657 3712745548 3924130625 231866079 2620758098 1830010131 1835364620 2960828656 2342249732 1141823990 230191100 2713978762 4201656777 353207184 2932306680 142791151 987697742 1655210042 1795168121 2670952018 4229609111 2063115894 1346556998 1722782840 2409880114 4015128652 3681367743 408527235 488279409 571288921 2002354809 1411395478 3077719757 2906267424 931744068 393590479 3367908934 287021988 4124072699 240473625 198956450 2311684324 407107345 53355832 2454089006 2176008216 3526709898 2810939118 513146734 3219267482 2601205208 1112530141 2297568372 4269549178 1642798789 3219852361 3545988011 1429455256 2152709482 2376204989 1478189994 1564601214 1714311841 2809540597 595147753 2520294287 30090344 2976753505 1016275336 4030947722 1499536684 1709795397 3025316380 2128362916 1680831977 1494685526 1307690538 4231178552 3005496034 2028988231 3383261571 4210110364 79486703 2014108412 3877568656 1058531237 65712291 2807779960 1523861798 1003731757 3450156833 1487955838 1769124750 3367883950 3379089087 1797558601 4188237632 3254438117 2959016576 262553039 3992298814 720058305 1664801562 76816735 212930233 3743490785 4148692819 3272926285 1960917935 1916359697 1170473664 3738169996 86990313 1410567754 46345878 400451147 1902550201 2536273642 942493982 835447137 255 362436" option to reproduce the execution
0.49/0.59	c #vars 103872
0.49/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-4103429-1466236938/watcher-4103429-1466236938 -o /tmp/evaluation-result-4103429-1466236938/solver-4103429-1466236938 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31241 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103429-1466236938.opb 

pid=3171
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.20 2.18 2.18 3/179 3174
/proc/meminfo: memFree=29630724/32872528 swapFree=1200228/1314692
[pid=3174] ppid=3171 vsize=709052 CPUtime=0 cores=1,3,5,7
/proc/3174/stat : 3174 (toysat) R 3171 3174 31224 0 -1 4202496 2642 0 0 0 0 0 0 0 20 0 4 0 25740390 726069248 3002 33554432000 4194304 16246674 140737368939248 140737368938672 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3174/statm: 177775 3011 441 2943 0 174669 0
[pid=3174/tid=3175] ppid=3171 vsize=753084 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3175/stat : 3175 (toysat) S 3171 3174 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25740390 771158016 3175 33554432000 4194304 16246674 140737368939248 140030375865584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3174/tid=3176] ppid=3171 vsize=758204 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3176/stat : 3176 (toysat) S 3171 3174 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25740390 776400896 3191 33554432000 4194304 16246674 140737368939248 140030295125232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3174/tid=3177] ppid=3171 vsize=762300 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3177/stat : 3177 (toysat) S 3171 3174 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25740390 780595200 3207 33554432000 4194304 16246674 140737368939248 140030284651696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.20 2.18 2.18 3/179 3174
/proc/meminfo: memFree=29630724/32872528 swapFree=1200228/1314692
[pid=3174] ppid=3171 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/3174/stat : 3174 (toysat) R 3171 3174 31224 0 -1 4202496 31109 0 0 0 5 4 0 0 20 0 4 0 25740390 1334382592 31408 33554432000 4194304 16246674 140737368939248 140737368938560 7368729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3174/statm: 325777 31424 799 2943 0 322671 0
[pid=3174/tid=3175] ppid=3171 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3175/stat : 3175 (toysat) S 3171 3174 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25740390 1334382592 31433 33554432000 4194304 16246674 140737368939248 140030375865584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3174/tid=3176] ppid=3171 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3176/stat : 3176 (toysat) S 3171 3174 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25740390 1334382592 31444 33554432000 4194304 16246674 140737368939248 140030295125232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3174/tid=3177] ppid=3171 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3177/stat : 3177 (toysat) S 3171 3174 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25740390 1334382592 31454 33554432000 4194304 16246674 140737368939248 140030284651696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200514 s]
/proc/loadavg: 2.20 2.18 2.18 3/179 3174
/proc/meminfo: memFree=29630724/32872528 swapFree=1200228/1314692
[pid=3174] ppid=3171 vsize=1310276 CPUtime=0.19 cores=1,3,5,7
/proc/3174/stat : 3174 (toysat) R 3171 3174 31224 0 -1 4202496 39819 0 0 0 14 5 0 0 20 0 4 0 25740390 1341722624 40628 33554432000 4194304 16246674 140737368939248 140737368938560 7372833 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3174/statm: 327569 40628 801 2943 0 324463 0
[pid=3174/tid=3175] ppid=3171 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3175/stat : 3175 (toysat) S 3171 3174 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25740390 1341722624 40628 33554432000 4194304 16246674 140737368939248 140030375865584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3174/tid=3176] ppid=3171 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3176/stat : 3176 (toysat) S 3171 3174 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25740390 1341722624 40628 33554432000 4194304 16246674 140737368939248 140030295125232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3174/tid=3177] ppid=3171 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3177/stat : 3177 (toysat) S 3171 3174 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25740390 1341722624 40628 33554432000 4194304 16246674 140737368939248 140030284651696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1310276

[startup+0.300498 s]
/proc/loadavg: 2.20 2.18 2.18 3/179 3174
/proc/meminfo: memFree=29630724/32872528 swapFree=1200228/1314692
[pid=3174] ppid=3171 vsize=1311300 CPUtime=0.28 cores=1,3,5,7
/proc/3174/stat : 3174 (toysat) R 3171 3174 31224 0 -1 4202496 43124 0 0 0 23 5 0 0 20 0 4 0 25740390 1342771200 43933 33554432000 4194304 16246674 140737368939248 140737368938560 7364068 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3174/statm: 327825 43933 801 2943 0 324719 0
[pid=3174/tid=3175] ppid=3171 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3175/stat : 3175 (toysat) S 3171 3174 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25740390 1342771200 43933 33554432000 4194304 16246674 140737368939248 140030375865584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3174/tid=3176] ppid=3171 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3176/stat : 3176 (toysat) S 3171 3174 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25740390 1342771200 43933 33554432000 4194304 16246674 140737368939248 140030295125232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3174/tid=3177] ppid=3171 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3177/stat : 3177 (toysat) S 3171 3174 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25740390 1342771200 43933 33554432000 4194304 16246674 140737368939248 140030284651696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1311300

[startup+0.700469 s]
/proc/loadavg: 2.20 2.18 2.18 3/179 3174
/proc/meminfo: memFree=29630724/32872528 swapFree=1200228/1314692
[pid=3174] ppid=3171 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/3174/stat : 3174 (toysat) R 3171 3174 31224 0 -1 4202496 51799 0 0 0 62 7 0 0 20 0 4 0 25740390 1343819776 52608 33554432000 4194304 16246674 140737368939248 140737368938560 4206964 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3174/statm: 328081 52608 813 2943 0 324975 0
[pid=3174/tid=3175] ppid=3171 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3175/stat : 3175 (toysat) S 3171 3174 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25740390 1343819776 52608 33554432000 4194304 16246674 140737368939248 140030375865584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3174/tid=3176] ppid=3171 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3176/stat : 3176 (toysat) S 3171 3174 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25740390 1343819776 52608 33554432000 4194304 16246674 140737368939248 140030295125232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3174/tid=3177] ppid=3171 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3177/stat : 3177 (toysat) S 3171 3174 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25740390 1343819776 52608 33554432000 4194304 16246674 140737368939248 140030284651696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50048 s]
/proc/loadavg: 2.20 2.18 2.18 3/183 3178
/proc/meminfo: memFree=29096696/32872528 swapFree=1200228/1314692
[pid=3174] ppid=3171 vsize=1355332 CPUtime=1.48 cores=1,3,5,7
/proc/3174/stat : 3174 (toysat) R 3171 3174 31224 0 -1 4202496 225830 0 0 0 118 30 0 0 20 0 4 0 25740390 1387859968 226639 33554432000 4194304 16246674 140737368939248 140737368938560 12423097 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3174/statm: 338833 226647 823 2943 0 335727 0
[pid=3174/tid=3175] ppid=3171 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3175/stat : 3175 (toysat) S 3171 3174 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25740390 1387859968 226650 33554432000 4194304 16246674 140737368939248 140030375865584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3174/tid=3176] ppid=3171 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3176/stat : 3176 (toysat) S 3171 3174 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25740390 1387859968 226654 33554432000 4194304 16246674 140737368939248 140030295125232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3174/tid=3177] ppid=3171 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3177/stat : 3177 (toysat) S 3171 3174 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25740390 1387859968 226658 33554432000 4194304 16246674 140737368939248 140030284651696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1355332

[startup+3.10048 s]
/proc/loadavg: 2.20 2.18 2.18 3/183 3178
/proc/meminfo: memFree=28419284/32872528 swapFree=1200228/1314692
[pid=3174] ppid=3171 vsize=1446468 CPUtime=3.09 cores=1,3,5,7
/proc/3174/stat : 3174 (toysat) R 3171 3174 31224 0 -1 4202496 302228 0 0 0 270 39 0 0 20 0 4 0 25740390 1481183232 303037 33554432000 4194304 16246674 140737368939248 140737368921152 12371164 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3174/statm: 361617 303037 824 2943 0 358511 0
[pid=3174/tid=3175] ppid=3171 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3175/stat : 3175 (toysat) S 3171 3174 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25740390 1481183232 303037 33554432000 4194304 16246674 140737368939248 140030375865584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3174/tid=3176] ppid=3171 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3176/stat : 3176 (toysat) S 3171 3174 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25740390 1481183232 303037 33554432000 4194304 16246674 140737368939248 140030295125232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3174/tid=3177] ppid=3171 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3177/stat : 3177 (toysat) S 3171 3174 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25740390 1481183232 303037 33554432000 4194304 16246674 140737368939248 140030284651696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1446468

[startup+6.30048 s]
/proc/loadavg: 2.26 2.20 2.18 3/183 3178
/proc/meminfo: memFree=28416864/32872528 swapFree=1200228/1314692
[pid=3174] ppid=3171 vsize=1446468 CPUtime=6.29 cores=1,3,5,7
/proc/3174/stat : 3174 (toysat) R 3171 3174 31224 0 -1 4202496 302228 0 0 0 590 39 0 0 20 0 4 0 25740390 1481183232 303037 33554432000 4194304 16246674 140737368939248 140737368937088 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3174/statm: 361617 303037 824 2943 0 358511 0
[pid=3174/tid=3175] ppid=3171 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3175/stat : 3175 (toysat) S 3171 3174 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25740390 1481183232 303037 33554432000 4194304 16246674 140737368939248 140030375865584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3174/tid=3176] ppid=3171 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3176/stat : 3176 (toysat) S 3171 3174 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25740390 1481183232 303037 33554432000 4194304 16246674 140737368939248 140030295125232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3174/tid=3177] ppid=3171 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3177/stat : 3177 (toysat) S 3171 3174 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25740390 1481183232 303037 33554432000 4194304 16246674 140737368939248 140030284651696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1446468

[startup+12.7005 s]
/proc/loadavg: 2.32 2.21 2.19 3/183 3178
/proc/meminfo: memFree=28273288/32872528 swapFree=1200228/1314692
[pid=3174] ppid=3171 vsize=1589828 CPUtime=12.69 cores=1,3,5,7
/proc/3174/stat : 3174 (toysat) R 3171 3174 31224 0 -1 4202496 338068 0 0 0 1224 45 0 0 20 0 4 0 25740390 1627983872 338877 33554432000 4194304 16246674 140737368939248 140737368938560 4220489 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3174/statm: 397457 338877 824 2943 0 394351 0
[pid=3174/tid=3175] ppid=3171 vsize=1589828 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3175/stat : 3175 (toysat) S 3171 3174 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25740390 1627983872 338877 33554432000 4194304 16246674 140737368939248 140030375865584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3174/tid=3176] ppid=3171 vsize=1589828 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3176/stat : 3176 (toysat) S 3171 3174 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25740390 1627983872 338877 33554432000 4194304 16246674 140737368939248 140030295125232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3174/tid=3177] ppid=3171 vsize=1589828 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3177/stat : 3177 (toysat) S 3171 3174 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25740390 1627983872 338877 33554432000 4194304 16246674 140737368939248 140030284651696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1589828

[startup+25.5005 s]
/proc/loadavg: 2.32 2.21 2.19 3/183 3178
/proc/meminfo: memFree=28009300/32872528 swapFree=1200228/1314692
[pid=3174] ppid=3171 vsize=1845828 CPUtime=25.48 cores=1,3,5,7
/proc/3174/stat : 3174 (toysat) R 3171 3174 31224 0 -1 4202496 402068 0 0 0 2496 52 0 0 20 0 4 0 25740390 1890127872 402877 33554432000 4194304 16246674 140737368939248 140737368938424 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3174/statm: 461457 402877 824 2943 0 458351 0
[pid=3174/tid=3175] ppid=3171 vsize=1845828 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3175/stat : 3175 (toysat) S 3171 3174 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25740390 1890127872 402877 33554432000 4194304 16246674 140737368939248 140030375865584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3174/tid=3176] ppid=3171 vsize=1845828 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3176/stat : 3176 (toysat) S 3171 3174 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25740390 1890127872 402877 33554432000 4194304 16246674 140737368939248 140030295125232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3174/tid=3177] ppid=3171 vsize=1845828 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3177/stat : 3177 (toysat) S 3171 3174 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25740390 1890127872 402877 33554432000 4194304 16246674 140737368939248 140030284651696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1845828

[startup+51.1005 s]
/proc/loadavg: 2.28 2.21 2.19 3/183 3178
/proc/meminfo: memFree=27913168/32872528 swapFree=1200228/1314692
[pid=3174] ppid=3171 vsize=1886788 CPUtime=51.08 cores=1,3,5,7
/proc/3174/stat : 3174 (toysat) R 3171 3174 31224 0 -1 4202496 474772 0 0 0 5046 62 0 0 20 0 4 0 25740390 1932070912 413117 33554432000 4194304 16246674 140737368939248 140737368937088 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3174/statm: 471697 413117 824 2943 0 468591 0
[pid=3174/tid=3175] ppid=3171 vsize=1886788 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3175/stat : 3175 (toysat) S 3171 3174 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25740390 1932070912 413117 33554432000 4194304 16246674 140737368939248 140030375865584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3174/tid=3176] ppid=3171 vsize=1886788 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3176/stat : 3176 (toysat) S 3171 3174 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25740390 1932070912 413117 33554432000 4194304 16246674 140737368939248 140030295125008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3174/tid=3177] ppid=3171 vsize=1886788 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3177/stat : 3177 (toysat) S 3171 3174 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25740390 1932070912 413117 33554432000 4194304 16246674 140737368939248 140030284651696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1886788

[startup+102.3 s]
/proc/loadavg: 2.19 2.19 2.18 3/183 3179
/proc/meminfo: memFree=27741644/32872528 swapFree=1200228/1314692
[pid=3174] ppid=3171 vsize=1933892 CPUtime=102.28 cores=1,3,5,7
/proc/3174/stat : 3174 (toysat) R 3171 3174 31224 0 -1 4202496 554644 0 0 0 10152 76 0 0 20 0 4 0 25740390 1980305408 424893 33554432000 4194304 16246674 140737368939248 140737368938424 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3174/statm: 483473 424893 824 2943 0 480367 0
[pid=3174/tid=3175] ppid=3171 vsize=1933892 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3175/stat : 3175 (toysat) S 3171 3174 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25740390 1980305408 424893 33554432000 4194304 16246674 140737368939248 140030375865584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3174/tid=3176] ppid=3171 vsize=1933892 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3176/stat : 3176 (toysat) S 3171 3174 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25740390 1980305408 424893 33554432000 4194304 16246674 140737368939248 140030295125008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3174/tid=3177] ppid=3171 vsize=1933892 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3177/stat : 3177 (toysat) S 3171 3174 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25740390 1980305408 424893 33554432000 4194304 16246674 140737368939248 140030284651696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1933892


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

[pid=3174/tid=3177] ppid=3171 vsize=1933892 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3177/stat : 3177 (toysat) S 3171 3174 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25740390 1980305408 425165 33554432000 4194304 16246674 140737368939248 140030284651696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.14
Current children cumulated vsize (KiB) 1933892

[startup+1422.3 s]
/proc/loadavg: 2.23 2.24 2.18 3/183 3455
/proc/meminfo: memFree=27067132/32872528 swapFree=1200228/1314692
[pid=3174] ppid=3171 vsize=1934916 CPUtime=1422.14 cores=1,3,5,7
/proc/3174/stat : 3174 (toysat) R 3171 3174 31224 0 -1 4202496 2924213 0 0 0 141747 467 0 0 20 0 4 0 25740390 1981353984 425421 33554432000 4194304 16246674 140737368939248 140737368938560 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3174/statm: 483729 425421 836 2943 0 480623 0
[pid=3174/tid=3175] ppid=3171 vsize=1934916 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3175/stat : 3175 (toysat) S 3171 3174 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25740390 1981353984 425421 33554432000 4194304 16246674 140737368939248 140030375865584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3174/tid=3176] ppid=3171 vsize=1934916 CPUtime=0.03 cores=1,3,5,7
/proc/3174/task/3176/stat : 3176 (toysat) S 3171 3174 31224 0 -1 4202560 7 0 0 0 0 3 0 0 20 0 4 0 25740390 1981353984 425421 33554432000 4194304 16246674 140737368939248 140030295125232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3174/tid=3177] ppid=3171 vsize=1934916 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3177/stat : 3177 (toysat) S 3171 3174 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25740390 1981353984 425421 33554432000 4194304 16246674 140737368939248 140030284651696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.14
Current children cumulated vsize (KiB) 1934916

[startup+1482.3 s]
/proc/loadavg: 2.13 2.21 2.18 4/183 3456
/proc/meminfo: memFree=27037616/32872528 swapFree=1200228/1314692
[pid=3174] ppid=3171 vsize=1934916 CPUtime=1482.14 cores=1,3,5,7
/proc/3174/stat : 3174 (toysat) R 3171 3174 31224 0 -1 4202496 3028153 0 0 0 147728 486 0 0 20 0 4 0 25740390 1981353984 425421 33554432000 4194304 16246674 140737368939248 140737368937088 4225120 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3174/statm: 483729 425421 836 2943 0 480623 0
[pid=3174/tid=3175] ppid=3171 vsize=1934916 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3175/stat : 3175 (toysat) S 3171 3174 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25740390 1981353984 425421 33554432000 4194304 16246674 140737368939248 140030375865584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3174/tid=3176] ppid=3171 vsize=1934916 CPUtime=0.03 cores=1,3,5,7
/proc/3174/task/3176/stat : 3176 (toysat) S 3171 3174 31224 0 -1 4202560 7 0 0 0 0 3 0 0 20 0 4 0 25740390 1981353984 425421 33554432000 4194304 16246674 140737368939248 140030295125008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3174/tid=3177] ppid=3171 vsize=1934916 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3177/stat : 3177 (toysat) S 3171 3174 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25740390 1981353984 425421 33554432000 4194304 16246674 140737368939248 140030284651696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.14
Current children cumulated vsize (KiB) 1934916

[startup+1542.31 s]
/proc/loadavg: 2.23 2.23 2.18 3/183 3457
/proc/meminfo: memFree=27209640/32872528 swapFree=1200228/1314692
[pid=3174] ppid=3171 vsize=1718852 CPUtime=1542.14 cores=1,3,5,7
/proc/3174/stat : 3174 (toysat) R 3171 3174 31224 0 -1 4202496 3072187 0 0 0 153721 493 0 0 20 0 4 0 25740390 1760104448 371405 33554432000 4194304 16246674 140737368939248 140737368937088 4220850 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3174/statm: 429713 371405 836 2943 0 426607 0
[pid=3174/tid=3175] ppid=3171 vsize=1718852 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3175/stat : 3175 (toysat) S 3171 3174 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25740390 1760104448 371405 33554432000 4194304 16246674 140737368939248 140030375865584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3174/tid=3176] ppid=3171 vsize=1718852 CPUtime=0.03 cores=1,3,5,7
/proc/3174/task/3176/stat : 3176 (toysat) S 3171 3174 31224 0 -1 4202560 7 0 0 0 0 3 0 0 20 0 4 0 25740390 1760104448 371405 33554432000 4194304 16246674 140737368939248 140030295125232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3174/tid=3177] ppid=3171 vsize=1718852 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3177/stat : 3177 (toysat) S 3171 3174 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25740390 1760104448 371405 33554432000 4194304 16246674 140737368939248 140030284651696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.14
Current children cumulated vsize (KiB) 1718852

[startup+1602.3 s]
/proc/loadavg: 2.20 2.21 2.18 3/183 3458
/proc/meminfo: memFree=26920712/32872528 swapFree=1200228/1314692
[pid=3174] ppid=3171 vsize=1987140 CPUtime=1602.11 cores=1,3,5,7
/proc/3174/stat : 3174 (toysat) R 3171 3174 31224 0 -1 4202496 3139265 0 0 0 159709 502 0 0 20 0 4 0 25740390 2034831360 438477 33554432000 4194304 16246674 140737368939248 140737368921152 4206952 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3174/statm: 496785 438477 836 2943 0 493679 0
[pid=3174/tid=3175] ppid=3171 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3175/stat : 3175 (toysat) S 3171 3174 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25740390 2034831360 438477 33554432000 4194304 16246674 140737368939248 140030375865584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3174/tid=3176] ppid=3171 vsize=1987140 CPUtime=0.03 cores=1,3,5,7
/proc/3174/task/3176/stat : 3176 (toysat) S 3171 3174 31224 0 -1 4202560 7 0 0 0 0 3 0 0 20 0 4 0 25740390 2034831360 438477 33554432000 4194304 16246674 140737368939248 140030295125232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3174/tid=3177] ppid=3171 vsize=1987140 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3177/stat : 3177 (toysat) S 3171 3174 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25740390 2034831360 438477 33554432000 4194304 16246674 140737368939248 140030284651696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.11
Current children cumulated vsize (KiB) 1987140

[startup+1662.3 s]
/proc/loadavg: 2.11 2.19 2.17 4/183 3459
/proc/meminfo: memFree=26945308/32872528 swapFree=1200228/1314692
[pid=3174] ppid=3171 vsize=1926724 CPUtime=1662.11 cores=1,3,5,7
/proc/3174/stat : 3174 (toysat) R 3171 3174 31224 0 -1 4202496 3241413 0 0 0 165692 519 0 0 20 0 4 0 25740390 1972965376 423373 33554432000 4194304 16246674 140737368939248 140737368938560 4221116 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3174/statm: 481681 423373 836 2943 0 478575 0
[pid=3174/tid=3175] ppid=3171 vsize=1926724 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3175/stat : 3175 (toysat) S 3171 3174 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25740390 1972965376 423373 33554432000 4194304 16246674 140737368939248 140030375865584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3174/tid=3176] ppid=3171 vsize=1926724 CPUtime=0.03 cores=1,3,5,7
/proc/3174/task/3176/stat : 3176 (toysat) S 3171 3174 31224 0 -1 4202560 7 0 0 0 0 3 0 0 20 0 4 0 25740390 1972965376 423373 33554432000 4194304 16246674 140737368939248 140030295125232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3174/tid=3177] ppid=3171 vsize=1926724 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3177/stat : 3177 (toysat) S 3171 3174 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25740390 1972965376 423373 33554432000 4194304 16246674 140737368939248 140030284651696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.11
Current children cumulated vsize (KiB) 1926724

[startup+1722.3 s]
/proc/loadavg: 2.26 2.21 2.18 3/184 3464
/proc/meminfo: memFree=26912152/32872528 swapFree=1200228/1314692
[pid=3174] ppid=3171 vsize=1934916 CPUtime=1722.1 cores=1,3,5,7
/proc/3174/stat : 3174 (toysat) R 3171 3174 31224 0 -1 4202496 3320006 0 0 0 171679 531 0 0 20 0 4 0 25740390 1981353984 425421 33554432000 4194304 16246674 140737368939248 140737368937152 4206600 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3174/statm: 483729 425421 836 2943 0 480623 0
[pid=3174/tid=3175] ppid=3171 vsize=1934916 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3175/stat : 3175 (toysat) S 3171 3174 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25740390 1981353984 425421 33554432000 4194304 16246674 140737368939248 140030375865584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3174/tid=3176] ppid=3171 vsize=1934916 CPUtime=0.03 cores=1,3,5,7
/proc/3174/task/3176/stat : 3176 (toysat) S 3171 3174 31224 0 -1 4202560 7 0 0 0 0 3 0 0 20 0 4 0 25740390 1981353984 425421 33554432000 4194304 16246674 140737368939248 140030295125232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3174/tid=3177] ppid=3171 vsize=1934916 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3177/stat : 3177 (toysat) S 3171 3174 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25740390 1981353984 425421 33554432000 4194304 16246674 140737368939248 140030284651696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722.1
Current children cumulated vsize (KiB) 1934916

[startup+1782.3 s]
/proc/loadavg: 2.15 2.18 2.18 3/183 3465
/proc/meminfo: memFree=26879904/32872528 swapFree=1200228/1314692
[pid=3174] ppid=3171 vsize=1935940 CPUtime=1782.08 cores=1,3,5,7
/proc/3174/stat : 3174 (toysat) R 3171 3174 31224 0 -1 4202496 3418311 0 0 0 177662 546 0 0 20 0 4 0 25740390 1982402560 425677 33554432000 4194304 16246674 140737368939248 140737368937088 12429091 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3174/statm: 483985 425677 836 2943 0 480879 0
[pid=3174/tid=3175] ppid=3171 vsize=1935940 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3175/stat : 3175 (toysat) S 3171 3174 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25740390 1982402560 425677 33554432000 4194304 16246674 140737368939248 140030375865584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3174/tid=3176] ppid=3171 vsize=1935940 CPUtime=0.04 cores=1,3,5,7
/proc/3174/task/3176/stat : 3176 (toysat) S 3171 3174 31224 0 -1 4202560 7 0 0 0 0 4 0 0 20 0 4 0 25740390 1982402560 425677 33554432000 4194304 16246674 140737368939248 140030295125232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3174/tid=3177] ppid=3171 vsize=1935940 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3177/stat : 3177 (toysat) S 3171 3174 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25740390 1982402560 425677 33554432000 4194304 16246674 140737368939248 140030284651696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782.08
Current children cumulated vsize (KiB) 1935940



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.32 2.22 2.19 4/183 3465
/proc/meminfo: memFree=26494704/32872528 swapFree=1200228/1314692
[pid=3174] ppid=3171 vsize=1858116 CPUtime=1800.09 cores=1,3,5,7
/proc/3174/stat : 3174 (toysat) R 3171 3174 31224 0 -1 4202496 3475655 0 0 0 179452 557 0 0 20 0 4 0 25740390 1902710784 406221 33554432000 4194304 16246674 140737368939248 140737368937152 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3174/statm: 464529 406221 836 2943 0 461423 0
[pid=3174/tid=3175] ppid=3171 vsize=1858116 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3175/stat : 3175 (toysat) S 3171 3174 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25740390 1902710784 406221 33554432000 4194304 16246674 140737368939248 140030375865584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3174/tid=3176] ppid=3171 vsize=1858116 CPUtime=0.04 cores=1,3,5,7
/proc/3174/task/3176/stat : 3176 (toysat) S 3171 3174 31224 0 -1 4202560 7 0 0 0 0 4 0 0 20 0 4 0 25740390 1902710784 406221 33554432000 4194304 16246674 140737368939248 140030295125232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3174/tid=3177] ppid=3171 vsize=1858116 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3177/stat : 3177 (toysat) S 3171 3174 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25740390 1902710784 406221 33554432000 4194304 16246674 140737368939248 140030284651696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1858116

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

[startup+1800.3 s]
/proc/loadavg: 2.32 2.22 2.19 4/183 3465
/proc/meminfo: memFree=26494704/32872528 swapFree=1200228/1314692
[pid=3174] ppid=3171 vsize=1858116 CPUtime=1800.09 cores=1,3,5,7
/proc/3174/stat : 3174 (toysat) R 3171 3174 31224 0 -1 4202496 3475655 0 0 0 179452 557 0 0 20 0 4 0 25740390 1902710784 406221 33554432000 4194304 16246674 140737368939248 140737368937152 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3174/statm: 464529 406221 836 2943 0 461423 0
[pid=3174/tid=3175] ppid=3171 vsize=1858116 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3175/stat : 3175 (toysat) S 3171 3174 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25740390 1902710784 406221 33554432000 4194304 16246674 140737368939248 140030375865584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3174/tid=3176] ppid=3171 vsize=1858116 CPUtime=0.04 cores=1,3,5,7
/proc/3174/task/3176/stat : 3176 (toysat) S 3171 3174 31224 0 -1 4202560 7 0 0 0 0 4 0 0 20 0 4 0 25740390 1902710784 406221 33554432000 4194304 16246674 140737368939248 140030295125232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3174/tid=3177] ppid=3171 vsize=1858116 CPUtime=0 cores=1,3,5,7
/proc/3174/task/3177/stat : 3177 (toysat) S 3171 3174 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25740390 1902710784 406221 33554432000 4194304 16246674 140737368939248 140030284651696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1858116

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3174 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=508193
#  childrusage.ru_stime.tv_sec=5
#  childrusage.ru_stime.tv_usec=567153
# CPU time returned by wait4() is 1800.08
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.4
CPU time (s): 1800.09
CPU user time (s): 1794.52
CPU system time (s): 5.57
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 2267716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.51
system time used= 5.56715
maximum resident set size= 2034480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3475655
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= 3350
involuntary context switches= 1941

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5754 second user time and 8.36373 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-18 10:02:19
IDJOB=4103429
IDBENCH=2356
IDSOLVER=2542
FILE ID=node131/4103429-1466236938
RUNJOBID= node131-1466206062-31241
PBS_JOBID= 19918146
Free space on /tmp= 71680 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-A2C1S1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103429-1466236938/watcher-4103429-1466236938 -o /tmp/evaluation-result-4103429-1466236938/solver-4103429-1466236938 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31241 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103429-1466236938.opb

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

MD5SUM BENCH= a644593dc228e712d5b0d277ee939168
RANDOM SEED=546691752

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:        29630608 kB
Buffers:          127660 kB
Cached:           167688 kB
SwapCached:         1500 kB
Active:          1001592 kB
Inactive:         188816 kB
Active(anon):     894140 kB
Inactive(anon):     3064 kB
Active(file):     107452 kB
Inactive(file):   185752 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099856 kB
Dirty:             20656 kB
Writeback:             0 kB
AnonPages:       2210900 kB
Mapped:            10628 kB
Shmem:                 0 kB
Slab:             602832 kB
SReclaimable:      46620 kB
SUnreclaim:       556212 kB
KernelStack:        1472 kB
PageTables:         8912 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2577864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 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= 71648 MiB
End job on node131 at 2016-06-18 10:32:19