Trace number 4093278

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.63 1800.97

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap64_wcsp.wbo
MD5SUMeea9483bb210b3ae31db150f2467fbf7
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark12213731
Best CPU time to get the best result obtained on this benchmark1800.02
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 58368026
Min constraint cost 1
Max constraint cost 58368026
Sum of constraints costs 47051030826
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-16T18:41:29+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-4093278-1466095289.wbo"]
0.00/0.01	c use --random-gen="4191975355 2256872055 1328692945 3357551925 1153719817 1340999979 2858838289 573760423 3064449859 1449883890 347596865 396677083 1572525313 3953132916 1148763841 639386969 892553673 3045474273 145820533 1887022776 542897506 52304705 1479255193 1302591807 3660114594 3763461414 1417375588 1923371876 1172779966 4156228301 227904339 1648751352 3893666595 154643336 778540128 1136373114 3981064650 3448425379 832464034 730234604 2546830400 3025446046 222057868 132380218 3643902974 1248642768 2264005268 667770400 3513911408 881030296 3581677488 2238107824 3443370732 3167704124 4052383072 2984351641 537964812 718888438 951543580 3664928341 4140324791 1872772250 2443170153 3115116272 990884895 85981778 4078115951 3265473151 2067710470 4197142770 2161253643 3632215093 134532850 395474241 2582170645 4059562312 2645910822 3334052690 758619155 4241618681 3600360742 3016633215 4142518605 352279148 278554079 2372931138 2240153110 2266947177 707069709 2048960587 2622455508 1190139635 95198280 1716261654 3526264622 910953060 149671111 3178644475 2771623205 2264904635 859801610 2003541967 896599989 2005498440 43601715 2274915132 4145548843 3865600889 4166277018 2675667148 1512524722 2469470441 2977422904 2775619296 2397633221 347033583 2056567342 2743030101 1172179460 2755489814 239051405 417503984 1886956527 2441731330 1801612554 1567080716 2495373637 1448752511 555664990 1348445405 4126878006 1529390913 2720556516 74355999 2249943130 2853877082 845590591 2419385827 1447208096 2265152589 93254148 286126737 768333333 3087494642 1563391672 1121394187 926133426 3122704636 1052007198 25215029 368229900 2367980813 991116951 1644381670 3531427152 2000891666 1450377325 2804854441 1499936066 2069090302 557793814 1444728083 3968289558 3589909190 2058756964 236607512 2359226754 3471313705 3966243442 2046582749 2336166222 363781896 4190482778 2452618871 3072953241 1316879907 592043872 379908997 3716361797 1635823009 4050857033 1472732537 2647141170 1426462454 887971496 1979799775 3884695304 863049944 2127055844 866551517 2672979917 2097304554 3594900227 3907633694 3579014203 2661926470 1799788120 1743617157 1654500991 3663892362 2103536132 837356677 2765312102 1458413212 1059492418 3643251741 2006382334 486990287 4093599580 3376847380 3158140125 954779640 2615994716 92165961 4171806788 3653986922 191386390 922272221 169966944 1942064516 3184833689 103424294 426035900 4198840509 4130092700 1059673189 2707819447 1875703690 539009774 2912924210 98263662 901266553 841960081 83660706 1855795932 1663918608 2892661200 46920258 523912198 3542425390 4068029875 1454005407 1117296470 1612213010 84401199 51898190 3251054958 1283781620 476326140 3598742040 1242590999 4065247161 957917006 6961272 3405729610 396081639 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-4093278-1466095289/watcher-4093278-1466095289 -o /tmp/evaluation-result-4093278-1466095289/solver-4093278-1466095289 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466075295-13239 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093278-1466095289.wbo 

