Trace number 4093136

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.08 1800.36

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/celar/
normalized-celar6-sub4_wcsp.wbo
MD5SUMca9d0852ab5b196169871de07952f6ec
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmark
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables928
Total number of constraints353054
Number of soft constraints353032
Number of constraints which are clauses353032
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint44
Top cost 69697
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 47779432
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T21:13:21+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-4093136-1466104401.wbo"]
0.00/0.01	c use --random-gen="2464937512 3618163016 2676868090 3486006667 112617134 3275114780 513098241 2816056529 2964340871 1771228626 1170803834 3276189961 434012324 734082321 837623270 1739006053 2487689555 720858775 1578184352 3477796930 3429772450 3132702851 223458908 975650509 2888266825 435029826 1341630288 2721139450 4151769553 4190154666 398079104 3085668702 1125568149 2635984013 2177392762 209885019 645594255 2982334166 4224778836 2922433288 993084634 1208211954 1290134554 2712676144 3643154220 2504122071 337133255 1053767916 3445349974 2416674243 1490497348 3417662167 263521978 3031965314 1703358891 274214088 3796350095 1919321849 1458876022 1300538514 2078917763 1882561993 1656565074 1766909853 887333916 734953308 322815899 2302964630 122189695 1193329152 2225267501 1769634466 1537629038 662659976 64848669 1732292081 641135031 2234929435 1835588598 40695795 1771552321 3944437030 627049359 3079053834 1039003591 3826561999 4009248878 2767452993 2314356429 3238760737 2752693896 4027892776 2821032747 882049081 3301881282 2492297384 258474955 3807408202 2501707380 4181336468 1647378359 1190777970 874558214 4083102784 2715845798 2549688600 1064033885 616721736 1993489221 1444815404 2545803251 3768307144 2356067020 1999252574 931396560 4099793794 2570448649 107819935 4006329536 3249654224 1432591512 1850095177 3041472943 958196387 825325343 473891185 1868185082 2398318985 225867892 1306874373 3116673016 4192878028 1886195418 3680026779 82669895 656361854 3454625165 3597183193 1642284555 1723822216 2748972799 656705977 4070150825 551752673 2858723519 470717337 2886557567 3119411255 3181486986 1150552114 3495664765 2851076438 1049582153 3276094096 3665538333 2794089450 4100218008 3901484683 577499774 4151963882 935758736 2256789571 442996014 4130107987 955470261 1357427102 834870289 605911337 3337485839 3649815107 799853660 1550351109 2416816552 2394989327 1539424240 228009088 1645034517 1581171752 117642417 4033491650 1715777354 87037317 534622641 2027678084 519731509 2333186443 3452345982 48117955 2191295906 1093918261 2797255477 678091377 4271640631 453386922 733746163 1803132212 2259608711 831451346 3705149360 2120188112 2420740104 403059654 4064405672 2103461733 410847333 144182463 1274896922 2432566773 2097689049 3080609560 3723443751 1076306703 3364423145 1706877553 2768929890 2371088157 3835259656 2919242975 2182121342 1210857944 1021194353 2193218185 942719856 2445094344 2537061822 111643040 3635422812 2966461110 3660899602 2793951149 2080405286 360759449 3499424552 4263706677 2510188696 3317613311 3940279485 4268881506 723476762 2369205745 2730905290 259702060 912708601 1719012182 3656879667 2226205165 1289186791 1931846529 1060665917 3274704318 3467751083 1125123355 2827302424 1375638609 102830338 825773570 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-4093136-1466104401/watcher-4093136-1466104401 -o /tmp/evaluation-result-4093136-1466104401/solver-4093136-1466104401 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466104401-6760 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093136-1466104401.wbo 

