Trace number 4093175

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.19 1800.47

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/graphs/
normalized-graph11reduc_wcsp.wbo
MD5SUM3ff13fa479c6c78fc8aaed860067b111
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmark
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5855
Total number of constraints283196
Number of soft constraints282856
Number of constraints which are clauses282856
Number of constraints which are cardinality constraints (but not clauses)340
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Top cost 3080
Min constraint cost 1
Max constraint cost 3080
Sum of constraints costs 64455868
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
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-16T23:01:27+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-4093175-1466110887.wbo"]
0.00/0.01	c use --random-gen="2665794678 3592826 2629732112 3250848416 864243933 3004233863 1794377622 2759727123 2674081148 1077705305 3584698209 1321028030 2326374509 1384712897 471492819 2076247916 274022657 2022521193 3379436221 1500215729 3222288967 4284444899 22223604 4082090812 153971506 1162875538 2306143594 2059237207 2133534026 319799720 2025686205 2880164760 1090574012 1086058783 3479465638 1821399419 103332375 2195226265 2174778286 3587531963 4236167126 3556466799 1165231965 1494117068 1870585764 2723023953 2010923162 3674425956 1439935362 1781237301 1202832766 3956876693 3765322896 234328170 3169298816 4133165047 1142791472 3787729326 2781417606 1384633484 3137021348 779219963 3782629125 3549225629 266677352 3170850137 1826973213 281981053 1161615240 66386321 2239114468 2029024243 564048031 1281776858 2653186008 2136569325 245206413 2472426128 3080692944 636933109 1591474731 2861995075 3269524413 315587927 2477016768 1902794825 4030322197 56711540 2017506360 763281521 68724119 1167413500 2051045006 4066549130 1691487856 3818980096 3150841867 242627508 4265660701 747424520 3412248033 2326215336 568268488 3122249657 3035750531 4222000215 1913634183 2438942278 4216915813 2886249311 3510231715 2412646404 91696403 511996597 2279824476 30539035 2937123263 2421745700 3122184908 2252320278 1849217582 52386605 2591191854 1613265837 2578644497 3762600452 1829218811 3351512355 938290161 879852610 3536937293 95781452 1375238366 629112438 4023049620 3169091979 3336282075 1514823643 3596092972 245564990 839590980 922689781 1563679902 3689026815 3385557560 1415886819 3311304654 544915093 2092718151 3098791732 4241243981 3187155966 291925457 4161157496 2467125830 1543867543 3898830211 1284317635 2739896053 2297351166 638152565 3717078391 4233855256 49967912 1316308947 2657146582 329078107 1568661632 1846106681 75805138 3147235166 4021831710 2034647567 2085718144 4230501369 2531346803 3633176637 113786871 1304807499 223540442 3626333362 228149726 995948507 2904359618 1238890213 389436518 1095536599 2573156673 196321236 1878784684 2869689489 320955953 1814332761 1693374224 330727993 878906816 4257625046 987279670 3062954598 2681027203 3522322309 620412537 1989834646 3890715724 2096405880 236919660 524570336 661783131 460899253 3706355530 1948107681 1880677176 2429292921 734103418 4264445588 254399860 2258485986 3948809126 1296116514 49222667 1207702029 1690740022 92156640 2866424192 3410497786 1253204954 3248950855 416678840 620908874 283476394 2576287745 381994043 2342187910 772173222 1266501624 2846684941 471800466 3647253280 169729984 3642663343 212079810 1740582147 2001763488 1982944621 1260540035 3802251425 1667162263 2763161648 2381813639 1308123852 2498793686 1134100683 1433315005 3338524969 1449770552 3569943943 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-4093175-1466110887/watcher-4093175-1466110887 -o /tmp/evaluation-result-4093175-1466110887/solver-4093175-1466110887 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466103682-14218 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093175-1466110887.wbo 

