Trace number 4110594

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.02 1800.31

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-capmp5_wcsp.wbo
MD5SUMa553af307837830e83a31a30c6d8ba3b
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmark
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables40400
Total number of constraints80600
Number of soft constraints80200
Number of constraints which are clauses80200
Number of constraints which are cardinality constraints (but not clauses)400
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint200
Top cost 73551998
Min constraint cost 1
Max constraint cost 73551998
Sum of constraints costs 2942636678406
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 201
Number of bits of the biggest sum of numbers8
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:37:18+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-4110594-1466347038.wbo"]
0.00/0.01	c use --random-gen="4288077331 88231517 2305734259 743274917 1078727343 4145062258 71283792 3433206602 457789627 4141740919 40754757 3202485772 2803271405 1910798006 3378745890 2439877494 3910225176 659494226 3894146895 1468706674 1518483177 1209153773 464862098 2434442220 1551850692 4227841595 2898329677 1004035677 2058339532 3017314759 1556078134 1874541810 358971891 2160209153 1217071717 3101299646 2107709499 3074057359 1985146419 1180954654 2257052553 936814511 421149798 2406108211 2547005352 1906819354 1088405720 113233950 3871056014 2761500873 1778810867 1013754510 4282114357 1752575548 4031882237 2275318946 3707988491 3420623792 3726238367 525237487 3441282032 791051115 2006586362 3410251440 1724952391 1427208206 1306557019 1403228525 3486418118 877503369 143220072 4104025041 1783569838 3832447775 679314763 2085867615 1516632444 1811516635 3778289240 4166063140 3425913895 2138578189 3359273720 3866931321 3223567825 2540374875 853632517 4001576693 2790370654 4201253843 1163763857 891206890 3653569053 1252811474 4114227258 3461008210 533678833 1680012656 1764393674 934983938 289501953 4177577880 3302969486 2554812195 220866167 3876842053 3006607046 509487971 2450307879 1102570280 536770202 579008430 1749874682 1364116894 2668075895 3190834093 1434757117 681165534 523982719 137047464 3781329607 2853416039 2862381775 1765898468 551368358 1788440757 144497371 3423170283 3361927140 2598245923 3705242590 2904796877 502548297 1946310109 1052306521 1344098207 1149080483 1176208869 2617174798 634979612 3152568706 3182256486 1217012880 1497291079 2028267322 2641228749 3541546489 479953170 1351561523 2346427534 3199890119 3147024701 118321643 3559283468 2247001036 3228769301 1323168237 912285056 3471889723 2487396562 2187443223 2875413048 66637788 246326641 43274588 3079424736 1588230567 2241404608 3784777405 2402700326 2881783769 3579606999 1370640648 2213025511 774571249 1354275400 3763474239 3310755850 3760540975 1647205294 2980400988 3447023703 2682314224 1298191385 1540145532 2732740295 3115691955 2156021436 364697667 2058267851 3293776456 1344602114 1953688649 3505036956 2987712471 834951990 2759923566 3648648773 3366046905 367585439 1727971931 4072738808 270484186 845554695 141757521 1155857248 3437423754 2902732958 192650763 3145852507 3519223449 2691744898 378293828 1353927866 4020033145 2839477848 2427861442 3794622661 1247775061 2417552787 893875658 2305988292 1150634122 2928168925 3492650764 1693540905 2816616098 4068868953 1431771926 240043113 3862661036 1617179947 2502741399 674373308 4262459806 2939102520 39516378 2488931849 49327026 701630325 734734775 2565562302 991424882 3444545400 1779742395 456480393 1638629557 625686492 4165795883 4174439737 2523941035 2636802393 1030397540 1263080483 3233697055 779802511 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-4110594-1466347038/watcher-4110594-1466347038 -o /tmp/evaluation-result-4110594-1466347038/solver-4110594-1466347038 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466341822-7742 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110594-1466347038.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.19 2.17 2.17 3/179 9334
/proc/meminfo: memFree=16377024/32872528 swapFree=1431120/1543540
[pid=9334] ppid=9331 vsize=768444 CPUtime=0 cores=0,2,4,6
/proc/9334/stat : 9334 (toysat) R 9331 9334 7726 0 -1 4202496 2872 0 0 0 0 0 0 0 20 0 4 0 36752538 786886656 3234 33554432000 4194304 16246674 140734323390704 140734323390128 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9334/statm: 192623 3241 441 2943 0 189517 0
[pid=9334/tid=9335] ppid=9331 vsize=785852 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9335/stat : 9335 (toysat) S 9331 9334 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36752538 804712448 3301 33554432000 4194304 16246674 140734323390704 139846804810992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9334/tid=9336] ppid=9331 vsize=789948 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9336/stat : 9336 (toysat) S 9331 9334 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752538 808906752 3317 33554432000 4194304 16246674 140734323390704 139846794321136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9334/tid=9337] ppid=9331 vsize=794044 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9337/stat : 9337 (toysat) S 9331 9334 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36752538 813101056 3332 33554432000 4194304 16246674 140734323390704 139846783847600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.19 2.17 2.17 3/179 9334
/proc/meminfo: memFree=16377024/32872528 swapFree=1431120/1543540
[pid=9334] ppid=9331 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/9334/stat : 9334 (toysat) R 9331 9334 7726 0 -1 4202496 29269 0 0 0 5 4 0 0 20 0 4 0 36752538 1333334016 29570 33554432000 4194304 16246674 140734323390704 140734323390016 8056990 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9334/statm: 325521 29584 801 2943 0 322415 0
[pid=9334/tid=9335] ppid=9331 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9335/stat : 9335 (toysat) S 9331 9334 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36752538 1333334016 29596 33554432000 4194304 16246674 140734323390704 139846804810992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9334/tid=9336] ppid=9331 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9336/stat : 9336 (toysat) S 9331 9334 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752538 1333334016 29608 33554432000 4194304 16246674 140734323390704 139846794321136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9334/tid=9337] ppid=9331 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9337/stat : 9337 (toysat) S 9331 9334 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752538 1333334016 29618 33554432000 4194304 16246674 140734323390704 139846783847600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200552 s]
/proc/loadavg: 2.19 2.17 2.17 3/179 9334
/proc/meminfo: memFree=16377024/32872528 swapFree=1431120/1543540
[pid=9334] ppid=9331 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/9334/stat : 9334 (toysat) R 9331 9334 7726 0 -1 4202496 48548 0 0 0 11 8 0 0 20 0 4 0 36752538 1344868352 49360 33554432000 4194304 16246674 140734323390704 140734323390016 7369576 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9334/statm: 328337 49360 802 2943 0 325231 0
[pid=9334/tid=9335] ppid=9331 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9335/stat : 9335 (toysat) S 9331 9334 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36752538 1344868352 49360 33554432000 4194304 16246674 140734323390704 139846804810992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9334/tid=9336] ppid=9331 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9336/stat : 9336 (toysat) S 9331 9334 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752538 1344868352 49360 33554432000 4194304 16246674 140734323390704 139846794321136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9334/tid=9337] ppid=9331 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9337/stat : 9337 (toysat) S 9331 9334 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752538 1344868352 49360 33554432000 4194304 16246674 140734323390704 139846783847600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300521 s]
/proc/loadavg: 2.19 2.17 2.17 3/179 9334
/proc/meminfo: memFree=16377024/32872528 swapFree=1431120/1543540
[pid=9334] ppid=9331 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/9334/stat : 9334 (toysat) R 9331 9334 7726 0 -1 4202496 56908 0 0 0 20 9 0 0 20 0 4 0 36752538 1344868352 57720 33554432000 4194304 16246674 140734323390704 140734323390016 4220807 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9334/statm: 328337 57720 802 2943 0 325231 0
[pid=9334/tid=9335] ppid=9331 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9335/stat : 9335 (toysat) S 9331 9334 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36752538 1344868352 57720 33554432000 4194304 16246674 140734323390704 139846804810992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9334/tid=9336] ppid=9331 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9336/stat : 9336 (toysat) S 9331 9334 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752538 1344868352 57720 33554432000 4194304 16246674 140734323390704 139846794321136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9334/tid=9337] ppid=9331 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9337/stat : 9337 (toysat) S 9331 9334 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752538 1344868352 57720 33554432000 4194304 16246674 140734323390704 139846783847600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700423 s]
/proc/loadavg: 2.19 2.17 2.17 3/179 9334
/proc/meminfo: memFree=16377024/32872528 swapFree=1431120/1543540
[pid=9334] ppid=9331 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/9334/stat : 9334 (toysat) R 9331 9334 7726 0 -1 4202496 84459 0 0 0 55 14 0 0 20 0 4 0 36752538 1344868352 85272 33554432000 4194304 16246674 140734323390704 140734323388608 12459048 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9334/statm: 328337 85281 829 2943 0 325231 0
[pid=9334/tid=9335] ppid=9331 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9335/stat : 9335 (toysat) S 9331 9334 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36752538 1344868352 85288 33554432000 4194304 16246674 140734323390704 139846804810992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9334/tid=9336] ppid=9331 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9336/stat : 9336 (toysat) S 9331 9334 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752538 1344868352 85295 33554432000 4194304 16246674 140734323390704 139846794321136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9334/tid=9337] ppid=9331 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9337/stat : 9337 (toysat) S 9331 9334 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752538 1344868352 85301 33554432000 4194304 16246674 140734323390704 139846783847600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50039 s]
/proc/loadavg: 2.19 2.17 2.17 3/183 9338
/proc/meminfo: memFree=15750904/32872528 swapFree=1431120/1543540
[pid=9334] ppid=9331 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/9334/stat : 9334 (toysat) R 9331 9334 7726 0 -1 4202496 228885 0 0 0 113 36 0 0 20 0 4 0 36752538 1344868352 229697 33554432000 4194304 16246674 140734323390704 140734323372608 6196885 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9334/statm: 328337 229709 829 2943 0 325231 0
[pid=9334/tid=9335] ppid=9331 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9335/stat : 9335 (toysat) S 9331 9334 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36752538 1344868352 229715 33554432000 4194304 16246674 140734323390704 139846804810992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9334/tid=9336] ppid=9331 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9336/stat : 9336 (toysat) S 9331 9334 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752538 1344868352 229723 33554432000 4194304 16246674 140734323390704 139846794321136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9334/tid=9337] ppid=9331 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9337/stat : 9337 (toysat) S 9331 9334 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752538 1344868352 229729 33554432000 4194304 16246674 140734323390704 139846783847600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10042 s]
/proc/loadavg: 2.19 2.17 2.17 3/182 9338
/proc/meminfo: memFree=15289384/32872528 swapFree=1431120/1543540
[pid=9334] ppid=9331 vsize=1323588 CPUtime=3.09 cores=0,2,4,6
/proc/9334/stat : 9334 (toysat) R 9331 9334 7726 0 -1 4202496 271516 0 0 0 268 41 0 0 20 0 4 0 36752538 1355354112 272328 33554432000 4194304 16246674 140734323390704 140734323390016 6169219 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9334/statm: 330897 272328 837 2943 0 327791 0
[pid=9334/tid=9335] ppid=9331 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9335/stat : 9335 (toysat) S 9331 9334 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36752538 1355354112 272328 33554432000 4194304 16246674 140734323390704 139846804810992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9334/tid=9336] ppid=9331 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9336/stat : 9336 (toysat) S 9331 9334 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752538 1355354112 272328 33554432000 4194304 16246674 140734323390704 139846794321136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9334/tid=9337] ppid=9331 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9337/stat : 9337 (toysat) S 9331 9334 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752538 1355354112 272328 33554432000 4194304 16246674 140734323390704 139846783847600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1323588