pid=17191
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.09 2.17 2.17 3/179 17194
/proc/meminfo: memFree=29966216/32872528 swapFree=876280/941688
[pid=17194] ppid=17191 vsize=707004 CPUtime=0 cores=1,3,5,7
/proc/17194/stat : 17194 (toysat) R 17191 17194 7213 0 -1 4202496 2635 0 0 0 0 0 0 0 20 0 4 0 11577827 723972096 2995 33554432000 4194304 16246674 140735666780864 140735666779800 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17194/statm: 177519 3004 441 2943 0 174413 0
[pid=17194/tid=17195] ppid=17191 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17195/stat : 17195 (toysat) S 17191 17194 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11577827 741797888 3063 33554432000 4194304 16246674 140735666780864 140191331233008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17194/tid=17196] ppid=17191 vsize=729532 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17196/stat : 17196 (toysat) S 17191 17194 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11577827 747040768 3079 33554432000 4194304 16246674 140735666780864 140191320743152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17194/tid=17197] ppid=17191 vsize=733628 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17197/stat : 17197 (toysat) S 17191 17194 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11577827 751235072 3096 33554432000 4194304 16246674 140735666780864 140191310269616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.09 2.17 2.17 3/179 17194
/proc/meminfo: memFree=29966216/32872528 swapFree=876280/941688
[pid=17194] ppid=17191 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/17194/stat : 17194 (toysat) R 17191 17194 7213 0 -1 4202496 23734 0 0 0 5 4 0 0 20 0 4 0 11577827 1250496512 24041 33554432000 4194304 16246674 140735666780864 140735666780176 13923665 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17194/statm: 305297 24041 844 2943 0 302191 0
[pid=17194/tid=17195] ppid=17191 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17195/stat : 17195 (toysat) S 17191 17194 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11577827 1250496512 24041 33554432000 4194304 16246674 140735666780864 140191331233008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17194/tid=17196] ppid=17191 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17196/stat : 17196 (toysat) S 17191 17194 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11577827 1250496512 24041 33554432000 4194304 16246674 140735666780864 140191320743152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17194/tid=17197] ppid=17191 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17197/stat : 17197 (toysat) S 17191 17194 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11577827 1250496512 24041 33554432000 4194304 16246674 140735666780864 140191310269616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200527 s]
/proc/loadavg: 2.09 2.17 2.17 3/179 17194
/proc/meminfo: memFree=29966216/32872528 swapFree=876280/941688
[pid=17194] ppid=17191 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/17194/stat : 17194 (toysat) R 17191 17194 7213 0 -1 4202496 23959 0 0 0 15 4 0 0 20 0 4 0 11577827 1250496512 24266 33554432000 4194304 16246674 140735666780864 140735666780176 4220936 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17194/statm: 305297 24266 844 2943 0 302191 0
[pid=17194/tid=17195] ppid=17191 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17195/stat : 17195 (toysat) S 17191 17194 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11577827 1250496512 24266 33554432000 4194304 16246674 140735666780864 140191331233008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17194/tid=17196] ppid=17191 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17196/stat : 17196 (toysat) S 17191 17194 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11577827 1250496512 24266 33554432000 4194304 16246674 140735666780864 140191320743152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17194/tid=17197] ppid=17191 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17197/stat : 17197 (toysat) S 17191 17194 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11577827 1250496512 24266 33554432000 4194304 16246674 140735666780864 140191310269616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300455 s]
/proc/loadavg: 2.09 2.17 2.17 3/179 17194
/proc/meminfo: memFree=29966216/32872528 swapFree=876280/941688
[pid=17194] ppid=17191 vsize=1303108 CPUtime=0.29 cores=1,3,5,7
/proc/17194/stat : 17194 (toysat) R 17191 17194 7213 0 -1 4202496 30364 0 0 0 24 5 0 0 20 0 4 0 11577827 1334382592 30671 33554432000 4194304 16246674 140735666780864 140735666780176 6195017 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17194/statm: 325777 30673 844 2943 0 322671 0
[pid=17194/tid=17195] ppid=17191 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17195/stat : 17195 (toysat) S 17191 17194 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11577827 1334382592 30673 33554432000 4194304 16246674 140735666780864 140191331233008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17194/tid=17196] ppid=17191 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17196/stat : 17196 (toysat) S 17191 17194 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11577827 1334382592 30674 33554432000 4194304 16246674 140735666780864 140191320743152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17194/tid=17197] ppid=17191 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17197/stat : 17197 (toysat) S 17191 17194 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11577827 1334382592 30675 33554432000 4194304 16246674 140735666780864 140191310269616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1303108