pid=14861
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.30 2.20 2.16 4/180 14864
/proc/meminfo: memFree=30433836/32872528 swapFree=1199460/1313924
[pid=14864] ppid=14861 vsize=704956 CPUtime=0 cores=1,3,5,7
/proc/14864/stat : 14864 (toysat) R 14861 14864 13694 0 -1 4202496 2627 0 0 0 0 0 0 0 20 0 4 0 13135269 721874944 2988 33554432000 4194304 16246674 140736028363584 140736028363008 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14864/statm: 177007 2998 441 2943 0 173901 0
[pid=14864/tid=14865] ppid=14861 vsize=723388 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14865/stat : 14865 (toysat) S 14861 14864 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13135269 740749312 3060 33554432000 4194304 16246674 140736028363584 139863595658480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14864/tid=14866] ppid=14861 vsize=727484 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14866/stat : 14866 (toysat) S 14861 14864 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13135269 744943616 3076 33554432000 4194304 16246674 140736028363584 139863585168624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14864/tid=14867] ppid=14861 vsize=731580 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14867/stat : 14867 (toysat) S 14861 14864 13694 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13135269 749137920 3092 33554432000 4194304 16246674 140736028363584 139863462505648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100128 s]
/proc/loadavg: 2.30 2.20 2.16 4/180 14864
/proc/meminfo: memFree=30433836/32872528 swapFree=1199460/1313924
[pid=14864] ppid=14861 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/14864/stat : 14864 (toysat) R 14861 14864 13694 0 -1 4202496 26933 0 0 0 5 4 0 0 20 0 4 0 13135269 1332285440 27235 33554432000 4194304 16246674 140736028363584 140736028362896 8058796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14864/statm: 325265 27251 802 2943 0 322159 0
[pid=14864/tid=14865] ppid=14861 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14865/stat : 14865 (toysat) S 14861 14864 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13135269 1332285440 27263 33554432000 4194304 16246674 140736028363584 139863595658480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14864/tid=14866] ppid=14861 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14866/stat : 14866 (toysat) S 14861 14864 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13135269 1332285440 27274 33554432000 4194304 16246674 140736028363584 139863585168624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14864/tid=14867] ppid=14861 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14867/stat : 14867 (toysat) S 14861 14864 13694 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13135269 1332285440 27285 33554432000 4194304 16246674 140736028363584 139863462505648 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) 1301060

[startup+0.200492 s]
/proc/loadavg: 2.30 2.20 2.16 4/180 14864
/proc/meminfo: memFree=30433836/32872528 swapFree=1199460/1313924
[pid=14864] ppid=14861 vsize=1314372 CPUtime=0.19 cores=1,3,5,7
/proc/14864/stat : 14864 (toysat) R 14861 14864 13694 0 -1 4202496 48783 0 0 0 12 7 0 0 20 0 4 0 13135269 1345916928 49595 33554432000 4194304 16246674 140736028363584 140736028362896 7361324 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14864/statm: 328593 49595 802 2943 0 325487 0
[pid=14864/tid=14865] ppid=14861 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14865/stat : 14865 (toysat) S 14861 14864 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13135269 1345916928 49595 33554432000 4194304 16246674 140736028363584 139863595658480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14864/tid=14866] ppid=14861 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14866/stat : 14866 (toysat) S 14861 14864 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13135269 1345916928 49595 33554432000 4194304 16246674 140736028363584 139863585168624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14864/tid=14867] ppid=14861 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14867/stat : 14867 (toysat) S 14861 14864 13694 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13135269 1345916928 49595 33554432000 4194304 16246674 140736028363584 139863462505648 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) 1314372

[startup+0.300455 s]
/proc/loadavg: 2.30 2.20 2.16 4/180 14864
/proc/meminfo: memFree=30433836/32872528 swapFree=1199460/1313924
[pid=14864] ppid=14861 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/14864/stat : 14864 (toysat) R 14861 14864 13694 0 -1 4202496 65418 0 0 0 20 9 0 0 20 0 4 0 13135269 1345916928 66230 33554432000 4194304 16246674 140736028363584 140736028362896 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14864/statm: 328593 66230 802 2943 0 325487 0
[pid=14864/tid=14865] ppid=14861 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14865/stat : 14865 (toysat) S 14861 14864 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13135269 1345916928 66230 33554432000 4194304 16246674 140736028363584 139863595658480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14864/tid=14866] ppid=14861 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14866/stat : 14866 (toysat) S 14861 14864 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13135269 1345916928 66230 33554432000 4194304 16246674 140736028363584 139863585168624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14864/tid=14867] ppid=14861 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14867/stat : 14867 (toysat) S 14861 14864 13694 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13135269 1345916928 66230 33554432000 4194304 16246674 140736028363584 139863462505648 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) 1314372

