Trace number 4119195

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.14 1800.43

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-pb302035.lin.opb
MD5SUM22c9f60a6d1c227fc3896c108cc96d3f
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4211459
Best CPU time to get the best result obtained on this benchmark1800.5
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables165900
Total number of constraints330650
Number of constraints which are clauses165300
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints165320
Minimum length of a constraint3
Maximum length of a constraint30
Number of terms in the objective function 165900
Biggest coefficient in the objective function 299990
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 1735590180
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 299990
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 1735590180
Number of bits of the biggest sum of numbers31
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-30T09:38:20+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-4119195-1467272300.opb"]
0.00/0.01	c use --random-gen="921998053 2612331100 2873751330 380659103 1370200799 1443648745 1469202401 293373917 228565460 554521266 816319826 3367295573 1049397706 3186015572 2764563936 1000567187 2569056449 4040883536 1906742107 3766426067 2681226063 4038559042 1586065281 4138306083 2701424870 1722428952 2542272955 3381342228 3423394621 102830641 1407314586 3196048510 2363280026 3539759921 4261534519 1536931695 1198437260 643733972 858553280 2156958554 330963577 256892695 3738301718 247016279 993319935 1677002696 422420926 1902833076 1151323059 3536446540 1661475631 3835115920 1113357727 3226058228 616462858 3527505901 3672477414 2369090588 4285608180 3117300573 1344042124 2312042141 3580881580 2101153787 162470704 1023322361 2349738880 994378975 1437705722 2992299453 3650590739 485273414 1277633139 4138698532 3134152562 2884712078 2043573501 2888734156 2997378016 3818270111 1220452658 3755273938 4293958694 1618813550 1546170107 3825890546 1702741226 1135422975 3234774881 3041933850 2684169776 4059839049 374013194 1090355085 3799712496 4017221491 834508878 1735757711 1293873191 3646461853 1453539589 231418592 1526541116 3365439863 4165823521 3144990891 290299515 3827473395 668167727 503560188 2595680729 650122874 3968052008 550934886 773847077 1910565625 4070307444 4173375459 2929407154 614538478 3104276837 4036660790 2631192722 84379253 402634076 2508201599 3524185407 3191709608 3460957190 3874737927 2188481956 4168705135 3427670970 2185245096 2232216544 168200464 1205569131 3723804117 4090903914 2905258926 277852560 2839248305 3037393128 3482688957 1085753769 1547513762 3367112060 3185177099 2656699692 1657410988 2074322134 3355296386 2314154917 1898487754 1322108728 2656171745 3203897196 2794763168 2373774150 470581682 1627370142 190893082 2091522254 1846075572 3162577646 3698830077 2028671693 3289083637 4270602761 1632739294 150168824 2443462622 2962344453 2981786463 3428935425 871121371 1102252103 66853533 2115977788 2317125562 2691637403 3986250758 3060275045 461176393 669127941 2501613188 1728242685 3922484558 1187962240 2737278077 1725747256 3625778081 1828083354 1317058690 2702294949 2457382798 3897124903 3869750177 1279115341 706246004 3528747478 2508196585 2286152557 3657518256 2945180938 455200133 1373137886 3587603101 3327909432 3485466433 1591971119 4163975484 2212251378 4056301306 2960973971 1159034430 2497922932 2586014022 3752368595 2737859034 3957318316 2876231397 3003473118 3172695631 2653993122 2008556977 3060741565 1936113087 2222556824 3360492879 635535519 3178262305 656767657 2659961797 370582412 469473315 3634599855 2364688693 3692815068 1973072323 3097838652 1866303887 729956953 3491282680 3933269676 1194665947 729453469 1430931003 3357832359 3557021572 2221908547 3886131938 2548053643 1167911266 4010269705 2569971196 255 362436" option to reproduce the execution
2.39/2.48	c #vars 165900
2.39/2.48	c #constraints 330650
8.19/8.29	c BCD2: Hardening is enabled.
8.19/8.29	c BCD2: BiasedSearch is enabled.
8.19/8.29	c Solving starts ...
8.19/8.29	c ============================[ Search Statistics ]============================
8.19/8.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
8.19/8.29	c       |         |          |          |    Limit     GC | Var      | Constra 
8.19/8.29	c =============================================================================
8.39/8.45	c  0.0s |       0 |        0 |        0 |   165526      0 |        0 |        0
9.09/9.15	c  0.7s |       0 |       29 |        0 |   165526      0 |        0 |        0
9.09/9.15	c #cpu_time = 0.503s
9.09/9.15	c #wall_clock_time = 0.503s
9.09/9.15	c #decision = 29
9.09/9.15	c #random_decision = 0
9.09/9.15	c #conflict = 0
9.09/9.15	c #restart = 0
9.09/9.16	o 8339247

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

