Trace number 4110574

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.76 1801.09

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap72_wcsp.wbo
MD5SUM832b6d889e2e04fac8730ab9437bdddf
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark12311137
Best CPU time to get the best result obtained on this benchmark1800.08
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 56493026
Min constraint cost 1
Max constraint cost 56493026
Sum of constraints costs 45549155826
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:28:12+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-4110574-1466346492.wbo"]
0.00/0.01	c use --random-gen="4225949963 2854670438 987762697 1751085435 4054322903 2496112349 2098734148 1064613534 1559010665 2943759061 1045736194 4078007067 349737491 1278352698 2003186170 3754142496 1290354529 1872327997 639837852 216300132 2194943168 1988493997 2381987820 2130565422 2695409425 332698140 1422172129 4145509245 3534061201 2304912307 2724473007 3334945322 1858407998 2333363526 921601945 3504549872 3653187147 3889525807 3245134150 1898419822 3327876977 3070031927 3850861880 110257895 1959816133 2287200291 2192111724 79754265 3659125709 1940468819 3944717110 1405013070 801278944 2359981302 2696929611 3689993916 829267826 504450731 4229763265 784207478 3208301879 3584592531 3536515248 336534646 527094357 576935896 2661850613 529298394 3165256686 1791292761 4132086564 2911335849 3645376463 335092420 4231975543 3148291052 3326842991 443468763 2644868784 1986655570 3531895825 1133497147 1334285775 1867713747 2001134617 3622472191 2466809803 683651583 2685368971 1995225841 69962118 864908124 2625068060 3668909925 1443678008 597560092 3947101505 3112867549 2319135547 4135316689 3914414807 1234261840 3731674462 592340787 1967144936 1442312831 1916727480 2833584044 946736615 2042366454 1312228231 1169314728 2252236694 3132978966 2210837428 1302160179 1050697582 3786858211 503217303 2519306220 3531951530 1327117064 2218842794 369200994 2757786891 516998767 1642442604 2101965265 2720193242 3448467240 1230469805 1866015698 1813752966 363674653 315730132 1468906250 3614807209 753655013 1648672899 4035309670 2556869511 4281878485 381592819 2734147544 4142185242 2584711201 2223331895 659700585 611170059 3594129986 2429776286 648428138 2707002591 896027829 3209142351 1133749593 114956656 3250354713 2711135667 3401969594 2415707788 2756417623 1951385457 2019774678 3986660475 3013565582 3785420622 4222997752 3112524162 2023336557 3024766079 3559992037 1316462891 1611455511 374578118 2332943962 159116137 1615541093 4147658065 2095476553 4190160376 630285477 3912880967 2145069246 2688110870 908401701 2401342035 669914246 3304988381 1362840431 229650540 105855994 591000679 315629272 2357032007 574587585 38956677 1430034542 794343648 1533181810 3947241772 2782599112 2895294489 1267580305 1976033376 4125485786 3846139285 2910437283 690926244 2411833100 894017554 1151057786 565707853 1978841158 1424121074 431284100 1396550336 3423791960 1368359543 1566975626 3624563562 26248590 1903299058 902820167 3718451427 1578618320 146741417 1622886159 2677907889 1849543155 2667307784 3300775084 3924068379 130220529 3236439167 1206438054 952278767 1977243176 1685455059 736850961 2250707813 2159241588 999597176 2981152840 1744660349 4290483429 2450910056 108534911 1639416665 2337505727 830699908 1393347499 231580131 3197336553 1440025241 2979444920 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-4110574-1466346492/watcher-4110574-1466346492 -o /tmp/evaluation-result-4110574-1466346492/solver-4110574-1466346492 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466341813-848 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110574-1466346492.wbo 

