Trace number 4110582

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.65 1800.96

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap111_wcsp.wbo
MD5SUM4ad1347278976f19411afc1ab6eea52f
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark16519919
Best CPU time to get the best result obtained on this benchmark1800.14
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 61306436
Min constraint cost 1
Max constraint cost 61306436
Sum of constraints costs 154547346300
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:36:35+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-4110582-1466346995.wbo"]
0.00/0.01	c use --random-gen="2187524412 170771570 3427717527 3611948986 562329257 459716786 12970404 667100950 805070265 3211549182 3745957728 3078125547 3969499139 2972204730 1195269013 4089392976 1761095260 99242994 3343015495 743619473 185214442 2530938007 1174644735 1060483271 4048509876 924892228 2833086103 2302413286 1558530678 4294767445 4037430588 2058521025 1628968249 2685164277 3493961844 1544235606 1952868337 1636477935 3456042576 2813996715 2193545153 1125615383 1591082215 1478649839 1904679474 3091156915 2136316140 3688491569 1549290467 1860120883 3508803804 215769011 825953803 2993509163 39949289 250698264 300659700 1951883105 3080183915 3197796303 3656683682 2711731929 3386417844 4221795849 2501814796 1028498960 1997167388 246919269 1689889144 133171007 2878825211 1594843144 2936892709 3103571802 542250490 3794801498 3639372402 4219199278 1705211907 963697774 2891838245 2573507526 4167979994 2681504709 2372185838 2857220953 828286389 2481658418 4232148429 1988797926 4087652556 1114678861 966072832 4045312566 561090148 4214441219 3352016372 482849310 3653562559 1627963326 2701704492 2366765506 145837768 1013499107 3714260465 2442538946 3254391056 2861018568 4116556977 3521320531 3300388888 1265069745 75680682 367090252 4010196300 813613349 3920101186 3048915612 1747436561 1897782447 1026187976 3491935631 2561941786 4160298841 3080511190 4024144719 1100567160 1238899915 2789172990 1091685913 2790879330 2976982731 2596031388 1120020724 793687924 1268237596 3144575611 314345710 3729970677 3528738585 1718780694 2418468310 4004028192 2358026248 2717885249 1841052028 1486690688 3902055474 567220074 4205052952 2019670302 3749545273 3218260109 2382254413 2340000020 3161151504 2296700062 4269751183 1720996964 3037831538 3472263064 2555941693 3577959744 731074934 2698277481 765090701 3617331893 76940196 3736890560 960787889 1828496520 1854699434 3262797300 871074582 1850234669 963032290 4135092667 4043406773 3756517467 484228227 3791233853 1342958800 2087686483 3373858963 4182953994 2284651890 3574044846 304335732 428892630 2571684887 1106346025 4088607795 2809510079 4206633899 3841772972 2028460031 135670733 737135566 975185444 3727859807 3588733341 2844674265 4275970740 1144457660 52956602 2920450071 3015697011 4194497687 3873967878 2844249452 1200088861 2851738746 1103146201 4191710018 2658028619 3981960554 1758838743 908508264 398382484 3282654559 190801642 3749768569 4025611457 1276994354 916846811 95383411 1554994533 1402726121 3725986566 3741655504 663480420 1929691795 2366390950 2808013542 3625380790 2025911633 1278474669 4097061084 506940868 1080062471 3846070986 3039378920 1930893402 4049906267 3131468824 3844992451 3570293066 1753979407 492931802 1074057502 2821236291 4238557401 1435046024 2976659047 29800388 3519375815 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-4110582-1466346995/watcher-4110582-1466346995 -o /tmp/evaluation-result-4110582-1466346995/solver-4110582-1466346995 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466341815-31320 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110582-1466346995.wbo 