pid=6782
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: 1.35 1.46 1.79 5/174 6788
/proc/meminfo: memFree=30563328/32872528 swapFree=1243920/1391088
[pid=6786] ppid=6782 vsize=753084 CPUtime=0 cores=0,2,4,6
/proc/6786/stat : 6786 (toysat) R 6782 6786 3284 0 -1 4202496 2815 0 0 0 0 0 0 0 20 0 4 0 12488733 771158016 2665 33554432000 4194304 16246674 140736142034272 140736142033696 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 188783 2675 441 2943 0 185677 0
[pid=6786/tid=6791] ppid=6782 vsize=782780 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6791/stat : 6791 (toysat) S 6782 6786 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12488734 801566720 2781 33554432000 4194304 16246674 140736142034272 140328660086000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6792] ppid=6782 vsize=785852 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6792/stat : 6792 (toysat) S 6782 6786 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488734 804712448 2796 33554432000 4194304 16246674 140736142034272 140328649596144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6793] ppid=6782 vsize=789948 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6793/stat : 6793 (toysat) S 6782 6786 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12488734 808906752 2815 33554432000 4194304 16246674 140736142034272 140328639122608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 1.35 1.46 1.79 5/174 6788
/proc/meminfo: memFree=30563328/32872528 swapFree=1243920/1391088
[pid=6786] ppid=6782 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/6786/stat : 6786 (toysat) R 6782 6786 3284 0 -1 4202496 29596 0 0 0 5 4 0 0 20 0 4 0 12488733 1249447936 29386 33554432000 4194304 16246674 140736142034272 140736142033584 7405654 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 305041 29401 803 2943 0 301935 0
[pid=6786/tid=6791] ppid=6782 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6791/stat : 6791 (toysat) S 6782 6786 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12488734 1249447936 29412 33554432000 4194304 16246674 140736142034272 140328660086000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6792] ppid=6782 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6792/stat : 6792 (toysat) S 6782 6786 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488734 1249447936 29423 33554432000 4194304 16246674 140736142034272 140328649596144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6793] ppid=6782 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6793/stat : 6793 (toysat) S 6782 6786 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12488734 1249447936 29433 33554432000 4194304 16246674 140736142034272 140328639122608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200514 s]
/proc/loadavg: 1.35 1.46 1.79 5/174 6788
/proc/meminfo: memFree=30563328/32872528 swapFree=1243920/1391088
[pid=6786] ppid=6782 vsize=1307204 CPUtime=0.18 cores=0,2,4,6
/proc/6786/stat : 6786 (toysat) R 6782 6786 3284 0 -1 4202496 51331 0 0 0 11 7 0 0 20 0 4 0 12488733 1338576896 51632 33554432000 4194304 16246674 140736142034272 140736142033584 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 326801 51636 803 2943 0 323695 0
[pid=6786/tid=6791] ppid=6782 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6791/stat : 6791 (toysat) S 6782 6786 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12488734 1338576896 51638 33554432000 4194304 16246674 140736142034272 140328660086000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6792] ppid=6782 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6792/stat : 6792 (toysat) S 6782 6786 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488734 1338576896 51640 33554432000 4194304 16246674 140736142034272 140328649596144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6793] ppid=6782 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6793/stat : 6793 (toysat) S 6782 6786 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12488734 1338576896 51643 33554432000 4194304 16246674 140736142034272 140328639122608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1307204

[startup+0.300533 s]
/proc/loadavg: 1.35 1.46 1.79 5/174 6788
/proc/meminfo: memFree=30563328/32872528 swapFree=1243920/1391088
[pid=6786] ppid=6782 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/6786/stat : 6786 (toysat) R 6782 6786 3284 0 -1 4202496 67581 0 0 0 19 10 0 0 20 0 4 0 12488733 1345916928 67883 33554432000 4194304 16246674 140736142034272 140736142033584 7374276 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 328593 67901 803 2943 0 325487 0
[pid=6786/tid=6791] ppid=6782 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6791/stat : 6791 (toysat) S 6782 6786 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12488734 1345916928 67911 33554432000 4194304 16246674 140736142034272 140328660086000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6792] ppid=6782 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6792/stat : 6792 (toysat) S 6782 6786 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488734 1345916928 67923 33554432000 4194304 16246674 140736142034272 140328649596144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6793] ppid=6782 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6793/stat : 6793 (toysat) S 6782 6786 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12488734 1345916928 67934 33554432000 4194304 16246674 140736142034272 140328639122608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700439 s]
/proc/loadavg: 1.35 1.46 1.79 5/174 6788
/proc/meminfo: memFree=30563328/32872528 swapFree=1243920/1391088
[pid=6786] ppid=6782 vsize=1315396 CPUtime=0.69 cores=0,2,4,6
/proc/6786/stat : 6786 (toysat) R 6782 6786 3284 0 -1 4202496 73810 0 0 0 58 11 0 0 20 0 4 0 12488733 1346965504 74111 33554432000 4194304 16246674 140736142034272 140736142016192 4207600 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 328849 74111 803 2943 0 325743 0
[pid=6786/tid=6791] ppid=6782 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6791/stat : 6791 (toysat) S 6782 6786 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12488734 1346965504 74111 33554432000 4194304 16246674 140736142034272 140328660086000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6792] ppid=6782 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6792/stat : 6792 (toysat) S 6782 6786 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488734 1346965504 74111 33554432000 4194304 16246674 140736142034272 140328649596144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6793] ppid=6782 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6793/stat : 6793 (toysat) S 6782 6786 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12488734 1346965504 74111 33554432000 4194304 16246674 140736142034272 140328639122608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1315396