[startup+0.700431 s]
/proc/loadavg: 2.30 2.20 2.16 4/180 14864
/proc/meminfo: memFree=30433836/32872528 swapFree=1199460/1313924
[pid=14864] ppid=14861 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/14864/stat : 14864 (toysat) R 14861 14864 13694 0 -1 4202496 69911 0 0 0 59 10 0 0 20 0 4 0 13135269 1345916928 70723 33554432000 4194304 16246674 140736028363584 140736028362896 7379331 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14864/statm: 328593 70723 802 2943 0 325487 0
[pid=14864/tid=14865] ppid=14861 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14865/stat : 14865 (toysat) S 14861 14864 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13135269 1345916928 70723 33554432000 4194304 16246674 140736028363584 139863595658480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14864/tid=14866] ppid=14861 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14866/stat : 14866 (toysat) S 14861 14864 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13135269 1345916928 70723 33554432000 4194304 16246674 140736028363584 139863585168624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14864/tid=14867] ppid=14861 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14867/stat : 14867 (toysat) S 14861 14864 13694 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13135269 1345916928 70723 33554432000 4194304 16246674 140736028363584 139863462505648 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) 1314372

[startup+1.50043 s]
/proc/loadavg: 2.30 2.20 2.16 4/184 14868
/proc/meminfo: memFree=29958156/32872528 swapFree=1199460/1313924
[pid=14864] ppid=14861 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/14864/stat : 14864 (toysat) R 14861 14864 13694 0 -1 4202496 86443 0 0 0 136 13 0 0 20 0 4 0 13135269 1345916928 87255 33554432000 4194304 16246674 140736028363584 140736028362680 7369952 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14864/statm: 328593 87255 803 2943 0 325487 0
[pid=14864/tid=14865] ppid=14861 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14865/stat : 14865 (toysat) S 14861 14864 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13135269 1345916928 87255 33554432000 4194304 16246674 140736028363584 139863595658480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14864/tid=14866] ppid=14861 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14866/stat : 14866 (toysat) S 14861 14864 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13135269 1345916928 87255 33554432000 4194304 16246674 140736028363584 139863585168624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14864/tid=14867] ppid=14861 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14867/stat : 14867 (toysat) S 14861 14864 13694 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13135269 1345916928 87255 33554432000 4194304 16246674 140736028363584 139863462505648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10041 s]
/proc/loadavg: 2.30 2.20 2.16 3/184 14868
/proc/meminfo: memFree=29508160/32872528 swapFree=1199460/1313924
[pid=14864] ppid=14861 vsize=1315396 CPUtime=3.08 cores=1,3,5,7
/proc/14864/stat : 14864 (toysat) R 14861 14864 13694 0 -1 4202496 138141 0 0 0 288 20 0 0 20 0 4 0 13135269 1346965504 138953 33554432000 4194304 16246674 140736028363584 140736028361408 12874961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14864/statm: 328849 138953 835 2943 0 325743 0
[pid=14864/tid=14865] ppid=14861 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14865/stat : 14865 (toysat) S 14861 14864 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13135269 1346965504 138953 33554432000 4194304 16246674 140736028363584 139863595658480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14864/tid=14866] ppid=14861 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14866/stat : 14866 (toysat) S 14861 14864 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13135269 1346965504 138953 33554432000 4194304 16246674 140736028363584 139863585168624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14864/tid=14867] ppid=14861 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14867/stat : 14867 (toysat) S 14861 14864 13694 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13135269 1346965504 138953 33554432000 4194304 16246674 140736028363584 139863462505648 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) 1315396

