Trace number 4093263

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.74 1801.02

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap101_wcsp.wbo
MD5SUM82056375080d1ec55a672c8d47702d0f
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark15079894
Best CPU time to get the best result obtained on this benchmark1800.06
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1300
Total number of constraints2598
Number of soft constraints2523
Number of constraints which are clauses2523
Number of constraints which are cardinality constraints (but not clauses)75
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint25
Top cost 59386724
Min constraint cost 1
Max constraint cost 59386724
Sum of constraints costs 74836280126
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
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-30T00:58:45+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-4093263-1467241125.wbo"]
0.00/0.01	c use --random-gen="2308812189 618994114 692492490 1221419959 3174159420 3685552845 2625606886 2984441804 4197833380 2149880326 657455691 954330759 641492096 290195414 1969102296 1071715114 4040566358 1584624703 238281717 581085249 3947233428 2720402866 3721231945 2104315658 3210666456 1763146707 1813965836 3517881678 444112640 1379147181 3617905340 1212232544 2666747765 4133755025 3422988994 4226826722 611089634 3371371989 989181545 2432414096 3894402333 1436911800 3871958883 4248895010 1338614457 4054906354 2482431869 2339261445 215901416 2456458849 1008351009 2363238087 3985513945 416877737 2625014801 1330423075 498244594 1366562614 429389159 1081436369 3556230136 1692487853 3318299372 2909362896 375721182 3079972548 1858375529 432135083 293146884 319704525 3949978603 1557896074 3597802369 1729233327 229358918 3643205547 2496157188 725077364 2863066732 3817283763 1182267886 2320077290 714117278 3927110717 2006262382 1378436772 2973682777 860320023 1059870492 2585866393 1306170657 1250321654 4151696025 1892267506 895367735 2962837045 815938394 249369790 2884471420 134987410 1732485923 772647281 1618026486 2071897510 3636527546 3873172266 47078197 2234425685 1746044067 766359952 1409943976 3375563529 3196325992 687329572 2178073661 1067140074 2966244353 107103966 862659205 3785795866 1856423597 170503693 2050426163 3475252624 1825239361 512822975 810901061 2529032593 399762746 4023019261 926585443 2833079840 2345302620 646843593 2607775274 1039135110 2378747027 4238247920 2355067386 155121020 1168491025 2372970237 2617087498 2671406443 935530610 2272328780 3783771498 181347144 476935400 1532330482 545928594 1880887580 2999445077 3762140936 3803338890 25533142 3053031220 3969682258 3360029481 871851075 4092936676 3280062688 4055414234 886574650 2447690756 2199120214 1717591922 344884784 2732987326 2942561559 3353768768 2013544581 1816622945 1879151699 3578444112 799668382 1252887083 2632290735 2791980271 2864660062 3285703599 838570318 1381994289 3481892370 1205530798 445249784 1653080195 4190195435 2108847202 2388340006 2679486634 2284153894 934686199 1575962307 2980772607 3476918178 134926289 2443679683 1411840777 3879233450 2239922821 2005537977 475087445 407951611 1969514389 1433710915 1263202527 1138741487 3620842521 1605127722 1539962116 3159332872 1982547658 3224789861 3563536422 2798486511 1058405964 688302384 1941639892 1287376418 1998224387 4049135399 2365847716 2985153300 4230595685 2465823555 270282977 4146807044 1429751953 657655184 3970273326 1426517258 3902835213 2711903422 25194495 1596793549 2898914624 2233420711 3026719586 4238728700 23011669 637634378 4181134856 432975914 3577904758 2792689876 1134662379 2638052821 4030605768 3252799183 4245450479 2405977896 674566762 1217177335 3434496140 2491665280 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-4093263-1467241125/watcher-4093263-1467241125 -o /tmp/evaluation-result-4093263-1467241125/solver-4093263-1467241125 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1467241125-11479 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093263-1467241125.wbo 