[startup+6.30034 s]
/proc/loadavg: 2.25 2.18 2.18 3/182 9338
/proc/meminfo: memFree=15247532/32872528 swapFree=1431120/1543540
[pid=9334] ppid=9331 vsize=1363524 CPUtime=6.29 cores=0,2,4,6
/proc/9334/stat : 9334 (toysat) R 9331 9334 7726 0 -1 4202496 281506 0 0 0 587 42 0 0 20 0 4 0 36752538 1396248576 282318 33554432000 4194304 16246674 140734323390704 140734323372608 13774084 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9334/statm: 340881 282318 843 2943 0 337775 0
[pid=9334/tid=9335] ppid=9331 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9335/stat : 9335 (toysat) S 9331 9334 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36752538 1396248576 282318 33554432000 4194304 16246674 140734323390704 139846804810992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9334/tid=9336] ppid=9331 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9336/stat : 9336 (toysat) S 9331 9334 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752538 1396248576 282318 33554432000 4194304 16246674 140734323390704 139846794321136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9334/tid=9337] ppid=9331 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9337/stat : 9337 (toysat) S 9331 9334 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752538 1396248576 282318 33554432000 4194304 16246674 140734323390704 139846783847600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1363524

[startup+12.7003 s]
/proc/loadavg: 2.23 2.18 2.18 4/183 9339
/proc/meminfo: memFree=15248028/32872528 swapFree=1431120/1543540
[pid=9334] ppid=9331 vsize=1363524 CPUtime=12.68 cores=0,2,4,6
/proc/9334/stat : 9334 (toysat) R 9331 9334 7726 0 -1 4202496 281507 0 0 0 1226 42 0 0 20 0 4 0 36752538 1396248576 282319 33554432000 4194304 16246674 140734323390704 140734323372608 13955806 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9334/statm: 340881 282319 843 2943 0 337775 0
[pid=9334/tid=9335] ppid=9331 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9335/stat : 9335 (toysat) S 9331 9334 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36752538 1396248576 282319 33554432000 4194304 16246674 140734323390704 139846804810992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9334/tid=9336] ppid=9331 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9336/stat : 9336 (toysat) S 9331 9334 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752538 1396248576 282319 33554432000 4194304 16246674 140734323390704 139846794321136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9334/tid=9337] ppid=9331 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9337/stat : 9337 (toysat) S 9331 9334 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752538 1396248576 282319 33554432000 4194304 16246674 140734323390704 139846783847600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1363524