pid=2434
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.01 2.02 1.97 3/181 2437
/proc/meminfo: memFree=30541468/32872528 swapFree=8804/8804
[pid=2437] ppid=2434 vsize=691644 CPUtime=0 cores=0,2,4,6
/proc/2437/stat : 2437 (toysat) R 2434 2437 832 0 -1 4202496 2571 0 0 0 0 0 0 0 20 0 4 0 36695105 708243456 2931 33554432000 4194304 16246674 140734613950160 140734613949584 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2437/statm: 173423 2940 441 2943 0 170317 0
[pid=2437/tid=2438] ppid=2434 vsize=708028 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2438/stat : 2438 (toysat) S 2434 2437 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36695105 725020672 3000 33554432000 4194304 16246674 140734613950160 140228870253808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2437/tid=2439] ppid=2434 vsize=713148 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2439/stat : 2439 (toysat) S 2434 2437 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36695105 730263552 3016 33554432000 4194304 16246674 140734613950160 140228859763952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2437/tid=2440] ppid=2434 vsize=717244 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2440/stat : 2440 (toysat) S 2434 2437 832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36695105 734457856 3033 33554432000 4194304 16246674 140734613950160 140228849290416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 2.01 2.02 1.97 3/181 2437
/proc/meminfo: memFree=30541468/32872528 swapFree=8804/8804
[pid=2437] ppid=2434 vsize=1221188 CPUtime=0.08 cores=0,2,4,6
/proc/2437/stat : 2437 (toysat) R 2434 2437 832 0 -1 4202496 23301 0 0 0 5 3 0 0 20 0 4 0 36695105 1250496512 23608 33554432000 4194304 16246674 140734613950160 140734613949472 13807435 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2437/statm: 305297 23608 843 2943 0 302191 0
[pid=2437/tid=2438] ppid=2434 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2438/stat : 2438 (toysat) S 2434 2437 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36695105 1250496512 23608 33554432000 4194304 16246674 140734613950160 140228870253808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2437/tid=2439] ppid=2434 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2439/stat : 2439 (toysat) S 2434 2437 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36695105 1250496512 23608 33554432000 4194304 16246674 140734613950160 140228859763952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2437/tid=2440] ppid=2434 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2440/stat : 2440 (toysat) S 2434 2437 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36695105 1250496512 23608 33554432000 4194304 16246674 140734613950160 140228849290416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.200509 s]
/proc/loadavg: 2.01 2.02 1.97 3/181 2437
/proc/meminfo: memFree=30541468/32872528 swapFree=8804/8804
[pid=2437] ppid=2434 vsize=1224260 CPUtime=0.18 cores=0,2,4,6
/proc/2437/stat : 2437 (toysat) R 2434 2437 832 0 -1 4202496 23535 0 0 0 15 3 0 0 20 0 4 0 36695105 1253642240 23843 33554432000 4194304 16246674 140734613950160 140734613949472 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2437/statm: 307601 23866 843 2943 0 304495 0
[pid=2437/tid=2438] ppid=2434 vsize=1233476 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2438/stat : 2438 (toysat) S 2434 2437 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36695105 1263079424 23880 33554432000 4194304 16246674 140734613950160 140228870253808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2437/tid=2439] ppid=2434 vsize=1237572 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2439/stat : 2439 (toysat) S 2434 2437 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36695105 1267273728 23896 33554432000 4194304 16246674 140734613950160 140228859763952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2437/tid=2440] ppid=2434 vsize=1241668 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2440/stat : 2440 (toysat) S 2434 2437 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36695105 1271468032 23910 33554432000 4194304 16246674 140734613950160 140228849290416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1224260

