Trace number 4110542

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.7 1800.98

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap41_wcsp.wbo
MD5SUM58e4788c719f1a12516705b51263d664
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark13812213
Best CPU time to get the best result obtained on this benchmark1800.04
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables832
Total number of constraints1680
Number of soft constraints1614
Number of constraints which are clauses1614
Number of constraints which are cardinality constraints (but not clauses)66
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16
Top cost 55743026
Min constraint cost 1
Max constraint cost 55743026
Sum of constraints costs 44948405826
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 17
Number of bits of the biggest sum of numbers5
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-19T16:13:31+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4110542-1466345611.wbo"]
0.00/0.01	c use --random-gen="1493654510 4049755684 1323518629 1394767370 4027661113 2513736388 1459547978 2757654577 868426580 2506421835 1795601608 2665677131 2603882356 3893179853 1362483536 3687310388 3380107193 1181766664 2772930648 424691922 3353317563 2058990292 3664779001 2171370921 3906677331 2425290364 814978461 427237241 2684008564 485586612 360850475 837847559 3713063402 2268296329 2463598903 721130258 1811124879 3770290034 2487127114 4162635944 1261118798 2215451881 2103806573 3126832860 4128387309 783435614 1914918647 2300790670 2562884034 1395755060 836719907 2447917288 522652525 1252895293 3112616873 2964616924 3279680694 996040704 85837767 497883729 3767862001 1290560636 1852433020 125938411 3724518997 3264561160 4083212090 1576598364 1161509845 682069377 2665417719 3299031064 3775319015 1981129875 3615656764 3901939591 2147365767 925864195 2848287551 4076500369 292227419 1551897980 3677717711 4293423357 2418141011 3704868161 2821312907 2926058435 3758263099 4144552604 2866049459 3185946429 1828003924 1147490572 2387791255 1700350255 1094908367 2057908253 2262588695 1119608543 2833248110 3160733805 514680976 1154872287 77993794 2904951879 1438358130 3068408217 1994886146 405722234 973801547 2724548736 2471751010 3627056366 2535728464 1006332532 381888258 4170204079 678414361 530585928 3634229950 572455070 567045570 1477265508 2275873399 3654398618 729796939 61483127 2260707207 3960926277 3090096010 3623937647 2241511160 1803761353 634632295 3133551600 1342507187 2153210843 2057020909 1209307346 2913897999 1893287571 692133563 4203105595 569875717 3387620813 270934448 3471897677 2609284582 2739728187 1760412776 121734087 1598891144 1486858928 10271633 2083114904 1117259828 767933331 457742648 1283785119 530845157 999547316 496906353 2627294304 769836907 2950770164 4105658300 2537256976 2395443661 378865860 3974717972 1187538067 3348360937 2094621006 276585760 1849828944 171162618 2119772830 2246250398 3522952811 1091342268 3441751870 3849955520 2211465363 476766049 2732639436 1687818578 926266011 2231597693 412564717 4165730113 2906050829 3198479209 2882817881 2473999724 10771753 708577592 1467368055 788657479 669862763 413712634 2304143304 2209554683 2953075929 1005212385 387963907 2917530988 218881753 1446664817 251076906 57595873 2085809697 492085919 188936321 719246582 1129047279 3354691142 3367676074 3055125027 1462509264 931071118 3317390466 4210941486 1438394079 908281719 702624426 2870501597 862482384 417898549 3195341436 3469859786 3192882772 4248816103 341998929 3332128445 2781138548 2920578307 4139509395 1770739223 2492778261 3224518272 1331441458 3624480826 3328510744 1496393656 1626545545 2301969956 2226859037 3777996228 1975655956 877148748 1528391279 2274709409 4101672113 2194538800 2727446045 255 362436" option to reproduce the execution

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-4110542-1466345611/watcher-4110542-1466345611 -o /tmp/evaluation-result-4110542-1466345611/solver-4110542-1466345611 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466341815-31321 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110542-1466345611.wbo 