pid=11500
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.23 2.74 3.44 3/172 11505
/proc/meminfo: memFree=26721292/32872528 swapFree=1268996/1432516
[pid=11505] ppid=11500 vsize=601532 CPUtime=0 cores=0,2,4,6
/proc/11505/stat : 11505 (toysat) R 11500 11505 5003 0 -1 4202496 2225 0 0 0 0 0 0 0 20 0 4 0 5067585 615968768 2585 33554432000 4194304 16246674 140734207005744 140734207005168 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11505/statm: 151151 2595 441 2943 0 148045 0
[pid=11505/tid=11512] ppid=11500 vsize=619964 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11512/stat : 11512 (toysat) S 11500 11505 5003 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5067585 634843136 2654 33554432000 4194304 16246674 140734207005744 139755624836336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11505/tid=11513] ppid=11500 vsize=624060 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11513/stat : 11513 (toysat) S 11500 11505 5003 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5067585 639037440 2672 33554432000 4194304 16246674 140734207005744 139755614346480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11505/tid=11514] ppid=11500 vsize=628156 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11514/stat : 11514 (toysat) S 11500 11505 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5067585 643231744 2689 33554432000 4194304 16246674 140734207005744 139755603872944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.10021 s]
/proc/loadavg: 2.23 2.74 3.44 3/172 11505
/proc/meminfo: memFree=26721292/32872528 swapFree=1268996/1432516
[pid=11505] ppid=11500 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/11505/stat : 11505 (toysat) R 11500 11505 5003 0 -1 4202496 26733 0 0 0 5 4 0 0 20 0 4 0 5067585 1247350784 27086 33554432000 4194304 16246674 140734207005744 140734207005168 6167089 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11505/statm: 304529 27094 614 2943 0 301423 0
[pid=11505/tid=11512] ppid=11500 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11512/stat : 11512 (toysat) S 11500 11505 5003 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5067585 1247350784 27101 33554432000 4194304 16246674 140734207005744 139755624836336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11505/tid=11513] ppid=11500 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11513/stat : 11513 (toysat) S 11500 11505 5003 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5067585 1247350784 27108 33554432000 4194304 16246674 140734207005744 139755614346480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11505/tid=11514] ppid=11500 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11514/stat : 11514 (toysat) S 11500 11505 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5067585 1247350784 27114 33554432000 4194304 16246674 140734207005744 139755603872944 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) 1218116

[startup+0.200492 s]
/proc/loadavg: 2.23 2.74 3.44 3/172 11505
/proc/meminfo: memFree=26721292/32872528 swapFree=1268996/1432516
[pid=11505] ppid=11500 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/11505/stat : 11505 (toysat) R 11500 11505 5003 0 -1 4202496 28779 0 0 0 15 4 0 0 20 0 4 0 5067585 1250496512 29086 33554432000 4194304 16246674 140734207005744 140734207005056 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11505/statm: 305297 29086 841 2943 0 302191 0
[pid=11505/tid=11512] ppid=11500 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11512/stat : 11512 (toysat) S 11500 11505 5003 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5067585 1250496512 29086 33554432000 4194304 16246674 140734207005744 139755624836336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11505/tid=11513] ppid=11500 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11513/stat : 11513 (toysat) S 11500 11505 5003 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5067585 1250496512 29086 33554432000 4194304 16246674 140734207005744 139755614346480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11505/tid=11514] ppid=11500 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11514/stat : 11514 (toysat) S 11500 11505 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5067585 1250496512 29086 33554432000 4194304 16246674 140734207005744 139755603872944 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) 1221188

[startup+0.300466 s]
/proc/loadavg: 2.23 2.74 3.44 3/172 11505
/proc/meminfo: memFree=26721292/32872528 swapFree=1268996/1432516
[pid=11505] ppid=11500 vsize=1221188 CPUtime=0.29 cores=0,2,4,6
/proc/11505/stat : 11505 (toysat) R 11500 11505 5003 0 -1 4202496 28779 0 0 0 25 4 0 0 20 0 4 0 5067585 1250496512 29086 33554432000 4194304 16246674 140734207005744 140734207005056 13923765 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11505/statm: 305297 29086 841 2943 0 302191 0
[pid=11505/tid=11512] ppid=11500 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11512/stat : 11512 (toysat) S 11500 11505 5003 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5067585 1250496512 29086 33554432000 4194304 16246674 140734207005744 139755624836336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11505/tid=11513] ppid=11500 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11513/stat : 11513 (toysat) S 11500 11505 5003 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5067585 1250496512 29086 33554432000 4194304 16246674 140734207005744 139755614346480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11505/tid=11514] ppid=11500 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11514/stat : 11514 (toysat) S 11500 11505 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5067585 1250496512 29086 33554432000 4194304 16246674 140734207005744 139755603872944 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) 1221188

