Trace number 4110570

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.68 1800.98

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap122_wcsp.wbo
MD5SUMf4b0099465ae664e0955235299f0c44e
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark20092634
Best CPU time to get the best result obtained on this benchmark1800.13
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2600
Total number of constraints5148
Number of soft constraints5048
Number of constraints which are clauses5048
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint50
Top cost 63756436
Min constraint cost 1
Max constraint cost 63756436
Sum of constraints costs 160674796300
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-19T16:27:23+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-4110570-1466346443.wbo"]
0.00/0.01	c use --random-gen="612885141 1106091753 634933632 1753114584 1067904858 3098400229 2781265948 4021152244 1289005217 4282241627 1010493429 3399524307 3063479682 4095423587 1757641362 701059656 2090374117 1168166728 2187138288 545869954 2721781981 3267788369 778334652 969372017 704509206 2093260483 418095567 1743448659 2029363661 1461982980 3746492791 2630931522 1366229126 2363809090 3589015504 3688777046 655786320 2168229674 3031579632 2869377508 813267537 3145474134 1785880530 124481061 659016006 4250762589 656754555 1458726572 2588695944 2376643409 472417236 3860562313 2877671513 1676086792 987254260 63599555 1227194309 554447601 1785401620 3831582157 3247369947 1409174368 725531112 4112155716 2003477971 762983814 3753942244 2551981273 630188350 2354258692 1322643295 3579322099 1623608922 2834350631 498140251 3609129895 793429543 36501796 2774390857 495584881 970757077 1213385441 503165882 419158189 96692716 3303066561 4097037335 1659552034 343209520 2961800380 4251923356 2199136881 2590278677 717224645 2257893564 3030183626 1179552805 3371236170 2470266914 3371220070 1358939801 1289738791 4001730677 1910438424 1187595165 1730798197 3997973327 1795436473 1754463107 787348666 3836042858 1717797542 3099383713 397078093 3964871526 502594238 923328183 211914822 3032074702 2534774455 466748559 2188583899 2470511518 3235679726 3543037594 1342308036 3719541921 1565085828 2404239319 807010475 3840064755 2128836894 2619430598 283918642 333865467 730344857 1670373451 2047964854 318883813 1609667517 1383526984 2093220923 2900692843 2931180031 1719667642 3287461512 3557146993 1932099432 3113781645 1695363353 838157605 1446305264 2453276070 2338420589 4288415315 2523022980 288370450 3029840218 2914294842 3981162345 2570994776 4017205329 4075105974 1178474124 4071208852 3995003300 2583281311 3378971034 3109777607 4035293955 2044846986 356957009 310968894 599132843 1167622714 1538175447 1904491426 1750879336 3954637770 2317712797 1195534840 4236285612 3259171160 2637706144 2670919575 3114866971 4186657138 4252690162 2213834504 91124506 3833628701 3589472266 3157911933 2149581598 410567904 2931809999 2626114257 602426472 4087072483 3762790616 2168333653 1377034997 2749472359 3811982566 2954235026 575080860 1420049020 634447333 243690221 3166940353 3869453815 2950256235 3380924771 3636423464 3630039078 1535675557 1664795147 1859362684 1935519819 2500414823 4184581930 1060091013 784025013 405787540 3745000021 1552032972 4034470160 1218376254 1368181349 1276205797 2631843559 3011233521 963590062 2442757382 3682014090 643544734 2831843403 3006427220 3426793656 2410270374 482648071 2307036963 1153797323 282027987 1137884505 3287637129 2272104773 1612660984 4033136872 2085695159 2365230262 2420272319 1866673509 2360684624 3683867242 2292947395 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-4110570-1466346443/watcher-4110570-1466346443 -o /tmp/evaluation-result-4110570-1466346443/solver-4110570-1466346443 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466341824-4862 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110570-1466346443.wbo 