[startup+0.300489 s]
/proc/loadavg: 2.01 2.02 1.97 3/181 2437
/proc/meminfo: memFree=30541468/32872528 swapFree=8804/8804
[pid=2437] ppid=2434 vsize=1303108 CPUtime=0.29 cores=0,2,4,6
/proc/2437/stat : 2437 (toysat) R 2434 2437 832 0 -1 4202496 29950 0 0 0 25 4 0 0 20 0 4 0 36695105 1334382592 30257 33554432000 4194304 16246674 140734613950160 140734613949472 12459048 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2437/statm: 325777 30258 843 2943 0 322671 0
[pid=2437/tid=2438] ppid=2434 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2438/stat : 2438 (toysat) S 2434 2437 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36695105 1334382592 30260 33554432000 4194304 16246674 140734613950160 140228870253808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2437/tid=2439] ppid=2434 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2439/stat : 2439 (toysat) S 2434 2437 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36695105 1334382592 30261 33554432000 4194304 16246674 140734613950160 140228859763952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2437/tid=2440] ppid=2434 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2440/stat : 2440 (toysat) S 2434 2437 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36695105 1334382592 30261 33554432000 4194304 16246674 140734613950160 140228849290416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1303108

[startup+0.700415 s]
/proc/loadavg: 2.01 2.02 1.97 3/181 2437
/proc/meminfo: memFree=30541468/32872528 swapFree=8804/8804
[pid=2437] ppid=2434 vsize=1307204 CPUtime=0.69 cores=0,2,4,6
/proc/2437/stat : 2437 (toysat) R 2434 2437 832 0 -1 4202496 37513 0 0 0 64 5 0 0 20 0 4 0 36695105 1338576896 37820 33554432000 4194304 16246674 140734613950160 140734613932032 6132488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2437/statm: 326801 37820 843 2943 0 323695 0
[pid=2437/tid=2438] ppid=2434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2438/stat : 2438 (toysat) S 2434 2437 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36695105 1338576896 37820 33554432000 4194304 16246674 140734613950160 140228870253808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2437/tid=2439] ppid=2434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2439/stat : 2439 (toysat) S 2434 2437 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36695105 1338576896 37820 33554432000 4194304 16246674 140734613950160 140228859763952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2437/tid=2440] ppid=2434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2440/stat : 2440 (toysat) S 2434 2437 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36695105 1338576896 37820 33554432000 4194304 16246674 140734613950160 140228849290416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.50041 s]
/proc/loadavg: 2.01 2.02 1.97 3/185 2441
/proc/meminfo: memFree=30361316/32872528 swapFree=8804/8804
[pid=2437] ppid=2434 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/2437/stat : 2437 (toysat) R 2434 2437 832 0 -1 4202496 44960 0 0 0 143 6 0 0 20 0 4 0 36695105 1338576896 45267 33554432000 4194304 16246674 140734613950160 140734613932032 13955814 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2437/statm: 326801 45267 843 2943 0 323695 0
[pid=2437/tid=2438] ppid=2434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2438/stat : 2438 (toysat) S 2434 2437 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36695105 1338576896 45267 33554432000 4194304 16246674 140734613950160 140228870253808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2437/tid=2439] ppid=2434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2439/stat : 2439 (toysat) S 2434 2437 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36695105 1338576896 45267 33554432000 4194304 16246674 140734613950160 140228859763952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2437/tid=2440] ppid=2434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2440/stat : 2440 (toysat) S 2434 2437 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36695105 1338576896 45267 33554432000 4194304 16246674 140734613950160 140228849290416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.01 2.02 1.97 3/185 2441
/proc/meminfo: memFree=30360076/32872528 swapFree=8804/8804
[pid=2437] ppid=2434 vsize=1309252 CPUtime=3.09 cores=0,2,4,6
/proc/2437/stat : 2437 (toysat) R 2434 2437 832 0 -1 4202496 49167 0 0 0 302 7 0 0 20 0 4 0 36695105 1340674048 49474 33554432000 4194304 16246674 140734613950160 140734613932032 13809392 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2437/statm: 327313 49474 843 2943 0 324207 0
[pid=2437/tid=2438] ppid=2434 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2438/stat : 2438 (toysat) S 2434 2437 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36695105 1340674048 49474 33554432000 4194304 16246674 140734613950160 140228870253808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2437/tid=2439] ppid=2434 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2439/stat : 2439 (toysat) S 2434 2437 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36695105 1340674048 49474 33554432000 4194304 16246674 140734613950160 140228859763952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2437/tid=2440] ppid=2434 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2440/stat : 2440 (toysat) S 2434 2437 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36695105 1340674048 49474 33554432000 4194304 16246674 140734613950160 140228849290416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1309252

