Trace number 4093232

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.02 1800.31

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/
scens/normalized-scen06-24_wcsp.wbo
MD5SUM4777de5a2c38ee1894dc5fa8598904ab
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark13486
Best CPU time to get the best result obtained on this benchmark313.31
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1612
Total number of constraints129924
Number of soft constraints129825
Number of constraints which are clauses129825
Number of constraints which are cardinality constraints (but not clauses)99
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint20
Top cost 250711
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 22300299
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T22:30:19+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-4093232-1466109019.wbo"]
0.00/0.01	c use --random-gen="2025425832 838459267 843531211 3705689791 3355031044 2347866911 1488432862 681070250 3593097003 209424578 3507126120 3327841026 184203974 961503063 3664922743 1337682130 1434514161 3804616958 2982525118 4257909679 1635739917 683738441 3043038349 4119766119 2851731932 2817988871 2845048839 3390544135 2476272383 4073384663 1466007189 2332621296 3334319726 3298743631 788741632 2641024681 754907805 4175486930 3486984722 1887372966 1771563495 129507923 2854564628 1574654983 1344105106 187971557 170107293 3831898951 1771284916 2140381675 1877032075 1340281191 3457520017 326609791 3957889188 1568855041 2037840741 3050826341 57234046 3050574328 2011243377 461866836 4086691933 333734661 320948300 183478691 1274885647 1093557274 2575928524 4267076495 2202008025 2294289648 194903201 3529916072 3798391947 1221590982 3246133999 3745271487 2955286261 2567998290 3861717531 2505266601 2983390507 4209987681 2863476642 166784223 1662905587 119562176 945573578 271993185 1086682332 1672970038 3582011542 3330106480 180069413 1732903300 2564998944 1490245256 2703292392 2119608492 1950322165 1596869149 3650322137 1616988442 925323407 2653554403 675801570 2676432933 2951885977 104388316 3423287633 1723263803 1451416882 451170075 2148166832 1754644579 367490908 4253206598 1089658023 2376791420 337993106 4282862037 942762461 23135131 789870486 2531409834 1328494342 3240683638 829487786 2188082122 3756283237 3488478059 2271463497 3519559221 1956925289 1440410322 1155943266 2145248319 2760271836 3474294090 2977557413 4088587991 2367366001 918627939 470471536 3816009823 1067887727 1918754516 237367897 1971481535 789839283 2864167195 1034757762 2607623198 3106747407 295422574 2175366762 2477183147 2871831753 4246703577 825055134 2184184887 1542511073 2082979675 959541645 72253146 278340762 2242033479 3143782466 3359681785 3509175316 1688643838 1557000455 2390198759 2671161556 1411854190 909417690 4278266414 2011076016 2373577493 2103505582 617984685 3218212218 356834141 2481915597 2938788181 83688088 2501277800 3364822002 323679959 2464958669 1969569962 1287802749 2899271478 3229401683 1506049480 2201024385 690245409 3681322768 1655546788 1906196385 3759212452 1173520767 3191277376 3736151860 979031441 3237446077 3341363248 1929728218 1558148362 1557874159 1477877467 3253256497 1570126365 645658640 1584911259 938202114 504920452 2898160138 3531142216 1295634008 2580518108 4145728623 4125640443 30982767 2663375405 366739102 1625773481 449544412 1866315510 3651765904 324245348 196896555 2929199344 1834728868 1477180408 2890671605 350899309 3584303576 510984123 3869814577 3394392474 402276346 1107049960 1105292332 4103818320 484528169 3053252634 1538745218 3199599028 594382471 3594168260 3566817639 3861755439 2170471979 2166195594 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-4093232-1466109019/watcher-4093232-1466109019 -o /tmp/evaluation-result-4093232-1466109019/solver-4093232-1466109019 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466103615-21301 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093232-1466109019.wbo 