[startup+1.50041 s]
/proc/loadavg: 1.35 1.46 1.79 4/183 6797
/proc/meminfo: memFree=29896796/32872528 swapFree=1243920/1391088
[pid=6786] ppid=6782 vsize=1327684 CPUtime=1.49 cores=0,2,4,6
/proc/6786/stat : 6786 (toysat) R 6782 6786 3284 0 -1 4202496 107418 0 0 0 133 16 0 0 20 0 4 0 12488733 1359548416 109252 33554432000 4194304 16246674 140736142034272 140736142016192 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 331921 109252 804 2943 0 328815 0
[pid=6786/tid=6791] ppid=6782 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6791/stat : 6791 (toysat) S 6782 6786 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12488734 1359548416 109252 33554432000 4194304 16246674 140736142034272 140328660086000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6792] ppid=6782 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6792/stat : 6792 (toysat) S 6782 6786 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488734 1359548416 109252 33554432000 4194304 16246674 140736142034272 140328649596144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6793] ppid=6782 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6793/stat : 6793 (toysat) S 6782 6786 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12488734 1359548416 109252 33554432000 4194304 16246674 140736142034272 140328639122608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1327684

[startup+3.10039 s]
/proc/loadavg: 1.35 1.46 1.79 4/183 6797
/proc/meminfo: memFree=29680016/32872528 swapFree=1243920/1391088
[pid=6786] ppid=6782 vsize=1327684 CPUtime=3.09 cores=0,2,4,6
/proc/6786/stat : 6786 (toysat) R 6782 6786 3284 0 -1 4202496 115992 0 0 0 292 17 0 0 20 0 4 0 12488733 1359548416 118848 33554432000 4194304 16246674 140736142034272 140736142033584 13905536 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 331921 118848 836 2943 0 328815 0
[pid=6786/tid=6791] ppid=6782 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6791/stat : 6791 (toysat) S 6782 6786 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12488734 1359548416 118848 33554432000 4194304 16246674 140736142034272 140328660086000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6792] ppid=6782 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6792/stat : 6792 (toysat) S 6782 6786 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488734 1359548416 118848 33554432000 4194304 16246674 140736142034272 140328649596144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6793] ppid=6782 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6793/stat : 6793 (toysat) S 6782 6786 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12488734 1359548416 118848 33554432000 4194304 16246674 140736142034272 140328639122608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1327684

[startup+6.30046 s]
/proc/loadavg: 1.40 1.46 1.79 4/183 6797
/proc/meminfo: memFree=28257384/32872528 swapFree=1243920/1391088
[pid=6786] ppid=6782 vsize=1389124 CPUtime=6.29 cores=0,2,4,6
/proc/6786/stat : 6786 (toysat) R 6782 6786 3284 0 -1 4202496 285352 0 0 0 588 41 0 0 20 0 4 0 12488733 1422462976 288208 33554432000 4194304 16246674 140736142034272 140736142033584 12481290 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 347281 288208 839 2943 0 344175 0
[pid=6786/tid=6791] ppid=6782 vsize=1389124 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6791/stat : 6791 (toysat) S 6782 6786 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12488734 1422462976 288208 33554432000 4194304 16246674 140736142034272 140328660086000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6792] ppid=6782 vsize=1389124 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6792/stat : 6792 (toysat) S 6782 6786 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488734 1422462976 288208 33554432000 4194304 16246674 140736142034272 140328649596144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6793] ppid=6782 vsize=1389124 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6793/stat : 6793 (toysat) S 6782 6786 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12488734 1422462976 288208 33554432000 4194304 16246674 140736142034272 140328639122608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1389124