[startup+6.30039 s]
/proc/loadavg: 2.01 2.02 1.97 3/185 2441
/proc/meminfo: memFree=30152716/32872528 swapFree=8804/8804
[pid=2437] ppid=2434 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/2437/stat : 2437 (toysat) R 2434 2437 832 0 -1 4202496 99221 0 0 0 615 14 0 0 20 0 4 0 36695105 1344868352 99528 33554432000 4194304 16246674 140734613950160 140734613932032 6132605 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2437/statm: 328337 99528 843 2943 0 325231 0
[pid=2437/tid=2438] ppid=2434 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2438/stat : 2438 (toysat) S 2434 2437 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36695105 1344868352 99528 33554432000 4194304 16246674 140734613950160 140228870253808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2437/tid=2439] ppid=2434 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2439/stat : 2439 (toysat) S 2434 2437 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36695105 1344868352 99528 33554432000 4194304 16246674 140734613950160 140228859763952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2437/tid=2440] ppid=2434 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2440/stat : 2440 (toysat) S 2434 2437 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36695105 1344868352 99528 33554432000 4194304 16246674 140734613950160 140228849290416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.01 2.02 1.97 3/185 2441
/proc/meminfo: memFree=30144540/32872528 swapFree=8804/8804
[pid=2437] ppid=2434 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/2437/stat : 2437 (toysat) R 2434 2437 832 0 -1 4202496 99221 0 0 0 1255 14 0 0 20 0 4 0 36695105 1344868352 99528 33554432000 4194304 16246674 140734613950160 140734613932032 6132704 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2437/statm: 328337 99528 843 2943 0 325231 0
[pid=2437/tid=2438] ppid=2434 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2438/stat : 2438 (toysat) S 2434 2437 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36695105 1344868352 99528 33554432000 4194304 16246674 140734613950160 140228870253808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2437/tid=2439] ppid=2434 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2439/stat : 2439 (toysat) S 2434 2437 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36695105 1344868352 99528 33554432000 4194304 16246674 140734613950160 140228859763952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2437/tid=2440] ppid=2434 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2440/stat : 2440 (toysat) S 2434 2437 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36695105 1344868352 99528 33554432000 4194304 16246674 140734613950160 140228849290416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5073 s]
/proc/loadavg: 2.00 2.02 1.97 3/185 2441
/proc/meminfo: memFree=30006380/32872528 swapFree=8804/8804
[pid=2437] ppid=2434 vsize=1317444 CPUtime=25.49 cores=0,2,4,6
/proc/2437/stat : 2437 (toysat) R 2434 2437 832 0 -1 4202496 133874 0 0 0 2531 18 0 0 20 0 4 0 36695105 1349062656 134181 33554432000 4194304 16246674 140734613950160 140734613932032 6694953 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2437/statm: 329361 134181 843 2943 0 326255 0
[pid=2437/tid=2438] ppid=2434 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2438/stat : 2438 (toysat) S 2434 2437 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36695105 1349062656 134181 33554432000 4194304 16246674 140734613950160 140228870253808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2437/tid=2439] ppid=2434 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2439/stat : 2439 (toysat) S 2434 2437 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36695105 1349062656 134181 33554432000 4194304 16246674 140734613950160 140228859763952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2437/tid=2440] ppid=2434 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2440/stat : 2440 (toysat) S 2434 2437 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36695105 1349062656 134181 33554432000 4194304 16246674 140734613950160 140228849290416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1317444