pid=13088
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.19 2.18 4/179 13091
/proc/meminfo: memFree=28724784/32872528 swapFree=1254912/1391860
[pid=13091] ppid=13088 vsize=781756 CPUtime=0 cores=1,3,5,7
/proc/13091/stat : 13091 (toysat) R 13088 13091 12742 0 -1 4202496 2928 0 0 0 0 0 0 0 20 0 4 0 8190838 800518144 3288 33554432000 4194304 16246674 140734386622384 140734386621808 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 196207 3297 441 2943 0 193101 0
[pid=13091/tid=13092] ppid=13088 vsize=800188 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13092/stat : 13092 (toysat) S 13088 13091 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8190838 819392512 3360 33554432000 4194304 16246674 140734386622384 140435577089264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13093] ppid=13088 vsize=805308 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13093/stat : 13093 (toysat) S 13088 13091 12742 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8190838 824635392 3376 33554432000 4194304 16246674 140734386622384 140435498446064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13091/tid=13094] ppid=13088 vsize=809404 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13094/stat : 13094 (toysat) S 13088 13091 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8190838 828829696 3394 33554432000 4194304 16246674 140734386622384 140435487972528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 2.20 2.19 2.18 4/179 13091
/proc/meminfo: memFree=28724784/32872528 swapFree=1254912/1391860
[pid=13091] ppid=13088 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/13091/stat : 13091 (toysat) R 13088 13091 12742 0 -1 4202496 28862 0 0 0 5 4 0 0 20 0 4 0 8190838 1333334016 29161 33554432000 4194304 16246674 140734386622384 140734386621696 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 325521 29177 798 2943 0 322415 0
[pid=13091/tid=13092] ppid=13088 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13092/stat : 13092 (toysat) S 13088 13091 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8190838 1333334016 29188 33554432000 4194304 16246674 140734386622384 140435577089264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13093] ppid=13088 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13093/stat : 13093 (toysat) S 13088 13091 12742 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8190838 1333334016 29199 33554432000 4194304 16246674 140734386622384 140435498446064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13091/tid=13094] ppid=13088 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13094/stat : 13094 (toysat) S 13088 13091 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8190838 1333334016 29210 33554432000 4194304 16246674 140734386622384 140435487972528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200527 s]
/proc/loadavg: 2.20 2.19 2.18 4/179 13091
/proc/meminfo: memFree=28724784/32872528 swapFree=1254912/1391860
[pid=13091] ppid=13088 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/13091/stat : 13091 (toysat) R 13088 13091 12742 0 -1 4202496 45274 0 0 0 13 6 0 0 20 0 4 0 8190838 1343819776 46083 33554432000 4194304 16246674 140734386622384 140734386621696 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 328081 46083 799 2943 0 324975 0
[pid=13091/tid=13092] ppid=13088 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13092/stat : 13092 (toysat) S 13088 13091 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8190838 1343819776 46083 33554432000 4194304 16246674 140734386622384 140435577089264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13093] ppid=13088 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13093/stat : 13093 (toysat) S 13088 13091 12742 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8190838 1343819776 46083 33554432000 4194304 16246674 140734386622384 140435498446064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13091/tid=13094] ppid=13088 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13094/stat : 13094 (toysat) S 13088 13091 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8190838 1343819776 46083 33554432000 4194304 16246674 140734386622384 140435487972528 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) 1312324