pid=842
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.20 2.18 2.18 4/179 845
/proc/meminfo: memFree=17115056/32872528 swapFree=1370848/1518016
[pid=845] ppid=842 vsize=341436 CPUtime=0 cores=0,2,4,6
/proc/845/stat : 845 (toysat) R 842 845 31304 0 -1 4202496 1208 0 0 0 0 0 0 0 20 0 4 0 36746001 349630464 2079 33554432000 4194304 16246674 140735715681968 140735715681392 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/845/statm: 85871 2087 441 2943 0 82765 0
[pid=845/tid=846] ppid=842 vsize=596412 CPUtime=0 cores=0,2,4,6
/proc/845/task/846/stat : 846 (toysat) S 842 845 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36746001 610725888 3075 33554432000 4194304 16246674 140735715681968 139842348362992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=845/tid=847] ppid=842 vsize=601532 CPUtime=0 cores=0,2,4,6
/proc/845/task/847/stat : 847 (toysat) S 842 845 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36746001 615968768 3091 33554432000 4194304 16246674 140735715681968 139842337873136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=845/tid=848] ppid=842 vsize=605628 CPUtime=0 cores=0,2,4,6
/proc/845/task/848/stat : 848 (toysat) S 842 845 31304 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36746001 620163072 3107 33554432000 4194304 16246674 140735715681968 139842256104624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.20 2.18 2.18 4/179 845
/proc/meminfo: memFree=17115056/32872528 swapFree=1370848/1518016
[pid=845] ppid=842 vsize=1221188 CPUtime=0.08 cores=0,2,4,6
/proc/845/stat : 845 (toysat) R 842 845 31304 0 -1 4202496 20102 0 0 0 5 3 0 0 20 0 4 0 36746001 1250496512 20913 33554432000 4194304 16246674 140735715681968 140735715681280 6168681 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/845/statm: 305297 20913 827 2943 0 302191 0
[pid=845/tid=846] ppid=842 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/845/task/846/stat : 846 (toysat) S 842 845 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36746001 1250496512 20913 33554432000 4194304 16246674 140735715681968 139842348362992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=845/tid=847] ppid=842 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/845/task/847/stat : 847 (toysat) S 842 845 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36746001 1250496512 20913 33554432000 4194304 16246674 140735715681968 139842337873136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=845/tid=848] ppid=842 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/845/task/848/stat : 848 (toysat) S 842 845 31304 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36746001 1250496512 20913 33554432000 4194304 16246674 140735715681968 139842256104624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.200469 s]
/proc/loadavg: 2.20 2.18 2.18 4/179 845
/proc/meminfo: memFree=17115056/32872528 swapFree=1370848/1518016
[pid=845] ppid=842 vsize=1221188 CPUtime=0.18 cores=0,2,4,6
/proc/845/stat : 845 (toysat) R 842 845 31304 0 -1 4202496 39521 0 0 0 12 6 0 0 20 0 4 0 36746001 1250496512 40332 33554432000 4194304 16246674 140735715681968 140735715681280 4220880 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/845/statm: 305297 40332 832 2943 0 302191 0
[pid=845/tid=846] ppid=842 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/845/task/846/stat : 846 (toysat) S 842 845 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36746001 1250496512 40332 33554432000 4194304 16246674 140735715681968 139842348362992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=845/tid=847] ppid=842 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/845/task/847/stat : 847 (toysat) S 842 845 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36746001 1250496512 40332 33554432000 4194304 16246674 140735715681968 139842337873136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=845/tid=848] ppid=842 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/845/task/848/stat : 848 (toysat) S 842 845 31304 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36746001 1250496512 40333 33554432000 4194304 16246674 140735715681968 139842256104624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1221188

[startup+0.30042 s]
/proc/loadavg: 2.20 2.18 2.18 4/179 845
/proc/meminfo: memFree=17115056/32872528 swapFree=1370848/1518016
[pid=845] ppid=842 vsize=1307204 CPUtime=0.29 cores=0,2,4,6
/proc/845/stat : 845 (toysat) R 842 845 31304 0 -1 4202496 49174 0 0 0 21 8 0 0 20 0 4 0 36746001 1338576896 49985 33554432000 4194304 16246674 140735715681968 140735715681280 6132452 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/845/statm: 326801 49985 838 2943 0 323695 0
[pid=845/tid=846] ppid=842 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/845/task/846/stat : 846 (toysat) S 842 845 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36746001 1338576896 49985 33554432000 4194304 16246674 140735715681968 139842348362992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=845/tid=847] ppid=842 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/845/task/847/stat : 847 (toysat) S 842 845 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36746001 1338576896 49985 33554432000 4194304 16246674 140735715681968 139842337873136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=845/tid=848] ppid=842 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/845/task/848/stat : 848 (toysat) S 842 845 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36746001 1338576896 49985 33554432000 4194304 16246674 140735715681968 139842256104624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1307204