[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 1.97 3/184 2441
/proc/meminfo: memFree=29677356/32872528 swapFree=8804/8804
[pid=2437] ppid=2434 vsize=1323588 CPUtime=51.08 cores=0,2,4,6
/proc/2437/stat : 2437 (toysat) R 2434 2437 832 0 -1 4202496 215808 0 0 0 5079 29 0 0 20 0 4 0 36695105 1355354112 216115 33554432000 4194304 16246674 140734613950160 140734613932032 13817068 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2437/statm: 330897 216115 843 2943 0 327791 0
[pid=2437/tid=2438] ppid=2434 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2438/stat : 2438 (toysat) S 2434 2437 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36695105 1355354112 216115 33554432000 4194304 16246674 140734613950160 140228870253808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2437/tid=2439] ppid=2434 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2439/stat : 2439 (toysat) S 2434 2437 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36695105 1355354112 216115 33554432000 4194304 16246674 140734613950160 140228859763952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2437/tid=2440] ppid=2434 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2440/stat : 2440 (toysat) S 2434 2437 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36695105 1355354112 216115 33554432000 4194304 16246674 140734613950160 140228849290416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1323588

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/185 2443
/proc/meminfo: memFree=29448476/32872528 swapFree=8804/8804
[pid=2437] ppid=2434 vsize=1327684 CPUtime=102.27 cores=0,2,4,6
/proc/2437/stat : 2437 (toysat) R 2434 2437 832 0 -1 4202496 273044 0 0 0 10189 38 0 0 20 0 4 0 36695105 1359548416 273351 33554432000 4194304 16246674 140734613950160 140734613932032 13807582 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2437/statm: 331921 273351 843 2943 0 328815 0
[pid=2437/tid=2438] ppid=2434 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2438/stat : 2438 (toysat) S 2434 2437 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36695105 1359548416 273351 33554432000 4194304 16246674 140734613950160 140228870253808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2437/tid=2439] ppid=2434 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2439/stat : 2439 (toysat) S 2434 2437 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36695105 1359548416 273351 33554432000 4194304 16246674 140734613950160 140228859763952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2437/tid=2440] ppid=2434 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2440/stat : 2440 (toysat) S 2434 2437 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36695105 1359548416 273351 33554432000 4194304 16246674 140734613950160 140228849290416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1327684


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


[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 2527
/proc/meminfo: memFree=15985268/32872528 swapFree=8804/8804
[pid=2437] ppid=2434 vsize=13523524 CPUtime=1422.02 cores=0,2,4,6
/proc/2437/stat : 2437 (toysat) R 2434 2437 832 0 -1 4202496 3322059 0 0 0 141631 571 0 0 20 0 4 0 36695105 13848088576 3322320 33554432000 4194304 16246674 140734613950160 140734613948096 4220543 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2437/statm: 3380881 3322320 845 2943 0 3377775 0
[pid=2437/tid=2438] ppid=2434 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2438/stat : 2438 (toysat) S 2434 2437 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36695105 13848088576 3322320 33554432000 4194304 16246674 140734613950160 140228870253808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2437/tid=2439] ppid=2434 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2439/stat : 2439 (toysat) S 2434 2437 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36695105 13848088576 3322320 33554432000 4194304 16246674 140734613950160 140228859763728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2437/tid=2440] ppid=2434 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2440/stat : 2440 (toysat) S 2434 2437 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36695105 13848088576 3322320 33554432000 4194304 16246674 140734613950160 140228849290416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 13523524

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 2528
/proc/meminfo: memFree=15985176/32872528 swapFree=8804/8804
[pid=2437] ppid=2434 vsize=13523524 CPUtime=1482.02 cores=0,2,4,6
/proc/2437/stat : 2437 (toysat) R 2434 2437 832 0 -1 4202496 3322063 0 0 0 147628 574 0 0 20 0 4 0 36695105 13848088576 3322324 33554432000 4194304 16246674 140734613950160 140734613932032 13807598 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2437/statm: 3380881 3322324 849 2943 0 3377775 0
[pid=2437/tid=2438] ppid=2434 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2438/stat : 2438 (toysat) S 2434 2437 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36695105 13848088576 3322324 33554432000 4194304 16246674 140734613950160 140228870253808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2437/tid=2439] ppid=2434 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2439/stat : 2439 (toysat) S 2434 2437 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36695105 13848088576 3322324 33554432000 4194304 16246674 140734613950160 140228859763952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2437/tid=2440] ppid=2434 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2440/stat : 2440 (toysat) S 2434 2437 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36695105 13848088576 3322324 33554432000 4194304 16246674 140734613950160 140228849290416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 13523524

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 2529
/proc/meminfo: memFree=15985200/32872528 swapFree=8804/8804
[pid=2437] ppid=2434 vsize=13523524 CPUtime=1542.02 cores=0,2,4,6
/proc/2437/stat : 2437 (toysat) R 2434 2437 832 0 -1 4202496 3322063 0 0 0 153621 581 0 0 20 0 4 0 36695105 13848088576 3322324 33554432000 4194304 16246674 140734613950160 140734613949336 6171060 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2437/statm: 3380881 3322324 849 2943 0 3377775 0
[pid=2437/tid=2438] ppid=2434 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2438/stat : 2438 (toysat) S 2434 2437 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36695105 13848088576 3322324 33554432000 4194304 16246674 140734613950160 140228870253808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2437/tid=2439] ppid=2434 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2439/stat : 2439 (toysat) S 2434 2437 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36695105 13848088576 3322324 33554432000 4194304 16246674 140734613950160 140228859763952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2437/tid=2440] ppid=2434 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2440/stat : 2440 (toysat) S 2434 2437 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36695105 13848088576 3322324 33554432000 4194304 16246674 140734613950160 140228849290416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 13523524