pid=759
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.27 2.21 2.18 3/179 762
/proc/meminfo: memFree=26033188/32872528 swapFree=1370848/1518016
[pid=762] ppid=759 vsize=508484 CPUtime=0 cores=1,3,5,7
/proc/762/stat : 762 (toysat) R 759 762 31304 0 -1 4202496 1861 0 0 0 0 0 0 0 20 0 4 0 36607601 520687616 2222 33554432000 4194304 16246674 140736319174448 140736319173872 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/762/statm: 127889 2231 442 2943 0 124783 0
[pid=762/tid=763] ppid=759 vsize=802372 CPUtime=0 cores=1,3,5,7
/proc/762/task/763/stat : 763 (toysat) S 759 762 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36607601 821628928 3371 33554432000 4194304 16246674 140736319174448 140148855516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=762/tid=764] ppid=759 vsize=807492 CPUtime=0 cores=1,3,5,7
/proc/762/task/764/stat : 764 (toysat) S 759 762 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36607601 826871808 3390 33554432000 4194304 16246674 140736319174448 140148845026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=762/tid=765] ppid=759 vsize=811588 CPUtime=0 cores=1,3,5,7
/proc/762/task/765/stat : 765 (toysat) S 759 762 31304 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36607601 831066112 3406 33554432000 4194304 16246674 140736319174448 140148834553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.27 2.21 2.18 3/179 762
/proc/meminfo: memFree=26033188/32872528 swapFree=1370848/1518016
[pid=762] ppid=759 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/762/stat : 762 (toysat) R 759 762 31304 0 -1 4202496 23793 0 0 0 6 3 0 0 20 0 4 0 36607601 1250496512 24100 33554432000 4194304 16246674 140736319174448 140736319173760 13807443 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/762/statm: 305297 24100 844 2943 0 302191 0
[pid=762/tid=763] ppid=759 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/762/task/763/stat : 763 (toysat) S 759 762 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36607601 1250496512 24100 33554432000 4194304 16246674 140736319174448 140148855516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=762/tid=764] ppid=759 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/762/task/764/stat : 764 (toysat) S 759 762 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36607601 1250496512 24100 33554432000 4194304 16246674 140736319174448 140148845026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=762/tid=765] ppid=759 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/762/task/765/stat : 765 (toysat) S 759 762 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36607601 1250496512 24100 33554432000 4194304 16246674 140736319174448 140148834553008 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) 1221188

[startup+0.200497 s]
/proc/loadavg: 2.27 2.21 2.18 3/179 762
/proc/meminfo: memFree=26033188/32872528 swapFree=1370848/1518016
[pid=762] ppid=759 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/762/stat : 762 (toysat) R 759 762 31304 0 -1 4202496 23793 0 0 0 16 3 0 0 20 0 4 0 36607601 1250496512 24100 33554432000 4194304 16246674 140736319174448 140736319173760 13809288 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/762/statm: 305297 24100 844 2943 0 302191 0
[pid=762/tid=763] ppid=759 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/762/task/763/stat : 763 (toysat) S 759 762 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36607601 1250496512 24100 33554432000 4194304 16246674 140736319174448 140148855516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=762/tid=764] ppid=759 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/762/task/764/stat : 764 (toysat) S 759 762 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36607601 1250496512 24100 33554432000 4194304 16246674 140736319174448 140148845026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=762/tid=765] ppid=759 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/762/task/765/stat : 765 (toysat) S 759 762 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36607601 1250496512 24100 33554432000 4194304 16246674 140736319174448 140148834553008 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) 1221188