[startup+0.700338 s]
/proc/loadavg: 2.20 2.18 2.18 4/179 845
/proc/meminfo: memFree=17115056/32872528 swapFree=1370848/1518016
[pid=845] ppid=842 vsize=1307204 CPUtime=0.69 cores=0,2,4,6
/proc/845/stat : 845 (toysat) R 842 845 31304 0 -1 4202496 49174 0 0 0 61 8 0 0 20 0 4 0 36746001 1338576896 49985 33554432000 4194304 16246674 140735715681968 140735715663872 13774229 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/845/statm: 326801 49985 838 2943 0 323695 0
[pid=845/tid=846] ppid=842 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/845/task/846/stat : 846 (toysat) S 842 845 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36746001 1338576896 49985 33554432000 4194304 16246674 140735715681968 139842348362992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=845/tid=847] ppid=842 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/845/task/847/stat : 847 (toysat) S 842 845 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36746001 1338576896 49985 33554432000 4194304 16246674 140735715681968 139842337873136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=845/tid=848] ppid=842 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/845/task/848/stat : 848 (toysat) S 842 845 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36746001 1338576896 49985 33554432000 4194304 16246674 140735715681968 139842256104624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.50034 s]
/proc/loadavg: 2.20 2.18 2.18 4/183 849
/proc/meminfo: memFree=16915520/32872528 swapFree=1370848/1518016
[pid=845] ppid=842 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/845/stat : 845 (toysat) R 842 845 31304 0 -1 4202496 53556 0 0 0 140 9 0 0 20 0 4 0 36746001 1338576896 54367 33554432000 4194304 16246674 140735715681968 140735715663872 6132656 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/845/statm: 326801 54367 838 2943 0 323695 0
[pid=845/tid=846] ppid=842 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/845/task/846/stat : 846 (toysat) S 842 845 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36746001 1338576896 54367 33554432000 4194304 16246674 140735715681968 139842348362992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=845/tid=847] ppid=842 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/845/task/847/stat : 847 (toysat) S 842 845 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36746001 1338576896 54367 33554432000 4194304 16246674 140735715681968 139842337873136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=845/tid=848] ppid=842 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/845/task/848/stat : 848 (toysat) S 842 845 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36746001 1338576896 54367 33554432000 4194304 16246674 140735715681968 139842256104624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10035 s]
/proc/loadavg: 2.20 2.18 2.18 4/183 849
/proc/meminfo: memFree=16885992/32872528 swapFree=1370848/1518016
[pid=845] ppid=842 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/845/stat : 845 (toysat) R 842 845 31304 0 -1 4202496 61155 0 0 0 299 10 0 0 20 0 4 0 36746001 1338576896 61966 33554432000 4194304 16246674 140735715681968 140735715663872 13807696 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/845/statm: 326801 61966 838 2943 0 323695 0
[pid=845/tid=846] ppid=842 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/845/task/846/stat : 846 (toysat) S 842 845 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36746001 1338576896 61966 33554432000 4194304 16246674 140735715681968 139842348362992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=845/tid=847] ppid=842 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/845/task/847/stat : 847 (toysat) S 842 845 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36746001 1338576896 61966 33554432000 4194304 16246674 140735715681968 139842337873136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=845/tid=848] ppid=842 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/845/task/848/stat : 848 (toysat) S 842 845 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36746001 1338576896 61966 33554432000 4194304 16246674 140735715681968 139842256104624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30035 s]
/proc/loadavg: 2.19 2.18 2.18 3/183 849
/proc/meminfo: memFree=16864740/32872528 swapFree=1370848/1518016
[pid=845] ppid=842 vsize=1308228 CPUtime=6.28 cores=0,2,4,6
/proc/845/stat : 845 (toysat) R 842 845 31304 0 -1 4202496 61576 0 0 0 618 10 0 0 20 0 4 0 36746001 1339625472 62387 33554432000 4194304 16246674 140735715681968 140735715663872 13807453 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/845/statm: 327057 62387 840 2943 0 323951 0
[pid=845/tid=846] ppid=842 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/845/task/846/stat : 846 (toysat) S 842 845 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36746001 1339625472 62387 33554432000 4194304 16246674 140735715681968 139842348362992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=845/tid=847] ppid=842 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/845/task/847/stat : 847 (toysat) S 842 845 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36746001 1339625472 62387 33554432000 4194304 16246674 140735715681968 139842337873136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=845/tid=848] ppid=842 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/845/task/848/stat : 848 (toysat) S 842 845 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36746001 1339625472 62387 33554432000 4194304 16246674 140735715681968 139842256104624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1308228