[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/185 2531
/proc/meminfo: memFree=15984852/32872528 swapFree=8804/8804
[pid=2437] ppid=2434 vsize=13523524 CPUtime=1602 cores=0,2,4,6
/proc/2437/stat : 2437 (toysat) R 2434 2437 832 0 -1 4202496 3322063 0 0 0 159615 585 0 0 20 0 4 0 36695105 13848088576 3322324 33554432000 4194304 16246674 140734613950160 140734613949336 6132712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2437/statm: 3380881 3322324 849 2943 0 3377775 0
[pid=2437/tid=2438] ppid=2434 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2438/stat : 2438 (toysat) S 2434 2437 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36695105 13848088576 3322324 33554432000 4194304 16246674 140734613950160 140228870253808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2437/tid=2439] ppid=2434 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2439/stat : 2439 (toysat) S 2434 2437 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36695105 13848088576 3322324 33554432000 4194304 16246674 140734613950160 140228859763952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2437/tid=2440] ppid=2434 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2440/stat : 2440 (toysat) S 2434 2437 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36695105 13848088576 3322324 33554432000 4194304 16246674 140734613950160 140228849290416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 13523524

[startup+1662.31 s]
/proc/loadavg: 2.06 2.03 2.00 3/185 2532
/proc/meminfo: memFree=15984752/32872528 swapFree=8804/8804
[pid=2437] ppid=2434 vsize=13523524 CPUtime=1661.99 cores=0,2,4,6
/proc/2437/stat : 2437 (toysat) R 2434 2437 832 0 -1 4202496 3322067 0 0 0 165608 591 0 0 20 0 4 0 36695105 13848088576 3322324 33554432000 4194304 16246674 140734613950160 140734613949336 6132605 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2437/statm: 3380881 3322324 849 2943 0 3377775 0
[pid=2437/tid=2438] ppid=2434 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2438/stat : 2438 (toysat) S 2434 2437 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36695105 13848088576 3322324 33554432000 4194304 16246674 140734613950160 140228870253808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2437/tid=2439] ppid=2434 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2439/stat : 2439 (toysat) S 2434 2437 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36695105 13848088576 3322324 33554432000 4194304 16246674 140734613950160 140228859763952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2437/tid=2440] ppid=2434 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2440/stat : 2440 (toysat) S 2434 2437 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36695105 13848088576 3322324 33554432000 4194304 16246674 140734613950160 140228849290416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 13523524

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/185 2533
/proc/meminfo: memFree=15984772/32872528 swapFree=8804/8804
[pid=2437] ppid=2434 vsize=13523524 CPUtime=1721.98 cores=0,2,4,6
/proc/2437/stat : 2437 (toysat) R 2434 2437 832 0 -1 4202496 3322071 0 0 0 171601 597 0 0 20 0 4 0 36695105 13848088576 3322324 33554432000 4194304 16246674 140734613950160 140734613949336 13820120 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2437/statm: 3380881 3322324 849 2943 0 3377775 0
[pid=2437/tid=2438] ppid=2434 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2438/stat : 2438 (toysat) S 2434 2437 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36695105 13848088576 3322324 33554432000 4194304 16246674 140734613950160 140228870253808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2437/tid=2439] ppid=2434 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2439/stat : 2439 (toysat) S 2434 2437 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36695105 13848088576 3322324 33554432000 4194304 16246674 140734613950160 140228859763952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2437/tid=2440] ppid=2434 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2440/stat : 2440 (toysat) S 2434 2437 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36695105 13848088576 3322324 33554432000 4194304 16246674 140734613950160 140228849290416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 13523524

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/185 2534
/proc/meminfo: memFree=15984520/32872528 swapFree=8804/8804
[pid=2437] ppid=2434 vsize=13523524 CPUtime=1781.97 cores=0,2,4,6
/proc/2437/stat : 2437 (toysat) R 2434 2437 832 0 -1 4202496 3322072 0 0 0 177595 602 0 0 20 0 4 0 36695105 13848088576 3322324 33554432000 4194304 16246674 140734613950160 140734613949336 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2437/statm: 3380881 3322324 849 2943 0 3377775 0
[pid=2437/tid=2438] ppid=2434 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2438/stat : 2438 (toysat) S 2434 2437 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36695105 13848088576 3322324 33554432000 4194304 16246674 140734613950160 140228870253808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2437/tid=2439] ppid=2434 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2439/stat : 2439 (toysat) S 2434 2437 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36695105 13848088576 3322324 33554432000 4194304 16246674 140734613950160 140228859763952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2437/tid=2440] ppid=2434 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2440/stat : 2440 (toysat) S 2434 2437 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36695105 13848088576 3322324 33554432000 4194304 16246674 140734613950160 140228849290416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 13523524



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.10 2.04 2.00 3/185 2535
/proc/meminfo: memFree=15984616/32872528 swapFree=8804/8804
[pid=2437] ppid=2434 vsize=13523524 CPUtime=1800.06 cores=0,2,4,6
/proc/2437/stat : 2437 (toysat) R 2434 2437 832 0 -1 4202496 3322073 0 0 0 179403 603 0 0 20 0 4 0 36695105 13848088576 3322324 33554432000 4194304 16246674 140734613950160 140734613949336 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2437/statm: 3380881 3322324 849 2943 0 3377775 0
[pid=2437/tid=2438] ppid=2434 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2438/stat : 2438 (toysat) S 2434 2437 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36695105 13848088576 3322324 33554432000 4194304 16246674 140734613950160 140228870253808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2437/tid=2439] ppid=2434 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2439/stat : 2439 (toysat) S 2434 2437 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36695105 13848088576 3322324 33554432000 4194304 16246674 140734613950160 140228859763952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2437/tid=2440] ppid=2434 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/2437/task/2440/stat : 2440 (toysat) S 2434 2437 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36695105 13848088576 3322324 33554432000 4194304 16246674 140734613950160 140228849290416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13523524

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