[startup+0.700429 s]
/proc/loadavg: 2.09 2.17 2.17 3/179 17194
/proc/meminfo: memFree=29966216/32872528 swapFree=876280/941688
[pid=17194] ppid=17191 vsize=1307204 CPUtime=0.69 cores=1,3,5,7
/proc/17194/stat : 17194 (toysat) R 17191 17194 7213 0 -1 4202496 37946 0 0 0 62 7 0 0 20 0 4 0 11577827 1338576896 38253 33554432000 4194304 16246674 140735666780864 140735666762752 6139196 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17194/statm: 326801 38253 844 2943 0 323695 0
[pid=17194/tid=17195] ppid=17191 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17195/stat : 17195 (toysat) S 17191 17194 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11577827 1338576896 38253 33554432000 4194304 16246674 140735666780864 140191331233008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17194/tid=17196] ppid=17191 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17196/stat : 17196 (toysat) S 17191 17194 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11577827 1338576896 38253 33554432000 4194304 16246674 140735666780864 140191320743152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17194/tid=17197] ppid=17191 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17197/stat : 17197 (toysat) S 17191 17194 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11577827 1338576896 38253 33554432000 4194304 16246674 140735666780864 140191310269616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.5004 s]
/proc/loadavg: 2.09 2.17 2.17 3/183 17198
/proc/meminfo: memFree=29784900/32872528 swapFree=876280/941688
[pid=17194] ppid=17191 vsize=1307204 CPUtime=1.48 cores=1,3,5,7
/proc/17194/stat : 17194 (toysat) R 17191 17194 7213 0 -1 4202496 45393 0 0 0 141 7 0 0 20 0 4 0 11577827 1338576896 45700 33554432000 4194304 16246674 140735666780864 140735666762752 12480974 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17194/statm: 326801 45700 844 2943 0 323695 0
[pid=17194/tid=17195] ppid=17191 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17195/stat : 17195 (toysat) S 17191 17194 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11577827 1338576896 45700 33554432000 4194304 16246674 140735666780864 140191331233008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17194/tid=17196] ppid=17191 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17196/stat : 17196 (toysat) S 17191 17194 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11577827 1338576896 45700 33554432000 4194304 16246674 140735666780864 140191320743152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17194/tid=17197] ppid=17191 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17197/stat : 17197 (toysat) S 17191 17194 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11577827 1338576896 45700 33554432000 4194304 16246674 140735666780864 140191310269616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1307204

[startup+3.10042 s]
/proc/loadavg: 2.09 2.17 2.17 3/183 17198
/proc/meminfo: memFree=29782916/32872528 swapFree=876280/941688
[pid=17194] ppid=17191 vsize=1309252 CPUtime=3.09 cores=1,3,5,7
/proc/17194/stat : 17194 (toysat) R 17191 17194 7213 0 -1 4202496 49169 0 0 0 301 8 0 0 20 0 4 0 11577827 1340674048 49476 33554432000 4194304 16246674 140735666780864 140735666762752 13811854 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17194/statm: 327313 49476 844 2943 0 324207 0
[pid=17194/tid=17195] ppid=17191 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17195/stat : 17195 (toysat) S 17191 17194 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11577827 1340674048 49476 33554432000 4194304 16246674 140735666780864 140191331233008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17194/tid=17196] ppid=17191 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17196/stat : 17196 (toysat) S 17191 17194 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11577827 1340674048 49476 33554432000 4194304 16246674 140735666780864 140191320743152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17194/tid=17197] ppid=17191 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17197/stat : 17197 (toysat) S 17191 17194 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11577827 1340674048 49476 33554432000 4194304 16246674 140735666780864 140191310269616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1309252