[startup+0.300476 s]
/proc/loadavg: 2.27 2.21 2.18 3/179 762
/proc/meminfo: memFree=26033188/32872528 swapFree=1370848/1518016
[pid=762] ppid=759 vsize=1303108 CPUtime=0.29 cores=1,3,5,7
/proc/762/stat : 762 (toysat) R 759 762 31304 0 -1 4202496 29750 0 0 0 25 4 0 0 20 0 4 0 36607601 1334382592 30058 33554432000 4194304 16246674 140736319174448 140736319173760 13954914 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/762/statm: 325777 30066 844 2943 0 322671 0
[pid=762/tid=763] ppid=759 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/762/task/763/stat : 763 (toysat) S 759 762 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36607601 1334382592 30072 33554432000 4194304 16246674 140736319174448 140148855516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=762/tid=764] ppid=759 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/762/task/764/stat : 764 (toysat) S 759 762 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36607601 1334382592 30077 33554432000 4194304 16246674 140736319174448 140148845026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=762/tid=765] ppid=759 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/762/task/765/stat : 765 (toysat) S 759 762 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36607601 1334382592 30083 33554432000 4194304 16246674 140736319174448 140148834553008 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) 1303108

[startup+0.700375 s]
/proc/loadavg: 2.27 2.21 2.18 3/179 762
/proc/meminfo: memFree=26033188/32872528 swapFree=1370848/1518016
[pid=762] ppid=759 vsize=1307204 CPUtime=0.69 cores=1,3,5,7
/proc/762/stat : 762 (toysat) R 759 762 31304 0 -1 4202496 39797 0 0 0 64 5 0 0 20 0 4 0 36607601 1338576896 40104 33554432000 4194304 16246674 140736319174448 140736319156352 6132488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/762/statm: 326801 40104 844 2943 0 323695 0
[pid=762/tid=763] ppid=759 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/762/task/763/stat : 763 (toysat) S 759 762 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36607601 1338576896 40104 33554432000 4194304 16246674 140736319174448 140148855516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=762/tid=764] ppid=759 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/762/task/764/stat : 764 (toysat) S 759 762 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36607601 1338576896 40104 33554432000 4194304 16246674 140736319174448 140148845026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=762/tid=765] ppid=759 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/762/task/765/stat : 765 (toysat) S 759 762 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36607601 1338576896 40104 33554432000 4194304 16246674 140736319174448 140148834553008 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) 1307204

[startup+1.50042 s]
/proc/loadavg: 2.27 2.21 2.18 3/183 766
/proc/meminfo: memFree=25863824/32872528 swapFree=1370848/1518016
[pid=762] ppid=759 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/762/stat : 762 (toysat) R 759 762 31304 0 -1 4202496 44913 0 0 0 143 6 0 0 20 0 4 0 36607601 1338576896 45220 33554432000 4194304 16246674 140736319174448 140736319156352 13774072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/762/statm: 326801 45220 844 2943 0 323695 0
[pid=762/tid=763] ppid=759 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/762/task/763/stat : 763 (toysat) S 759 762 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36607601 1338576896 45220 33554432000 4194304 16246674 140736319174448 140148855516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=762/tid=764] ppid=759 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/762/task/764/stat : 764 (toysat) S 759 762 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36607601 1338576896 45220 33554432000 4194304 16246674 140736319174448 140148845026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=762/tid=765] ppid=759 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/762/task/765/stat : 765 (toysat) S 759 762 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36607601 1338576896 45220 33554432000 4194304 16246674 140736319174448 140148834553008 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) 1307204