pid=21789
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.41 2.30 2.21 3/175 21792
/proc/meminfo: memFree=30307704/32872528 swapFree=1481856/1661728
[pid=21792] ppid=21789 vsize=765372 CPUtime=0 cores=1,3,5,7
/proc/21792/stat : 21792 (toysat) R 21789 21792 20832 0 -1 4202496 2865 0 0 0 0 0 0 0 20 0 4 0 12948350 783740928 2715 33554432000 4194304 16246674 140734687954480 140734687953904 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21792/statm: 191855 2724 441 2943 0 188749 0
[pid=21792/tid=21793] ppid=21789 vsize=782780 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21793/stat : 21793 (toysat) S 21789 21792 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12948350 801566720 2785 33554432000 4194304 16246674 140734687954480 139808969043184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21792/tid=21794] ppid=21789 vsize=787900 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21794/stat : 21794 (toysat) S 21789 21792 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12948350 806809600 2801 33554432000 4194304 16246674 140734687954480 139808958553328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21792/tid=21795] ppid=21789 vsize=791996 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21795/stat : 21795 (toysat) S 21789 21792 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12948350 811003904 2820 33554432000 4194304 16246674 140734687954480 139808948079792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.41 2.30 2.21 3/175 21792
/proc/meminfo: memFree=30307704/32872528 swapFree=1481856/1661728
[pid=21792] ppid=21789 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/21792/stat : 21792 (toysat) R 21789 21792 20832 0 -1 4202496 25985 0 0 0 5 4 0 0 20 0 4 0 12948350 1332285440 25775 33554432000 4194304 16246674 140734687954480 140734687953792 8058197 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21792/statm: 325265 25788 802 2943 0 322159 0
[pid=21792/tid=21793] ppid=21789 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21793/stat : 21793 (toysat) S 21789 21792 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12948350 1332285440 25799 33554432000 4194304 16246674 140734687954480 139808969043184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21792/tid=21794] ppid=21789 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21794/stat : 21794 (toysat) S 21789 21792 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12948350 1332285440 25810 33554432000 4194304 16246674 140734687954480 139808958553328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21792/tid=21795] ppid=21789 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21795/stat : 21795 (toysat) S 21789 21792 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12948350 1332285440 25821 33554432000 4194304 16246674 140734687954480 139808948079792 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.200508 s]
/proc/loadavg: 2.41 2.30 2.21 3/175 21792
/proc/meminfo: memFree=30307704/32872528 swapFree=1481856/1661728
[pid=21792] ppid=21789 vsize=1314372 CPUtime=0.19 cores=1,3,5,7
/proc/21792/stat : 21792 (toysat) R 21789 21792 20832 0 -1 4202496 46313 0 0 0 13 6 0 0 20 0 4 0 12948350 1345916928 46613 33554432000 4194304 16246674 140734687954480 140734687953144 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21792/statm: 328593 46613 803 2943 0 325487 0
[pid=21792/tid=21793] ppid=21789 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21793/stat : 21793 (toysat) S 21789 21792 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12948350 1345916928 46613 33554432000 4194304 16246674 140734687954480 139808969043184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21792/tid=21794] ppid=21789 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21794/stat : 21794 (toysat) S 21789 21792 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12948350 1345916928 46613 33554432000 4194304 16246674 140734687954480 139808958553328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21792/tid=21795] ppid=21789 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21795/stat : 21795 (toysat) S 21789 21792 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12948350 1345916928 46613 33554432000 4194304 16246674 140734687954480 139808948079792 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.30046 s]
/proc/loadavg: 2.41 2.30 2.21 3/175 21792
/proc/meminfo: memFree=30307704/32872528 swapFree=1481856/1661728
[pid=21792] ppid=21789 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/21792/stat : 21792 (toysat) R 21789 21792 20832 0 -1 4202496 66093 0 0 0 20 9 0 0 20 0 4 0 12948350 1345916928 66393 33554432000 4194304 16246674 140734687954480 140734687953144 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21792/statm: 328593 66397 803 2943 0 325487 0
[pid=21792/tid=21793] ppid=21789 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21793/stat : 21793 (toysat) S 21789 21792 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12948350 1345916928 66400 33554432000 4194304 16246674 140734687954480 139808969043184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21792/tid=21794] ppid=21789 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21794/stat : 21794 (toysat) S 21789 21792 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12948350 1345916928 66403 33554432000 4194304 16246674 140734687954480 139808958553328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21792/tid=21795] ppid=21789 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21795/stat : 21795 (toysat) S 21789 21792 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12948350 1345916928 66405 33554432000 4194304 16246674 140734687954480 139808948079792 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.700427 s]
/proc/loadavg: 2.41 2.30 2.21 3/175 21792
/proc/meminfo: memFree=30307704/32872528 swapFree=1481856/1661728
[pid=21792] ppid=21789 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/21792/stat : 21792 (toysat) R 21789 21792 20832 0 -1 4202496 72344 0 0 0 59 10 0 0 20 0 4 0 12948350 1345916928 72644 33554432000 4194304 16246674 140734687954480 140734687953144 4220543 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21792/statm: 328593 72644 803 2943 0 325487 0
[pid=21792/tid=21793] ppid=21789 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21793/stat : 21793 (toysat) S 21789 21792 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12948350 1345916928 72644 33554432000 4194304 16246674 140734687954480 139808969043184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21792/tid=21794] ppid=21789 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21794/stat : 21794 (toysat) S 21789 21792 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12948350 1345916928 72644 33554432000 4194304 16246674 140734687954480 139808958553328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21792/tid=21795] ppid=21789 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21795/stat : 21795 (toysat) S 21789 21792 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12948350 1345916928 72644 33554432000 4194304 16246674 140734687954480 139808948079792 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.41 2.30 2.21 3/186 21810
/proc/meminfo: memFree=29689828/32872528 swapFree=1481856/1661728
[pid=21792] ppid=21789 vsize=1319492 CPUtime=1.49 cores=1,3,5,7
/proc/21792/stat : 21792 (toysat) R 21789 21792 20832 0 -1 4202496 76442 0 0 0 139 10 0 0 20 0 4 0 12948350 1351159808 76742 33554432000 4194304 16246674 140734687954480 140734687953792 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21792/statm: 329873 76742 835 2943 0 326767 0
[pid=21792/tid=21793] ppid=21789 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21793/stat : 21793 (toysat) S 21789 21792 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12948350 1351159808 76742 33554432000 4194304 16246674 140734687954480 139808969043184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21792/tid=21794] ppid=21789 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21794/stat : 21794 (toysat) S 21789 21792 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12948350 1351159808 76742 33554432000 4194304 16246674 140734687954480 139808958553328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21792/tid=21795] ppid=21789 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21795/stat : 21795 (toysat) S 21789 21792 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12948350 1351159808 76742 33554432000 4194304 16246674 140734687954480 139808948079792 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) 1319492