[startup+6.30043 s]
/proc/loadavg: 2.36 2.21 2.16 3/184 14868
/proc/meminfo: memFree=28316344/32872528 swapFree=1199460/1313924
[pid=14864] ppid=14861 vsize=1385028 CPUtime=6.29 cores=1,3,5,7
/proc/14864/stat : 14864 (toysat) R 14861 14864 13694 0 -1 4202496 286877 0 0 0 589 40 0 0 20 0 4 0 13135269 1418268672 287689 33554432000 4194304 16246674 140736028363584 140736028345472 12481310 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14864/statm: 346257 287689 838 2943 0 343151 0
[pid=14864/tid=14865] ppid=14861 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14865/stat : 14865 (toysat) S 14861 14864 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13135269 1418268672 287689 33554432000 4194304 16246674 140736028363584 139863595658480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14864/tid=14866] ppid=14861 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14866/stat : 14866 (toysat) S 14861 14864 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13135269 1418268672 287689 33554432000 4194304 16246674 140736028363584 139863585168624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14864/tid=14867] ppid=14861 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14867/stat : 14867 (toysat) S 14861 14864 13694 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13135269 1418268672 287689 33554432000 4194304 16246674 140736028363584 139863462505648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1385028

[startup+12.7003 s]
/proc/loadavg: 2.33 2.21 2.16 3/184 14868
/proc/meminfo: memFree=28115316/32872528 swapFree=1199460/1313924
[pid=14864] ppid=14861 vsize=1486404 CPUtime=12.69 cores=1,3,5,7
/proc/14864/stat : 14864 (toysat) R 14861 14864 13694 0 -1 4202496 312227 0 0 0 1225 44 0 0 20 0 4 0 13135269 1522077696 313039 33554432000 4194304 16246674 140736028363584 140736028345472 13774072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14864/statm: 371601 313039 844 2943 0 368495 0
[pid=14864/tid=14865] ppid=14861 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14865/stat : 14865 (toysat) S 14861 14864 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13135269 1522077696 313039 33554432000 4194304 16246674 140736028363584 139863595658480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14864/tid=14866] ppid=14861 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14866/stat : 14866 (toysat) S 14861 14864 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13135269 1522077696 313039 33554432000 4194304 16246674 140736028363584 139863585168624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14864/tid=14867] ppid=14861 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14867/stat : 14867 (toysat) S 14861 14864 13694 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13135269 1522077696 313039 33554432000 4194304 16246674 140736028363584 139863462505648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1486404

[startup+25.5003 s]
/proc/loadavg: 2.40 2.23 2.17 3/184 14869
/proc/meminfo: memFree=28116704/32872528 swapFree=1199460/1313924
[pid=14864] ppid=14861 vsize=1486404 CPUtime=25.49 cores=1,3,5,7
/proc/14864/stat : 14864 (toysat) R 14861 14864 13694 0 -1 4202496 312227 0 0 0 2505 44 0 0 20 0 4 0 13135269 1522077696 313039 33554432000 4194304 16246674 140736028363584 140736028345472 13807488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14864/statm: 371601 313039 844 2943 0 368495 0
[pid=14864/tid=14865] ppid=14861 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14865/stat : 14865 (toysat) S 14861 14864 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13135269 1522077696 313039 33554432000 4194304 16246674 140736028363584 139863595658480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14864/tid=14866] ppid=14861 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14866/stat : 14866 (toysat) S 14861 14864 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13135269 1522077696 313039 33554432000 4194304 16246674 140736028363584 139863585168624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14864/tid=14867] ppid=14861 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14867/stat : 14867 (toysat) S 14861 14864 13694 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13135269 1522077696 313039 33554432000 4194304 16246674 140736028363584 139863462505648 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) 1486404