[startup+3.10041 s]
/proc/loadavg: 2.24 2.20 2.18 3/183 766
/proc/meminfo: memFree=25849432/32872528 swapFree=1370848/1518016
[pid=762] ppid=759 vsize=1308228 CPUtime=3.09 cores=1,3,5,7
/proc/762/stat : 762 (toysat) R 759 762 31304 0 -1 4202496 55343 0 0 0 301 8 0 0 20 0 4 0 36607601 1339625472 55650 33554432000 4194304 16246674 140736319174448 140736319156352 4206577 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/762/statm: 327057 55650 844 2943 0 323951 0
[pid=762/tid=763] ppid=759 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/762/task/763/stat : 763 (toysat) S 759 762 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36607601 1339625472 55650 33554432000 4194304 16246674 140736319174448 140148855516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=762/tid=764] ppid=759 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/762/task/764/stat : 764 (toysat) S 759 762 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36607601 1339625472 55650 33554432000 4194304 16246674 140736319174448 140148845026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=762/tid=765] ppid=759 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/762/task/765/stat : 765 (toysat) S 759 762 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36607601 1339625472 55650 33554432000 4194304 16246674 140736319174448 140148834553008 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) 1308228

[startup+6.30041 s]
/proc/loadavg: 2.24 2.20 2.18 3/183 766
/proc/meminfo: memFree=25800204/32872528 swapFree=1370848/1518016
[pid=762] ppid=759 vsize=1312324 CPUtime=6.29 cores=1,3,5,7
/proc/762/stat : 762 (toysat) R 759 762 31304 0 -1 4202496 112764 0 0 0 614 15 0 0 20 0 4 0 36607601 1343819776 113071 33554432000 4194304 16246674 140736319174448 140736319156352 13807548 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/762/statm: 328081 113071 844 2943 0 324975 0
[pid=762/tid=763] ppid=759 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/762/task/763/stat : 763 (toysat) S 759 762 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36607601 1343819776 113071 33554432000 4194304 16246674 140736319174448 140148855516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=762/tid=764] ppid=759 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/762/task/764/stat : 764 (toysat) S 759 762 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36607601 1343819776 113071 33554432000 4194304 16246674 140736319174448 140148845026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=762/tid=765] ppid=759 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/762/task/765/stat : 765 (toysat) S 759 762 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36607601 1343819776 113071 33554432000 4194304 16246674 140736319174448 140148834553008 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) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.22 2.20 2.18 3/183 766
/proc/meminfo: memFree=25579912/32872528 swapFree=1370848/1518016
[pid=762] ppid=759 vsize=1312324 CPUtime=12.68 cores=1,3,5,7
/proc/762/stat : 762 (toysat) R 759 762 31304 0 -1 4202496 112958 0 0 0 1253 15 0 0 20 0 4 0 36607601 1343819776 113265 33554432000 4194304 16246674 140736319174448 140736319156352 6132584 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/762/statm: 328081 113265 844 2943 0 324975 0
[pid=762/tid=763] ppid=759 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/762/task/763/stat : 763 (toysat) S 759 762 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36607601 1343819776 113265 33554432000 4194304 16246674 140736319174448 140148855516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=762/tid=764] ppid=759 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/762/task/764/stat : 764 (toysat) S 759 762 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36607601 1343819776 113265 33554432000 4194304 16246674 140736319174448 140148845026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=762/tid=765] ppid=759 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/762/task/765/stat : 765 (toysat) S 759 762 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36607601 1343819776 113265 33554432000 4194304 16246674 140736319174448 140148834553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.25 2.20 2.18 3/183 766
/proc/meminfo: memFree=25492128/32872528 swapFree=1370848/1518016
[pid=762] ppid=759 vsize=1317444 CPUtime=25.49 cores=1,3,5,7
/proc/762/stat : 762 (toysat) R 759 762 31304 0 -1 4202496 135059 0 0 0 2530 19 0 0 20 0 4 0 36607601 1349062656 135366 33554432000 4194304 16246674 140736319174448 140736319173544 13774223 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/762/statm: 329361 135366 844 2943 0 326255 0
[pid=762/tid=763] ppid=759 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/762/task/763/stat : 763 (toysat) S 759 762 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36607601 1349062656 135366 33554432000 4194304 16246674 140736319174448 140148855516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=762/tid=764] ppid=759 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/762/task/764/stat : 764 (toysat) S 759 762 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36607601 1349062656 135366 33554432000 4194304 16246674 140736319174448 140148845026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=762/tid=765] ppid=759 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/762/task/765/stat : 765 (toysat) S 759 762 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36607601 1349062656 135366 33554432000 4194304 16246674 140736319174448 140148834553008 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) 1317444