[startup+0.300497 s]
/proc/loadavg: 2.20 2.19 2.18 4/179 13091
/proc/meminfo: memFree=28724784/32872528 swapFree=1254912/1391860
[pid=13091] ppid=13088 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/13091/stat : 13091 (toysat) R 13088 13091 12742 0 -1 4202496 45351 0 0 0 23 6 0 0 20 0 4 0 8190838 1343819776 46160 33554432000 4194304 16246674 140734386622384 140734386621696 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 328081 46160 799 2943 0 324975 0
[pid=13091/tid=13092] ppid=13088 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13092/stat : 13092 (toysat) S 13088 13091 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8190838 1343819776 46160 33554432000 4194304 16246674 140734386622384 140435577089264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13093] ppid=13088 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13093/stat : 13093 (toysat) S 13088 13091 12742 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8190838 1343819776 46160 33554432000 4194304 16246674 140734386622384 140435498446064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13091/tid=13094] ppid=13088 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13094/stat : 13094 (toysat) S 13088 13091 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8190838 1343819776 46160 33554432000 4194304 16246674 140734386622384 140435487972528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700377 s]
/proc/loadavg: 2.20 2.19 2.18 4/179 13091
/proc/meminfo: memFree=28724784/32872528 swapFree=1254912/1391860
[pid=13091] ppid=13088 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/13091/stat : 13091 (toysat) R 13088 13091 12742 0 -1 4202496 72200 0 0 0 59 10 0 0 20 0 4 0 8190838 1344868352 73010 33554432000 4194304 16246674 140734386622384 140734386621480 7391492 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 328337 73029 802 2943 0 325231 0
[pid=13091/tid=13092] ppid=13088 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13092/stat : 13092 (toysat) S 13088 13091 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8190838 1344868352 73040 33554432000 4194304 16246674 140734386622384 140435577089264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13093] ppid=13088 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13093/stat : 13093 (toysat) S 13088 13091 12742 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8190838 1344868352 73051 33554432000 4194304 16246674 140734386622384 140435498446064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13091/tid=13094] ppid=13088 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13094/stat : 13094 (toysat) S 13088 13091 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8190838 1344868352 73063 33554432000 4194304 16246674 140734386622384 140435487972528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.20 2.19 2.18 3/183 13095
/proc/meminfo: memFree=27859040/32872528 swapFree=1254912/1391860
[pid=13091] ppid=13088 vsize=1326660 CPUtime=1.49 cores=1,3,5,7
/proc/13091/stat : 13091 (toysat) R 13088 13091 12742 0 -1 4202496 93030 0 0 0 136 13 0 0 20 0 4 0 8190838 1358499840 95883 33554432000 4194304 16246674 140734386622384 140734386605376 4220936 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 331665 95883 802 2943 0 328559 0
[pid=13091/tid=13092] ppid=13088 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13092/stat : 13092 (toysat) S 13088 13091 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8190838 1358499840 95883 33554432000 4194304 16246674 140734386622384 140435577089264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13093] ppid=13088 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13093/stat : 13093 (toysat) S 13088 13091 12742 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8190838 1358499840 95883 33554432000 4194304 16246674 140734386622384 140435498446064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13091/tid=13094] ppid=13088 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13094/stat : 13094 (toysat) S 13088 13091 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8190838 1358499840 95883 33554432000 4194304 16246674 140734386622384 140435487972528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1326660

[startup+3.10042 s]
/proc/loadavg: 2.20 2.19 2.18 3/183 13095
/proc/meminfo: memFree=27653316/32872528 swapFree=1254912/1391860
[pid=13091] ppid=13088 vsize=1376836 CPUtime=3.08 cores=1,3,5,7
/proc/13091/stat : 13091 (toysat) R 13088 13091 12742 0 -1 4202496 189978 0 0 0 282 26 0 0 20 0 4 0 8190838 1409880064 197431 33554432000 4194304 16246674 140734386622384 140734386605376 5740329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 344209 197440 845 2943 0 341103 0
[pid=13091/tid=13092] ppid=13088 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13092/stat : 13092 (toysat) S 13088 13091 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8190838 1409880064 197444 33554432000 4194304 16246674 140734386622384 140435577089264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13093] ppid=13088 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13093/stat : 13093 (toysat) S 13088 13091 12742 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8190838 1409880064 197449 33554432000 4194304 16246674 140734386622384 140435498446064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13091/tid=13094] ppid=13088 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13094/stat : 13094 (toysat) S 13088 13091 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8190838 1409880064 197455 33554432000 4194304 16246674 140734386622384 140435487972528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1376836