[startup+12.7003 s]
/proc/loadavg: 2.17 2.17 2.18 3/183 849
/proc/meminfo: memFree=16864140/32872528 swapFree=1370848/1518016
[pid=845] ppid=842 vsize=1309252 CPUtime=12.69 cores=0,2,4,6
/proc/845/stat : 845 (toysat) R 842 845 31304 0 -1 4202496 61832 0 0 0 1258 11 0 0 20 0 4 0 36746001 1340674048 62643 33554432000 4194304 16246674 140735715681968 140735715663872 13955776 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/845/statm: 327313 62643 840 2943 0 324207 0
[pid=845/tid=846] ppid=842 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/845/task/846/stat : 846 (toysat) S 842 845 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36746001 1340674048 62643 33554432000 4194304 16246674 140735715681968 139842348362992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=845/tid=847] ppid=842 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/845/task/847/stat : 847 (toysat) S 842 845 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36746001 1340674048 62643 33554432000 4194304 16246674 140735715681968 139842337873136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=845/tid=848] ppid=842 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/845/task/848/stat : 848 (toysat) S 842 845 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36746001 1340674048 62643 33554432000 4194304 16246674 140735715681968 139842256104624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1309252

[startup+25.5004 s]
/proc/loadavg: 2.13 2.17 2.17 3/183 849
/proc/meminfo: memFree=16855716/32872528 swapFree=1370848/1518016
[pid=845] ppid=842 vsize=1310276 CPUtime=25.48 cores=0,2,4,6
/proc/845/stat : 845 (toysat) R 842 845 31304 0 -1 4202496 63931 0 0 0 2537 11 0 0 20 0 4 0 36746001 1341722624 64742 33554432000 4194304 16246674 140735715681968 140735715663872 6132640 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/845/statm: 327569 64742 840 2943 0 324463 0
[pid=845/tid=846] ppid=842 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/845/task/846/stat : 846 (toysat) S 842 845 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36746001 1341722624 64742 33554432000 4194304 16246674 140735715681968 139842348362992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=845/tid=847] ppid=842 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/845/task/847/stat : 847 (toysat) S 842 845 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36746001 1341722624 64742 33554432000 4194304 16246674 140735715681968 139842337873136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=845/tid=848] ppid=842 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/845/task/848/stat : 848 (toysat) S 842 845 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36746001 1341722624 64742 33554432000 4194304 16246674 140735715681968 139842256104624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1310276

[startup+51.1004 s]
/proc/loadavg: 2.27 2.20 2.18 3/183 849
/proc/meminfo: memFree=16761128/32872528 swapFree=1370848/1518016
[pid=845] ppid=842 vsize=1310276 CPUtime=51.08 cores=0,2,4,6
/proc/845/stat : 845 (toysat) R 842 845 31304 0 -1 4202496 87571 0 0 0 5092 16 0 0 20 0 4 0 36746001 1341722624 88382 33554432000 4194304 16246674 140735715681968 140735715663872 13807488 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/845/statm: 327569 88382 840 2943 0 324463 0
[pid=845/tid=846] ppid=842 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/845/task/846/stat : 846 (toysat) S 842 845 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36746001 1341722624 88382 33554432000 4194304 16246674 140735715681968 139842348362992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=845/tid=847] ppid=842 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/845/task/847/stat : 847 (toysat) S 842 845 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36746001 1341722624 88382 33554432000 4194304 16246674 140735715681968 139842337873136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=845/tid=848] ppid=842 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/845/task/848/stat : 848 (toysat) S 842 845 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36746001 1341722624 88382 33554432000 4194304 16246674 140735715681968 139842256104624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1310276