[startup+51.1004 s]
/proc/loadavg: 2.40 2.24 2.18 3/183 14869
/proc/meminfo: memFree=28116964/32872528 swapFree=1199460/1313924
[pid=14864] ppid=14861 vsize=1486404 CPUtime=51.08 cores=1,3,5,7
/proc/14864/stat : 14864 (toysat) R 14861 14864 13694 0 -1 4202496 312227 0 0 0 5064 44 0 0 20 0 4 0 13135269 1522077696 313039 33554432000 4194304 16246674 140736028363584 140736028345472 13807742 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14864/statm: 371601 313039 844 2943 0 368495 0
[pid=14864/tid=14865] ppid=14861 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14865/stat : 14865 (toysat) S 14861 14864 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13135269 1522077696 313039 33554432000 4194304 16246674 140736028363584 139863595658480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14864/tid=14866] ppid=14861 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14866/stat : 14866 (toysat) S 14861 14864 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13135269 1522077696 313039 33554432000 4194304 16246674 140736028363584 139863585168624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14864/tid=14867] ppid=14861 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14867/stat : 14867 (toysat) S 14861 14864 13694 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13135269 1522077696 313039 33554432000 4194304 16246674 140736028363584 139863462505648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1486404

[startup+102.3 s]
/proc/loadavg: 2.29 2.23 2.18 3/183 14870
/proc/meminfo: memFree=28116440/32872528 swapFree=1199460/1313924
[pid=14864] ppid=14861 vsize=1486404 CPUtime=102.28 cores=1,3,5,7
/proc/14864/stat : 14864 (toysat) R 14861 14864 13694 0 -1 4202496 312227 0 0 0 10184 44 0 0 20 0 4 0 13135269 1522077696 313039 33554432000 4194304 16246674 140736028363584 140736028362760 6132605 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14864/statm: 371601 313039 844 2943 0 368495 0
[pid=14864/tid=14865] ppid=14861 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14865/stat : 14865 (toysat) S 14861 14864 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13135269 1522077696 313039 33554432000 4194304 16246674 140736028363584 139863595658480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14864/tid=14866] ppid=14861 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14866/stat : 14866 (toysat) S 14861 14864 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13135269 1522077696 313039 33554432000 4194304 16246674 140736028363584 139863585168624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14864/tid=14867] ppid=14861 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14867/stat : 14867 (toysat) S 14861 14864 13694 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13135269 1522077696 313039 33554432000 4194304 16246674 140736028363584 139863462505648 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) 1486404


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

/proc/14864/task/14865/stat : 14865 (toysat) S 14861 14864 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13135269 2453213184 540369 33554432000 4194304 16246674 140736028363584 139863595658480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14864/tid=14866] ppid=14861 vsize=2395716 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14866/stat : 14866 (toysat) S 14861 14864 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13135269 2453213184 540369 33554432000 4194304 16246674 140736028363584 139863585168624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14864/tid=14867] ppid=14861 vsize=2395716 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14867/stat : 14867 (toysat) S 14861 14864 13694 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13135269 2453213184 540369 33554432000 4194304 16246674 140736028363584 139863462505648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 2395716

[startup+1362.3 s]
/proc/loadavg: 2.24 2.24 2.19 3/183 14901
/proc/meminfo: memFree=26291704/32872528 swapFree=1199460/1313924
[pid=14864] ppid=14861 vsize=2395716 CPUtime=1362.08 cores=1,3,5,7
/proc/14864/stat : 14864 (toysat) R 14861 14864 13694 0 -1 4202496 539557 0 0 0 136129 79 0 0 20 0 4 0 13135269 2453213184 540369 33554432000 4194304 16246674 140736028363584 140736028345472 13807457 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14864/statm: 598929 540369 845 2943 0 595823 0
[pid=14864/tid=14865] ppid=14861 vsize=2395716 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14865/stat : 14865 (toysat) S 14861 14864 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13135269 2453213184 540369 33554432000 4194304 16246674 140736028363584 139863595658480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14864/tid=14866] ppid=14861 vsize=2395716 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14866/stat : 14866 (toysat) S 14861 14864 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13135269 2453213184 540369 33554432000 4194304 16246674 140736028363584 139863585168624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14864/tid=14867] ppid=14861 vsize=2395716 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14867/stat : 14867 (toysat) S 14861 14864 13694 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13135269 2453213184 540369 33554432000 4194304 16246674 140736028363584 139863462505648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 2395716