[startup+1800.5 s]
/proc/loadavg: 2.10 2.04 2.00 3/185 2535
/proc/meminfo: memFree=15984616/32872528 swapFree=8804/8804
[pid=2437] ppid=2434 vsize=0 CPUtime=1800.17 cores=0,2,4,6
/proc/2437/stat : 2437 (toysat) Z 2434 2437 832 0 -1 4203532 3322073 0 0 0 179404 613 0 0 20 0 2 0 36695105 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2437/statm: 0 0 0 0 0 0 0
[pid=2437/tid=2439] ppid=2434 vsize=0 CPUtime=0.09 cores=0,2,4,6
/proc/2437/task/2439/stat : 2439 (toysat) R 2434 2437 832 0 -1 4203588 8 0 0 0 0 9 0 0 20 0 2 0 36695105 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

[startup+1800.91 s]
/proc/loadavg: 2.10 2.04 2.00 3/183 2535
/proc/meminfo: memFree=24690552/32872528 swapFree=8804/8804
[pid=2437] ppid=2434 vsize=0 CPUtime=1800.58 cores=0,2,4,6
/proc/2437/stat : 2437 (toysat) Z 2434 2437 832 0 -1 4203532 3322073 0 0 0 179404 654 0 0 20 0 2 0 36695105 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2437/statm: 0 0 0 0 0 0 0
[pid=2437/tid=2439] ppid=2434 vsize=0 CPUtime=0.49 cores=0,2,4,6
/proc/2437/task/2439/stat : 2439 (toysat) R 2434 2437 832 0 -1 4203588 8 0 0 0 0 49 0 0 20 0 2 0 36695105 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.58
Current children cumulated vsize (KiB) 0