[startup+25.5004 s]
/proc/loadavg: 2.25 2.19 2.18 4/183 9339
/proc/meminfo: memFree=15248336/32872528 swapFree=1431120/1543540
[pid=9334] ppid=9331 vsize=1363524 CPUtime=25.48 cores=0,2,4,6
/proc/9334/stat : 9334 (toysat) R 9331 9334 7726 0 -1 4202496 281507 0 0 0 2506 42 0 0 20 0 4 0 36752538 1396248576 282319 33554432000 4194304 16246674 140734323390704 140734323372608 13774229 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9334/statm: 340881 282319 843 2943 0 337775 0
[pid=9334/tid=9335] ppid=9331 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9335/stat : 9335 (toysat) S 9331 9334 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36752538 1396248576 282319 33554432000 4194304 16246674 140734323390704 139846804810992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9334/tid=9336] ppid=9331 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9336/stat : 9336 (toysat) S 9331 9334 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752538 1396248576 282319 33554432000 4194304 16246674 140734323390704 139846794321136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9334/tid=9337] ppid=9331 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9337/stat : 9337 (toysat) S 9331 9334 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752538 1396248576 282319 33554432000 4194304 16246674 140734323390704 139846783847600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1363524

[startup+51.1004 s]
/proc/loadavg: 2.08 2.15 2.17 2/173 9370
/proc/meminfo: memFree=29024976/32872528 swapFree=1431120/1543540
[pid=9334] ppid=9331 vsize=1363524 CPUtime=51.08 cores=0,2,4,6
/proc/9334/stat : 9334 (toysat) R 9331 9334 7726 0 -1 4202496 281507 0 0 0 5066 42 0 0 20 0 4 0 36752538 1396248576 282319 33554432000 4194304 16246674 140734323390704 140734323372608 6132452 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9334/statm: 340881 282319 843 2943 0 337775 0
[pid=9334/tid=9335] ppid=9331 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9335/stat : 9335 (toysat) S 9331 9334 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36752538 1396248576 282319 33554432000 4194304 16246674 140734323390704 139846804810992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9334/tid=9336] ppid=9331 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9336/stat : 9336 (toysat) S 9331 9334 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752538 1396248576 282319 33554432000 4194304 16246674 140734323390704 139846794321136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9334/tid=9337] ppid=9331 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9337/stat : 9337 (toysat) S 9331 9334 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752538 1396248576 282319 33554432000 4194304 16246674 140734323390704 139846783847600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1363524