[startup+3.10043 s]
/proc/loadavg: 2.41 2.30 2.21 3/186 21810
/proc/meminfo: memFree=28739104/32872528 swapFree=1481856/1661728
[pid=21792] ppid=21789 vsize=1410628 CPUtime=3.08 cores=1,3,5,7
/proc/21792/stat : 21792 (toysat) R 21789 21792 20832 0 -1 4202496 293281 0 0 0 267 41 0 0 20 0 4 0 12948350 1444483072 293581 33554432000 4194304 16246674 140734687954480 140734687953792 4206697 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21792/statm: 352657 293581 837 2943 0 349551 0
[pid=21792/tid=21793] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21793/stat : 21793 (toysat) S 21789 21792 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293581 33554432000 4194304 16246674 140734687954480 139808969043184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21792/tid=21794] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21794/stat : 21794 (toysat) S 21789 21792 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293581 33554432000 4194304 16246674 140734687954480 139808958553328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21792/tid=21795] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21795/stat : 21795 (toysat) S 21789 21792 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293581 33554432000 4194304 16246674 140734687954480 139808948079792 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) 1410628

[startup+6.30037 s]
/proc/loadavg: 2.38 2.29 2.21 3/186 21810
/proc/meminfo: memFree=27944056/32872528 swapFree=1481856/1661728
[pid=21792] ppid=21789 vsize=1410628 CPUtime=6.28 cores=1,3,5,7
/proc/21792/stat : 21792 (toysat) R 21789 21792 20832 0 -1 4202496 293288 0 0 0 587 41 0 0 20 0 4 0 12948350 1444483072 293588 33554432000 4194304 16246674 140734687954480 140734687936384 6132720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21792/statm: 352657 293588 843 2943 0 349551 0
[pid=21792/tid=21793] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21793/stat : 21793 (toysat) S 21789 21792 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293588 33554432000 4194304 16246674 140734687954480 139808969043184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21792/tid=21794] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21794/stat : 21794 (toysat) S 21789 21792 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293588 33554432000 4194304 16246674 140734687954480 139808958553328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21792/tid=21795] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21795/stat : 21795 (toysat) S 21789 21792 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293588 33554432000 4194304 16246674 140734687954480 139808948079792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1410628