pid=6340
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.10 2.07 2.01 3/179 6343
/proc/meminfo: memFree=26026088/32872528 swapFree=163656/177964
[pid=6343] ppid=6340 vsize=595388 CPUtime=0 cores=1,3,5,7
/proc/6343/stat : 6343 (toysat) R 6340 6343 4845 0 -1 4202496 2195 0 0 0 0 0 0 0 20 0 4 0 36694233 609677312 3067 33554432000 4194304 16246674 140737234767792 140737234767216 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6343/statm: 149359 3077 441 2943 0 146253 0
[pid=6343/tid=6344] ppid=6340 vsize=612796 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6344/stat : 6344 (toysat) S 6340 6343 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36694233 627503104 3137 33554432000 4194304 16246674 140737234767792 140107065568496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6343/tid=6345] ppid=6340 vsize=616892 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6345/stat : 6345 (toysat) S 6340 6343 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36694233 631697408 3153 33554432000 4194304 16246674 140737234767792 140107055078640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6343/tid=6346] ppid=6340 vsize=622012 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6346/stat : 6346 (toysat) S 6340 6343 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36694233 636940288 3171 33554432000 4194304 16246674 140737234767792 140106933464240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.10 2.07 2.01 3/179 6343
/proc/meminfo: memFree=26026088/32872528 swapFree=163656/177964
[pid=6343] ppid=6340 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/6343/stat : 6343 (toysat) R 6340 6343 4845 0 -1 4202496 21853 0 0 0 6 3 0 0 20 0 4 0 36694233 1249447936 22665 33554432000 4194304 16246674 140737234767792 140737234767104 12481124 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6343/statm: 305041 22674 829 2943 0 301935 0
[pid=6343/tid=6344] ppid=6340 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6344/stat : 6344 (toysat) S 6340 6343 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36694233 1249447936 22681 33554432000 4194304 16246674 140737234767792 140107065568496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6343/tid=6345] ppid=6340 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6345/stat : 6345 (toysat) S 6340 6343 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36694233 1249447936 22687 33554432000 4194304 16246674 140737234767792 140107055078640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6343/tid=6346] ppid=6340 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6346/stat : 6346 (toysat) S 6340 6343 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36694233 1249447936 22693 33554432000 4194304 16246674 140737234767792 140106933464240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200532 s]
/proc/loadavg: 2.10 2.07 2.01 3/179 6343
/proc/meminfo: memFree=26026088/32872528 swapFree=163656/177964
[pid=6343] ppid=6340 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/6343/stat : 6343 (toysat) R 6340 6343 4845 0 -1 4202496 42029 0 0 0 14 5 0 0 20 0 4 0 36694233 1249447936 42840 33554432000 4194304 16246674 140737234767792 140737234767104 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6343/statm: 305041 42840 834 2943 0 301935 0
[pid=6343/tid=6344] ppid=6340 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6344/stat : 6344 (toysat) S 6340 6343 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36694233 1250496512 42845 33554432000 4194304 16246674 140737234767792 140107065568496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6343/tid=6345] ppid=6340 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6345/stat : 6345 (toysat) S 6340 6343 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36694233 1250496512 42849 33554432000 4194304 16246674 140737234767792 140107055078640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6343/tid=6346] ppid=6340 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6346/stat : 6346 (toysat) S 6340 6343 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36694233 1250496512 42852 33554432000 4194304 16246674 140737234767792 140106933464240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300514 s]
/proc/loadavg: 2.10 2.07 2.01 3/179 6343
/proc/meminfo: memFree=26026088/32872528 swapFree=163656/177964
[pid=6343] ppid=6340 vsize=1307204 CPUtime=0.29 cores=1,3,5,7
/proc/6343/stat : 6343 (toysat) R 6340 6343 4845 0 -1 4202496 51085 0 0 0 22 7 0 0 20 0 4 0 36694233 1338576896 51896 33554432000 4194304 16246674 140737234767792 140737234767104 13923640 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6343/statm: 326801 51896 840 2943 0 323695 0
[pid=6343/tid=6344] ppid=6340 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6344/stat : 6344 (toysat) S 6340 6343 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36694233 1338576896 51896 33554432000 4194304 16246674 140737234767792 140107065568496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6343/tid=6345] ppid=6340 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6345/stat : 6345 (toysat) S 6340 6343 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36694233 1338576896 51896 33554432000 4194304 16246674 140737234767792 140107055078640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6343/tid=6346] ppid=6340 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6346/stat : 6346 (toysat) S 6340 6343 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36694233 1338576896 51896 33554432000 4194304 16246674 140737234767792 140106933464240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1307204

