Trace number 4093277

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.71 1801.03

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap62_wcsp.wbo
MD5SUM832b6d889e2e04fac8730ab9437bdddf
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark12311137
Best CPU time to get the best result obtained on this benchmark1800.08
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables832
Total number of constraints1680
Number of soft constraints1614
Number of constraints which are clauses1614
Number of constraints which are cardinality constraints (but not clauses)66
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16
Top cost 56493026
Min constraint cost 1
Max constraint cost 56493026
Sum of constraints costs 45549155826
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 17
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-16T18:40:48+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-4093277-1466095248.wbo"]
0.00/0.01	c use --random-gen="1948859597 188375240 2757362179 1864530489 1224248500 4011742198 3953098935 3216668855 2552632502 3505965718 3732358004 2446312307 2421404221 1284155757 338025563 1604050926 4090453286 1705950011 3829515870 3073715051 867342139 2357623901 1182085394 1086640963 3780057332 81386714 2080568399 882817111 3848005686 2263130562 562094918 2146105280 3835615719 2945989571 2089388412 2325056176 3585495099 461970282 1383748470 616322143 1101634603 2150558361 2834012868 3783469824 2327233847 2111101381 2248391432 439798797 2031607969 3775852870 3025700293 96465194 4244838155 2155090111 2219994167 4270277625 120102256 4141758050 598293544 73196021 857987111 3048559663 627289709 736130281 1187825423 2670906729 1592151075 3093945747 3572477475 1302232235 779735563 1083767649 3548594289 909844810 2280705716 2671510841 2243788413 3091478609 3423863842 3776148076 1616472640 1857076906 903347022 3620696292 2009347730 2746529808 3024448792 349032795 573525948 4206649198 2630906242 1638564829 54591875 1606412376 4087328350 1793239688 2451818580 1300084609 30399899 236672286 3608521452 3654639759 296050065 2652054794 2087912432 3083032787 1365691383 2284376653 1119155854 3904850290 2703313632 2415647495 4139873904 2428728489 120497605 3372728701 2480756437 1729010423 2857757361 2286806617 4167143320 30515113 1096026357 1573203621 3636991499 1591966511 3569789762 3936618056 1510003981 1980257485 3168452188 1839428944 2283100777 3635718368 572439859 332150364 602359937 1085067006 2065700916 3650576963 2697910143 1838758265 2709654986 3455138191 2602107571 694429 2333607228 89414128 127671430 2038434657 208620971 2797735028 1357500387 2173648791 255411551 456253742 3256316939 1509287573 2106643046 4269547507 1968517132 2802495282 838734489 1847508933 1812204645 2345115566 179391996 3472133596 933405989 1499281328 2338191818 3363798400 1807013185 3258066007 2208468976 3272642318 1132235263 1055933448 3016477045 740560385 3076397308 4085475609 2889229068 1138406361 2268163013 742458530 3225850936 958826511 2739731537 859687288 2882895064 317578093 2612867710 2390138415 2676663926 2161377729 107051154 2298409591 265973336 746112329 1122051315 1776330928 1000302466 1086032645 85418679 3244833163 3112630011 1440972159 327271725 1982091785 1177328158 3684116647 4116239614 4193052224 608939482 2193935159 1544792807 490989085 2577445857 397080049 2811722274 2827681056 735114641 3646151337 1617149576 2542270957 4025703905 344600198 873235198 3023457419 164258639 597619580 3314941086 306595178 2039727840 630041333 1860800235 1887877860 3550442259 257932992 1632106965 1551156586 1647077224 3782210165 3771126320 2051128225 121440746 769443878 1995611225 4005235998 3042553891 803997007 1688865332 2548975690 3014946063 1968309256 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-4093277-1466095248/watcher-4093277-1466095248 -o /tmp/evaluation-result-4093277-1466095248/solver-4093277-1466095248 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466074835-11958 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093277-1466095248.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.14 2.09 2.02 3/180 16786
/proc/meminfo: memFree=30375232/32872528 swapFree=525044/557748
[pid=16786] ppid=16783 vsize=544188 CPUtime=0 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 10502 0 -1 4202496 1997 0 0 0 0 0 0 0 20 0 4 0 11574941 557248512 2358 33554432000 4194304 16246674 140734799725616 140734799725040 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 136559 2368 441 2943 0 133453 0
[pid=16786/tid=16787] ppid=16783 vsize=560572 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11574941 574025728 2424 33554432000 4194304 16246674 140734799725616 140330141723888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=564668 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11574941 578220032 2441 33554432000 4194304 16246674 140734799725616 140330131234032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=568764 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11574941 582414336 2457 33554432000 4194304 16246674 140734799725616 140330120760496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 2.14 2.09 2.02 3/180 16786
/proc/meminfo: memFree=30375232/32872528 swapFree=525044/557748
[pid=16786] ppid=16783 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 10502 0 -1 4202496 23303 0 0 0 5 4 0 0 20 0 4 0 11574941 1250496512 23610 33554432000 4194304 16246674 140734799725616 140734799724928 13807696 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 305297 23610 843 2943 0 302191 0
[pid=16786/tid=16787] ppid=16783 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11574941 1250496512 23610 33554432000 4194304 16246674 140734799725616 140330141723888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11574941 1250496512 23610 33554432000 4194304 16246674 140734799725616 140330131234032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11574941 1250496512 23610 33554432000 4194304 16246674 140734799725616 140330120760496 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) 1221188