[startup+12.7004 s]
/proc/loadavg: 2.35 2.29 2.20 3/186 21810
/proc/meminfo: memFree=27944252/32872528 swapFree=1481856/1661728
[pid=21792] ppid=21789 vsize=1410628 CPUtime=12.68 cores=1,3,5,7
/proc/21792/stat : 21792 (toysat) R 21789 21792 20832 0 -1 4202496 293288 0 0 0 1227 41 0 0 20 0 4 0 12948350 1444483072 293588 33554432000 4194304 16246674 140734687954480 140734687936384 13774216 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21792/statm: 352657 293588 843 2943 0 349551 0
[pid=21792/tid=21793] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21793/stat : 21793 (toysat) S 21789 21792 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293588 33554432000 4194304 16246674 140734687954480 139808969043184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21792/tid=21794] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21794/stat : 21794 (toysat) S 21789 21792 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293588 33554432000 4194304 16246674 140734687954480 139808958553328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21792/tid=21795] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21795/stat : 21795 (toysat) S 21789 21792 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293588 33554432000 4194304 16246674 140734687954480 139808948079792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1410628

[startup+25.5004 s]
/proc/loadavg: 2.27 2.27 2.20 3/186 21810
/proc/meminfo: memFree=27945440/32872528 swapFree=1481856/1661728
[pid=21792] ppid=21789 vsize=1410628 CPUtime=25.48 cores=1,3,5,7
/proc/21792/stat : 21792 (toysat) R 21789 21792 20832 0 -1 4202496 293288 0 0 0 2507 41 0 0 20 0 4 0 12948350 1444483072 293588 33554432000 4194304 16246674 140734687954480 140734687936384 13774024 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21792/statm: 352657 293588 843 2943 0 349551 0
[pid=21792/tid=21793] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21793/stat : 21793 (toysat) S 21789 21792 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293588 33554432000 4194304 16246674 140734687954480 139808969043184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21792/tid=21794] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21794/stat : 21794 (toysat) S 21789 21792 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293588 33554432000 4194304 16246674 140734687954480 139808958553328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21792/tid=21795] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21795/stat : 21795 (toysat) S 21789 21792 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293588 33554432000 4194304 16246674 140734687954480 139808948079792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1410628