[startup+0.7004 s]
/proc/loadavg: 2.10 2.07 2.01 3/179 6343
/proc/meminfo: memFree=26026088/32872528 swapFree=163656/177964
[pid=6343] ppid=6340 vsize=1307204 CPUtime=0.69 cores=1,3,5,7
/proc/6343/stat : 6343 (toysat) R 6340 6343 4845 0 -1 4202496 51085 0 0 0 62 7 0 0 20 0 4 0 36694233 1338576896 51896 33554432000 4194304 16246674 140737234767792 140737234749696 6132432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6343/statm: 326801 51896 840 2943 0 323695 0
[pid=6343/tid=6344] ppid=6340 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6344/stat : 6344 (toysat) S 6340 6343 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36694233 1338576896 51896 33554432000 4194304 16246674 140737234767792 140107065568496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6343/tid=6345] ppid=6340 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6345/stat : 6345 (toysat) S 6340 6343 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36694233 1338576896 51896 33554432000 4194304 16246674 140737234767792 140107055078640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6343/tid=6346] ppid=6340 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6346/stat : 6346 (toysat) S 6340 6343 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36694233 1338576896 51896 33554432000 4194304 16246674 140737234767792 140106933464240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.50039 s]
/proc/loadavg: 2.09 2.07 2.00 3/183 6347
/proc/meminfo: memFree=25819452/32872528 swapFree=163656/177964
[pid=6343] ppid=6340 vsize=1307204 CPUtime=1.48 cores=1,3,5,7
/proc/6343/stat : 6343 (toysat) R 6340 6343 4845 0 -1 4202496 56182 0 0 0 141 7 0 0 20 0 4 0 36694233 1338576896 56993 33554432000 4194304 16246674 140737234767792 140737234749696 6132488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6343/statm: 326801 56993 840 2943 0 323695 0
[pid=6343/tid=6344] ppid=6340 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6344/stat : 6344 (toysat) S 6340 6343 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36694233 1338576896 56993 33554432000 4194304 16246674 140737234767792 140107065568496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6343/tid=6345] ppid=6340 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6345/stat : 6345 (toysat) S 6340 6343 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36694233 1338576896 56993 33554432000 4194304 16246674 140737234767792 140107055078640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6343/tid=6346] ppid=6340 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6346/stat : 6346 (toysat) S 6340 6343 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36694233 1338576896 56993 33554432000 4194304 16246674 140737234767792 140106933464240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1307204