[startup+6.30041 s]
/proc/loadavg: 2.08 2.17 2.17 3/183 17198
/proc/meminfo: memFree=29623048/32872528 swapFree=876280/941688
[pid=17194] ppid=17191 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/17194/stat : 17194 (toysat) R 17191 17194 7213 0 -1 4202496 99223 0 0 0 614 15 0 0 20 0 4 0 11577827 1344868352 99530 33554432000 4194304 16246674 140735666780864 140735666762752 12481138 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17194/statm: 328337 99530 844 2943 0 325231 0
[pid=17194/tid=17195] ppid=17191 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17195/stat : 17195 (toysat) S 17191 17194 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11577827 1344868352 99530 33554432000 4194304 16246674 140735666780864 140191331233008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17194/tid=17196] ppid=17191 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17196/stat : 17196 (toysat) S 17191 17194 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11577827 1344868352 99530 33554432000 4194304 16246674 140735666780864 140191320743152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17194/tid=17197] ppid=17191 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17197/stat : 17197 (toysat) S 17191 17194 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11577827 1344868352 99530 33554432000 4194304 16246674 140735666780864 140191310269616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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.08 2.16 2.16 3/183 17198
/proc/meminfo: memFree=29568260/32872528 swapFree=876280/941688
[pid=17194] ppid=17191 vsize=1313348 CPUtime=12.68 cores=1,3,5,7
/proc/17194/stat : 17194 (toysat) R 17191 17194 7213 0 -1 4202496 99223 0 0 0 1253 15 0 0 20 0 4 0 11577827 1344868352 99530 33554432000 4194304 16246674 140735666780864 140735666762752 12079408 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17194/statm: 328337 99530 844 2943 0 325231 0
[pid=17194/tid=17195] ppid=17191 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17195/stat : 17195 (toysat) S 17191 17194 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11577827 1344868352 99530 33554432000 4194304 16246674 140735666780864 140191331233008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17194/tid=17196] ppid=17191 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17196/stat : 17196 (toysat) S 17191 17194 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11577827 1344868352 99530 33554432000 4194304 16246674 140735666780864 140191320743152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17194/tid=17197] ppid=17191 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17197/stat : 17197 (toysat) S 17191 17194 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11577827 1344868352 99530 33554432000 4194304 16246674 140735666780864 140191310269616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.14 2.17 2.17 3/183 17198
/proc/meminfo: memFree=29424012/32872528 swapFree=876280/941688
[pid=17194] ppid=17191 vsize=1317444 CPUtime=25.48 cores=1,3,5,7
/proc/17194/stat : 17194 (toysat) R 17191 17194 7213 0 -1 4202496 133878 0 0 0 2528 20 0 0 20 0 4 0 11577827 1349062656 135540 33554432000 4194304 16246674 140735666780864 140735666762752 13817016 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17194/statm: 329361 135540 844 2943 0 326255 0
[pid=17194/tid=17195] ppid=17191 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17195/stat : 17195 (toysat) S 17191 17194 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11577827 1349062656 135540 33554432000 4194304 16246674 140735666780864 140191331233008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17194/tid=17196] ppid=17191 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17196/stat : 17196 (toysat) S 17191 17194 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11577827 1349062656 135540 33554432000 4194304 16246674 140735666780864 140191320743152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17194/tid=17197] ppid=17191 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17197/stat : 17197 (toysat) S 17191 17194 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11577827 1349062656 135540 33554432000 4194304 16246674 140735666780864 140191310269616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1317444