[startup+1422.3 s]
/proc/loadavg: 2.23 2.24 2.19 3/183 14902
/proc/meminfo: memFree=26291460/32872528 swapFree=1199460/1313924
[pid=14864] ppid=14861 vsize=2395716 CPUtime=1422.07 cores=1,3,5,7
/proc/14864/stat : 14864 (toysat) R 14861 14864 13694 0 -1 4202496 539557 0 0 0 142128 79 0 0 20 0 4 0 13135269 2453213184 540369 33554432000 4194304 16246674 140736028363584 140736028345472 13807696 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14864/statm: 598929 540369 845 2943 0 595823 0
[pid=14864/tid=14865] ppid=14861 vsize=2395716 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14865/stat : 14865 (toysat) S 14861 14864 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13135269 2453213184 540369 33554432000 4194304 16246674 140736028363584 139863595658480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14864/tid=14866] ppid=14861 vsize=2395716 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14866/stat : 14866 (toysat) S 14861 14864 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13135269 2453213184 540369 33554432000 4194304 16246674 140736028363584 139863585168624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14864/tid=14867] ppid=14861 vsize=2395716 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14867/stat : 14867 (toysat) S 14861 14864 13694 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13135269 2453213184 540369 33554432000 4194304 16246674 140736028363584 139863462505648 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) 2395716

[startup+1482.3 s]
/proc/loadavg: 2.12 2.21 2.18 3/183 14903
/proc/meminfo: memFree=24450344/32872528 swapFree=1199460/1313924
[pid=14864] ppid=14861 vsize=3314244 CPUtime=1482.06 cores=1,3,5,7
/proc/14864/stat : 14864 (toysat) R 14861 14864 13694 0 -1 4202496 769189 0 0 0 148092 114 0 0 20 0 4 0 13135269 3393785856 770001 33554432000 4194304 16246674 140736028363584 140736028345472 13807435 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14864/statm: 828561 770001 845 2943 0 825455 0
[pid=14864/tid=14865] ppid=14861 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14865/stat : 14865 (toysat) S 14861 14864 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13135269 3393785856 770001 33554432000 4194304 16246674 140736028363584 139863595658480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14864/tid=14866] ppid=14861 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14866/stat : 14866 (toysat) S 14861 14864 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13135269 3393785856 770001 33554432000 4194304 16246674 140736028363584 139863585168624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14864/tid=14867] ppid=14861 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14867/stat : 14867 (toysat) S 14861 14864 13694 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13135269 3393785856 770001 33554432000 4194304 16246674 140736028363584 139863462505648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 3314244

[startup+1542.31 s]
/proc/loadavg: 2.19 2.21 2.18 3/182 14904
/proc/meminfo: memFree=24450968/32872528 swapFree=1199460/1313924
[pid=14864] ppid=14861 vsize=3314244 CPUtime=1542.06 cores=1,3,5,7
/proc/14864/stat : 14864 (toysat) R 14861 14864 13694 0 -1 4202496 769189 0 0 0 154091 115 0 0 20 0 4 0 13135269 3393785856 770001 33554432000 4194304 16246674 140736028363584 140736028345472 13809242 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14864/statm: 828561 770001 845 2943 0 825455 0
[pid=14864/tid=14865] ppid=14861 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14865/stat : 14865 (toysat) S 14861 14864 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13135269 3393785856 770001 33554432000 4194304 16246674 140736028363584 139863595658480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14864/tid=14866] ppid=14861 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14866/stat : 14866 (toysat) S 14861 14864 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13135269 3393785856 770001 33554432000 4194304 16246674 140736028363584 139863585168624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14864/tid=14867] ppid=14861 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14867/stat : 14867 (toysat) S 14861 14864 13694 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13135269 3393785856 770001 33554432000 4194304 16246674 140736028363584 139863462505648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 3314244