[startup+3.10041 s]
/proc/loadavg: 2.09 2.07 2.00 3/183 6347
/proc/meminfo: memFree=25775804/32872528 swapFree=163656/177964
[pid=6343] ppid=6340 vsize=1307204 CPUtime=3.08 cores=1,3,5,7
/proc/6343/stat : 6343 (toysat) R 6340 6343 4845 0 -1 4202496 63777 0 0 0 300 8 0 0 20 0 4 0 36694233 1338576896 64588 33554432000 4194304 16246674 140737234767792 140737234749696 13807738 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6343/statm: 326801 64588 840 2943 0 323695 0
[pid=6343/tid=6344] ppid=6340 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6344/stat : 6344 (toysat) S 6340 6343 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36694233 1338576896 64588 33554432000 4194304 16246674 140737234767792 140107065568496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6343/tid=6345] ppid=6340 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6345/stat : 6345 (toysat) S 6340 6343 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36694233 1338576896 64588 33554432000 4194304 16246674 140737234767792 140107055078640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6343/tid=6346] ppid=6340 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6346/stat : 6346 (toysat) S 6340 6343 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36694233 1338576896 64588 33554432000 4194304 16246674 140737234767792 140106933464240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 2.09 2.07 2.00 3/183 6347
/proc/meminfo: memFree=25766060/32872528 swapFree=163656/177964
[pid=6343] ppid=6340 vsize=1308228 CPUtime=6.28 cores=1,3,5,7
/proc/6343/stat : 6343 (toysat) R 6340 6343 4845 0 -1 4202496 64094 0 0 0 620 8 0 0 20 0 4 0 36694233 1339625472 64905 33554432000 4194304 16246674 140737234767792 140737234766888 6132584 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6343/statm: 327057 64905 840 2943 0 323951 0
[pid=6343/tid=6344] ppid=6340 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6344/stat : 6344 (toysat) S 6340 6343 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36694233 1339625472 64905 33554432000 4194304 16246674 140737234767792 140107065568496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6343/tid=6345] ppid=6340 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6345/stat : 6345 (toysat) S 6340 6343 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36694233 1339625472 64905 33554432000 4194304 16246674 140737234767792 140107055078640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6343/tid=6346] ppid=6340 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6346/stat : 6346 (toysat) S 6340 6343 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36694233 1339625472 64905 33554432000 4194304 16246674 140737234767792 140106933464240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.08 2.06 2.00 3/183 6347
/proc/meminfo: memFree=25765472/32872528 swapFree=163656/177964
[pid=6343] ppid=6340 vsize=1309252 CPUtime=12.68 cores=1,3,5,7
/proc/6343/stat : 6343 (toysat) R 6340 6343 4845 0 -1 4202496 64352 0 0 0 1260 8 0 0 20 0 4 0 36694233 1340674048 65163 33554432000 4194304 16246674 140737234767792 140737234749696 13807730 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6343/statm: 327313 65163 842 2943 0 324207 0
[pid=6343/tid=6344] ppid=6340 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6344/stat : 6344 (toysat) S 6340 6343 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36694233 1340674048 65163 33554432000 4194304 16246674 140737234767792 140107065568496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6343/tid=6345] ppid=6340 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6345/stat : 6345 (toysat) S 6340 6343 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36694233 1340674048 65163 33554432000 4194304 16246674 140737234767792 140107055078640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6343/tid=6346] ppid=6340 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6346/stat : 6346 (toysat) S 6340 6343 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36694233 1340674048 65163 33554432000 4194304 16246674 140737234767792 140106933464240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1309252

[startup+25.5005 s]
/proc/loadavg: 2.14 2.08 2.01 3/183 6347
/proc/meminfo: memFree=25765324/32872528 swapFree=163656/177964
[pid=6343] ppid=6340 vsize=1310276 CPUtime=25.49 cores=1,3,5,7
/proc/6343/stat : 6343 (toysat) R 6340 6343 4845 0 -1 4202496 64608 0 0 0 2540 9 0 0 20 0 4 0 36694233 1341722624 65419 33554432000 4194304 16246674 140737234767792 140737234749696 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6343/statm: 327569 65419 842 2943 0 324463 0
[pid=6343/tid=6344] ppid=6340 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6344/stat : 6344 (toysat) S 6340 6343 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36694233 1341722624 65419 33554432000 4194304 16246674 140737234767792 140107065568496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6343/tid=6345] ppid=6340 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6345/stat : 6345 (toysat) S 6340 6343 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36694233 1341722624 65419 33554432000 4194304 16246674 140737234767792 140107055078640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6343/tid=6346] ppid=6340 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6346/stat : 6346 (toysat) S 6340 6343 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36694233 1341722624 65419 33554432000 4194304 16246674 140737234767792 140106933464240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1310276

[startup+51.1004 s]
/proc/loadavg: 2.09 2.07 2.01 3/183 6347
/proc/meminfo: memFree=25665564/32872528 swapFree=163656/177964
[pid=6343] ppid=6340 vsize=1311300 CPUtime=51.09 cores=1,3,5,7
/proc/6343/stat : 6343 (toysat) R 6340 6343 4845 0 -1 4202496 89200 0 0 0 5096 13 0 0 20 0 4 0 36694233 1342771200 90011 33554432000 4194304 16246674 140737234767792 140737234749696 6132521 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6343/statm: 327825 90011 842 2943 0 324719 0
[pid=6343/tid=6344] ppid=6340 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6344/stat : 6344 (toysat) S 6340 6343 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36694233 1342771200 90011 33554432000 4194304 16246674 140737234767792 140107065568496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6343/tid=6345] ppid=6340 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6345/stat : 6345 (toysat) S 6340 6343 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36694233 1342771200 90011 33554432000 4194304 16246674 140737234767792 140107055078640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6343/tid=6346] ppid=6340 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6346/stat : 6346 (toysat) S 6340 6343 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36694233 1342771200 90011 33554432000 4194304 16246674 140737234767792 140106933464240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1311300