[startup+6.30038 s]
/proc/loadavg: 2.26 2.21 2.18 3/183 13095
/proc/meminfo: memFree=27006804/32872528 swapFree=1254912/1391860
[pid=13091] ppid=13088 vsize=1376836 CPUtime=6.29 cores=1,3,5,7
/proc/13091/stat : 13091 (toysat) R 13088 13091 12742 0 -1 4202496 275639 0 0 0 587 42 0 0 20 0 4 0 8190838 1409880064 285646 33554432000 4194304 16246674 140734386622384 140734386604288 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13091/statm: 344209 285646 847 2943 0 341103 0
[pid=13091/tid=13092] ppid=13088 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13092/stat : 13092 (toysat) S 13088 13091 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8190838 1409880064 285646 33554432000 4194304 16246674 140734386622384 140435577089264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13093] ppid=13088 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13093/stat : 13093 (toysat) S 13088 13091 12742 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8190838 1409880064 285646 33554432000 4194304 16246674 140734386622384 140435498446064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13091/tid=13094] ppid=13088 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13094/stat : 13094 (toysat) S 13088 13091 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8190838 1409880064 285646 33554432000 4194304 16246674 140734386622384 140435487972528 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) 1376836

[startup+12.7004 s]
/proc/loadavg: 2.24 2.20 2.18 3/183 13095
/proc/meminfo: memFree=26990096/32872528 swapFree=1254912/1391860
[pid=13091] ppid=13088 vsize=1393220 CPUtime=12.69 cores=1,3,5,7
/proc/13091/stat : 13091 (toysat) R 13088 13091 12742 0 -1 4202496 279780 0 0 0 1226 43 0 0 20 0 4 0 8190838 1426657280 289787 33554432000 4194304 16246674 140734386622384 140734386604288 12429815 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13091/statm: 348305 289787 885 2943 0 345199 0
[pid=13091/tid=13092] ppid=13088 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13092/stat : 13092 (toysat) S 13088 13091 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8190838 1426657280 289787 33554432000 4194304 16246674 140734386622384 140435577089264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13093] ppid=13088 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13093/stat : 13093 (toysat) S 13088 13091 12742 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8190838 1426657280 289787 33554432000 4194304 16246674 140734386622384 140435498446064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13091/tid=13094] ppid=13088 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13094/stat : 13094 (toysat) S 13088 13091 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8190838 1426657280 289787 33554432000 4194304 16246674 140734386622384 140435487972528 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) 1393220

[startup+25.5078 s]
/proc/loadavg: 2.27 2.21 2.18 4/183 13095
/proc/meminfo: memFree=26990348/32872528 swapFree=1254912/1391860
[pid=13091] ppid=13088 vsize=1393220 CPUtime=25.49 cores=1,3,5,7
/proc/13091/stat : 13091 (toysat) R 13088 13091 12742 0 -1 4202496 279780 0 0 0 2506 43 0 0 20 0 4 0 8190838 1426657280 289787 33554432000 4194304 16246674 140734386622384 140734386604288 12652957 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13091/statm: 348305 289787 885 2943 0 345199 0
[pid=13091/tid=13092] ppid=13088 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13092/stat : 13092 (toysat) S 13088 13091 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8190838 1426657280 289787 33554432000 4194304 16246674 140734386622384 140435577089264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13093] ppid=13088 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13093/stat : 13093 (toysat) S 13088 13091 12742 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8190838 1426657280 289787 33554432000 4194304 16246674 140734386622384 140435498446064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13091/tid=13094] ppid=13088 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13094/stat : 13094 (toysat) S 13088 13091 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8190838 1426657280 289787 33554432000 4194304 16246674 140734386622384 140435487972528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1393220

[startup+51.1004 s]
/proc/loadavg: 2.17 2.19 2.18 3/183 13095
/proc/meminfo: memFree=26990232/32872528 swapFree=1254912/1391860
[pid=13091] ppid=13088 vsize=1393220 CPUtime=51.08 cores=1,3,5,7
/proc/13091/stat : 13091 (toysat) R 13088 13091 12742 0 -1 4202496 279780 0 0 0 5065 43 0 0 20 0 4 0 8190838 1426657280 289787 33554432000 4194304 16246674 140734386622384 140734386604288 6955969 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13091/statm: 348305 289787 885 2943 0 345199 0
[pid=13091/tid=13092] ppid=13088 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13092/stat : 13092 (toysat) S 13088 13091 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8190838 1426657280 289787 33554432000 4194304 16246674 140734386622384 140435577089264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13093] ppid=13088 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13093/stat : 13093 (toysat) S 13088 13091 12742 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8190838 1426657280 289787 33554432000 4194304 16246674 140734386622384 140435498446064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13091/tid=13094] ppid=13088 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13094/stat : 13094 (toysat) S 13088 13091 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8190838 1426657280 289787 33554432000 4194304 16246674 140734386622384 140435487972528 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) 1393220