[startup+102.3 s]
/proc/loadavg: 2.17 2.18 2.18 3/183 850
/proc/meminfo: memFree=16476048/32872528 swapFree=1370848/1518016
[pid=845] ppid=842 vsize=1312324 CPUtime=102.27 cores=0,2,4,6
/proc/845/stat : 845 (toysat) R 842 845 31304 0 -1 4202496 158853 0 0 0 10199 28 0 0 20 0 4 0 36746001 1343819776 159664 33554432000 4194304 16246674 140735715681968 140735715681064 13774000 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/845/statm: 328081 159664 840 2943 0 324975 0
[pid=845/tid=846] ppid=842 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/845/task/846/stat : 846 (toysat) S 842 845 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36746001 1343819776 159664 33554432000 4194304 16246674 140735715681968 139842348362992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=845/tid=847] ppid=842 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/845/task/847/stat : 847 (toysat) S 842 845 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36746001 1343819776 159664 33554432000 4194304 16246674 140735715681968 139842337873136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=845/tid=848] ppid=842 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/845/task/848/stat : 848 (toysat) S 842 845 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36746001 1343819776 159664 33554432000 4194304 16246674 140735715681968 139842256104624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1312324


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

[pid=845] ppid=842 vsize=9439812 CPUtime=1362.06 cores=0,2,4,6
/proc/845/stat : 845 (toysat) R 842 845 31304 0 -1 4202496 2301118 0 0 0 135791 415 0 0 20 0 4 0 36746001 9666367488 2301899 33554432000 4194304 16246674 140735715681968 140735715681144 6132605 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/845/statm: 2359953 2301899 841 2943 0 2356847 0
[pid=845/tid=846] ppid=842 vsize=9439812 CPUtime=0 cores=0,2,4,6
/proc/845/task/846/stat : 846 (toysat) S 842 845 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36746001 9666367488 2301899 33554432000 4194304 16246674 140735715681968 139842348362992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=845/tid=847] ppid=842 vsize=9439812 CPUtime=0 cores=0,2,4,6
/proc/845/task/847/stat : 847 (toysat) S 842 845 31304 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36746001 9666367488 2301899 33554432000 4194304 16246674 140735715681968 139842337873136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=845/tid=848] ppid=842 vsize=9439812 CPUtime=0 cores=0,2,4,6
/proc/845/task/848/stat : 848 (toysat) S 842 845 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36746001 9666367488 2301899 33554432000 4194304 16246674 140735715681968 139842256104624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 9439812

[startup+1422.3 s]
/proc/loadavg: 1.20 1.26 1.52 3/174 915
/proc/meminfo: memFree=21147744/32872528 swapFree=1370848/1518016
[pid=845] ppid=842 vsize=9439812 CPUtime=1422.05 cores=0,2,4,6
/proc/845/stat : 845 (toysat) R 842 845 31304 0 -1 4202496 2301118 0 0 0 141787 418 0 0 20 0 4 0 36746001 9666367488 2301899 33554432000 4194304 16246674 140735715681968 140735715663872 6132452 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/845/statm: 2359953 2301899 841 2943 0 2356847 0
[pid=845/tid=846] ppid=842 vsize=9439812 CPUtime=0 cores=0,2,4,6
/proc/845/task/846/stat : 846 (toysat) S 842 845 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36746001 9666367488 2301899 33554432000 4194304 16246674 140735715681968 139842348362992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=845/tid=847] ppid=842 vsize=9439812 CPUtime=0 cores=0,2,4,6
/proc/845/task/847/stat : 847 (toysat) S 842 845 31304 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36746001 9666367488 2301899 33554432000 4194304 16246674 140735715681968 139842337873136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=845/tid=848] ppid=842 vsize=9439812 CPUtime=0 cores=0,2,4,6
/proc/845/task/848/stat : 848 (toysat) S 842 845 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36746001 9666367488 2301899 33554432000 4194304 16246674 140735715681968 139842256104624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 9439812