[startup+102.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/183 6348
/proc/meminfo: memFree=23535040/32872528 swapFree=163656/177964
[pid=6343] ppid=6340 vsize=1312324 CPUtime=102.28 cores=1,3,5,7
/proc/6343/stat : 6343 (toysat) R 6340 6343 4845 0 -1 4202496 214757 0 0 0 10197 31 0 0 20 0 4 0 36694233 1343819776 215568 33554432000 4194304 16246674 140737234767792 140737234749696 13807608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6343/statm: 328081 215568 842 2943 0 324975 0
[pid=6343/tid=6344] ppid=6340 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6344/stat : 6344 (toysat) S 6340 6343 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36694233 1343819776 215568 33554432000 4194304 16246674 140737234767792 140107065568496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6343/tid=6345] ppid=6340 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6345/stat : 6345 (toysat) S 6340 6343 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36694233 1343819776 215568 33554432000 4194304 16246674 140737234767792 140107055078640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6343/tid=6346] ppid=6340 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6346/stat : 6346 (toysat) S 6340 6343 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36694233 1343819776 215568 33554432000 4194304 16246674 140737234767792 140106933464240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1312324


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

[pid=6343] ppid=6340 vsize=9439812 CPUtime=1362.07 cores=1,3,5,7
/proc/6343/stat : 6343 (toysat) R 6340 6343 4845 0 -1 4202496 2301090 0 0 0 135816 391 0 0 20 0 4 0 36694233 9666367488 2301893 33554432000 4194304 16246674 140737234767792 140737234749696 13807742 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6343/statm: 2359953 2301893 843 2943 0 2356847 0
[pid=6343/tid=6344] ppid=6340 vsize=9439812 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6344/stat : 6344 (toysat) S 6340 6343 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36694233 9666367488 2301893 33554432000 4194304 16246674 140737234767792 140107065568496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6343/tid=6345] ppid=6340 vsize=9439812 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6345/stat : 6345 (toysat) S 6340 6343 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36694233 9666367488 2301893 33554432000 4194304 16246674 140737234767792 140107055078640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6343/tid=6346] ppid=6340 vsize=9439812 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6346/stat : 6346 (toysat) S 6340 6343 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36694233 9666367488 2301893 33554432000 4194304 16246674 140737234767792 140106933464240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 9439812

[startup+1422.3 s]
/proc/loadavg: 1.00 1.33 1.68 2/173 6414
/proc/meminfo: memFree=22265892/32872528 swapFree=163656/177964
[pid=6343] ppid=6340 vsize=9439812 CPUtime=1422.07 cores=1,3,5,7
/proc/6343/stat : 6343 (toysat) R 6340 6343 4845 0 -1 4202496 2301091 0 0 0 141813 394 0 0 20 0 4 0 36694233 9666367488 2301893 33554432000 4194304 16246674 140737234767792 140737234766968 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6343/statm: 2359953 2301893 843 2943 0 2356847 0
[pid=6343/tid=6344] ppid=6340 vsize=9439812 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6344/stat : 6344 (toysat) S 6340 6343 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36694233 9666367488 2301893 33554432000 4194304 16246674 140737234767792 140107065568496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6343/tid=6345] ppid=6340 vsize=9439812 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6345/stat : 6345 (toysat) S 6340 6343 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36694233 9666367488 2301893 33554432000 4194304 16246674 140737234767792 140107055078640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6343/tid=6346] ppid=6340 vsize=9439812 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6346/stat : 6346 (toysat) S 6340 6343 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36694233 9666367488 2301893 33554432000 4194304 16246674 140737234767792 140106933464240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 9439812