[startup+51.1005 s]
/proc/loadavg: 2.24 2.20 2.18 3/183 766
/proc/meminfo: memFree=25162488/32872528 swapFree=1370848/1518016
[pid=762] ppid=759 vsize=1324612 CPUtime=51.08 cores=1,3,5,7
/proc/762/stat : 762 (toysat) R 759 762 31304 0 -1 4202496 219868 0 0 0 5079 29 0 0 20 0 4 0 36607601 1356402688 220175 33554432000 4194304 16246674 140736319174448 140736319156352 4220543 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/762/statm: 331153 220175 844 2943 0 328047 0
[pid=762/tid=763] ppid=759 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/762/task/763/stat : 763 (toysat) S 759 762 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36607601 1356402688 220175 33554432000 4194304 16246674 140736319174448 140148855516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=762/tid=764] ppid=759 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/762/task/764/stat : 764 (toysat) S 759 762 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36607601 1356402688 220175 33554432000 4194304 16246674 140736319174448 140148845026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=762/tid=765] ppid=759 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/762/task/765/stat : 765 (toysat) S 759 762 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36607601 1356402688 220175 33554432000 4194304 16246674 140736319174448 140148834553008 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) 1324612

[startup+102.3 s]
/proc/loadavg: 2.25 2.21 2.18 3/182 767
/proc/meminfo: memFree=23520640/32872528 swapFree=1370848/1518016
[pid=762] ppid=759 vsize=1326660 CPUtime=102.28 cores=1,3,5,7
/proc/762/stat : 762 (toysat) R 759 762 31304 0 -1 4202496 272792 0 0 0 10191 37 0 0 20 0 4 0 36607601 1358499840 273099 33554432000 4194304 16246674 140736319174448 140736319156352 6132597 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/762/statm: 331665 273099 844 2943 0 328559 0
[pid=762/tid=763] ppid=759 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/762/task/763/stat : 763 (toysat) S 759 762 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36607601 1358499840 273099 33554432000 4194304 16246674 140736319174448 140148855516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=762/tid=764] ppid=759 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/762/task/764/stat : 764 (toysat) S 759 762 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36607601 1358499840 273099 33554432000 4194304 16246674 140736319174448 140148845026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=762/tid=765] ppid=759 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/762/task/765/stat : 765 (toysat) S 759 762 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36607601 1358499840 273099 33554432000 4194304 16246674 140736319174448 140148834553008 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) 1326660


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


[startup+1422.3 s]
/proc/loadavg: 2.27 2.19 2.18 3/183 849
/proc/meminfo: memFree=16801760/32872528 swapFree=1370848/1518016
[pid=762] ppid=759 vsize=13448772 CPUtime=1422.08 cores=1,3,5,7
/proc/762/stat : 762 (toysat) R 759 762 31304 0 -1 4202496 3303329 0 0 0 141658 550 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140736319172416 14013552 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/762/statm: 3362193 3303639 849 2943 0 3359087 0
[pid=762/tid=763] ppid=759 vsize=13448772 CPUtime=0 cores=1,3,5,7
/proc/762/task/763/stat : 763 (toysat) S 759 762 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140148855516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=762/tid=764] ppid=759 vsize=13448772 CPUtime=0 cores=1,3,5,7
/proc/762/task/764/stat : 764 (toysat) S 759 762 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140148845026320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=762/tid=765] ppid=759 vsize=13448772 CPUtime=0 cores=1,3,5,7
/proc/762/task/765/stat : 765 (toysat) S 759 762 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140148834553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 13448772