[startup+0.700377 s]
/proc/loadavg: 2.23 2.74 3.44 3/172 11505
/proc/meminfo: memFree=26721292/32872528 swapFree=1268996/1432516
[pid=11505] ppid=11500 vsize=1221188 CPUtime=0.69 cores=0,2,4,6
/proc/11505/stat : 11505 (toysat) R 11500 11505 5003 0 -1 4202496 29378 0 0 0 65 4 0 0 20 0 4 0 5067585 1250496512 29685 33554432000 4194304 16246674 140734207005744 140734207005056 6197796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11505/statm: 305297 29686 841 2943 0 302191 0
[pid=11505/tid=11512] ppid=11500 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11512/stat : 11512 (toysat) S 11500 11505 5003 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5067585 1250496512 29686 33554432000 4194304 16246674 140734207005744 139755624836336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11505/tid=11513] ppid=11500 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11513/stat : 11513 (toysat) S 11500 11505 5003 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5067585 1250496512 29686 33554432000 4194304 16246674 140734207005744 139755614346480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11505/tid=11514] ppid=11500 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11514/stat : 11514 (toysat) S 11500 11505 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5067585 1250496512 29686 33554432000 4194304 16246674 140734207005744 139755603872944 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) 1221188

[startup+1.50038 s]
/proc/loadavg: 2.23 2.74 3.44 3/183 11516
/proc/meminfo: memFree=26406984/32872528 swapFree=1268996/1432516
[pid=11505] ppid=11500 vsize=1221188 CPUtime=1.49 cores=0,2,4,6
/proc/11505/stat : 11505 (toysat) R 11500 11505 5003 0 -1 4202496 47404 0 0 0 142 7 0 0 20 0 4 0 5067585 1250496512 47711 33554432000 4194304 16246674 140734207005744 140734206987648 6197796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11505/statm: 305297 47711 841 2943 0 302191 0
[pid=11505/tid=11512] ppid=11500 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11512/stat : 11512 (toysat) S 11500 11505 5003 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5067585 1250496512 47711 33554432000 4194304 16246674 140734207005744 139755624836336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11505/tid=11513] ppid=11500 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11513/stat : 11513 (toysat) S 11500 11505 5003 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5067585 1250496512 47712 33554432000 4194304 16246674 140734207005744 139755614346480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11505/tid=11514] ppid=11500 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11514/stat : 11514 (toysat) S 11500 11505 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5067585 1250496512 47712 33554432000 4194304 16246674 140734207005744 139755603872944 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) 1221188

[startup+3.10039 s]
/proc/loadavg: 2.23 2.74 3.44 3/183 11516
/proc/meminfo: memFree=26202252/32872528 swapFree=1268996/1432516
[pid=11505] ppid=11500 vsize=1221188 CPUtime=3.09 cores=0,2,4,6
/proc/11505/stat : 11505 (toysat) R 11500 11505 5003 0 -1 4202496 90540 0 0 0 295 14 0 0 20 0 4 0 5067585 1250496512 90847 33554432000 4194304 16246674 140734207005744 140734206987648 13954914 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11505/statm: 305297 90857 841 2943 0 302191 0
[pid=11505/tid=11512] ppid=11500 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11512/stat : 11512 (toysat) S 11500 11505 5003 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5067585 1250496512 90859 33554432000 4194304 16246674 140734207005744 139755624836336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11505/tid=11513] ppid=11500 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11513/stat : 11513 (toysat) S 11500 11505 5003 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5067585 1250496512 90860 33554432000 4194304 16246674 140734207005744 139755614346480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11505/tid=11514] ppid=11500 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11514/stat : 11514 (toysat) S 11500 11505 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5067585 1250496512 90862 33554432000 4194304 16246674 140734207005744 139755603872944 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) 1221188