[startup+1482.3 s]
/proc/loadavg: 1.22 1.25 1.51 2/174 939
/proc/meminfo: memFree=21147080/32872528 swapFree=1370848/1518016
[pid=845] ppid=842 vsize=9439812 CPUtime=1482.04 cores=0,2,4,6
/proc/845/stat : 845 (toysat) R 842 845 31304 0 -1 4202496 2301118 0 0 0 147783 421 0 0 20 0 4 0 36746001 9666367488 2301899 33554432000 4194304 16246674 140735715681968 140735715681144 13809392 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/845/statm: 2359953 2301899 841 2943 0 2356847 0
[pid=845/tid=846] ppid=842 vsize=9439812 CPUtime=0 cores=0,2,4,6
/proc/845/task/846/stat : 846 (toysat) S 842 845 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36746001 9666367488 2301899 33554432000 4194304 16246674 140735715681968 139842348362992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=845/tid=847] ppid=842 vsize=9439812 CPUtime=0 cores=0,2,4,6
/proc/845/task/847/stat : 847 (toysat) S 842 845 31304 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36746001 9666367488 2301899 33554432000 4194304 16246674 140735715681968 139842337873136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=845/tid=848] ppid=842 vsize=9439812 CPUtime=0 cores=0,2,4,6
/proc/845/task/848/stat : 848 (toysat) S 842 845 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36746001 9666367488 2301899 33554432000 4194304 16246674 140735715681968 139842256104624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 9439812

[startup+1542.31 s]
/proc/loadavg: 1.37 1.30 1.50 2/173 941
/proc/meminfo: memFree=21147260/32872528 swapFree=1370848/1518016
[pid=845] ppid=842 vsize=9439812 CPUtime=1542.04 cores=0,2,4,6
/proc/845/stat : 845 (toysat) R 842 845 31304 0 -1 4202496 2301118 0 0 0 153780 424 0 0 20 0 4 0 36746001 9666367488 2301899 33554432000 4194304 16246674 140735715681968 140735715681144 13807696 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/845/statm: 2359953 2301899 841 2943 0 2356847 0
[pid=845/tid=846] ppid=842 vsize=9439812 CPUtime=0 cores=0,2,4,6
/proc/845/task/846/stat : 846 (toysat) S 842 845 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36746001 9666367488 2301899 33554432000 4194304 16246674 140735715681968 139842348362992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=845/tid=847] ppid=842 vsize=9439812 CPUtime=0 cores=0,2,4,6
/proc/845/task/847/stat : 847 (toysat) S 842 845 31304 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36746001 9666367488 2301899 33554432000 4194304 16246674 140735715681968 139842337873136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=845/tid=848] ppid=842 vsize=9439812 CPUtime=0 cores=0,2,4,6
/proc/845/task/848/stat : 848 (toysat) S 842 845 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36746001 9666367488 2301899 33554432000 4194304 16246674 140735715681968 139842256104624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 9439812

[startup+1602.3 s]
/proc/loadavg: 1.21 1.27 1.48 2/173 942
/proc/meminfo: memFree=18481668/32872528 swapFree=1370848/1518016
[pid=845] ppid=842 vsize=12100164 CPUtime=1602.02 cores=0,2,4,6
/proc/845/stat : 845 (toysat) R 842 845 31304 0 -1 4202496 2966207 0 0 0 159681 521 0 0 20 0 4 0 36746001 12390567936 2966988 33554432000 4194304 16246674 140735715681968 140735715681144 6132467 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/845/statm: 3025041 2966988 841 2943 0 3021935 0
[pid=845/tid=846] ppid=842 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/845/task/846/stat : 846 (toysat) S 842 845 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36746001 12390567936 2966988 33554432000 4194304 16246674 140735715681968 139842348362992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=845/tid=847] ppid=842 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/845/task/847/stat : 847 (toysat) S 842 845 31304 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36746001 12390567936 2966988 33554432000 4194304 16246674 140735715681968 139842337873136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=845/tid=848] ppid=842 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/845/task/848/stat : 848 (toysat) S 842 845 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36746001 12390567936 2966988 33554432000 4194304 16246674 140735715681968 139842256104624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 12100164