[startup+51.1004 s]
/proc/loadavg: 2.39 2.30 2.21 3/185 21810
/proc/meminfo: memFree=27945536/32872528 swapFree=1481856/1661728
[pid=21792] ppid=21789 vsize=1410628 CPUtime=51.08 cores=1,3,5,7
/proc/21792/stat : 21792 (toysat) R 21789 21792 20832 0 -1 4202496 293290 0 0 0 5067 41 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 140734687936384 6132704 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21792/statm: 352657 293590 845 2943 0 349551 0
[pid=21792/tid=21793] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21793/stat : 21793 (toysat) S 21789 21792 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808969043184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21792/tid=21794] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21794/stat : 21794 (toysat) S 21789 21792 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808958553328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21792/tid=21795] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21795/stat : 21795 (toysat) S 21789 21792 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808948079792 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) 1410628

[startup+102.3 s]
/proc/loadavg: 2.28 2.28 2.21 3/185 21811
/proc/meminfo: memFree=27945392/32872528 swapFree=1481856/1661728
[pid=21792] ppid=21789 vsize=1410628 CPUtime=102.28 cores=1,3,5,7
/proc/21792/stat : 21792 (toysat) R 21789 21792 20832 0 -1 4202496 293290 0 0 0 10186 42 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 140734687936384 13807696 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21792/statm: 352657 293590 845 2943 0 349551 0
[pid=21792/tid=21793] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21793/stat : 21793 (toysat) S 21789 21792 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808969043184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21792/tid=21794] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21794/stat : 21794 (toysat) S 21789 21792 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808958553328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21792/tid=21795] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21795/stat : 21795 (toysat) S 21789 21792 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808948079792 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) 1410628


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

/proc/21792/task/21795/stat : 21795 (toysat) S 21789 21792 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808948079792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1410628

[startup+1362.3 s]
/proc/loadavg: 2.29 2.23 2.19 3/185 21842
/proc/meminfo: memFree=27942308/32872528 swapFree=1481856/1661728
[pid=21792] ppid=21789 vsize=1410628 CPUtime=1362.07 cores=1,3,5,7
/proc/21792/stat : 21792 (toysat) R 21789 21792 20832 0 -1 4202496 293310 0 0 0 136165 42 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 140734687936384 13807488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21792/statm: 352657 293590 845 2943 0 349551 0
[pid=21792/tid=21793] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21793/stat : 21793 (toysat) S 21789 21792 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808969043184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21792/tid=21794] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21794/stat : 21794 (toysat) S 21789 21792 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808958553328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21792/tid=21795] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21795/stat : 21795 (toysat) S 21789 21792 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808948079792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1410628

[startup+1422.3 s]
/proc/loadavg: 2.27 2.23 2.19 3/185 21843
/proc/meminfo: memFree=27942404/32872528 swapFree=1481856/1661728
[pid=21792] ppid=21789 vsize=1410628 CPUtime=1422.06 cores=1,3,5,7
/proc/21792/stat : 21792 (toysat) R 21789 21792 20832 0 -1 4202496 293310 0 0 0 142164 42 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 140734687936384 6132663 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21792/statm: 352657 293590 845 2943 0 349551 0
[pid=21792/tid=21793] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21793/stat : 21793 (toysat) S 21789 21792 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808969043184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21792/tid=21794] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21794/stat : 21794 (toysat) S 21789 21792 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808958553328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21792/tid=21795] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21795/stat : 21795 (toysat) S 21789 21792 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808948079792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1410628

[startup+1482.3 s]
/proc/loadavg: 2.28 2.25 2.19 4/185 21845
/proc/meminfo: memFree=27942680/32872528 swapFree=1481856/1661728
[pid=21792] ppid=21789 vsize=1410628 CPUtime=1482.05 cores=1,3,5,7
/proc/21792/stat : 21792 (toysat) R 21789 21792 20832 0 -1 4202496 293310 0 0 0 148163 42 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 140734687936384 13774056 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21792/statm: 352657 293590 845 2943 0 349551 0
[pid=21792/tid=21793] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21793/stat : 21793 (toysat) S 21789 21792 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808969043184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21792/tid=21794] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21794/stat : 21794 (toysat) S 21789 21792 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808958553328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21792/tid=21795] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21795/stat : 21795 (toysat) S 21789 21792 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808948079792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1410628