[startup+1801 s]
/proc/loadavg: 2.10 2.04 2.00 3/183 2535
/proc/meminfo: memFree=24690552/32872528 swapFree=8804/8804
[pid=2437] ppid=2434 vsize=0 CPUtime=1800.67 cores=0,2,4,6
/proc/2437/stat : 2437 (toysat) Z 2434 2437 832 0 -1 4203532 3322073 0 0 0 179404 663 0 0 20 0 2 0 36695105 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2437/statm: 0 0 0 0 0 0 0
[pid=2437/tid=2439] ppid=2434 vsize=0 CPUtime=0.58 cores=0,2,4,6
/proc/2437/task/2439/stat : 2439 (toysat) R 2434 2437 832 0 -1 4203588 8 0 0 0 0 58 0 0 20 0 2 0 36695105 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.67
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.09
CPU time (s): 1800.76
CPU user time (s): 1794.04
CPU system time (s): 6.71898
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 13523524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.04
system time used= 6.71898
maximum resident set size= 13289296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3322073
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= 121
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5913 second user time and 6.88795 second system time

The end

Launcher Data 

Begin job on node133 at 2016-06-19 16:28:12
IDJOB=4110574
IDBENCH=79525
IDSOLVER=2553
FILE ID=node133/4110574-1466346492
RUNJOBID= node133-1466341813-848
PBS_JOBID= 19922020
Free space on /tmp= 71700 MiB

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

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

MD5SUM BENCH= 832b6d889e2e04fac8730ab9437bdddf
RANDOM SEED=2034385685

node133.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30541996 kB
Buffers:          167196 kB
Cached:           324972 kB
SwapCached:         1408 kB
Active:          1235568 kB
Inactive:         343584 kB
Active(anon):    1087392 kB
Inactive(anon):     2060 kB
Active(file):     148176 kB
Inactive(file):   341524 kB
Unevictable:        8804 kB
Mlocked:            8804 kB
SwapTotal:      67108856 kB
SwapFree:       67100048 kB
Dirty:             16348 kB
Writeback:             0 kB
AnonPages:       1094648 kB
Mapped:            11996 kB
Shmem:                 0 kB
Slab:             610900 kB
SReclaimable:      54308 kB
SUnreclaim:       556592 kB
KernelStack:        1512 kB
PageTables:         5864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1240044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1077248 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 node133 at 2016-06-19 16:58:13