[startup+1482.3 s]
/proc/loadavg: 2.19 2.18 2.18 3/183 850
/proc/meminfo: memFree=16476172/32872528 swapFree=1370848/1518016
[pid=762] ppid=759 vsize=13448772 CPUtime=1482.06 cores=1,3,5,7
/proc/762/stat : 762 (toysat) R 759 762 31304 0 -1 4202496 3303329 0 0 0 147651 555 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140736319173624 6132605 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/762/statm: 3362193 3303639 849 2943 0 3359087 0
[pid=762/tid=763] ppid=759 vsize=13448772 CPUtime=0 cores=1,3,5,7
/proc/762/task/763/stat : 763 (toysat) S 759 762 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140148855516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=762/tid=764] ppid=759 vsize=13448772 CPUtime=0 cores=1,3,5,7
/proc/762/task/764/stat : 764 (toysat) S 759 762 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140148845026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=762/tid=765] ppid=759 vsize=13448772 CPUtime=0 cores=1,3,5,7
/proc/762/task/765/stat : 765 (toysat) S 759 762 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140148834553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 13448772

[startup+1542.31 s]
/proc/loadavg: 2.22 2.19 2.18 3/183 851
/proc/meminfo: memFree=16035268/32872528 swapFree=1370848/1518016
[pid=762] ppid=759 vsize=13448772 CPUtime=1542.06 cores=1,3,5,7
/proc/762/stat : 762 (toysat) R 759 762 31304 0 -1 4202496 3303329 0 0 0 153646 560 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140736319173624 13955776 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/762/statm: 3362193 3303639 849 2943 0 3359087 0
[pid=762/tid=763] ppid=759 vsize=13448772 CPUtime=0 cores=1,3,5,7
/proc/762/task/763/stat : 763 (toysat) S 759 762 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140148855516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=762/tid=764] ppid=759 vsize=13448772 CPUtime=0 cores=1,3,5,7
/proc/762/task/764/stat : 764 (toysat) S 759 762 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140148845026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=762/tid=765] ppid=759 vsize=13448772 CPUtime=0 cores=1,3,5,7
/proc/762/task/765/stat : 765 (toysat) S 759 762 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140148834553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 13448772

[startup+1602.3 s]
/proc/loadavg: 2.20 2.19 2.18 3/184 855
/proc/meminfo: memFree=15821128/32872528 swapFree=1370848/1518016
[pid=762] ppid=759 vsize=13448772 CPUtime=1602.05 cores=1,3,5,7
/proc/762/stat : 762 (toysat) R 759 762 31304 0 -1 4202496 3303329 0 0 0 159639 566 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140736319173624 13817033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/762/statm: 3362193 3303639 849 2943 0 3359087 0
[pid=762/tid=763] ppid=759 vsize=13448772 CPUtime=0 cores=1,3,5,7
/proc/762/task/763/stat : 763 (toysat) S 759 762 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140148855516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=762/tid=764] ppid=759 vsize=13448772 CPUtime=0 cores=1,3,5,7
/proc/762/task/764/stat : 764 (toysat) S 759 762 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140148845026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=762/tid=765] ppid=759 vsize=13448772 CPUtime=0 cores=1,3,5,7
/proc/762/task/765/stat : 765 (toysat) S 759 762 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140148834553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 13448772

[startup+1662.3 s]
/proc/loadavg: 2.21 2.20 2.18 3/183 857
/proc/meminfo: memFree=14724508/32872528 swapFree=1370848/1518016
[pid=762] ppid=759 vsize=13448772 CPUtime=1662.04 cores=1,3,5,7
/proc/762/stat : 762 (toysat) R 759 762 31304 0 -1 4202496 3303329 0 0 0 165632 572 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140736319173624 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/762/statm: 3362193 3303639 849 2943 0 3359087 0
[pid=762/tid=763] ppid=759 vsize=13448772 CPUtime=0 cores=1,3,5,7
/proc/762/task/763/stat : 763 (toysat) S 759 762 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140148855516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=762/tid=764] ppid=759 vsize=13448772 CPUtime=0 cores=1,3,5,7
/proc/762/task/764/stat : 764 (toysat) S 759 762 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140148845026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=762/tid=765] ppid=759 vsize=13448772 CPUtime=0 cores=1,3,5,7
/proc/762/task/765/stat : 765 (toysat) S 759 762 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140148834553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 13448772