[startup+12.7004 s]
/proc/loadavg: 1.53 1.49 1.80 3/183 6797
/proc/meminfo: memFree=27951420/32872528 swapFree=1243920/1391088
[pid=6786] ppid=6782 vsize=1541700 CPUtime=12.68 cores=0,2,4,6
/proc/6786/stat : 6786 (toysat) R 6782 6786 3284 0 -1 4202496 323502 0 0 0 1222 46 0 0 20 0 4 0 12488733 1578700800 326358 33554432000 4194304 16246674 140736142034272 140736142016192 12480981 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 385425 326358 845 2943 0 382319 0
[pid=6786/tid=6791] ppid=6782 vsize=1541700 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6791/stat : 6791 (toysat) S 6782 6786 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12488734 1578700800 326358 33554432000 4194304 16246674 140736142034272 140328660086000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6792] ppid=6782 vsize=1541700 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6792/stat : 6792 (toysat) S 6782 6786 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488734 1578700800 326358 33554432000 4194304 16246674 140736142034272 140328649596144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6793] ppid=6782 vsize=1541700 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6793/stat : 6793 (toysat) S 6782 6786 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12488734 1578700800 326358 33554432000 4194304 16246674 140736142034272 140328639122608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1541700

[startup+25.5005 s]
/proc/loadavg: 1.63 1.51 1.80 4/183 6797
/proc/meminfo: memFree=27952188/32872528 swapFree=1243920/1391088
[pid=6786] ppid=6782 vsize=1541700 CPUtime=25.48 cores=0,2,4,6
/proc/6786/stat : 6786 (toysat) R 6782 6786 3284 0 -1 4202496 323502 0 0 0 2502 46 0 0 20 0 4 0 12488733 1578700800 326358 33554432000 4194304 16246674 140736142034272 140736142016192 13807435 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 385425 326358 845 2943 0 382319 0
[pid=6786/tid=6791] ppid=6782 vsize=1541700 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6791/stat : 6791 (toysat) S 6782 6786 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12488734 1578700800 326358 33554432000 4194304 16246674 140736142034272 140328660086000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6792] ppid=6782 vsize=1541700 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6792/stat : 6792 (toysat) S 6782 6786 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488734 1578700800 326358 33554432000 4194304 16246674 140736142034272 140328649596144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6793] ppid=6782 vsize=1541700 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6793/stat : 6793 (toysat) S 6782 6786 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12488734 1578700800 326358 33554432000 4194304 16246674 140736142034272 140328639122608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1541700

[startup+51.1005 s]
/proc/loadavg: 1.88 1.58 1.82 3/183 6797
/proc/meminfo: memFree=27952360/32872528 swapFree=1243920/1391088
[pid=6786] ppid=6782 vsize=1541700 CPUtime=51.08 cores=0,2,4,6
/proc/6786/stat : 6786 (toysat) R 6782 6786 3284 0 -1 4202496 323502 0 0 0 5062 46 0 0 20 0 4 0 12488733 1578700800 326358 33554432000 4194304 16246674 140736142034272 140736142016192 13774000 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 385425 326358 845 2943 0 382319 0
[pid=6786/tid=6791] ppid=6782 vsize=1541700 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6791/stat : 6791 (toysat) S 6782 6786 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12488734 1578700800 326358 33554432000 4194304 16246674 140736142034272 140328660086000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6792] ppid=6782 vsize=1541700 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6792/stat : 6792 (toysat) S 6782 6786 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488734 1578700800 326358 33554432000 4194304 16246674 140736142034272 140328649596144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6793] ppid=6782 vsize=1541700 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6793/stat : 6793 (toysat) S 6782 6786 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12488734 1578700800 326358 33554432000 4194304 16246674 140736142034272 140328639122608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1541700

[startup+102.301 s]
/proc/loadavg: 2.10 1.69 1.84 4/183 6798
/proc/meminfo: memFree=27951796/32872528 swapFree=1243920/1391088
[pid=6786] ppid=6782 vsize=1541700 CPUtime=102.28 cores=0,2,4,6
/proc/6786/stat : 6786 (toysat) R 6782 6786 3284 0 -1 4202496 323502 0 0 0 10182 46 0 0 20 0 4 0 12488733 1578700800 326358 33554432000 4194304 16246674 140736142034272 140736142016192 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 385425 326358 845 2943 0 382319 0
[pid=6786/tid=6791] ppid=6782 vsize=1541700 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6791/stat : 6791 (toysat) S 6782 6786 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12488734 1578700800 326358 33554432000 4194304 16246674 140736142034272 140328660086000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6792] ppid=6782 vsize=1541700 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6792/stat : 6792 (toysat) S 6782 6786 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488734 1578700800 326358 33554432000 4194304 16246674 140736142034272 140328649596144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6793] ppid=6782 vsize=1541700 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6793/stat : 6793 (toysat) S 6782 6786 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12488734 1578700800 326358 33554432000 4194304 16246674 140736142034272 140328639122608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1541700


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