[startup+1662.3 s]
/proc/loadavg: 1.41 1.31 1.48 2/173 943
/proc/meminfo: memFree=18481828/32872528 swapFree=1370848/1518016
[pid=845] ppid=842 vsize=12100164 CPUtime=1662.01 cores=0,2,4,6
/proc/845/stat : 845 (toysat) R 842 845 31304 0 -1 4202496 2966207 0 0 0 165677 524 0 0 20 0 4 0 36746001 12390567936 2966988 33554432000 4194304 16246674 140735715681968 140735715681144 13817064 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/845/statm: 3025041 2966988 841 2943 0 3021935 0
[pid=845/tid=846] ppid=842 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/845/task/846/stat : 846 (toysat) S 842 845 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36746001 12390567936 2966988 33554432000 4194304 16246674 140735715681968 139842348362992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=845/tid=847] ppid=842 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/845/task/847/stat : 847 (toysat) S 842 845 31304 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36746001 12390567936 2966988 33554432000 4194304 16246674 140735715681968 139842337873136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=845/tid=848] ppid=842 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/845/task/848/stat : 848 (toysat) S 842 845 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36746001 12390567936 2966988 33554432000 4194304 16246674 140735715681968 139842256104624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 12100164

[startup+1722.3 s]
/proc/loadavg: 1.24 1.28 1.45 2/173 944
/proc/meminfo: memFree=18481744/32872528 swapFree=1370848/1518016
[pid=845] ppid=842 vsize=12100164 CPUtime=1722 cores=0,2,4,6
/proc/845/stat : 845 (toysat) R 842 845 31304 0 -1 4202496 2966213 0 0 0 171674 526 0 0 20 0 4 0 36746001 12390567936 2966994 33554432000 4194304 16246674 140735715681968 140735715681144 6132663 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/845/statm: 3025041 2966994 841 2943 0 3021935 0
[pid=845/tid=846] ppid=842 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/845/task/846/stat : 846 (toysat) S 842 845 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36746001 12390567936 2966994 33554432000 4194304 16246674 140735715681968 139842348362992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=845/tid=847] ppid=842 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/845/task/847/stat : 847 (toysat) S 842 845 31304 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36746001 12390567936 2966994 33554432000 4194304 16246674 140735715681968 139842337873136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=845/tid=848] ppid=842 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/845/task/848/stat : 848 (toysat) S 842 845 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36746001 12390567936 2966994 33554432000 4194304 16246674 140735715681968 139842256104624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 12100164

[startup+1782.3 s]
/proc/loadavg: 1.20 1.27 1.44 2/173 945
/proc/meminfo: memFree=18481780/32872528 swapFree=1370848/1518016
[pid=845] ppid=842 vsize=12100164 CPUtime=1781.98 cores=0,2,4,6
/proc/845/stat : 845 (toysat) R 842 845 31304 0 -1 4202496 2966213 0 0 0 177668 530 0 0 20 0 4 0 36746001 12390567936 2966994 33554432000 4194304 16246674 140735715681968 140735715681144 13809356 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/845/statm: 3025041 2966994 841 2943 0 3021935 0
[pid=845/tid=846] ppid=842 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/845/task/846/stat : 846 (toysat) S 842 845 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36746001 12390567936 2966994 33554432000 4194304 16246674 140735715681968 139842348362992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=845/tid=847] ppid=842 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/845/task/847/stat : 847 (toysat) S 842 845 31304 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36746001 12390567936 2966994 33554432000 4194304 16246674 140735715681968 139842337873136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=845/tid=848] ppid=842 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/845/task/848/stat : 848 (toysat) S 842 845 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36746001 12390567936 2966994 33554432000 4194304 16246674 140735715681968 139842256104624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 12100164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.29 1.28 1.44 2/172 946
/proc/meminfo: memFree=18481888/32872528 swapFree=1370848/1518016
[pid=845] ppid=842 vsize=12100164 CPUtime=1800.08 cores=0,2,4,6
/proc/845/stat : 845 (toysat) R 842 845 31304 0 -1 4202496 2966213 0 0 0 179477 531 0 0 20 0 4 0 36746001 12390567936 2966994 33554432000 4194304 16246674 140735715681968 140735715681144 6132605 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/845/statm: 3025041 2966994 841 2943 0 3021935 0
[pid=845/tid=846] ppid=842 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/845/task/846/stat : 846 (toysat) S 842 845 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36746001 12390567936 2966994 33554432000 4194304 16246674 140735715681968 139842348362992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=845/tid=847] ppid=842 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/845/task/847/stat : 847 (toysat) S 842 845 31304 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36746001 12390567936 2966994 33554432000 4194304 16246674 140735715681968 139842337873136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=845/tid=848] ppid=842 vsize=12100164 CPUtime=0 cores=0,2,4,6
/proc/845/task/848/stat : 848 (toysat) S 842 845 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36746001 12390567936 2966994 33554432000 4194304 16246674 140735715681968 139842256104624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 12100164

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