[startup+102.3 s]
/proc/loadavg: 1.55 2.00 2.12 2/173 9371
/proc/meminfo: memFree=29026992/32872528 swapFree=1431120/1543540
[pid=9334] ppid=9331 vsize=1363524 CPUtime=102.28 cores=0,2,4,6
/proc/9334/stat : 9334 (toysat) R 9331 9334 7726 0 -1 4202496 281507 0 0 0 10186 42 0 0 20 0 4 0 36752538 1396248576 282322 33554432000 4194304 16246674 140734323390704 140734323372608 13807754 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9334/statm: 340881 282322 843 2943 0 337775 0
[pid=9334/tid=9335] ppid=9331 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9335/stat : 9335 (toysat) S 9331 9334 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36752538 1396248576 282322 33554432000 4194304 16246674 140734323390704 139846804810992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9334/tid=9336] ppid=9331 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9336/stat : 9336 (toysat) S 9331 9334 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752538 1396248576 282322 33554432000 4194304 16246674 140734323390704 139846794321136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9334/tid=9337] ppid=9331 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9337/stat : 9337 (toysat) S 9331 9334 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752538 1396248576 282322 33554432000 4194304 16246674 140734323390704 139846783847600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1363524


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

/proc/9334/task/9337/stat : 9337 (toysat) S 9331 9334 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752538 1396248576 282322 33554432000 4194304 16246674 140734323390704 139846783847600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1363524