[startup+102.3 s]
/proc/loadavg: 2.12 2.17 2.17 3/183 13096
/proc/meminfo: memFree=26533712/32872528 swapFree=1254912/1391860
[pid=13091] ppid=13088 vsize=1848900 CPUtime=102.27 cores=1,3,5,7
/proc/13091/stat : 13091 (toysat) R 13088 13091 12742 0 -1 4202496 393702 0 0 0 10170 57 0 0 20 0 4 0 8190838 1893273600 403709 33554432000 4194304 16246674 140734386622384 140734386621696 12656213 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13091/statm: 462225 403709 886 2943 0 459119 0
[pid=13091/tid=13092] ppid=13088 vsize=1848900 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13092/stat : 13092 (toysat) S 13088 13091 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8190838 1893273600 403709 33554432000 4194304 16246674 140734386622384 140435577089264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13093] ppid=13088 vsize=1848900 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13093/stat : 13093 (toysat) S 13088 13091 12742 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8190838 1893273600 403709 33554432000 4194304 16246674 140734386622384 140435498446064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13091/tid=13094] ppid=13088 vsize=1848900 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13094/stat : 13094 (toysat) S 13088 13091 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8190838 1893273600 403709 33554432000 4194304 16246674 140734386622384 140435487972528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1848900


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

/proc/13091/task/13094/stat : 13094 (toysat) S 13088 13091 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8190838 2468941824 544509 33554432000 4194304 16246674 140734386622384 140435487972528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 2411076

[startup+1362.3 s]
/proc/loadavg: 2.20 2.19 2.18 3/184 13153
/proc/meminfo: memFree=25948764/32872528 swapFree=1254912/1391860
[pid=13091] ppid=13088 vsize=2412100 CPUtime=1362.05 cores=1,3,5,7
/proc/13091/stat : 13091 (toysat) R 13088 13091 12742 0 -1 4202496 534516 0 0 0 136059 146 0 0 20 0 4 0 8190838 2469990400 544765 33554432000 4194304 16246674 140734386622384 140734386620224 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13091/statm: 603025 544765 886 2943 0 599919 0
[pid=13091/tid=13092] ppid=13088 vsize=2412100 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13092/stat : 13092 (toysat) S 13088 13091 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8190838 2469990400 544765 33554432000 4194304 16246674 140734386622384 140435577089264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13093] ppid=13088 vsize=2412100 CPUtime=0.01 cores=1,3,5,7
/proc/13091/task/13093/stat : 13093 (toysat) S 13088 13091 12742 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 4 0 8190838 2469990400 544765 33554432000 4194304 16246674 140734386622384 140435498446064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13094] ppid=13088 vsize=2412100 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13094/stat : 13094 (toysat) S 13088 13091 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8190838 2469990400 544765 33554432000 4194304 16246674 140734386622384 140435487972528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 2412100

[startup+1422.3 s]
/proc/loadavg: 2.15 2.17 2.17 4/183 13154
/proc/meminfo: memFree=25949828/32872528 swapFree=1254912/1391860
[pid=13091] ppid=13088 vsize=2413124 CPUtime=1422.04 cores=1,3,5,7
/proc/13091/stat : 13091 (toysat) R 13088 13091 12742 0 -1 4202496 534772 0 0 0 142054 150 0 0 20 0 4 0 8190838 2471038976 545021 33554432000 4194304 16246674 140734386622384 140734386620176 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13091/statm: 603281 545021 886 2943 0 600175 0
[pid=13091/tid=13092] ppid=13088 vsize=2413124 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13092/stat : 13092 (toysat) S 13088 13091 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8190838 2471038976 545021 33554432000 4194304 16246674 140734386622384 140435577089264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13093] ppid=13088 vsize=2413124 CPUtime=0.01 cores=1,3,5,7
/proc/13091/task/13093/stat : 13093 (toysat) S 13088 13091 12742 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 4 0 8190838 2471038976 545021 33554432000 4194304 16246674 140734386622384 140435498445840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13094] ppid=13088 vsize=2413124 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13094/stat : 13094 (toysat) S 13088 13091 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8190838 2471038976 545021 33554432000 4194304 16246674 140734386622384 140435487972528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 2413124