[startup+0.200511 s]
/proc/loadavg: 2.14 2.09 2.02 3/180 16786
/proc/meminfo: memFree=30375232/32872528 swapFree=525044/557748
[pid=16786] ppid=16783 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 10502 0 -1 4202496 23528 0 0 0 15 4 0 0 20 0 4 0 11574941 1250496512 23835 33554432000 4194304 16246674 140734799725616 140734799724928 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 305297 23835 843 2943 0 302191 0
[pid=16786/tid=16787] ppid=16783 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11574941 1250496512 23835 33554432000 4194304 16246674 140734799725616 140330141723888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11574941 1250496512 23835 33554432000 4194304 16246674 140734799725616 140330131234032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11574941 1250496512 23835 33554432000 4194304 16246674 140734799725616 140330120760496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300469 s]
/proc/loadavg: 2.14 2.09 2.02 3/180 16786
/proc/meminfo: memFree=30375232/32872528 swapFree=525044/557748
[pid=16786] ppid=16783 vsize=1303108 CPUtime=0.29 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 10502 0 -1 4202496 29948 0 0 0 24 5 0 0 20 0 4 0 11574941 1334382592 30255 33554432000 4194304 16246674 140734799725616 140734799707520 12459048 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 325777 30256 843 2943 0 322671 0
[pid=16786/tid=16787] ppid=16783 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11574941 1334382592 30258 33554432000 4194304 16246674 140734799725616 140330141723888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11574941 1334382592 30259 33554432000 4194304 16246674 140734799725616 140330131234032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11574941 1334382592 30259 33554432000 4194304 16246674 140734799725616 140330120760496 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) 1303108

[startup+0.700361 s]
/proc/loadavg: 2.14 2.09 2.02 3/180 16786
/proc/meminfo: memFree=30375232/32872528 swapFree=525044/557748
[pid=16786] ppid=16783 vsize=1307204 CPUtime=0.69 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 10502 0 -1 4202496 37515 0 0 0 63 6 0 0 20 0 4 0 11574941 1338576896 37822 33554432000 4194304 16246674 140734799725616 140734799707520 12460040 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 326801 37822 843 2943 0 323695 0
[pid=16786/tid=16787] ppid=16783 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11574941 1338576896 37822 33554432000 4194304 16246674 140734799725616 140330141723888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11574941 1338576896 37822 33554432000 4194304 16246674 140734799725616 140330131234032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11574941 1338576896 37822 33554432000 4194304 16246674 140734799725616 140330120760496 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) 1307204