[startup+51.1005 s]
/proc/loadavg: 2.15 2.17 2.17 4/183 17198
/proc/meminfo: memFree=29047756/32872528 swapFree=876280/941688
[pid=17194] ppid=17191 vsize=1323588 CPUtime=51.08 cores=1,3,5,7
/proc/17194/stat : 17194 (toysat) R 17191 17194 7213 0 -1 4202496 216230 0 0 0 5076 32 0 0 20 0 4 0 11577827 1355354112 229988 33554432000 4194304 16246674 140735666780864 140735666762752 12459048 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17194/statm: 330897 229992 844 2943 0 327791 0
[pid=17194/tid=17195] ppid=17191 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17195/stat : 17195 (toysat) S 17191 17194 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11577827 1355354112 229995 33554432000 4194304 16246674 140735666780864 140191331233008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17194/tid=17196] ppid=17191 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17196/stat : 17196 (toysat) S 17191 17194 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11577827 1355354112 230001 33554432000 4194304 16246674 140735666780864 140191320743152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17194/tid=17197] ppid=17191 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17197/stat : 17197 (toysat) S 17191 17194 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11577827 1355354112 230003 33554432000 4194304 16246674 140735666780864 140191310269616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1323588

[startup+102.301 s]
/proc/loadavg: 2.13 2.16 2.16 3/183 17199
/proc/meminfo: memFree=28872232/32872528 swapFree=876280/941688
[pid=17194] ppid=17191 vsize=1327684 CPUtime=102.27 cores=1,3,5,7
/proc/17194/stat : 17194 (toysat) R 17191 17194 7213 0 -1 4202496 251542 0 0 0 10190 37 0 0 20 0 4 0 11577827 1359548416 273356 33554432000 4194304 16246674 140735666780864 140735666762752 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17194/statm: 331921 273356 844 2943 0 328815 0
[pid=17194/tid=17195] ppid=17191 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17195/stat : 17195 (toysat) S 17191 17194 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11577827 1359548416 273356 33554432000 4194304 16246674 140735666780864 140191331233008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17194/tid=17196] ppid=17191 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17196/stat : 17196 (toysat) S 17191 17194 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11577827 1359548416 273356 33554432000 4194304 16246674 140735666780864 140191320743152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17194/tid=17197] ppid=17191 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17197/stat : 17197 (toysat) S 17191 17194 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11577827 1359548416 273356 33554432000 4194304 16246674 140735666780864 140191310269616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1327684


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

[pid=17194] ppid=17191 vsize=13524548 CPUtime=1362.02 cores=1,3,5,7
/proc/17194/stat : 17194 (toysat) R 17191 17194 7213 0 -1 4202496 3300836 0 0 0 135634 568 0 0 20 0 4 0 11577827 13849137152 3322577 33554432000 4194304 16246674 140735666780864 140735666780040 13807696 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17194/statm: 3381137 3322577 845 2943 0 3378031 0
[pid=17194/tid=17195] ppid=17191 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17195/stat : 17195 (toysat) S 17191 17194 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11577827 13849137152 3322577 33554432000 4194304 16246674 140735666780864 140191331233008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17194/tid=17196] ppid=17191 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17196/stat : 17196 (toysat) S 17191 17194 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11577827 13849137152 3322577 33554432000 4194304 16246674 140735666780864 140191320743152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17194/tid=17197] ppid=17191 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17197/stat : 17197 (toysat) S 17191 17194 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11577827 13849137152 3322577 33554432000 4194304 16246674 140735666780864 140191310269616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 13524548

[startup+1422.3 s]
/proc/loadavg: 2.12 2.14 2.09 3/183 17302
/proc/meminfo: memFree=4426600/32872528 swapFree=876280/941688
[pid=17194] ppid=17191 vsize=13524548 CPUtime=1422.03 cores=1,3,5,7
/proc/17194/stat : 17194 (toysat) R 17191 17194 7213 0 -1 4202496 3300836 0 0 0 141628 575 0 0 20 0 4 0 11577827 13849137152 3322577 33554432000 4194304 16246674 140735666780864 140735666778816 4220543 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17194/statm: 3381137 3322577 845 2943 0 3378031 0
[pid=17194/tid=17195] ppid=17191 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17195/stat : 17195 (toysat) S 17191 17194 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11577827 13849137152 3322577 33554432000 4194304 16246674 140735666780864 140191331233008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17194/tid=17196] ppid=17191 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17196/stat : 17196 (toysat) S 17191 17194 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11577827 13849137152 3322577 33554432000 4194304 16246674 140735666780864 140191320742928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17194/tid=17197] ppid=17191 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17197/stat : 17197 (toysat) S 17191 17194 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11577827 13849137152 3322577 33554432000 4194304 16246674 140735666780864 140191310269616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 13524548