[startup+1482.3 s]
/proc/loadavg: 2.16 2.16 2.17 3/183 13155
/proc/meminfo: memFree=25949864/32872528 swapFree=1254912/1391860
[pid=13091] ppid=13088 vsize=2413124 CPUtime=1482.03 cores=1,3,5,7
/proc/13091/stat : 13091 (toysat) R 13088 13091 12742 0 -1 4202496 534772 0 0 0 148048 155 0 0 20 0 4 0 8190838 2471038976 545021 33554432000 4194304 16246674 140734386622384 140734386621600 12429736 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13091/statm: 603281 545021 886 2943 0 600175 0
[pid=13091/tid=13092] ppid=13088 vsize=2413124 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13092/stat : 13092 (toysat) S 13088 13091 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8190838 2471038976 545021 33554432000 4194304 16246674 140734386622384 140435577089264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13093] ppid=13088 vsize=2413124 CPUtime=0.01 cores=1,3,5,7
/proc/13091/task/13093/stat : 13093 (toysat) S 13088 13091 12742 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 4 0 8190838 2471038976 545021 33554432000 4194304 16246674 140734386622384 140435498446064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13094] ppid=13088 vsize=2413124 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13094/stat : 13094 (toysat) S 13088 13091 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8190838 2471038976 545021 33554432000 4194304 16246674 140734386622384 140435487972528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 2413124

[startup+1542.3 s]
/proc/loadavg: 2.06 2.13 2.16 3/183 13157
/proc/meminfo: memFree=25947032/32872528 swapFree=1254912/1391860
[pid=13091] ppid=13088 vsize=2415172 CPUtime=1542.02 cores=1,3,5,7
/proc/13091/stat : 13091 (toysat) R 13088 13091 12742 0 -1 4202496 535287 0 0 0 154044 158 0 0 20 0 4 0 8190838 2473136128 545533 33554432000 4194304 16246674 140734386622384 140734386621560 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13091/statm: 603793 545533 886 2943 0 600687 0
[pid=13091/tid=13092] ppid=13088 vsize=2415172 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13092/stat : 13092 (toysat) S 13088 13091 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8190838 2473136128 545533 33554432000 4194304 16246674 140734386622384 140435577089264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13093] ppid=13088 vsize=2415172 CPUtime=0.01 cores=1,3,5,7
/proc/13091/task/13093/stat : 13093 (toysat) S 13088 13091 12742 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 4 0 8190838 2473136128 545533 33554432000 4194304 16246674 140734386622384 140435498446064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13094] ppid=13088 vsize=2415172 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13094/stat : 13094 (toysat) S 13088 13091 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8190838 2473136128 545533 33554432000 4194304 16246674 140734386622384 140435487972528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 2415172

[startup+1602.3 s]
/proc/loadavg: 2.16 2.15 2.16 4/183 13158
/proc/meminfo: memFree=25944944/32872528 swapFree=1254912/1391860
[pid=13091] ppid=13088 vsize=2416196 CPUtime=1602.01 cores=1,3,5,7
/proc/13091/stat : 13091 (toysat) R 13088 13091 12742 0 -1 4202496 535543 0 0 0 160039 162 0 0 20 0 4 0 8190838 2474184704 545789 33554432000 4194304 16246674 140734386622384 140734386604288 4220543 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13091/statm: 604049 545789 886 2943 0 600943 0
[pid=13091/tid=13092] ppid=13088 vsize=2416196 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13092/stat : 13092 (toysat) S 13088 13091 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8190838 2474184704 545789 33554432000 4194304 16246674 140734386622384 140435577089264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13093] ppid=13088 vsize=2416196 CPUtime=0.01 cores=1,3,5,7
/proc/13091/task/13093/stat : 13093 (toysat) S 13088 13091 12742 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 4 0 8190838 2474184704 545789 33554432000 4194304 16246674 140734386622384 140435498446064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13094] ppid=13088 vsize=2416196 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13094/stat : 13094 (toysat) S 13088 13091 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8190838 2474184704 545789 33554432000 4194304 16246674 140734386622384 140435487972528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 2416196