/proc/6786/task/6793/stat : 6793 (toysat) S 6782 6786 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 338967 33554432000 4194304 16246674 140736142034272 140328639122608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1592900

[startup+1362.3 s]
/proc/loadavg: 2.37 2.27 2.13 3/183 6830
/proc/meminfo: memFree=27848132/32872528 swapFree=1243920/1391088
[pid=6786] ppid=6782 vsize=1592900 CPUtime=1362.08 cores=0,2,4,6
/proc/6786/stat : 6786 (toysat) R 6782 6786 3284 0 -1 4202496 336111 0 0 0 136158 50 0 0 20 0 4 0 12488733 1631129600 338967 33554432000 4194304 16246674 140736142034272 140736142016192 13807598 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 398225 338967 845 2943 0 395119 0
[pid=6786/tid=6791] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6791/stat : 6791 (toysat) S 6782 6786 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 338967 33554432000 4194304 16246674 140736142034272 140328660086000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6792] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6792/stat : 6792 (toysat) S 6782 6786 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 338967 33554432000 4194304 16246674 140736142034272 140328649596144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6793] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6793/stat : 6793 (toysat) S 6782 6786 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 338967 33554432000 4194304 16246674 140736142034272 140328639122608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1592900

[startup+1422.3 s]
/proc/loadavg: 2.33 2.28 2.14 3/183 6831
/proc/meminfo: memFree=27848284/32872528 swapFree=1243920/1391088
[pid=6786] ppid=6782 vsize=1592900 CPUtime=1422.08 cores=0,2,4,6
/proc/6786/stat : 6786 (toysat) R 6782 6786 3284 0 -1 4202496 336111 0 0 0 142158 50 0 0 20 0 4 0 12488733 1631129600 338967 33554432000 4194304 16246674 140736142034272 140736142016192 13955776 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 398225 338967 845 2943 0 395119 0
[pid=6786/tid=6791] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6791/stat : 6791 (toysat) S 6782 6786 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 338967 33554432000 4194304 16246674 140736142034272 140328660086000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6792] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6792/stat : 6792 (toysat) S 6782 6786 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 338967 33554432000 4194304 16246674 140736142034272 140328649596144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6793] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6793/stat : 6793 (toysat) S 6782 6786 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 338967 33554432000 4194304 16246674 140736142034272 140328639122608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1592900

[startup+1482.3 s]
/proc/loadavg: 2.31 2.27 2.15 3/183 6832
/proc/meminfo: memFree=27848120/32872528 swapFree=1243920/1391088
[pid=6786] ppid=6782 vsize=1592900 CPUtime=1482.06 cores=0,2,4,6
/proc/6786/stat : 6786 (toysat) R 6782 6786 3284 0 -1 4202496 336111 0 0 0 148156 50 0 0 20 0 4 0 12488733 1631129600 338967 33554432000 4194304 16246674 140736142034272 140736142016192 13774084 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 398225 338967 845 2943 0 395119 0
[pid=6786/tid=6791] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6791/stat : 6791 (toysat) S 6782 6786 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 338967 33554432000 4194304 16246674 140736142034272 140328660086000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6792] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6792/stat : 6792 (toysat) S 6782 6786 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 338967 33554432000 4194304 16246674 140736142034272 140328649596144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6793] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6793/stat : 6793 (toysat) S 6782 6786 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 338967 33554432000 4194304 16246674 140736142034272 140328639122608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1592900

[startup+1542.31 s]
/proc/loadavg: 2.17 2.23 2.14 3/182 6833
/proc/meminfo: memFree=27849256/32872528 swapFree=1243920/1391088
[pid=6786] ppid=6782 vsize=1592900 CPUtime=1542.06 cores=0,2,4,6
/proc/6786/stat : 6786 (toysat) R 6782 6786 3284 0 -1 4202496 336111 0 0 0 154156 50 0 0 20 0 4 0 12488733 1631129600 338967 33554432000 4194304 16246674 140736142034272 140736142016192 13774056 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 398225 338967 845 2943 0 395119 0
[pid=6786/tid=6791] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6791/stat : 6791 (toysat) S 6782 6786 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 338967 33554432000 4194304 16246674 140736142034272 140328660086000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6792] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6792/stat : 6792 (toysat) S 6782 6786 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 338967 33554432000 4194304 16246674 140736142034272 140328649596144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6793] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6793/stat : 6793 (toysat) S 6782 6786 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 338967 33554432000 4194304 16246674 140736142034272 140328639122608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1592900