[startup+1602.3 s]
/proc/loadavg: 2.30 2.23 2.19 3/183 14906
/proc/meminfo: memFree=24450964/32872528 swapFree=1199460/1313924
[pid=14864] ppid=14861 vsize=3314244 CPUtime=1602.04 cores=1,3,5,7
/proc/14864/stat : 14864 (toysat) R 14861 14864 13694 0 -1 4202496 769189 0 0 0 160089 115 0 0 20 0 4 0 13135269 3393785856 770001 33554432000 4194304 16246674 140736028363584 140736028345472 13807443 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14864/statm: 828561 770001 845 2943 0 825455 0
[pid=14864/tid=14865] ppid=14861 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14865/stat : 14865 (toysat) S 14861 14864 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13135269 3393785856 770001 33554432000 4194304 16246674 140736028363584 139863595658480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14864/tid=14866] ppid=14861 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14866/stat : 14866 (toysat) S 14861 14864 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13135269 3393785856 770001 33554432000 4194304 16246674 140736028363584 139863585168624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14864/tid=14867] ppid=14861 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14867/stat : 14867 (toysat) S 14861 14864 13694 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13135269 3393785856 770001 33554432000 4194304 16246674 140736028363584 139863462505648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 3314244

[startup+1662.3 s]
/proc/loadavg: 2.30 2.23 2.19 3/183 14907
/proc/meminfo: memFree=24450868/32872528 swapFree=1199460/1313924
[pid=14864] ppid=14861 vsize=3314244 CPUtime=1662.04 cores=1,3,5,7
/proc/14864/stat : 14864 (toysat) R 14861 14864 13694 0 -1 4202496 769189 0 0 0 166088 116 0 0 20 0 4 0 13135269 3393785856 770001 33554432000 4194304 16246674 140736028363584 140736028362760 13807457 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14864/statm: 828561 770001 845 2943 0 825455 0
[pid=14864/tid=14865] ppid=14861 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14865/stat : 14865 (toysat) S 14861 14864 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13135269 3393785856 770001 33554432000 4194304 16246674 140736028363584 139863595658480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14864/tid=14866] ppid=14861 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14866/stat : 14866 (toysat) S 14861 14864 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13135269 3393785856 770001 33554432000 4194304 16246674 140736028363584 139863585168624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14864/tid=14867] ppid=14861 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14867/stat : 14867 (toysat) S 14861 14864 13694 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13135269 3393785856 770001 33554432000 4194304 16246674 140736028363584 139863462505648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 3314244

[startup+1722.3 s]
/proc/loadavg: 2.25 2.23 2.19 3/184 14911
/proc/meminfo: memFree=24450856/32872528 swapFree=1199460/1313924
[pid=14864] ppid=14861 vsize=3314244 CPUtime=1722.03 cores=1,3,5,7
/proc/14864/stat : 14864 (toysat) R 14861 14864 13694 0 -1 4202496 769189 0 0 0 172087 116 0 0 20 0 4 0 13135269 3393785856 770001 33554432000 4194304 16246674 140736028363584 140736028345472 13923665 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14864/statm: 828561 770001 845 2943 0 825455 0
[pid=14864/tid=14865] ppid=14861 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14865/stat : 14865 (toysat) S 14861 14864 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13135269 3393785856 770001 33554432000 4194304 16246674 140736028363584 139863595658480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14864/tid=14866] ppid=14861 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14866/stat : 14866 (toysat) S 14861 14864 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13135269 3393785856 770001 33554432000 4194304 16246674 140736028363584 139863585168624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14864/tid=14867] ppid=14861 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14867/stat : 14867 (toysat) S 14861 14864 13694 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13135269 3393785856 770001 33554432000 4194304 16246674 140736028363584 139863462505648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 3314244