[startup+1722.3 s]
/proc/loadavg: 2.18 2.19 2.18 4/183 858
/proc/meminfo: memFree=14724692/32872528 swapFree=1370848/1518016
[pid=762] ppid=759 vsize=13448772 CPUtime=1722.03 cores=1,3,5,7
/proc/762/stat : 762 (toysat) R 759 762 31304 0 -1 4202496 3303329 0 0 0 171625 578 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140736319173624 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/762/statm: 3362193 3303639 849 2943 0 3359087 0
[pid=762/tid=763] ppid=759 vsize=13448772 CPUtime=0 cores=1,3,5,7
/proc/762/task/763/stat : 763 (toysat) S 759 762 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140148855516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=762/tid=764] ppid=759 vsize=13448772 CPUtime=0 cores=1,3,5,7
/proc/762/task/764/stat : 764 (toysat) S 759 762 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140148845026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=762/tid=765] ppid=759 vsize=13448772 CPUtime=0 cores=1,3,5,7
/proc/762/task/765/stat : 765 (toysat) S 759 762 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140148834553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 13448772

[startup+1782.3 s]
/proc/loadavg: 2.21 2.20 2.18 3/183 859
/proc/meminfo: memFree=13908700/32872528 swapFree=1370848/1518016
[pid=762] ppid=759 vsize=13448772 CPUtime=1782.01 cores=1,3,5,7
/proc/762/stat : 762 (toysat) R 759 762 31304 0 -1 4202496 3303329 0 0 0 177618 583 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140736319173624 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/762/statm: 3362193 3303639 849 2943 0 3359087 0
[pid=762/tid=763] ppid=759 vsize=13448772 CPUtime=0 cores=1,3,5,7
/proc/762/task/763/stat : 763 (toysat) S 759 762 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140148855516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=762/tid=764] ppid=759 vsize=13448772 CPUtime=0 cores=1,3,5,7
/proc/762/task/764/stat : 764 (toysat) S 759 762 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140148845026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=762/tid=765] ppid=759 vsize=13448772 CPUtime=0 cores=1,3,5,7
/proc/762/task/765/stat : 765 (toysat) S 759 762 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140148834553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 13448772



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.15 2.18 2.18 3/183 859
/proc/meminfo: memFree=13908704/32872528 swapFree=1370848/1518016
[pid=762] ppid=759 vsize=13448772 CPUtime=1800.01 cores=1,3,5,7
/proc/762/stat : 762 (toysat) R 759 762 31304 0 -1 4202496 3303329 0 0 0 179416 585 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140736319173624 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/762/statm: 3362193 3303639 849 2943 0 3359087 0
[pid=762/tid=763] ppid=759 vsize=13448772 CPUtime=0 cores=1,3,5,7
/proc/762/task/763/stat : 763 (toysat) S 759 762 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140148855516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=762/tid=764] ppid=759 vsize=13448772 CPUtime=0 cores=1,3,5,7
/proc/762/task/764/stat : 764 (toysat) S 759 762 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140148845026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=762/tid=765] ppid=759 vsize=13448772 CPUtime=0 cores=1,3,5,7
/proc/762/task/765/stat : 765 (toysat) S 759 762 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36607601 13771542528 3303639 33554432000 4194304 16246674 140736319174448 140148834553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 13448772

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