[startup+1482.3 s]
/proc/loadavg: 1.00 1.26 1.63 2/173 6415
/proc/meminfo: memFree=22266344/32872528 swapFree=163656/177964
[pid=6343] ppid=6340 vsize=9439812 CPUtime=1482.05 cores=1,3,5,7
/proc/6343/stat : 6343 (toysat) R 6340 6343 4845 0 -1 4202496 2301094 0 0 0 147809 396 0 0 20 0 4 0 36694233 9666367488 2301893 33554432000 4194304 16246674 140737234767792 140737234749696 13774090 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6343/statm: 2359953 2301893 843 2943 0 2356847 0
[pid=6343/tid=6344] ppid=6340 vsize=9439812 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6344/stat : 6344 (toysat) S 6340 6343 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36694233 9666367488 2301893 33554432000 4194304 16246674 140737234767792 140107065568496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6343/tid=6345] ppid=6340 vsize=9439812 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6345/stat : 6345 (toysat) S 6340 6343 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36694233 9666367488 2301893 33554432000 4194304 16246674 140737234767792 140107055078640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6343/tid=6346] ppid=6340 vsize=9439812 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6346/stat : 6346 (toysat) S 6340 6343 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36694233 9666367488 2301893 33554432000 4194304 16246674 140737234767792 140106933464240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 9439812

[startup+1542.31 s]
/proc/loadavg: 1.00 1.21 1.59 2/173 6416
/proc/meminfo: memFree=19605024/32872528 swapFree=163656/177964
[pid=6343] ppid=6340 vsize=12096068 CPUtime=1542.04 cores=1,3,5,7
/proc/6343/stat : 6343 (toysat) R 6340 6343 4845 0 -1 4202496 2965155 0 0 0 153717 487 0 0 20 0 4 0 36694233 12386373632 2965952 33554432000 4194304 16246674 140737234767792 140737234749696 13809242 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6343/statm: 3024017 2965952 843 2943 0 3020911 0
[pid=6343/tid=6344] ppid=6340 vsize=12096068 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6344/stat : 6344 (toysat) S 6340 6343 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36694233 12386373632 2965952 33554432000 4194304 16246674 140737234767792 140107065568496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6343/tid=6345] ppid=6340 vsize=12096068 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6345/stat : 6345 (toysat) S 6340 6343 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36694233 12386373632 2965952 33554432000 4194304 16246674 140737234767792 140107055078640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6343/tid=6346] ppid=6340 vsize=12096068 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6346/stat : 6346 (toysat) S 6340 6343 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36694233 12386373632 2965952 33554432000 4194304 16246674 140737234767792 140106933464240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 12096068

[startup+1602.3 s]
/proc/loadavg: 1.00 1.17 1.55 2/173 6417
/proc/meminfo: memFree=19604868/32872528 swapFree=163656/177964
[pid=6343] ppid=6340 vsize=12096068 CPUtime=1602.03 cores=1,3,5,7
/proc/6343/stat : 6343 (toysat) R 6340 6343 4845 0 -1 4202496 2965159 0 0 0 159712 491 0 0 20 0 4 0 36694233 12386373632 2965952 33554432000 4194304 16246674 140737234767792 140737234766968 6132432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6343/statm: 3024017 2965952 843 2943 0 3020911 0
[pid=6343/tid=6344] ppid=6340 vsize=12096068 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6344/stat : 6344 (toysat) S 6340 6343 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36694233 12386373632 2965952 33554432000 4194304 16246674 140737234767792 140107065568496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6343/tid=6345] ppid=6340 vsize=12096068 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6345/stat : 6345 (toysat) S 6340 6343 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36694233 12386373632 2965952 33554432000 4194304 16246674 140737234767792 140107055078640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6343/tid=6346] ppid=6340 vsize=12096068 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6346/stat : 6346 (toysat) S 6340 6343 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36694233 12386373632 2965952 33554432000 4194304 16246674 140737234767792 140106933464240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 12096068