[startup+1662.31 s]
/proc/loadavg: 2.33 2.20 2.18 3/183 13159
/proc/meminfo: memFree=25945212/32872528 swapFree=1254912/1391860
[pid=13091] ppid=13088 vsize=2416196 CPUtime=1662.01 cores=1,3,5,7
/proc/13091/stat : 13091 (toysat) R 13088 13091 12742 0 -1 4202496 535543 0 0 0 166036 165 0 0 20 0 4 0 8190838 2474184704 545789 33554432000 4194304 16246674 140734386622384 140734386620224 4225301 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13091/statm: 604049 545789 886 2943 0 600943 0
[pid=13091/tid=13092] ppid=13088 vsize=2416196 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13092/stat : 13092 (toysat) S 13088 13091 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8190838 2474184704 545789 33554432000 4194304 16246674 140734386622384 140435577089264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13093] ppid=13088 vsize=2416196 CPUtime=0.01 cores=1,3,5,7
/proc/13091/task/13093/stat : 13093 (toysat) S 13088 13091 12742 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 4 0 8190838 2474184704 545789 33554432000 4194304 16246674 140734386622384 140435498446064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13094] ppid=13088 vsize=2416196 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13094/stat : 13094 (toysat) S 13088 13091 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8190838 2474184704 545789 33554432000 4194304 16246674 140734386622384 140435487972528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 2416196

[startup+1722.3 s]
/proc/loadavg: 2.45 2.25 2.20 3/183 13160
/proc/meminfo: memFree=25942872/32872528 swapFree=1254912/1391860
[pid=13091] ppid=13088 vsize=2418244 CPUtime=1721.99 cores=1,3,5,7
/proc/13091/stat : 13091 (toysat) R 13088 13091 12742 0 -1 4202496 536055 0 0 0 172031 168 0 0 20 0 4 0 8190838 2476281856 546301 33554432000 4194304 16246674 140734386622384 140734386620176 4206568 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13091/statm: 604561 546301 886 2943 0 601455 0
[pid=13091/tid=13092] ppid=13088 vsize=2418244 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13092/stat : 13092 (toysat) S 13088 13091 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8190838 2476281856 546301 33554432000 4194304 16246674 140734386622384 140435577089264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13093] ppid=13088 vsize=2418244 CPUtime=0.01 cores=1,3,5,7
/proc/13091/task/13093/stat : 13093 (toysat) S 13088 13091 12742 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 4 0 8190838 2476281856 546301 33554432000 4194304 16246674 140734386622384 140435498445840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13094] ppid=13088 vsize=2418244 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13094/stat : 13094 (toysat) S 13088 13091 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8190838 2476281856 546301 33554432000 4194304 16246674 140734386622384 140435487972528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 2418244

[startup+1782.3 s]
/proc/loadavg: 2.35 2.26 2.20 4/183 13161
/proc/meminfo: memFree=25942592/32872528 swapFree=1254912/1391860
[pid=13091] ppid=13088 vsize=2418244 CPUtime=1781.98 cores=1,3,5,7
/proc/13091/stat : 13091 (toysat) R 13088 13091 12742 0 -1 4202496 536055 0 0 0 178027 171 0 0 20 0 4 0 8190838 2476281856 546301 33554432000 4194304 16246674 140734386622384 140734386621600 4226064 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13091/statm: 604561 546301 886 2943 0 601455 0
[pid=13091/tid=13092] ppid=13088 vsize=2418244 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13092/stat : 13092 (toysat) S 13088 13091 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8190838 2476281856 546301 33554432000 4194304 16246674 140734386622384 140435577089264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13093] ppid=13088 vsize=2418244 CPUtime=0.01 cores=1,3,5,7
/proc/13091/task/13093/stat : 13093 (toysat) S 13088 13091 12742 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 4 0 8190838 2476281856 546301 33554432000 4194304 16246674 140734386622384 140435498446064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13094] ppid=13088 vsize=2418244 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13094/stat : 13094 (toysat) S 13088 13091 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8190838 2476281856 546301 33554432000 4194304 16246674 140734386622384 140435487972528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 2418244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.33 2.26 2.20 3/183 13161
/proc/meminfo: memFree=25941940/32872528 swapFree=1254912/1391860
[pid=13091] ppid=13088 vsize=2419268 CPUtime=1800.09 cores=1,3,5,7
/proc/13091/stat : 13091 (toysat) R 13088 13091 12742 0 -1 4202496 536311 0 0 0 179836 173 0 0 20 0 4 0 8190838 2477330432 546557 33554432000 4194304 16246674 140734386622384 140734386621480 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13091/statm: 604817 546557 886 2943 0 601711 0
[pid=13091/tid=13092] ppid=13088 vsize=2419268 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13092/stat : 13092 (toysat) S 13088 13091 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8190838 2477330432 546557 33554432000 4194304 16246674 140734386622384 140435577089264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13093] ppid=13088 vsize=2419268 CPUtime=0.01 cores=1,3,5,7
/proc/13091/task/13093/stat : 13093 (toysat) S 13088 13091 12742 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 4 0 8190838 2477330432 546557 33554432000 4194304 16246674 140734386622384 140435498446064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13094] ppid=13088 vsize=2419268 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13094/stat : 13094 (toysat) S 13088 13091 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8190838 2477330432 546557 33554432000 4194304 16246674 140734386622384 140435487972528 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) 2419268

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