[startup+1362.3 s]
/proc/loadavg: 1.28 1.20 1.40 2/173 9402
/proc/meminfo: memFree=29029268/32872528 swapFree=1431120/1543540
[pid=9334] ppid=9331 vsize=1363524 CPUtime=1362.08 cores=0,2,4,6
/proc/9334/stat : 9334 (toysat) R 9331 9334 7726 0 -1 4202496 281522 0 0 0 136165 43 0 0 20 0 4 0 36752538 1396248576 282322 33554432000 4194304 16246674 140734323390704 140734323372608 13807488 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9334/statm: 340881 282322 843 2943 0 337775 0
[pid=9334/tid=9335] ppid=9331 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9335/stat : 9335 (toysat) S 9331 9334 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36752538 1396248576 282322 33554432000 4194304 16246674 140734323390704 139846804810992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9334/tid=9336] ppid=9331 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9336/stat : 9336 (toysat) S 9331 9334 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752538 1396248576 282322 33554432000 4194304 16246674 140734323390704 139846794321136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9334/tid=9337] ppid=9331 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9337/stat : 9337 (toysat) S 9331 9334 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752538 1396248576 282322 33554432000 4194304 16246674 140734323390704 139846783847600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1363524

[startup+1422.3 s]
/proc/loadavg: 1.18 1.19 1.39 2/174 9406
/proc/meminfo: memFree=29029068/32872528 swapFree=1431120/1543540
[pid=9334] ppid=9331 vsize=1363524 CPUtime=1422.07 cores=0,2,4,6
/proc/9334/stat : 9334 (toysat) R 9331 9334 7726 0 -1 4202496 281522 0 0 0 142164 43 0 0 20 0 4 0 36752538 1396248576 282322 33554432000 4194304 16246674 140734323390704 140734323372608 13923665 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9334/statm: 340881 282322 843 2943 0 337775 0
[pid=9334/tid=9335] ppid=9331 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9335/stat : 9335 (toysat) S 9331 9334 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36752538 1396248576 282322 33554432000 4194304 16246674 140734323390704 139846804810992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9334/tid=9336] ppid=9331 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9336/stat : 9336 (toysat) S 9331 9334 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752538 1396248576 282322 33554432000 4194304 16246674 140734323390704 139846794321136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9334/tid=9337] ppid=9331 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9337/stat : 9337 (toysat) S 9331 9334 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752538 1396248576 282322 33554432000 4194304 16246674 140734323390704 139846783847600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1363524