[startup+1602.3 s]
/proc/loadavg: 2.25 2.25 2.15 3/184 6838
/proc/meminfo: memFree=27846444/32872528 swapFree=1243920/1391088
[pid=6786] ppid=6782 vsize=1592900 CPUtime=1602.04 cores=0,2,4,6
/proc/6786/stat : 6786 (toysat) R 6782 6786 3284 0 -1 4202496 336111 0 0 0 160154 50 0 0 20 0 4 0 12488733 1631129600 338967 33554432000 4194304 16246674 140736142034272 140736142016192 13809242 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 398225 338967 845 2943 0 395119 0
[pid=6786/tid=6791] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6791/stat : 6791 (toysat) S 6782 6786 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 338967 33554432000 4194304 16246674 140736142034272 140328660086000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6792] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6792/stat : 6792 (toysat) S 6782 6786 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 338967 33554432000 4194304 16246674 140736142034272 140328649596144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6793] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6793/stat : 6793 (toysat) S 6782 6786 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 338967 33554432000 4194304 16246674 140736142034272 140328639122608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1592900

[startup+1662.3 s]
/proc/loadavg: 2.24 2.25 2.15 4/183 6840
/proc/meminfo: memFree=27846068/32872528 swapFree=1243920/1391088
[pid=6786] ppid=6782 vsize=1592900 CPUtime=1662.03 cores=0,2,4,6
/proc/6786/stat : 6786 (toysat) R 6782 6786 3284 0 -1 4202496 336111 0 0 0 166153 50 0 0 20 0 4 0 12488733 1631129600 339223 33554432000 4194304 16246674 140736142034272 140736142016192 13817016 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 398225 339223 845 2943 0 395119 0
[pid=6786/tid=6791] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6791/stat : 6791 (toysat) S 6782 6786 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 339223 33554432000 4194304 16246674 140736142034272 140328660086000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6792] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6792/stat : 6792 (toysat) S 6782 6786 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 339223 33554432000 4194304 16246674 140736142034272 140328649596144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6793] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6793/stat : 6793 (toysat) S 6782 6786 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 339223 33554432000 4194304 16246674 140736142034272 140328639122608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1592900

[startup+1722.3 s]
/proc/loadavg: 2.12 2.21 2.15 3/183 6841
/proc/meminfo: memFree=27845288/32872528 swapFree=1243920/1391088
[pid=6786] ppid=6782 vsize=1592900 CPUtime=1722.03 cores=0,2,4,6
/proc/6786/stat : 6786 (toysat) R 6782 6786 3284 0 -1 4202496 336302 0 0 0 172152 51 0 0 20 0 4 0 12488733 1631129600 339414 33554432000 4194304 16246674 140736142034272 140736142016192 6132605 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 398225 339414 845 2943 0 395119 0
[pid=6786/tid=6791] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6791/stat : 6791 (toysat) S 6782 6786 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 339414 33554432000 4194304 16246674 140736142034272 140328660086000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6792] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6792/stat : 6792 (toysat) S 6782 6786 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 339414 33554432000 4194304 16246674 140736142034272 140328649596144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6793] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6793/stat : 6793 (toysat) S 6782 6786 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 339414 33554432000 4194304 16246674 140736142034272 140328639122608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 1592900