[startup+1.50036 s]
/proc/loadavg: 2.14 2.09 2.02 4/184 16790
/proc/meminfo: memFree=30195204/32872528 swapFree=525044/557748
[pid=16786] ppid=16783 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 10502 0 -1 4202496 44962 0 0 0 142 7 0 0 20 0 4 0 11574941 1338576896 45269 33554432000 4194304 16246674 140734799725616 140734799707520 13774056 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 326801 45269 843 2943 0 323695 0
[pid=16786/tid=16787] ppid=16783 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11574941 1338576896 45269 33554432000 4194304 16246674 140734799725616 140330141723888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11574941 1338576896 45269 33554432000 4194304 16246674 140734799725616 140330131234032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11574941 1338576896 45269 33554432000 4194304 16246674 140734799725616 140330120760496 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) 1307204

[startup+3.10037 s]
/proc/loadavg: 2.14 2.09 2.02 3/184 16790
/proc/meminfo: memFree=30193468/32872528 swapFree=525044/557748
[pid=16786] ppid=16783 vsize=1309252 CPUtime=3.09 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 10502 0 -1 4202496 49169 0 0 0 301 8 0 0 20 0 4 0 11574941 1340674048 49476 33554432000 4194304 16246674 140734799725616 140734799724712 12481230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 327313 49476 843 2943 0 324207 0
[pid=16786/tid=16787] ppid=16783 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11574941 1340674048 49476 33554432000 4194304 16246674 140734799725616 140330141723888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11574941 1340674048 49476 33554432000 4194304 16246674 140734799725616 140330131234032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11574941 1340674048 49476 33554432000 4194304 16246674 140734799725616 140330120760496 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) 1309252

[startup+6.30036 s]
/proc/loadavg: 2.13 2.09 2.02 3/184 16790
/proc/meminfo: memFree=30020496/32872528 swapFree=525044/557748
[pid=16786] ppid=16783 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 10502 0 -1 4202496 99223 0 0 0 614 15 0 0 20 0 4 0 11574941 1344868352 99530 33554432000 4194304 16246674 140734799725616 140734799707520 6196432 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 328337 99530 843 2943 0 325231 0
[pid=16786/tid=16787] ppid=16783 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11574941 1344868352 99530 33554432000 4194304 16246674 140734799725616 140330141723888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11574941 1344868352 99530 33554432000 4194304 16246674 140734799725616 140330131234032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11574941 1344868352 99530 33554432000 4194304 16246674 140734799725616 140330120760496 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) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.12 2.09 2.02 3/184 16790
/proc/meminfo: memFree=29977516/32872528 swapFree=525044/557748
[pid=16786] ppid=16783 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 10502 0 -1 4202496 99223 0 0 0 1254 15 0 0 20 0 4 0 11574941 1344868352 99530 33554432000 4194304 16246674 140734799725616 140734799707520 6192772 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 328337 99530 843 2943 0 325231 0
[pid=16786/tid=16787] ppid=16783 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11574941 1344868352 99530 33554432000 4194304 16246674 140734799725616 140330141723888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11574941 1344868352 99530 33554432000 4194304 16246674 140734799725616 140330131234032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11574941 1344868352 99530 33554432000 4194304 16246674 140734799725616 140330120760496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.09 2.08 2.02 3/183 16790
/proc/meminfo: memFree=29839724/32872528 swapFree=525044/557748
[pid=16786] ppid=16783 vsize=1317444 CPUtime=25.49 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 10502 0 -1 4202496 133876 0 0 0 2529 20 0 0 20 0 4 0 11574941 1349062656 134183 33554432000 4194304 16246674 140734799725616 140734799707520 6132663 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 329361 134183 843 2943 0 326255 0
[pid=16786/tid=16787] ppid=16783 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11574941 1349062656 134183 33554432000 4194304 16246674 140734799725616 140330141723888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11574941 1349062656 134183 33554432000 4194304 16246674 140734799725616 140330131234032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11574941 1349062656 134183 33554432000 4194304 16246674 140734799725616 140330120760496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1317444