[startup+1800.4 s]
/proc/loadavg: 2.33 2.26 2.20 3/183 13161
/proc/meminfo: memFree=25941940/32872528 swapFree=1254912/1391860
[pid=13091] ppid=13088 vsize=2419268 CPUtime=1800.09 cores=1,3,5,7
/proc/13091/stat : 13091 (toysat) R 13088 13091 12742 0 -1 4202496 536311 0 0 0 179836 173 0 0 20 0 4 0 8190838 2477330432 546557 33554432000 4194304 16246674 140734386622384 140734386621480 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13091/statm: 604817 546557 886 2943 0 601711 0
[pid=13091/tid=13092] ppid=13088 vsize=2419268 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13092/stat : 13092 (toysat) S 13088 13091 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8190838 2477330432 546557 33554432000 4194304 16246674 140734386622384 140435577089264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13093] ppid=13088 vsize=2419268 CPUtime=0.01 cores=1,3,5,7
/proc/13091/task/13093/stat : 13093 (toysat) S 13088 13091 12742 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 4 0 8190838 2477330432 546557 33554432000 4194304 16246674 140734386622384 140435498446064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13091/tid=13094] ppid=13088 vsize=2419268 CPUtime=0 cores=1,3,5,7
/proc/13091/task/13094/stat : 13094 (toysat) S 13088 13091 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8190838 2477330432 546557 33554432000 4194304 16246674 140734386622384 140435487972528 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) 2419268

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.43
CPU time (s): 1800.14
CPU user time (s): 1798.38
CPU system time (s): 1.75573
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 2419268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.38
system time used= 1.75573
maximum resident set size= 2186228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 536311
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= 2564
involuntary context switches= 3658

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.81511 second user time and 8.5277 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-30 09:38:20
IDJOB=4119195
IDBENCH=111671
IDSOLVER=2542
FILE ID=node119/4119195-1467272300
RUNJOBID= node119-1467272299-13059
PBS_JOBID= 20004499
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-pb302035.lin.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119195-1467272300/watcher-4119195-1467272300 -o /tmp/evaluation-result-4119195-1467272300/solver-4119195-1467272300 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467272299-13059 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119195-1467272300.opb

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

MD5SUM BENCH= 22c9f60a6d1c227fc3896c108cc96d3f
RANDOM SEED=1673797357

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.444
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:        28744880 kB
Buffers:          177116 kB
Cached:          1318744 kB
SwapCached:            0 kB
Active:           658992 kB
Inactive:        1328784 kB
Active(anon):     488108 kB
Inactive(anon):     5992 kB
Active(file):     170884 kB
Inactive(file):  1322792 kB
Unevictable:     1391860 kB
Mlocked:         1254912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             45404 kB
Writeback:             0 kB
AnonPages:       1879576 kB
Mapped:            16788 kB
Shmem:               204 kB
Slab:             611636 kB
SReclaimable:      55384 kB
SUnreclaim:       556252 kB
KernelStack:        1376 kB
PageTables:         8480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2524380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    141312 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= 71704 MiB
End job on node119 at 2016-06-30 10:08:21