[startup+1782.3 s]
/proc/loadavg: 2.12 2.20 2.15 3/183 6842
/proc/meminfo: memFree=27845220/32872528 swapFree=1243920/1391088
[pid=6786] ppid=6782 vsize=1592900 CPUtime=1782.02 cores=0,2,4,6
/proc/6786/stat : 6786 (toysat) R 6782 6786 3284 0 -1 4202496 336302 0 0 0 178151 51 0 0 20 0 4 0 12488733 1631129600 339414 33554432000 4194304 16246674 140736142034272 140736142016192 13807696 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 398225 339414 845 2943 0 395119 0
[pid=6786/tid=6791] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6791/stat : 6791 (toysat) S 6782 6786 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 339414 33554432000 4194304 16246674 140736142034272 140328660086000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6792] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6792/stat : 6792 (toysat) S 6782 6786 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 339414 33554432000 4194304 16246674 140736142034272 140328649596144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6793] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6793/stat : 6793 (toysat) S 6782 6786 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 339414 33554432000 4194304 16246674 140736142034272 140328639122608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 1592900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.30 2.23 2.16 3/183 6842
/proc/meminfo: memFree=27845064/32872528 swapFree=1243920/1391088
[pid=6786] ppid=6782 vsize=1592900 CPUtime=1800.02 cores=0,2,4,6
/proc/6786/stat : 6786 (toysat) R 6782 6786 3284 0 -1 4202496 336302 0 0 0 179951 51 0 0 20 0 4 0 12488733 1631129600 339414 33554432000 4194304 16246674 140736142034272 140736142016192 13807594 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 398225 339414 845 2943 0 395119 0
[pid=6786/tid=6791] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6791/stat : 6791 (toysat) S 6782 6786 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 339414 33554432000 4194304 16246674 140736142034272 140328660086000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6792] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6792/stat : 6792 (toysat) S 6782 6786 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 339414 33554432000 4194304 16246674 140736142034272 140328649596144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6793] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6793/stat : 6793 (toysat) S 6782 6786 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 339414 33554432000 4194304 16246674 140736142034272 140328639122608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1592900

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

[startup+1800.3 s]
/proc/loadavg: 2.30 2.23 2.16 3/183 6842
/proc/meminfo: memFree=27845064/32872528 swapFree=1243920/1391088
[pid=6786] ppid=6782 vsize=1592900 CPUtime=1800.02 cores=0,2,4,6
/proc/6786/stat : 6786 (toysat) R 6782 6786 3284 0 -1 4202496 336302 0 0 0 179951 51 0 0 20 0 4 0 12488733 1631129600 339414 33554432000 4194304 16246674 140736142034272 140736142016192 13807594 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6786/statm: 398225 339414 845 2943 0 395119 0
[pid=6786/tid=6791] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6791/stat : 6791 (toysat) S 6782 6786 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 339414 33554432000 4194304 16246674 140736142034272 140328660086000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6786/tid=6792] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6792/stat : 6792 (toysat) S 6782 6786 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 339414 33554432000 4194304 16246674 140736142034272 140328649596144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6786/tid=6793] ppid=6782 vsize=1592900 CPUtime=0 cores=0,2,4,6
/proc/6786/task/6793/stat : 6793 (toysat) S 6782 6786 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12488734 1631129600 339414 33554432000 4194304 16246674 140736142034272 140328639122608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1592900

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.36
CPU time (s): 1800.08
CPU user time (s): 1799.52
CPU system time (s): 0.560914
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 1592900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.560914
maximum resident set size= 1357656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 336302
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= 29
involuntary context switches= 1860

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0603 second user time and 16.6335 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-16 21:13:21
IDJOB=4093136
IDBENCH=79546
IDSOLVER=2553
FILE ID=node119/4093136-1466104401
RUNJOBID= node119-1466104401-6760
PBS_JOBID= 19904040
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/celar/normalized-celar6-sub4_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093136-1466104401/watcher-4093136-1466104401 -o /tmp/evaluation-result-4093136-1466104401/solver-4093136-1466104401 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466104401-6760 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093136-1466104401.wbo

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

MD5SUM BENCH= ca9d0852ab5b196169871de07952f6ec
RANDOM SEED=1786892193

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.56
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.456
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:        30564392 kB
Buffers:           55112 kB
Cached:           153828 kB
SwapCached:         1048 kB
Active:           116556 kB
Inactive:          95924 kB
Active(anon):       4192 kB
Inactive(anon):     1560 kB
Active(file):     112364 kB
Inactive(file):    94364 kB
Unevictable:     1391088 kB
Mlocked:         1243920 kB
SwapTotal:      67108856 kB
SwapFree:       67100204 kB
Dirty:             52820 kB
Writeback:             4 kB
AnonPages:       1393752 kB
Mapped:             6908 kB
Shmem:                 0 kB
Slab:             572008 kB
SReclaimable:      16220 kB
SUnreclaim:       555788 kB
KernelStack:        1408 kB
PageTables:         6876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1487772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 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= 71688 MiB
End job on node119 at 2016-06-16 21:43:21