[startup+1482.3 s]
/proc/loadavg: 2.15 2.15 2.10 3/183 17304
/proc/meminfo: memFree=4426516/32872528 swapFree=876280/941688
[pid=17194] ppid=17191 vsize=13524548 CPUtime=1482.01 cores=1,3,5,7
/proc/17194/stat : 17194 (toysat) R 17191 17194 7213 0 -1 4202496 3300840 0 0 0 147622 579 0 0 20 0 4 0 11577827 13849137152 3322581 33554432000 4194304 16246674 140735666780864 140735666780040 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17194/statm: 3381137 3322581 849 2943 0 3378031 0
[pid=17194/tid=17195] ppid=17191 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17195/stat : 17195 (toysat) S 17191 17194 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11577827 13849137152 3322581 33554432000 4194304 16246674 140735666780864 140191331233008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17194/tid=17196] ppid=17191 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17196/stat : 17196 (toysat) S 17191 17194 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11577827 13849137152 3322581 33554432000 4194304 16246674 140735666780864 140191320743152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17194/tid=17197] ppid=17191 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17197/stat : 17197 (toysat) S 17191 17194 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11577827 13849137152 3322581 33554432000 4194304 16246674 140735666780864 140191310269616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 13524548

[startup+1542.31 s]
/proc/loadavg: 2.20 2.17 2.10 3/183 17305
/proc/meminfo: memFree=4426428/32872528 swapFree=876280/941688
[pid=17194] ppid=17191 vsize=13524548 CPUtime=1542.01 cores=1,3,5,7
/proc/17194/stat : 17194 (toysat) R 17191 17194 7213 0 -1 4202496 3300840 0 0 0 153618 583 0 0 20 0 4 0 11577827 13849137152 3322581 33554432000 4194304 16246674 140735666780864 140735666780040 13807758 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17194/statm: 3381137 3322581 849 2943 0 3378031 0
[pid=17194/tid=17195] ppid=17191 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17195/stat : 17195 (toysat) S 17191 17194 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11577827 13849137152 3322581 33554432000 4194304 16246674 140735666780864 140191331233008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17194/tid=17196] ppid=17191 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17196/stat : 17196 (toysat) S 17191 17194 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11577827 13849137152 3322581 33554432000 4194304 16246674 140735666780864 140191320743152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17194/tid=17197] ppid=17191 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17197/stat : 17197 (toysat) S 17191 17194 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11577827 13849137152 3322581 33554432000 4194304 16246674 140735666780864 140191310269616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 13524548

[startup+1602.3 s]
/proc/loadavg: 2.18 2.16 2.10 3/183 17306
/proc/meminfo: memFree=4426572/32872528 swapFree=876280/941688
[pid=17194] ppid=17191 vsize=13524548 CPUtime=1601.99 cores=1,3,5,7
/proc/17194/stat : 17194 (toysat) R 17191 17194 7213 0 -1 4202496 3300840 0 0 0 159611 588 0 0 20 0 4 0 11577827 13849137152 3322581 33554432000 4194304 16246674 140735666780864 140735666780040 13817064 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17194/statm: 3381137 3322581 849 2943 0 3378031 0
[pid=17194/tid=17195] ppid=17191 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17195/stat : 17195 (toysat) S 17191 17194 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11577827 13849137152 3322581 33554432000 4194304 16246674 140735666780864 140191331233008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17194/tid=17196] ppid=17191 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17196/stat : 17196 (toysat) S 17191 17194 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11577827 13849137152 3322581 33554432000 4194304 16246674 140735666780864 140191320743152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17194/tid=17197] ppid=17191 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17197/stat : 17197 (toysat) S 17191 17194 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11577827 13849137152 3322581 33554432000 4194304 16246674 140735666780864 140191310269616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 13524548