[startup+1482.3 s]
/proc/loadavg: 1.29 1.23 1.38 2/174 9430
/proc/meminfo: memFree=29029044/32872528 swapFree=1431120/1543540
[pid=9334] ppid=9331 vsize=1363524 CPUtime=1482.06 cores=0,2,4,6
/proc/9334/stat : 9334 (toysat) R 9331 9334 7726 0 -1 4202496 281522 0 0 0 148163 43 0 0 20 0 4 0 36752538 1396248576 282322 33554432000 4194304 16246674 140734323390704 140734323372608 13807508 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9334/statm: 340881 282322 843 2943 0 337775 0
[pid=9334/tid=9335] ppid=9331 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9335/stat : 9335 (toysat) S 9331 9334 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36752538 1396248576 282322 33554432000 4194304 16246674 140734323390704 139846804810992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9334/tid=9336] ppid=9331 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9336/stat : 9336 (toysat) S 9331 9334 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752538 1396248576 282322 33554432000 4194304 16246674 140734323390704 139846794321136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9334/tid=9337] ppid=9331 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9337/stat : 9337 (toysat) S 9331 9334 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752538 1396248576 282322 33554432000 4194304 16246674 140734323390704 139846783847600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1363524

[startup+1542.31 s]
/proc/loadavg: 1.16 1.20 1.36 2/173 9432
/proc/meminfo: memFree=29029164/32872528 swapFree=1431120/1543540
[pid=9334] ppid=9331 vsize=1363524 CPUtime=1542.05 cores=0,2,4,6
/proc/9334/stat : 9334 (toysat) R 9331 9334 7726 0 -1 4202496 281522 0 0 0 154162 43 0 0 20 0 4 0 36752538 1396248576 282322 33554432000 4194304 16246674 140734323390704 140734323372608 13817068 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9334/statm: 340881 282322 843 2943 0 337775 0
[pid=9334/tid=9335] ppid=9331 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9335/stat : 9335 (toysat) S 9331 9334 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36752538 1396248576 282322 33554432000 4194304 16246674 140734323390704 139846804810992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9334/tid=9336] ppid=9331 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9336/stat : 9336 (toysat) S 9331 9334 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752538 1396248576 282322 33554432000 4194304 16246674 140734323390704 139846794321136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9334/tid=9337] ppid=9331 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9337/stat : 9337 (toysat) S 9331 9334 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752538 1396248576 282322 33554432000 4194304 16246674 140734323390704 139846783847600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1363524

[startup+1602.3 s]
/proc/loadavg: 1.14 1.19 1.35 2/173 9433
/proc/meminfo: memFree=28948184/32872528 swapFree=1431120/1543540
[pid=9334] ppid=9331 vsize=1444420 CPUtime=1602.04 cores=0,2,4,6
/proc/9334/stat : 9334 (toysat) R 9331 9334 7726 0 -1 4202496 301733 0 0 0 160158 46 0 0 20 0 4 0 36752538 1479086080 302533 33554432000 4194304 16246674 140734323390704 140734323372608 13807544 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9334/statm: 361105 302533 843 2943 0 357999 0
[pid=9334/tid=9335] ppid=9331 vsize=1444420 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9335/stat : 9335 (toysat) S 9331 9334 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36752538 1479086080 302533 33554432000 4194304 16246674 140734323390704 139846804810992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9334/tid=9336] ppid=9331 vsize=1444420 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9336/stat : 9336 (toysat) S 9331 9334 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752538 1479086080 302533 33554432000 4194304 16246674 140734323390704 139846794321136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9334/tid=9337] ppid=9331 vsize=1444420 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9337/stat : 9337 (toysat) S 9331 9334 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752538 1479086080 302533 33554432000 4194304 16246674 140734323390704 139846783847600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1444420