[startup+1662.3 s]
/proc/loadavg: 1.00 1.14 1.52 2/173 6418
/proc/meminfo: memFree=19605076/32872528 swapFree=163656/177964
[pid=6343] ppid=6340 vsize=12096068 CPUtime=1662.01 cores=1,3,5,7
/proc/6343/stat : 6343 (toysat) R 6340 6343 4845 0 -1 4202496 2965171 0 0 0 165708 493 0 0 20 0 4 0 36694233 12386373632 2965964 33554432000 4194304 16246674 140737234767792 140737234766968 13774056 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6343/statm: 3024017 2965964 843 2943 0 3020911 0
[pid=6343/tid=6344] ppid=6340 vsize=12096068 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6344/stat : 6344 (toysat) S 6340 6343 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36694233 12386373632 2965964 33554432000 4194304 16246674 140737234767792 140107065568496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6343/tid=6345] ppid=6340 vsize=12096068 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6345/stat : 6345 (toysat) S 6340 6343 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36694233 12386373632 2965964 33554432000 4194304 16246674 140737234767792 140107055078640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6343/tid=6346] ppid=6340 vsize=12096068 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6346/stat : 6346 (toysat) S 6340 6343 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36694233 12386373632 2965964 33554432000 4194304 16246674 140737234767792 140106933464240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 12096068

[startup+1722.3 s]
/proc/loadavg: 1.00 1.11 1.48 2/173 6420
/proc/meminfo: memFree=19604796/32872528 swapFree=163656/177964
[pid=6343] ppid=6340 vsize=12096068 CPUtime=1722 cores=1,3,5,7
/proc/6343/stat : 6343 (toysat) R 6340 6343 4845 0 -1 4202496 2965171 0 0 0 171705 495 0 0 20 0 4 0 36694233 12386373632 2965964 33554432000 4194304 16246674 140737234767792 140737234749696 6132640 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6343/statm: 3024017 2965964 843 2943 0 3020911 0
[pid=6343/tid=6344] ppid=6340 vsize=12096068 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6344/stat : 6344 (toysat) S 6340 6343 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36694233 12386373632 2965964 33554432000 4194304 16246674 140737234767792 140107065568496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6343/tid=6345] ppid=6340 vsize=12096068 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6345/stat : 6345 (toysat) S 6340 6343 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36694233 12386373632 2965964 33554432000 4194304 16246674 140737234767792 140107055078640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6343/tid=6346] ppid=6340 vsize=12096068 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6346/stat : 6346 (toysat) S 6340 6343 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36694233 12386373632 2965964 33554432000 4194304 16246674 140737234767792 140106933464240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 12096068