[startup+51.1005 s]
/proc/loadavg: 2.12 2.09 2.03 3/183 16790
/proc/meminfo: memFree=29509592/32872528 swapFree=525044/557748
[pid=16786] ppid=16783 vsize=1324612 CPUtime=51.08 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 10502 0 -1 4202496 217986 0 0 0 5077 31 0 0 20 0 4 0 11574941 1356402688 218293 33554432000 4194304 16246674 140734799725616 140734799707520 6132671 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 331153 218293 843 2943 0 328047 0
[pid=16786/tid=16787] ppid=16783 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11574941 1356402688 218293 33554432000 4194304 16246674 140734799725616 140330141723888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11574941 1356402688 218293 33554432000 4194304 16246674 140734799725616 140330131234032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11574941 1356402688 218293 33554432000 4194304 16246674 140734799725616 140330120760496 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) 1324612

[startup+102.3 s]
/proc/loadavg: 2.17 2.10 2.03 3/183 16791
/proc/meminfo: memFree=29280416/32872528 swapFree=525044/557748
[pid=16786] ppid=16783 vsize=1327684 CPUtime=102.28 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 10502 0 -1 4202496 273046 0 0 0 10189 39 0 0 20 0 4 0 11574941 1359548416 273353 33554432000 4194304 16246674 140734799725616 140734799724792 13807508 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 331921 273353 843 2943 0 328815 0
[pid=16786/tid=16787] ppid=16783 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11574941 1359548416 273353 33554432000 4194304 16246674 140734799725616 140330141723888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11574941 1359548416 273353 33554432000 4194304 16246674 140734799725616 140330131234032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11574941 1359548416 273353 33554432000 4194304 16246674 140734799725616 140330120760496 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) 1327684


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

[pid=16786] ppid=16783 vsize=13523524 CPUtime=1362.05 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 10502 0 -1 4202496 3322051 0 0 0 135637 568 0 0 20 0 4 0 11574941 13848088576 3322322 33554432000 4194304 16246674 140734799725616 140734799724792 13774216 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 3380881 3322322 845 2943 0 3377775 0
[pid=16786/tid=16787] ppid=16783 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11574941 13848088576 3322322 33554432000 4194304 16246674 140734799725616 140330141723888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11574941 13848088576 3322322 33554432000 4194304 16246674 140734799725616 140330131234032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11574941 13848088576 3322322 33554432000 4194304 16246674 140734799725616 140330120760496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 13523524

[startup+1422.3 s]
/proc/loadavg: 2.08 2.11 2.09 3/183 16846
/proc/meminfo: memFree=17051476/32872528 swapFree=525044/557748
[pid=16786] ppid=16783 vsize=13523524 CPUtime=1422.05 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 10502 0 -1 4202496 3322051 0 0 0 141631 574 0 0 20 0 4 0 11574941 13848088576 3322322 33554432000 4194304 16246674 140734799725616 140734799724792 13955810 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 3380881 3322322 845 2943 0 3377775 0
[pid=16786/tid=16787] ppid=16783 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11574941 13848088576 3322322 33554432000 4194304 16246674 140734799725616 140330141723888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11574941 13848088576 3322322 33554432000 4194304 16246674 140734799725616 140330131234032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11574941 13848088576 3322322 33554432000 4194304 16246674 140734799725616 140330120760496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 13523524

[startup+1482.3 s]
/proc/loadavg: 2.21 2.14 2.10 3/183 16848
/proc/meminfo: memFree=17051636/32872528 swapFree=525044/557748
[pid=16786] ppid=16783 vsize=13523524 CPUtime=1482.03 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 10502 0 -1 4202496 3322055 0 0 0 147626 577 0 0 20 0 4 0 11574941 13848088576 3322326 33554432000 4194304 16246674 140734799725616 140734799724792 13809400 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 3380881 3322326 849 2943 0 3377775 0
[pid=16786/tid=16787] ppid=16783 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11574941 13848088576 3322326 33554432000 4194304 16246674 140734799725616 140330141723888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11574941 13848088576 3322326 33554432000 4194304 16246674 140734799725616 140330131234032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11574941 13848088576 3322326 33554432000 4194304 16246674 140734799725616 140330120760496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 13523524