[startup+1800.4 s]
/proc/loadavg: 2.15 2.18 2.18 3/183 859
/proc/meminfo: memFree=13908704/32872528 swapFree=1370848/1518016
[pid=762] ppid=759 vsize=0 CPUtime=1800.12 cores=1,3,5,7
/proc/762/stat : 762 (toysat) Z 759 762 31304 0 -1 4203532 3303329 0 0 0 179417 595 0 0 20 0 2 0 36607601 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/762/statm: 0 0 0 0 0 0 0
[pid=762/tid=764] ppid=759 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/762/task/764/stat : 764 (toysat) R 759 762 31304 0 -1 4203588 8 0 0 0 0 9 0 0 20 0 2 0 36607601 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

[startup+1800.81 s]
/proc/loadavg: 2.15 2.18 2.18 3/181 859
/proc/meminfo: memFree=21872256/32872528 swapFree=1370848/1518016
[pid=762] ppid=759 vsize=0 CPUtime=1800.52 cores=1,3,5,7
/proc/762/stat : 762 (toysat) Z 759 762 31304 0 -1 4203532 3303329 0 0 0 179417 635 0 0 20 0 2 0 36607601 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/762/statm: 0 0 0 0 0 0 0
[pid=762/tid=764] ppid=759 vsize=0 CPUtime=0.49 cores=1,3,5,7
/proc/762/task/764/stat : 764 (toysat) R 759 762 31304 0 -1 4203588 8 0 0 0 0 49 0 0 20 0 2 0 36607601 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.52
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 2.15 2.18 2.18 3/181 859
/proc/meminfo: memFree=21872256/32872528 swapFree=1370848/1518016
[pid=762] ppid=759 vsize=0 CPUtime=1800.62 cores=1,3,5,7
/proc/762/stat : 762 (toysat) Z 759 762 31304 0 -1 4203532 3303329 0 0 0 179417 645 0 0 20 0 2 0 36607601 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/762/statm: 0 0 0 0 0 0 0
[pid=762/tid=764] ppid=759 vsize=0 CPUtime=0.58 cores=1,3,5,7
/proc/762/task/764/stat : 764 (toysat) R 759 762 31304 0 -1 4203588 8 0 0 0 0 58 0 0 20 0 2 0 36607601 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.62
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.98
CPU time (s): 1800.7
CPU user time (s): 1794.17
CPU system time (s): 6.52401
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 13448772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.17
system time used= 6.52401
maximum resident set size= 13214556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3303329
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= 49
involuntary context switches= 1989

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.68829 second user time and 6.84196 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-19 16:13:31
IDJOB=4110542
IDBENCH=79512
IDSOLVER=2553
FILE ID=node129/4110542-1466345611
RUNJOBID= node129-1466341815-31321
PBS_JOBID= 19922024
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/warehouse/normalized-cap41_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110542-1466345611/watcher-4110542-1466345611 -o /tmp/evaluation-result-4110542-1466345611/solver-4110542-1466345611 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466341815-31321 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110542-1466345611.wbo

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

MD5SUM BENCH= 58e4788c719f1a12516705b51263d664
RANDOM SEED=1945456308

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.143
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.143
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26033832 kB
Buffers:           91108 kB
Cached:           179032 kB
SwapCached:         1804 kB
Active:          4434200 kB
Inactive:         139672 kB
Active(anon):    4303212 kB
Inactive(anon):     2732 kB
Active(file):     130988 kB
Inactive(file):   136940 kB
Unevictable:     1518016 kB
Mlocked:         1370848 kB
SwapTotal:      67108856 kB
SwapFree:       67099348 kB
Dirty:             16376 kB
Writeback:             0 kB
AnonPages:       5822884 kB
Mapped:            10712 kB
Shmem:                 0 kB
Slab:             602788 kB
SReclaimable:      46664 kB
SUnreclaim:       556124 kB
KernelStack:        1480 kB
PageTables:        15184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5963844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    794624 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 node129 at 2016-06-19 16:43:32