[startup+1542.31 s]
/proc/loadavg: 2.30 2.26 2.19 3/185 21846
/proc/meminfo: memFree=27943396/32872528 swapFree=1481856/1661728
[pid=21792] ppid=21789 vsize=1410628 CPUtime=1542.05 cores=1,3,5,7
/proc/21792/stat : 21792 (toysat) R 21789 21792 20832 0 -1 4202496 293310 0 0 0 154163 42 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 140734687936384 13807770 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21792/statm: 352657 293590 845 2943 0 349551 0
[pid=21792/tid=21793] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21793/stat : 21793 (toysat) S 21789 21792 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808969043184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21792/tid=21794] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21794/stat : 21794 (toysat) S 21789 21792 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808958553328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21792/tid=21795] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21795/stat : 21795 (toysat) S 21789 21792 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808948079792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1410628

[startup+1602.3 s]
/proc/loadavg: 2.24 2.26 2.19 4/185 21847
/proc/meminfo: memFree=27943252/32872528 swapFree=1481856/1661728
[pid=21792] ppid=21789 vsize=1410628 CPUtime=1602.03 cores=1,3,5,7
/proc/21792/stat : 21792 (toysat) R 21789 21792 20832 0 -1 4202496 293310 0 0 0 160161 42 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 140734687936384 13807598 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21792/statm: 352657 293590 845 2943 0 349551 0
[pid=21792/tid=21793] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21793/stat : 21793 (toysat) S 21789 21792 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808969043184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21792/tid=21794] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21794/stat : 21794 (toysat) S 21789 21792 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808958553328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21792/tid=21795] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21795/stat : 21795 (toysat) S 21789 21792 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808948079792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1410628

[startup+1662.3 s]
/proc/loadavg: 2.29 2.27 2.20 4/185 21848
/proc/meminfo: memFree=27943344/32872528 swapFree=1481856/1661728
[pid=21792] ppid=21789 vsize=1410628 CPUtime=1662.03 cores=1,3,5,7
/proc/21792/stat : 21792 (toysat) R 21789 21792 20832 0 -1 4202496 293310 0 0 0 166160 43 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 140734687936384 13807598 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21792/statm: 352657 293590 845 2943 0 349551 0
[pid=21792/tid=21793] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21793/stat : 21793 (toysat) S 21789 21792 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808969043184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21792/tid=21794] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21794/stat : 21794 (toysat) S 21789 21792 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808958553328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21792/tid=21795] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21795/stat : 21795 (toysat) S 21789 21792 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808948079792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1410628

[startup+1722.3 s]
/proc/loadavg: 2.24 2.26 2.19 3/185 21849
/proc/meminfo: memFree=27943184/32872528 swapFree=1481856/1661728
[pid=21792] ppid=21789 vsize=1410628 CPUtime=1722.02 cores=1,3,5,7
/proc/21792/stat : 21792 (toysat) R 21789 21792 20832 0 -1 4202496 293310 0 0 0 172159 43 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 140734687936384 13774000 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21792/statm: 352657 293590 845 2943 0 349551 0
[pid=21792/tid=21793] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21793/stat : 21793 (toysat) S 21789 21792 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808969043184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21792/tid=21794] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21794/stat : 21794 (toysat) S 21789 21792 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808958553328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21792/tid=21795] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21795/stat : 21795 (toysat) S 21789 21792 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808948079792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1410628