[startup+1542.31 s]
/proc/loadavg: 2.21 2.15 2.10 3/183 16849
/proc/meminfo: memFree=17051280/32872528 swapFree=525044/557748
[pid=16786] ppid=16783 vsize=13523524 CPUtime=1542.03 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 10502 0 -1 4202496 3322055 0 0 0 153621 582 0 0 20 0 4 0 11574941 13848088576 3322326 33554432000 4194304 16246674 140734799725616 140734799724712 6139116 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 3380881 3322326 849 2943 0 3377775 0
[pid=16786/tid=16787] ppid=16783 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11574941 13848088576 3322326 33554432000 4194304 16246674 140734799725616 140330141723888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11574941 13848088576 3322326 33554432000 4194304 16246674 140734799725616 140330131234032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11574941 13848088576 3322326 33554432000 4194304 16246674 140734799725616 140330120760496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 13523524

[startup+1602.3 s]
/proc/loadavg: 2.11 2.13 2.09 3/183 16850
/proc/meminfo: memFree=17051524/32872528 swapFree=525044/557748
[pid=16786] ppid=16783 vsize=13523524 CPUtime=1602.02 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 10502 0 -1 4202496 3322055 0 0 0 159615 587 0 0 20 0 4 0 11574941 13848088576 3322326 33554432000 4194304 16246674 140734799725616 140734799724792 13809224 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 3380881 3322326 849 2943 0 3377775 0
[pid=16786/tid=16787] ppid=16783 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11574941 13848088576 3322326 33554432000 4194304 16246674 140734799725616 140330141723888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11574941 13848088576 3322326 33554432000 4194304 16246674 140734799725616 140330131234032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11574941 13848088576 3322326 33554432000 4194304 16246674 140734799725616 140330120760496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 13523524

[startup+1662.3 s]
/proc/loadavg: 2.07 2.12 2.09 3/183 16851
/proc/meminfo: memFree=17051052/32872528 swapFree=525044/557748
[pid=16786] ppid=16783 vsize=13523524 CPUtime=1662.01 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 10502 0 -1 4202496 3322055 0 0 0 165609 592 0 0 20 0 4 0 11574941 13848088576 3322326 33554432000 4194304 16246674 140734799725616 140734799724792 13817016 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 3380881 3322326 849 2943 0 3377775 0
[pid=16786/tid=16787] ppid=16783 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11574941 13848088576 3322326 33554432000 4194304 16246674 140734799725616 140330141723888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11574941 13848088576 3322326 33554432000 4194304 16246674 140734799725616 140330131234032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11574941 13848088576 3322326 33554432000 4194304 16246674 140734799725616 140330120760496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 13523524

[startup+1722.3 s]
/proc/loadavg: 2.08 2.11 2.09 3/183 16900
/proc/meminfo: memFree=17775424/32872528 swapFree=525044/557748
[pid=16786] ppid=16783 vsize=13523524 CPUtime=1722 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 10502 0 -1 4202496 3322055 0 0 0 171603 597 0 0 20 0 4 0 11574941 13848088576 3322326 33554432000 4194304 16246674 140734799725616 140734799724792 13807608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 3380881 3322326 849 2943 0 3377775 0
[pid=16786/tid=16787] ppid=16783 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11574941 13848088576 3322326 33554432000 4194304 16246674 140734799725616 140330141723888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11574941 13848088576 3322326 33554432000 4194304 16246674 140734799725616 140330131234032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11574941 13848088576 3322326 33554432000 4194304 16246674 140734799725616 140330120760496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 13523524