[startup+6.30039 s]
/proc/loadavg: 2.21 2.72 3.44 3/183 11516
/proc/meminfo: memFree=24901048/32872528 swapFree=1268996/1432516
[pid=11505] ppid=11500 vsize=1277508 CPUtime=6.29 cores=0,2,4,6
/proc/11505/stat : 11505 (toysat) R 11500 11505 5003 0 -1 4202496 260311 0 0 0 589 40 0 0 20 0 4 0 5067585 1308168192 260618 33554432000 4194304 16246674 140734207005744 140734207003584 12459078 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11505/statm: 319377 260618 841 2943 0 316271 0
[pid=11505/tid=11512] ppid=11500 vsize=1277508 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11512/stat : 11512 (toysat) S 11500 11505 5003 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5067585 1308168192 260618 33554432000 4194304 16246674 140734207005744 139755624836336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11505/tid=11513] ppid=11500 vsize=1277508 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11513/stat : 11513 (toysat) S 11500 11505 5003 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5067585 1308168192 260618 33554432000 4194304 16246674 140734207005744 139755614346480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11505/tid=11514] ppid=11500 vsize=1277508 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11514/stat : 11514 (toysat) S 11500 11505 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5067585 1308168192 260618 33554432000 4194304 16246674 140734207005744 139755603872944 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) 1277508

[startup+12.7004 s]
/proc/loadavg: 2.19 2.71 3.43 4/183 11516
/proc/meminfo: memFree=24575908/32872528 swapFree=1268996/1432516
[pid=11505] ppid=11500 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/11505/stat : 11505 (toysat) R 11500 11505 5003 0 -1 4202496 267924 0 0 0 1228 41 0 0 20 0 4 0 5067585 1338576896 268231 33554432000 4194304 16246674 140734207005744 140734206987648 13807774 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11505/statm: 326801 268231 841 2943 0 323695 0
[pid=11505/tid=11512] ppid=11500 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11512/stat : 11512 (toysat) S 11500 11505 5003 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5067585 1338576896 268231 33554432000 4194304 16246674 140734207005744 139755624836336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11505/tid=11513] ppid=11500 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11513/stat : 11513 (toysat) S 11500 11505 5003 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5067585 1338576896 268231 33554432000 4194304 16246674 140734207005744 139755614346480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11505/tid=11514] ppid=11500 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11514/stat : 11514 (toysat) S 11500 11505 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5067585 1338576896 268231 33554432000 4194304 16246674 140734207005744 139755603872944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5004 s]
/proc/loadavg: 2.15 2.68 3.40 4/183 11516
/proc/meminfo: memFree=24576696/32872528 swapFree=1268996/1432516
[pid=11505] ppid=11500 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/11505/stat : 11505 (toysat) R 11500 11505 5003 0 -1 4202496 267926 0 0 0 2508 41 0 0 20 0 4 0 5067585 1338576896 268233 33554432000 4194304 16246674 140734207005744 140734206987648 13809288 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11505/statm: 326801 268233 843 2943 0 323695 0
[pid=11505/tid=11512] ppid=11500 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11512/stat : 11512 (toysat) S 11500 11505 5003 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5067585 1338576896 268233 33554432000 4194304 16246674 140734207005744 139755624836336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11505/tid=11513] ppid=11500 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11513/stat : 11513 (toysat) S 11500 11505 5003 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5067585 1338576896 268233 33554432000 4194304 16246674 140734207005744 139755614346480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11505/tid=11514] ppid=11500 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11514/stat : 11514 (toysat) S 11500 11505 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5067585 1338576896 268233 33554432000 4194304 16246674 140734207005744 139755603872944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.10 2.62 3.37 3/183 11516
/proc/meminfo: memFree=24576680/32872528 swapFree=1268996/1432516
[pid=11505] ppid=11500 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/11505/stat : 11505 (toysat) R 11500 11505 5003 0 -1 4202496 267926 0 0 0 5067 41 0 0 20 0 4 0 5067585 1338576896 268233 33554432000 4194304 16246674 140734207005744 140734206987648 13955806 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11505/statm: 326801 268233 843 2943 0 323695 0
[pid=11505/tid=11512] ppid=11500 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11512/stat : 11512 (toysat) S 11500 11505 5003 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5067585 1338576896 268233 33554432000 4194304 16246674 140734207005744 139755624836336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11505/tid=11513] ppid=11500 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11513/stat : 11513 (toysat) S 11500 11505 5003 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5067585 1338576896 268233 33554432000 4194304 16246674 140734207005744 139755614346480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11505/tid=11514] ppid=11500 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11514/stat : 11514 (toysat) S 11500 11505 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5067585 1338576896 268233 33554432000 4194304 16246674 140734207005744 139755603872944 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) 1307204