[startup+1782.3 s]
/proc/loadavg: 2.21 2.24 2.19 3/186 21854
/proc/meminfo: memFree=27942768/32872528 swapFree=1481856/1661728
[pid=21792] ppid=21789 vsize=1410628 CPUtime=1782.01 cores=1,3,5,7
/proc/21792/stat : 21792 (toysat) R 21789 21792 20832 0 -1 4202496 293310 0 0 0 178158 43 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 140734687936384 6132539 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21792/statm: 352657 293590 845 2943 0 349551 0
[pid=21792/tid=21793] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21793/stat : 21793 (toysat) S 21789 21792 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808969043184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21792/tid=21794] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21794/stat : 21794 (toysat) S 21789 21792 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808958553328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21792/tid=21795] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21795/stat : 21795 (toysat) S 21789 21792 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808948079792 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) 1410628



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.23 2.24 2.19 4/186 21854
/proc/meminfo: memFree=27943304/32872528 swapFree=1481856/1661728
[pid=21792] ppid=21789 vsize=1410628 CPUtime=1800.01 cores=1,3,5,7
/proc/21792/stat : 21792 (toysat) R 21789 21792 20832 0 -1 4202496 293310 0 0 0 179958 43 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 140734687936384 13807770 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21792/statm: 352657 293590 845 2943 0 349551 0
[pid=21792/tid=21793] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21793/stat : 21793 (toysat) S 21789 21792 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808969043184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21792/tid=21794] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21794/stat : 21794 (toysat) S 21789 21792 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808958553328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21792/tid=21795] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21795/stat : 21795 (toysat) S 21789 21792 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808948079792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1410628

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

[startup+1800.3 s]
/proc/loadavg: 2.23 2.24 2.19 4/186 21854
/proc/meminfo: memFree=27943304/32872528 swapFree=1481856/1661728
[pid=21792] ppid=21789 vsize=1410628 CPUtime=1800.01 cores=1,3,5,7
/proc/21792/stat : 21792 (toysat) R 21789 21792 20832 0 -1 4202496 293310 0 0 0 179958 43 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 140734687936384 13807770 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21792/statm: 352657 293590 845 2943 0 349551 0
[pid=21792/tid=21793] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21793/stat : 21793 (toysat) S 21789 21792 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808969043184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21792/tid=21794] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21794/stat : 21794 (toysat) S 21789 21792 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808958553328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21792/tid=21795] ppid=21789 vsize=1410628 CPUtime=0 cores=1,3,5,7
/proc/21792/task/21795/stat : 21795 (toysat) S 21789 21792 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12948350 1444483072 293590 33554432000 4194304 16246674 140734687954480 139808948079792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1410628

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.59
CPU system time (s): 0.431934
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 1410628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.431934
maximum resident set size= 1174360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 293310
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= 45
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.74328 second user time and 6.72598 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-16 22:30:19
IDJOB=4093232
IDBENCH=79572
IDSOLVER=2553
FILE ID=node134/4093232-1466109019
RUNJOBID= node134-1466103615-21301
PBS_JOBID= 19904059
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/scens/normalized-scen06-24_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093232-1466109019/watcher-4093232-1466109019 -o /tmp/evaluation-result-4093232-1466109019/solver-4093232-1466109019 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466103615-21301 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093232-1466109019.wbo

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

MD5SUM BENCH= 4777de5a2c38ee1894dc5fa8598904ab
RANDOM SEED=1129587450

node134.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		: 2667.020
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	: 5334.04
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		: 2667.020
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	: 7358.89
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		: 2667.020
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		: 2667.020
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		: 2667.020
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		: 2667.020
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		: 2667.020
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		: 2667.020
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:        30309464 kB
Buffers:           44964 kB
Cached:           138316 kB
SwapCached:         8900 kB
Active:           112760 kB
Inactive:          83764 kB
Active(anon):       7556 kB
Inactive(anon):     8200 kB
Active(file):     105204 kB
Inactive(file):    75564 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67092052 kB
Dirty:             21404 kB
Writeback:             0 kB
AnonPages:       1671932 kB
Mapped:             6964 kB
Shmem:                 0 kB
Slab:             569496 kB
SReclaimable:      13572 kB
SUnreclaim:       555924 kB
KernelStack:        1544 kB
PageTables:         6952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1762492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    184320 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 node134 at 2016-06-16 23:00:20