[startup+1782.3 s]
/proc/loadavg: 2.03 2.09 2.08 4/184 16905
/proc/meminfo: memFree=17274780/32872528 swapFree=525044/557748
[pid=16786] ppid=16783 vsize=13523524 CPUtime=1781.99 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 10502 0 -1 4202496 3322055 0 0 0 177598 601 0 0 20 0 4 0 11574941 13848088576 3322326 33554432000 4194304 16246674 140734799725616 140734799724712 6132648 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 3380881 3322326 849 2943 0 3377775 0
[pid=16786/tid=16787] ppid=16783 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11574941 13848088576 3322326 33554432000 4194304 16246674 140734799725616 140330141723888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11574941 13848088576 3322326 33554432000 4194304 16246674 140734799725616 140330131234032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11574941 13848088576 3322326 33554432000 4194304 16246674 140734799725616 140330120760496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 13523524



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.15 2.11 2.09 3/184 16906
/proc/meminfo: memFree=17176652/32872528 swapFree=525044/557748
[pid=16786] ppid=16783 vsize=13523524 CPUtime=1800.09 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) R 16783 16786 10502 0 -1 4202496 3322055 0 0 0 179406 603 0 0 20 0 4 0 11574941 13848088576 3322326 33554432000 4194304 16246674 140734799725616 140734799724792 13809364 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 3380881 3322326 849 2943 0 3377775 0
[pid=16786/tid=16787] ppid=16783 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (toysat) S 16783 16786 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11574941 13848088576 3322326 33554432000 4194304 16246674 140734799725616 140330141723888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) S 16783 16786 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11574941 13848088576 3322326 33554432000 4194304 16246674 140734799725616 140330131234032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16786/tid=16789] ppid=16783 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16789/stat : 16789 (toysat) S 16783 16786 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11574941 13848088576 3322326 33554432000 4194304 16246674 140734799725616 140330120760496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13523524

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

[startup+1800.81 s]
/proc/loadavg: 2.15 2.11 2.09 3/182 16906
/proc/meminfo: memFree=24557908/32872528 swapFree=525044/557748
[pid=16786] ppid=16783 vsize=0 CPUtime=1800.49 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) Z 16783 16786 10502 0 -1 4203532 3322055 0 0 0 179406 643 0 0 20 0 2 0 11574941 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 0 0 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=0 CPUtime=0.39 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) R 16783 16786 10502 0 -1 4203588 8 0 0 0 0 39 0 0 20 0 2 0 11574941 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.49
Current children cumulated vsize (KiB) 0

[startup+1801 s]
/proc/loadavg: 2.15 2.11 2.09 3/182 16906
/proc/meminfo: memFree=24557908/32872528 swapFree=525044/557748
[pid=16786] ppid=16783 vsize=0 CPUtime=1800.68 cores=0,2,4,6
/proc/16786/stat : 16786 (toysat) Z 16783 16786 10502 0 -1 4203532 3322055 0 0 0 179406 662 0 0 20 0 2 0 11574941 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16786/statm: 0 0 0 0 0 0 0
[pid=16786/tid=16788] ppid=16783 vsize=0 CPUtime=0.58 cores=0,2,4,6
/proc/16786/task/16788/stat : 16788 (toysat) R 16783 16786 10502 0 -1 4203588 8 0 0 0 0 58 0 0 20 0 2 0 11574941 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.68
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.03
CPU time (s): 1800.71
CPU user time (s): 1794.07
CPU system time (s): 6.64199
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 13523524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.07
system time used= 6.64199
maximum resident set size= 13289304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3322055
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= 84
involuntary context switches= 1846

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.45217 second user time and 6.94694 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-16 18:40:48
IDJOB=4093277
IDBENCH=79492
IDSOLVER=2553
FILE ID=node106/4093277-1466095248
RUNJOBID= node106-1466074835-11958
PBS_JOBID= 19904026
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 832b6d889e2e04fac8730ab9437bdddf
RANDOM SEED=547277734

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
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.38
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.073
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:        30375124 kB
Buffers:           50292 kB
Cached:           107804 kB
SwapCached:         1840 kB
Active:          1160020 kB
Inactive:          76468 kB
Active(anon):    1079464 kB
Inactive(anon):     1072 kB
Active(file):      80556 kB
Inactive(file):    75396 kB
Unevictable:      557748 kB
Mlocked:          525044 kB
SwapTotal:      67108856 kB
SwapFree:       67098928 kB
Dirty:             16608 kB
Writeback:             0 kB
AnonPages:       1635388 kB
Mapped:            11028 kB
Shmem:                 0 kB
Slab:             569532 kB
SReclaimable:      12696 kB
SUnreclaim:       556836 kB
KernelStack:        1528 kB
PageTables:         7332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1780080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    137216 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= 71708 MiB
End job on node106 at 2016-06-16 19:10:49