[startup+1782.3 s]
/proc/loadavg: 1.00 1.09 1.45 2/173 6421
/proc/meminfo: memFree=19604880/32872528 swapFree=163656/177964
[pid=6343] ppid=6340 vsize=12096068 CPUtime=1781.99 cores=1,3,5,7
/proc/6343/stat : 6343 (toysat) R 6340 6343 4845 0 -1 4202496 2965173 0 0 0 177701 498 0 0 20 0 4 0 36694233 12386373632 2965964 33554432000 4194304 16246674 140737234767792 140737234749696 13955776 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6343/statm: 3024017 2965964 843 2943 0 3020911 0
[pid=6343/tid=6344] ppid=6340 vsize=12096068 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6344/stat : 6344 (toysat) S 6340 6343 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36694233 12386373632 2965964 33554432000 4194304 16246674 140737234767792 140107065568496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6343/tid=6345] ppid=6340 vsize=12096068 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6345/stat : 6345 (toysat) S 6340 6343 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36694233 12386373632 2965964 33554432000 4194304 16246674 140737234767792 140107055078640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6343/tid=6346] ppid=6340 vsize=12096068 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6346/stat : 6346 (toysat) S 6340 6343 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36694233 12386373632 2965964 33554432000 4194304 16246674 140737234767792 140106933464240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 12096068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.00 1.08 1.44 2/173 6422
/proc/meminfo: memFree=19604724/32872528 swapFree=163656/177964
[pid=6343] ppid=6340 vsize=12096068 CPUtime=1800.09 cores=1,3,5,7
/proc/6343/stat : 6343 (toysat) R 6340 6343 4845 0 -1 4202496 2965173 0 0 0 179510 499 0 0 20 0 4 0 36694233 12386373632 2965964 33554432000 4194304 16246674 140737234767792 140737234749696 13809288 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6343/statm: 3024017 2965964 843 2943 0 3020911 0
[pid=6343/tid=6344] ppid=6340 vsize=12096068 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6344/stat : 6344 (toysat) S 6340 6343 4845 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36694233 12386373632 2965964 33554432000 4194304 16246674 140737234767792 140107065568496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6343/tid=6345] ppid=6340 vsize=12096068 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6345/stat : 6345 (toysat) S 6340 6343 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36694233 12386373632 2965964 33554432000 4194304 16246674 140737234767792 140107055078640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6343/tid=6346] ppid=6340 vsize=12096068 CPUtime=0 cores=1,3,5,7
/proc/6343/task/6346/stat : 6346 (toysat) S 6340 6343 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36694233 12386373632 2965964 33554432000 4194304 16246674 140737234767792 140106933464240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 12096068

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.08 1.44 2/171 6422
/proc/meminfo: memFree=26242200/32872528 swapFree=163656/177964
[pid=6343] ppid=6340 vsize=0 CPUtime=1800.5 cores=1,3,5,7
/proc/6343/stat : 6343 (toysat) Z 6340 6343 4845 0 -1 4203532 2965173 0 0 0 179511 539 0 0 20 0 2 0 36694233 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6343/statm: 0 0 0 0 0 0 0
[pid=6343/tid=6345] ppid=6340 vsize=0 CPUtime=0.39 cores=1,3,5,7
/proc/6343/task/6345/stat : 6345 (toysat) R 6340 6343 4845 0 -1 4203588 10 0 0 0 0 39 0 0 20 0 2 0 36694233 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.5
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 1.00 1.08 1.44 2/171 6422
/proc/meminfo: memFree=26242200/32872528 swapFree=163656/177964
[pid=6343] ppid=6340 vsize=0 CPUtime=1800.6 cores=1,3,5,7
/proc/6343/stat : 6343 (toysat) Z 6340 6343 4845 0 -1 4203532 2965173 0 0 0 179511 549 0 0 20 0 2 0 36694233 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6343/statm: 0 0 0 0 0 0 0
[pid=6343/tid=6345] ppid=6340 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/6343/task/6345/stat : 6345 (toysat) R 6340 6343 4845 0 -1 4203588 10 0 0 0 0 48 0 0 20 0 2 0 36694233 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.6
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.98
CPU time (s): 1800.68
CPU user time (s): 1795.11
CPU system time (s): 5.56515
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 12096068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.11
system time used= 5.56515
maximum resident set size= 11863856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2965173
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= 83
involuntary context switches= 1956

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5863 second user time and 7.17391 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-19 16:27:23
IDJOB=4110570
IDBENCH=79523
IDSOLVER=2553
FILE ID=node105/4110570-1466346443
RUNJOBID= node105-1466341824-4862
PBS_JOBID= 19922043
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= f4b0099465ae664e0955235299f0c44e
RANDOM SEED=1319883092

node105.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.561
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.12
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.561
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.561
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.561
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.561
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.54
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.561
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.561
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.561
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.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26026956 kB
Buffers:          130208 kB
Cached:           348108 kB
SwapCached:         1696 kB
Active:          5589520 kB
Inactive:         327560 kB
Active(anon):    5438196 kB
Inactive(anon):     3096 kB
Active(file):     151324 kB
Inactive(file):   324464 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67099304 kB
Dirty:             16340 kB
Writeback:             0 kB
AnonPages:       5616020 kB
Mapped:            10504 kB
Shmem:                 0 kB
Slab:             609536 kB
SReclaimable:      53200 kB
SUnreclaim:       556336 kB
KernelStack:        1520 kB
PageTables:        14880 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5761500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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= 71732 MiB
End job on node105 at 2016-06-19 16:57:24