[startup+1662.3 s]
/proc/loadavg: 2.17 2.16 2.10 3/183 17307
/proc/meminfo: memFree=4426856/32872528 swapFree=876280/941688
[pid=17194] ppid=17191 vsize=13524548 CPUtime=1661.99 cores=1,3,5,7
/proc/17194/stat : 17194 (toysat) R 17191 17194 7213 0 -1 4202496 3300840 0 0 0 165606 593 0 0 20 0 4 0 11577827 13849137152 3322581 33554432000 4194304 16246674 140735666780864 140735666780040 13809242 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17194/statm: 3381137 3322581 849 2943 0 3378031 0
[pid=17194/tid=17195] ppid=17191 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17195/stat : 17195 (toysat) S 17191 17194 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11577827 13849137152 3322581 33554432000 4194304 16246674 140735666780864 140191331233008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17194/tid=17196] ppid=17191 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17196/stat : 17196 (toysat) S 17191 17194 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11577827 13849137152 3322581 33554432000 4194304 16246674 140735666780864 140191320743152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17194/tid=17197] ppid=17191 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17197/stat : 17197 (toysat) S 17191 17194 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11577827 13849137152 3322581 33554432000 4194304 16246674 140735666780864 140191310269616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 13524548

[startup+1722.3 s]
/proc/loadavg: 2.22 2.18 2.10 3/184 17311
/proc/meminfo: memFree=4426452/32872528 swapFree=876280/941688
[pid=17194] ppid=17191 vsize=13524548 CPUtime=1721.97 cores=1,3,5,7
/proc/17194/stat : 17194 (toysat) R 17191 17194 7213 0 -1 4202496 3300840 0 0 0 171601 596 0 0 20 0 4 0 11577827 13849137152 3322581 33554432000 4194304 16246674 140735666780864 140735666780040 13874640 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17194/statm: 3381137 3322581 849 2943 0 3378031 0
[pid=17194/tid=17195] ppid=17191 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17195/stat : 17195 (toysat) S 17191 17194 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11577827 13849137152 3322581 33554432000 4194304 16246674 140735666780864 140191331233008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17194/tid=17196] ppid=17191 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17196/stat : 17196 (toysat) S 17191 17194 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11577827 13849137152 3322581 33554432000 4194304 16246674 140735666780864 140191320743152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17194/tid=17197] ppid=17191 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17197/stat : 17197 (toysat) S 17191 17194 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11577827 13849137152 3322581 33554432000 4194304 16246674 140735666780864 140191310269616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 13524548

[startup+1782.3 s]
/proc/loadavg: 2.13 2.16 2.10 3/183 17313
/proc/meminfo: memFree=4426564/32872528 swapFree=876280/941688
[pid=17194] ppid=17191 vsize=13524548 CPUtime=1781.96 cores=1,3,5,7
/proc/17194/stat : 17194 (toysat) R 17191 17194 7213 0 -1 4202496 3300840 0 0 0 177595 601 0 0 20 0 4 0 11577827 13849137152 3322581 33554432000 4194304 16246674 140735666780864 140735666780040 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17194/statm: 3381137 3322581 849 2943 0 3378031 0
[pid=17194/tid=17195] ppid=17191 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17195/stat : 17195 (toysat) S 17191 17194 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11577827 13849137152 3322581 33554432000 4194304 16246674 140735666780864 140191331233008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17194/tid=17196] ppid=17191 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17196/stat : 17196 (toysat) S 17191 17194 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11577827 13849137152 3322581 33554432000 4194304 16246674 140735666780864 140191320743152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17194/tid=17197] ppid=17191 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17197/stat : 17197 (toysat) S 17191 17194 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11577827 13849137152 3322581 33554432000 4194304 16246674 140735666780864 140191310269616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 13524548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.10 2.15 2.10 3/183 17314
/proc/meminfo: memFree=4426420/32872528 swapFree=876280/941688
[pid=17194] ppid=17191 vsize=13524548 CPUtime=1800.07 cores=1,3,5,7
/proc/17194/stat : 17194 (toysat) R 17191 17194 7213 0 -1 4202496 3300840 0 0 0 179404 603 0 0 20 0 4 0 11577827 13849137152 3322581 33554432000 4194304 16246674 140735666780864 140735666780040 6132712 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17194/statm: 3381137 3322581 849 2943 0 3378031 0
[pid=17194/tid=17195] ppid=17191 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17195/stat : 17195 (toysat) S 17191 17194 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11577827 13849137152 3322581 33554432000 4194304 16246674 140735666780864 140191331233008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17194/tid=17196] ppid=17191 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17196/stat : 17196 (toysat) S 17191 17194 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11577827 13849137152 3322581 33554432000 4194304 16246674 140735666780864 140191320743152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17194/tid=17197] ppid=17191 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/17194/task/17197/stat : 17197 (toysat) S 17191 17194 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11577827 13849137152 3322581 33554432000 4194304 16246674 140735666780864 140191310269616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13524548

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