[startup+1662.3 s]
/proc/loadavg: 1.19 1.20 1.34 2/173 9434
/proc/meminfo: memFree=28947800/32872528 swapFree=1431120/1543540
[pid=9334] ppid=9331 vsize=1444420 CPUtime=1662.03 cores=0,2,4,6
/proc/9334/stat : 9334 (toysat) R 9331 9334 7726 0 -1 4202496 301733 0 0 0 166157 46 0 0 20 0 4 0 36752538 1479086080 302533 33554432000 4194304 16246674 140734323390704 140734323372608 13774216 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9334/statm: 361105 302533 843 2943 0 357999 0
[pid=9334/tid=9335] ppid=9331 vsize=1444420 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9335/stat : 9335 (toysat) S 9331 9334 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36752538 1479086080 302533 33554432000 4194304 16246674 140734323390704 139846804810992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9334/tid=9336] ppid=9331 vsize=1444420 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9336/stat : 9336 (toysat) S 9331 9334 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752538 1479086080 302533 33554432000 4194304 16246674 140734323390704 139846794321136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9334/tid=9337] ppid=9331 vsize=1444420 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9337/stat : 9337 (toysat) S 9331 9334 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752538 1479086080 302533 33554432000 4194304 16246674 140734323390704 139846783847600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1444420

[startup+1722.3 s]
/proc/loadavg: 1.40 1.26 1.35 2/173 9435
/proc/meminfo: memFree=28947792/32872528 swapFree=1431120/1543540
[pid=9334] ppid=9331 vsize=1444420 CPUtime=1722.02 cores=0,2,4,6
/proc/9334/stat : 9334 (toysat) R 9331 9334 7726 0 -1 4202496 301733 0 0 0 172156 46 0 0 20 0 4 0 36752538 1479086080 302533 33554432000 4194304 16246674 140734323390704 140734323372608 13774000 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9334/statm: 361105 302533 843 2943 0 357999 0
[pid=9334/tid=9335] ppid=9331 vsize=1444420 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9335/stat : 9335 (toysat) S 9331 9334 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36752538 1479086080 302533 33554432000 4194304 16246674 140734323390704 139846804810992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9334/tid=9336] ppid=9331 vsize=1444420 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9336/stat : 9336 (toysat) S 9331 9334 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752538 1479086080 302533 33554432000 4194304 16246674 140734323390704 139846794321136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9334/tid=9337] ppid=9331 vsize=1444420 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9337/stat : 9337 (toysat) S 9331 9334 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752538 1479086080 302533 33554432000 4194304 16246674 140734323390704 139846783847600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1444420