[startup+102.3 s]
/proc/loadavg: 2.24 2.57 3.31 3/184 11520
/proc/meminfo: memFree=24576556/32872528 swapFree=1268996/1432516
[pid=11505] ppid=11500 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/11505/stat : 11505 (toysat) R 11500 11505 5003 0 -1 4202496 267926 0 0 0 10187 41 0 0 20 0 4 0 5067585 1338576896 268233 33554432000 4194304 16246674 140734207005744 140734206987648 13774200 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11505/statm: 326801 268233 843 2943 0 323695 0
[pid=11505/tid=11512] ppid=11500 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11512/stat : 11512 (toysat) S 11500 11505 5003 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5067585 1338576896 268233 33554432000 4194304 16246674 140734207005744 139755624836336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11505/tid=11513] ppid=11500 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11513/stat : 11513 (toysat) S 11500 11505 5003 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5067585 1338576896 268233 33554432000 4194304 16246674 140734207005744 139755614346480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11505/tid=11514] ppid=11500 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11514/stat : 11514 (toysat) S 11500 11505 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5067585 1338576896 268233 33554432000 4194304 16246674 140734207005744 139755603872944 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) 1307204


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

[pid=11505] ppid=11500 vsize=13327940 CPUtime=1362.08 cores=0,2,4,6
/proc/11505/stat : 11505 (toysat) R 11500 11505 5003 0 -1 4202496 3273116 0 0 0 135632 576 0 0 20 0 4 0 5067585 13647810560 3273423 33554432000 4194304 16246674 140734207005744 140734207004920 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11505/statm: 3331985 3273423 845 2943 0 3328879 0
[pid=11505/tid=11512] ppid=11500 vsize=13327940 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11512/stat : 11512 (toysat) S 11500 11505 5003 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5067585 13647810560 3273423 33554432000 4194304 16246674 140734207005744 139755624836336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11505/tid=11513] ppid=11500 vsize=13327940 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11513/stat : 11513 (toysat) S 11500 11505 5003 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5067585 13647810560 3273423 33554432000 4194304 16246674 140734207005744 139755614346480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11505/tid=11514] ppid=11500 vsize=13327940 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11514/stat : 11514 (toysat) S 11500 11505 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5067585 13647810560 3273423 33554432000 4194304 16246674 140734207005744 139755603872944 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) 13327940

[startup+1422.3 s]
/proc/loadavg: 2.16 2.22 2.47 3/183 11575
/proc/meminfo: memFree=3094564/32872528 swapFree=1268996/1432516
[pid=11505] ppid=11500 vsize=13327940 CPUtime=1422.08 cores=0,2,4,6
/proc/11505/stat : 11505 (toysat) R 11500 11505 5003 0 -1 4202496 3273116 0 0 0 141628 580 0 0 20 0 4 0 5067585 13647810560 3273423 33554432000 4194304 16246674 140734207005744 140734207004920 13950230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11505/statm: 3331985 3273423 845 2943 0 3328879 0
[pid=11505/tid=11512] ppid=11500 vsize=13327940 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11512/stat : 11512 (toysat) S 11500 11505 5003 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5067585 13647810560 3273423 33554432000 4194304 16246674 140734207005744 139755624836336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11505/tid=11513] ppid=11500 vsize=13327940 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11513/stat : 11513 (toysat) S 11500 11505 5003 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5067585 13647810560 3273423 33554432000 4194304 16246674 140734207005744 139755614346480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11505/tid=11514] ppid=11500 vsize=13327940 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11514/stat : 11514 (toysat) S 11500 11505 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5067585 13647810560 3273423 33554432000 4194304 16246674 140734207005744 139755603872944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 13327940