[startup+1800.81 s]
/proc/loadavg: 1.29 1.28 1.44 2/170 946
/proc/meminfo: memFree=25813764/32872528 swapFree=1370848/1518016
[pid=845] ppid=842 vsize=0 CPUtime=1800.5 cores=0,2,4,6
/proc/845/stat : 845 (toysat) Z 842 845 31304 0 -1 4203532 2966213 0 0 0 179478 572 0 0 20 0 2 0 36746001 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/845/statm: 0 0 0 0 0 0 0
[pid=845/tid=846] ppid=842 vsize=0 CPUtime=0.39 cores=0,2,4,6
/proc/845/task/846/stat : 846 (toysat) R 842 845 31304 0 -1 4203588 9 0 0 0 0 39 0 0 20 0 2 0 36746001 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.5
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 1.29 1.28 1.44 2/170 946
/proc/meminfo: memFree=25813764/32872528 swapFree=1370848/1518016
[pid=845] ppid=842 vsize=0 CPUtime=1800.59 cores=0,2,4,6
/proc/845/stat : 845 (toysat) Z 842 845 31304 0 -1 4203532 2966213 0 0 0 179478 581 0 0 20 0 2 0 36746001 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/845/statm: 0 0 0 0 0 0 0
[pid=845/tid=846] ppid=842 vsize=0 CPUtime=0.48 cores=0,2,4,6
/proc/845/task/846/stat : 846 (toysat) R 842 845 31304 0 -1 4203588 9 0 0 0 0 48 0 0 20 0 2 0 36746001 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.59
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.96
CPU time (s): 1800.65
CPU user time (s): 1794.78
CPU system time (s): 5.86711
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 12100164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.78
system time used= 5.86711
maximum resident set size= 11867976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2966213
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= 122
involuntary context switches= 2046

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.19521 second user time and 6.11907 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-19 16:36:35
IDJOB=4110582
IDBENCH=79535
IDSOLVER=2553
FILE ID=node129/4110582-1466346995
RUNJOBID= node129-1466341815-31320
PBS_JOBID= 19922024
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 4ad1347278976f19411afc1ab6eea52f
RANDOM SEED=241439791

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.143
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.143
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        17115220 kB
Buffers:           82352 kB
Cached:           178208 kB
SwapCached:         1560 kB
Active:         13344808 kB
Inactive:         131188 kB
Active(anon):   13214264 kB
Inactive(anon):     4320 kB
Active(file):     130544 kB
Inactive(file):   126868 kB
Unevictable:     1518016 kB
Mlocked:         1370848 kB
SwapTotal:      67108856 kB
SwapFree:       67099348 kB
Dirty:             16360 kB
Writeback:             0 kB
AnonPages:      14734184 kB
Mapped:            10616 kB
Shmem:                 0 kB
Slab:             602792 kB
SReclaimable:      46656 kB
SUnreclaim:       556136 kB
KernelStack:        1456 kB
PageTables:        32508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   14876860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 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= 71720 MiB
End job on node129 at 2016-06-19 17:06:36