[startup+1782.3 s]
/proc/loadavg: 1.38 1.29 1.36 2/173 9436
/proc/meminfo: memFree=28947784/32872528 swapFree=1431120/1543540
[pid=9334] ppid=9331 vsize=1444420 CPUtime=1782.01 cores=0,2,4,6
/proc/9334/stat : 9334 (toysat) R 9331 9334 7726 0 -1 4202496 301733 0 0 0 178155 46 0 0 20 0 4 0 36752538 1479086080 302533 33554432000 4194304 16246674 140734323390704 140734323372608 6132712 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9334/statm: 361105 302533 843 2943 0 357999 0
[pid=9334/tid=9335] ppid=9331 vsize=1444420 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9335/stat : 9335 (toysat) S 9331 9334 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36752538 1479086080 302533 33554432000 4194304 16246674 140734323390704 139846804810992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9334/tid=9336] ppid=9331 vsize=1444420 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9336/stat : 9336 (toysat) S 9331 9334 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752538 1479086080 302533 33554432000 4194304 16246674 140734323390704 139846794321136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9334/tid=9337] ppid=9331 vsize=1444420 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9337/stat : 9337 (toysat) S 9331 9334 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752538 1479086080 302533 33554432000 4194304 16246674 140734323390704 139846783847600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1444420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 1.41 1.30 1.36 2/173 9436
/proc/meminfo: memFree=28948036/32872528 swapFree=1431120/1543540
[pid=9334] ppid=9331 vsize=1444420 CPUtime=1800.01 cores=0,2,4,6
/proc/9334/stat : 9334 (toysat) R 9331 9334 7726 0 -1 4202496 301733 0 0 0 179955 46 0 0 20 0 4 0 36752538 1479086080 302533 33554432000 4194304 16246674 140734323390704 140734323372608 13809392 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9334/statm: 361105 302533 843 2943 0 357999 0
[pid=9334/tid=9335] ppid=9331 vsize=1444420 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9335/stat : 9335 (toysat) S 9331 9334 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36752538 1479086080 302533 33554432000 4194304 16246674 140734323390704 139846804810992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9334/tid=9336] ppid=9331 vsize=1444420 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9336/stat : 9336 (toysat) S 9331 9334 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752538 1479086080 302533 33554432000 4194304 16246674 140734323390704 139846794321136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9334/tid=9337] ppid=9331 vsize=1444420 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9337/stat : 9337 (toysat) S 9331 9334 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752538 1479086080 302533 33554432000 4194304 16246674 140734323390704 139846783847600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1444420

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

[startup+1800.3 s]
/proc/loadavg: 1.41 1.30 1.36 2/173 9436
/proc/meminfo: memFree=28948036/32872528 swapFree=1431120/1543540
[pid=9334] ppid=9331 vsize=1444420 CPUtime=1800.01 cores=0,2,4,6
/proc/9334/stat : 9334 (toysat) R 9331 9334 7726 0 -1 4202496 301733 0 0 0 179955 46 0 0 20 0 4 0 36752538 1479086080 302533 33554432000 4194304 16246674 140734323390704 140734323372608 13809392 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9334/statm: 361105 302533 843 2943 0 357999 0
[pid=9334/tid=9335] ppid=9331 vsize=1444420 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9335/stat : 9335 (toysat) S 9331 9334 7726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36752538 1479086080 302533 33554432000 4194304 16246674 140734323390704 139846804810992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9334/tid=9336] ppid=9331 vsize=1444420 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9336/stat : 9336 (toysat) S 9331 9334 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752538 1479086080 302533 33554432000 4194304 16246674 140734323390704 139846794321136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9334/tid=9337] ppid=9331 vsize=1444420 CPUtime=0 cores=0,2,4,6
/proc/9334/task/9337/stat : 9337 (toysat) S 9331 9334 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752538 1479086080 302533 33554432000 4194304 16246674 140734323390704 139846783847600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1444420

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.56
CPU system time (s): 0.466929
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 1444420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.466929
maximum resident set size= 1210132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 301733
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= 39
involuntary context switches= 1848

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.4641 second user time and 13.6539 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-19 16:37:18
IDJOB=4110594
IDBENCH=79543
IDSOLVER=2553
FILE ID=node116/4110594-1466347038
RUNJOBID= node116-1466341822-7742
PBS_JOBID= 19922036
Free space on /tmp= 71676 MiB

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

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

MD5SUM BENCH= a553af307837830e83a31a30c6d8ba3b
RANDOM SEED=118479935

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        16377924 kB
Buffers:          145748 kB
Cached:           287612 kB
SwapCached:         2316 kB
Active:         13908072 kB
Inactive:         266248 kB
Active(anon):   13739260 kB
Inactive(anon):     3928 kB
Active(file):     168812 kB
Inactive(file):   262320 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099856 kB
Dirty:             19020 kB
Writeback:             0 kB
AnonPages:      15297868 kB
Mapped:            12108 kB
Shmem:                 0 kB
Slab:             616524 kB
SReclaimable:      60712 kB
SUnreclaim:       555812 kB
KernelStack:        1520 kB
PageTables:        34000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   15424772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1538048 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= 71676 MiB
End job on node116 at 2016-06-19 17:07:19