[startup+1800.81 s]
/proc/loadavg: 2.09 2.15 2.09 4/181 17314
/proc/meminfo: memFree=12698944/32872528 swapFree=876280/941688
[pid=17194] ppid=17191 vsize=0 CPUtime=1800.47 cores=1,3,5,7
/proc/17194/stat : 17194 (toysat) Z 17191 17194 7213 0 -1 4203532 3300840 0 0 0 179404 643 0 0 20 0 2 0 11577827 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17194/statm: 0 0 0 0 0 0 0
[pid=17194/tid=17196] ppid=17191 vsize=0 CPUtime=0.39 cores=1,3,5,7
/proc/17194/task/17196/stat : 17196 (toysat) R 17191 17194 7213 0 -1 4203588 8 0 0 0 0 39 0 0 20 0 2 0 11577827 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.47
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 2.09 2.15 2.09 4/181 17314
/proc/meminfo: memFree=12698944/32872528 swapFree=876280/941688
[pid=17194] ppid=17191 vsize=0 CPUtime=1800.56 cores=1,3,5,7
/proc/17194/stat : 17194 (toysat) Z 17191 17194 7213 0 -1 4203532 3300840 0 0 0 179404 652 0 0 20 0 2 0 11577827 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17194/statm: 0 0 0 0 0 0 0
[pid=17194/tid=17196] ppid=17191 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/17194/task/17196/stat : 17196 (toysat) R 17191 17194 7213 0 -1 4203588 8 0 0 0 0 48 0 0 20 0 2 0 11577827 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.56
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.97
CPU time (s): 1800.63
CPU user time (s): 1794.04
CPU system time (s): 6.589
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 13524548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.04
system time used= 6.589
maximum resident set size= 13290324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3300840
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= 145
involuntary context switches= 1861

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.69129 second user time and 6.77797 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-16 18:41:29
IDJOB=4093278
IDBENCH=79499
IDSOLVER=2553
FILE ID=node113/4093278-1466095289
RUNJOBID= node113-1466075295-13239
PBS_JOBID= 19904023
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= eea9483bb210b3ae31db150f2467fbf7
RANDOM SEED=135757563

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29966480 kB
Buffers:           54076 kB
Cached:           116080 kB
SwapCached:         2160 kB
Active:          1176124 kB
Inactive:          85332 kB
Active(anon):    1091924 kB
Inactive(anon):     1612 kB
Active(file):      84200 kB
Inactive(file):    83720 kB
Unevictable:      941688 kB
Mlocked:          876280 kB
SwapTotal:      67108856 kB
SwapFree:       67098740 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       2003468 kB
Mapped:            10684 kB
Shmem:                 0 kB
Slab:             568680 kB
SReclaimable:      12920 kB
SUnreclaim:       555760 kB
KernelStack:        1520 kB
PageTables:         8044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2177316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1120256 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= 71708 MiB
End job on node113 at 2016-06-16 19:11:30