[startup+1482.3 s]
/proc/loadavg: 2.23 2.23 2.45 3/183 11576
/proc/meminfo: memFree=3094628/32872528 swapFree=1268996/1432516
[pid=11505] ppid=11500 vsize=13327940 CPUtime=1482.06 cores=0,2,4,6
/proc/11505/stat : 11505 (toysat) R 11500 11505 5003 0 -1 4202496 3273116 0 0 0 147622 584 0 0 20 0 4 0 5067585 13647810560 3273423 33554432000 4194304 16246674 140734207005744 140734207004840 13955814 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11505/statm: 3331985 3273423 845 2943 0 3328879 0
[pid=11505/tid=11512] ppid=11500 vsize=13327940 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11512/stat : 11512 (toysat) S 11500 11505 5003 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5067585 13647810560 3273423 33554432000 4194304 16246674 140734207005744 139755624836336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11505/tid=11513] ppid=11500 vsize=13327940 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11513/stat : 11513 (toysat) S 11500 11505 5003 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5067585 13647810560 3273423 33554432000 4194304 16246674 140734207005744 139755614346480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11505/tid=11514] ppid=11500 vsize=13327940 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11514/stat : 11514 (toysat) S 11500 11505 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5067585 13647810560 3273423 33554432000 4194304 16246674 140734207005744 139755603872944 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) 13327940

[startup+1542.31 s]
/proc/loadavg: 2.32 2.26 2.45 3/183 11578
/proc/meminfo: memFree=3094548/32872528 swapFree=1268996/1432516
[pid=11505] ppid=11500 vsize=13327940 CPUtime=1542.07 cores=0,2,4,6
/proc/11505/stat : 11505 (toysat) R 11500 11505 5003 0 -1 4202496 3273116 0 0 0 153618 589 0 0 20 0 4 0 5067585 13647810560 3273423 33554432000 4194304 16246674 140734207005744 140734207004920 6132539 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11505/statm: 3331985 3273423 845 2943 0 3328879 0
[pid=11505/tid=11512] ppid=11500 vsize=13327940 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11512/stat : 11512 (toysat) S 11500 11505 5003 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5067585 13647810560 3273423 33554432000 4194304 16246674 140734207005744 139755624836336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11505/tid=11513] ppid=11500 vsize=13327940 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11513/stat : 11513 (toysat) S 11500 11505 5003 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5067585 13647810560 3273423 33554432000 4194304 16246674 140734207005744 139755614346480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11505/tid=11514] ppid=11500 vsize=13327940 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11514/stat : 11514 (toysat) S 11500 11505 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5067585 13647810560 3273423 33554432000 4194304 16246674 140734207005744 139755603872944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.07
Current children cumulated vsize (KiB) 13327940

[startup+1602.3 s]
/proc/loadavg: 2.35 2.28 2.44 3/183 11579
/proc/meminfo: memFree=3094424/32872528 swapFree=1268996/1432516
[pid=11505] ppid=11500 vsize=13327940 CPUtime=1602.04 cores=0,2,4,6
/proc/11505/stat : 11505 (toysat) R 11500 11505 5003 0 -1 4202496 3273116 0 0 0 159611 593 0 0 20 0 4 0 5067585 13647810560 3273423 33554432000 4194304 16246674 140734207005744 140734207004920 13809242 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11505/statm: 3331985 3273423 845 2943 0 3328879 0
[pid=11505/tid=11512] ppid=11500 vsize=13327940 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11512/stat : 11512 (toysat) S 11500 11505 5003 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5067585 13647810560 3273423 33554432000 4194304 16246674 140734207005744 139755624836336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11505/tid=11513] ppid=11500 vsize=13327940 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11513/stat : 11513 (toysat) S 11500 11505 5003 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5067585 13647810560 3273423 33554432000 4194304 16246674 140734207005744 139755614346480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11505/tid=11514] ppid=11500 vsize=13327940 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11514/stat : 11514 (toysat) S 11500 11505 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5067585 13647810560 3273423 33554432000 4194304 16246674 140734207005744 139755603872944 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) 13327940