[startup+1782.3 s]
/proc/loadavg: 2.13 2.20 2.18 4/183 14912
/proc/meminfo: memFree=24450256/32872528 swapFree=1199460/1313924
[pid=14864] ppid=14861 vsize=3314244 CPUtime=1782.01 cores=1,3,5,7
/proc/14864/stat : 14864 (toysat) R 14861 14864 13694 0 -1 4202496 769189 0 0 0 178085 116 0 0 20 0 4 0 13135269 3393785856 770001 33554432000 4194304 16246674 140736028363584 140736028345472 6132521 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14864/statm: 828561 770001 845 2943 0 825455 0
[pid=14864/tid=14865] ppid=14861 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14865/stat : 14865 (toysat) S 14861 14864 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13135269 3393785856 770001 33554432000 4194304 16246674 140736028363584 139863595658480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14864/tid=14866] ppid=14861 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14866/stat : 14866 (toysat) S 14861 14864 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13135269 3393785856 770001 33554432000 4194304 16246674 140736028363584 139863585168624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14864/tid=14867] ppid=14861 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14867/stat : 14867 (toysat) S 14861 14864 13694 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13135269 3393785856 770001 33554432000 4194304 16246674 140736028363584 139863462505648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 3314244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.25 2.22 2.18 4/183 14912
/proc/meminfo: memFree=24450472/32872528 swapFree=1199460/1313924
[pid=14864] ppid=14861 vsize=3314244 CPUtime=1800.02 cores=1,3,5,7
/proc/14864/stat : 14864 (toysat) R 14861 14864 13694 0 -1 4202496 769189 0 0 0 179885 117 0 0 20 0 4 0 13135269 3393785856 770001 33554432000 4194304 16246674 140736028363584 140736028345472 13809352 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14864/statm: 828561 770001 845 2943 0 825455 0
[pid=14864/tid=14865] ppid=14861 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14865/stat : 14865 (toysat) S 14861 14864 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13135269 3393785856 770001 33554432000 4194304 16246674 140736028363584 139863595658480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14864/tid=14866] ppid=14861 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14866/stat : 14866 (toysat) S 14861 14864 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13135269 3393785856 770001 33554432000 4194304 16246674 140736028363584 139863585168624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14864/tid=14867] ppid=14861 vsize=3314244 CPUtime=0 cores=1,3,5,7
/proc/14864/task/14867/stat : 14867 (toysat) S 14861 14864 13694 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13135269 3393785856 770001 33554432000 4194304 16246674 140736028363584 139863462505648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3314244

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

[startup+1800.4 s]
/proc/loadavg: 2.25 2.22 2.18 4/183 14912
/proc/meminfo: memFree=24450472/32872528 swapFree=1199460/1313924
[pid=14864] ppid=14861 vsize=0 CPUtime=1800.12 cores=1,3,5,7
/proc/14864/stat : 14864 (toysat) Z 14861 14864 13694 0 -1 4203532 769189 0 0 0 179885 127 0 0 20 0 2 0 13135269 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14864/statm: 0 0 0 0 0 0 0
[pid=14864/tid=14867] ppid=14861 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/14864/task/14867/stat : 14867 (toysat) R 14861 14864 13694 0 -1 4203588 1 0 0 0 0 8 0 0 20 0 2 0 13135269 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.47
CPU time (s): 1800.19
CPU user time (s): 1798.86
CPU system time (s): 1.3308
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 3314244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.86
system time used= 1.3308
maximum resident set size= 3080004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 769189
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= 32
involuntary context switches= 1992

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.65714 second user time and 6.45102 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-16 23:01:27
IDJOB=4093175
IDBENCH=79644
IDSOLVER=2553
FILE ID=node131/4093175-1466110887
RUNJOBID= node131-1466103682-14218
PBS_JOBID= 19904055
Free space on /tmp= 71672 MiB

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

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

MD5SUM BENCH= 3ff13fa479c6c78fc8aaed860067b111
RANDOM SEED=1489769721

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30444524 kB
Buffers:           56648 kB
Cached:           176300 kB
SwapCached:         1964 kB
Active:           311000 kB
Inactive:          95584 kB
Active(anon):     174596 kB
Inactive(anon):     1452 kB
Active(file):     136404 kB
Inactive(file):    94132 kB
Unevictable:     1313924 kB
Mlocked:         1199460 kB
SwapTotal:      67108856 kB
SwapFree:       67099352 kB
Dirty:             49704 kB
Writeback:             0 kB
AnonPages:       1401560 kB
Mapped:            10316 kB
Shmem:                 0 kB
Slab:             570152 kB
SReclaimable:      14380 kB
SUnreclaim:       555772 kB
KernelStack:        1528 kB
PageTables:         7836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2524144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 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= 71680 MiB
End job on node131 at 2016-06-16 23:31:28