[startup+1662.3 s]
/proc/loadavg: 2.39 2.30 2.44 3/183 11580
/proc/meminfo: memFree=3095540/32872528 swapFree=1268996/1432516
[pid=11505] ppid=11500 vsize=13327940 CPUtime=1662.04 cores=0,2,4,6
/proc/11505/stat : 11505 (toysat) R 11500 11505 5003 0 -1 4202496 3273120 0 0 0 165606 598 0 0 20 0 4 0 5067585 13647810560 3273427 33554432000 4194304 16246674 140734207005744 140734207003712 14014015 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11505/statm: 3331985 3273427 849 2943 0 3328879 0
[pid=11505/tid=11512] ppid=11500 vsize=13327940 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11512/stat : 11512 (toysat) S 11500 11505 5003 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5067585 13647810560 3273427 33554432000 4194304 16246674 140734207005744 139755624836336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11505/tid=11513] ppid=11500 vsize=13327940 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11513/stat : 11513 (toysat) S 11500 11505 5003 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5067585 13647810560 3273427 33554432000 4194304 16246674 140734207005744 139755614346256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11505/tid=11514] ppid=11500 vsize=13327940 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11514/stat : 11514 (toysat) S 11500 11505 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5067585 13647810560 3273427 33554432000 4194304 16246674 140734207005744 139755603872944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 13327940

[startup+1722.3 s]
/proc/loadavg: 2.25 2.28 2.42 4/183 11581
/proc/meminfo: memFree=3095336/32872528 swapFree=1268996/1432516
[pid=11505] ppid=11500 vsize=13327940 CPUtime=1722.03 cores=0,2,4,6
/proc/11505/stat : 11505 (toysat) R 11500 11505 5003 0 -1 4202496 3273120 0 0 0 171601 602 0 0 20 0 4 0 5067585 13647810560 3273427 33554432000 4194304 16246674 140734207005744 140734207004920 13809288 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11505/statm: 3331985 3273427 849 2943 0 3328879 0
[pid=11505/tid=11512] ppid=11500 vsize=13327940 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11512/stat : 11512 (toysat) S 11500 11505 5003 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5067585 13647810560 3273427 33554432000 4194304 16246674 140734207005744 139755624836336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11505/tid=11513] ppid=11500 vsize=13327940 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11513/stat : 11513 (toysat) S 11500 11505 5003 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5067585 13647810560 3273427 33554432000 4194304 16246674 140734207005744 139755614346480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11505/tid=11514] ppid=11500 vsize=13327940 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11514/stat : 11514 (toysat) S 11500 11505 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5067585 13647810560 3273427 33554432000 4194304 16246674 140734207005744 139755603872944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 13327940

[startup+1782.3 s]
/proc/loadavg: 2.18 2.25 2.40 3/183 11582
/proc/meminfo: memFree=3095256/32872528 swapFree=1268996/1432516
[pid=11505] ppid=11500 vsize=13327940 CPUtime=1782.02 cores=0,2,4,6
/proc/11505/stat : 11505 (toysat) R 11500 11505 5003 0 -1 4202496 3273120 0 0 0 177596 606 0 0 20 0 4 0 5067585 13647810560 3273427 33554432000 4194304 16246674 140734207005744 140734207004920 13809392 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11505/statm: 3331985 3273427 849 2943 0 3328879 0
[pid=11505/tid=11512] ppid=11500 vsize=13327940 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11512/stat : 11512 (toysat) S 11500 11505 5003 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5067585 13647810560 3273427 33554432000 4194304 16246674 140734207005744 139755624836336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11505/tid=11513] ppid=11500 vsize=13327940 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11513/stat : 11513 (toysat) S 11500 11505 5003 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5067585 13647810560 3273427 33554432000 4194304 16246674 140734207005744 139755614346480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11505/tid=11514] ppid=11500 vsize=13327940 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11514/stat : 11514 (toysat) S 11500 11505 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5067585 13647810560 3273427 33554432000 4194304 16246674 140734207005744 139755603872944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 13327940



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.14 2.24 2.40 3/183 11582
/proc/meminfo: memFree=3095348/32872528 swapFree=1268996/1432516
[pid=11505] ppid=11500 vsize=13327940 CPUtime=1800.02 cores=0,2,4,6
/proc/11505/stat : 11505 (toysat) R 11500 11505 5003 0 -1 4202496 3273120 0 0 0 179395 607 0 0 20 0 4 0 5067585 13647810560 3273427 33554432000 4194304 16246674 140734207005744 140734207004920 13923665 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11505/statm: 3331985 3273427 849 2943 0 3328879 0
[pid=11505/tid=11512] ppid=11500 vsize=13327940 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11512/stat : 11512 (toysat) S 11500 11505 5003 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5067585 13647810560 3273427 33554432000 4194304 16246674 140734207005744 139755624836336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11505/tid=11513] ppid=11500 vsize=13327940 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11513/stat : 11513 (toysat) S 11500 11505 5003 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5067585 13647810560 3273427 33554432000 4194304 16246674 140734207005744 139755614346480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11505/tid=11514] ppid=11500 vsize=13327940 CPUtime=0 cores=0,2,4,6
/proc/11505/task/11514/stat : 11514 (toysat) S 11500 11505 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5067585 13647810560 3273427 33554432000 4194304 16246674 140734207005744 139755603872944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13327940

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

[startup+1800.81 s]
/proc/loadavg: 2.12 2.23 2.39 3/179 11582
/proc/meminfo: memFree=18578392/32872528 swapFree=1268996/1432516
[pid=11505] ppid=11500 vsize=0 CPUtime=1800.53 cores=0,2,4,6
/proc/11505/stat : 11505 (toysat) Z 11500 11505 5003 0 -1 4203532 3273120 0 0 0 179396 657 0 0 20 0 2 0 5067585 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11505/statm: 0 0 0 0 0 0 0
[pid=11505/tid=11513] ppid=11500 vsize=0 CPUtime=0.49 cores=0,2,4,6
/proc/11505/task/11513/stat : 11513 (toysat) R 11500 11505 5003 0 -1 4203588 8 0 0 0 0 49 0 0 20 0 2 0 5067585 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.53
Current children cumulated vsize (KiB) 0

[startup+1801 s]
/proc/loadavg: 2.12 2.23 2.39 3/179 11582
/proc/meminfo: memFree=18578392/32872528 swapFree=1268996/1432516
[pid=11505] ppid=11500 vsize=0 CPUtime=1800.72 cores=0,2,4,6
/proc/11505/stat : 11505 (toysat) Z 11500 11505 5003 0 -1 4203532 3273120 0 0 0 179396 676 0 0 20 0 2 0 5067585 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11505/statm: 0 0 0 0 0 0 0
[pid=11505/tid=11513] ppid=11500 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/11505/task/11513/stat : 11513 (toysat) R 11500 11505 5003 0 -1 4203588 8 0 0 0 0 68 0 0 20 0 2 0 5067585 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.72
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.02
CPU time (s): 1800.74
CPU user time (s): 1793.96
CPU system time (s): 6.77897
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 13327940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.96
system time used= 6.77897
maximum resident set size= 13093708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3273120
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= 47
involuntary context switches= 1883

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55631 second user time and 6.91195 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-30 00:58:45
IDJOB=4093263
IDBENCH=79520
IDSOLVER=2553
FILE ID=node130/4093263-1467241125
RUNJOBID= node130-1467241125-11479
PBS_JOBID= 19997578
Free space on /tmp= 71668 MiB

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

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

MD5SUM BENCH= 82056375080d1ec55a672c8d47702d0f
RANDOM SEED=317182560

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.813
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.813
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:        26721920 kB
Buffers:          145576 kB
Cached:          3804676 kB
SwapCached:            0 kB
Active:           537704 kB
Inactive:        3428776 kB
Active(anon):      19340 kB
Inactive(anon):        0 kB
Active(file):     518364 kB
Inactive(file):  3428776 kB
Unevictable:     1432516 kB
Mlocked:         1268996 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             33036 kB
Writeback:            76 kB
AnonPages:       1449384 kB
Mapped:            13848 kB
Shmem:               204 kB
Slab:             619224 kB
SReclaimable:      62868 kB
SUnreclaim:       556356 kB
KernelStack:        1400 kB
PageTables:         6676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1535108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    169984 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= 71636 MiB
End job on node130 at 2016-06-30 01:28:46