Trace number 4093273

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.84 1801.13

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap42_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.06
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-30T03:01:00+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-4093273-1467248460.wbo"]
0.00/0.01	c use --random-gen="2717427725 3971173183 3181384693 1451979222 2378596014 373314870 20287765 2988868708 2479664866 2166005208 2634996901 3351903920 236452785 1149544455 953851468 51900949 3802319887 3151156966 2709273038 3245836983 1823847369 1753374060 3871835974 996627113 136168808 2559562398 2171940646 2563921590 2556841205 261299493 2173025975 1504150658 2835850639 2364442723 1223898537 2741203459 4064683850 4034939165 4259035907 2754423927 2392429677 1724946552 4092202124 3694530154 2432428535 309221587 3315545351 1991486453 2250705071 2040272846 3901199417 4276204251 3456749323 831815146 1133743484 797678171 2903368781 2562243678 298806462 1239216737 2060095955 2454879581 1582728137 650183705 3957301417 3672202484 2087367797 1533408733 889280363 2187457812 2789855091 1714079354 3018510592 1803781270 4077051625 2495579539 1477576250 1711181708 2612515915 3725331805 1575177106 1591423476 1806333520 2104126000 3773784827 1322401143 80072954 3038062011 3174022844 2067409705 3907460903 691835405 2703917777 2860517836 2774654909 3970409028 1122184747 661719280 3356033613 3957650385 1889342888 1845359852 2268537927 394539782 3558322427 3426778859 4083702001 2355558922 3956450385 2786615743 2568757326 1238370140 2617043393 2889132123 672600203 1380462709 2594729098 2761765201 2828253188 2061621650 896372211 3642276596 2851540567 2612269594 974960588 1783662877 1501173792 2513447293 3875692229 104077188 2025082274 1001662151 3767714432 1005655361 630957203 1624024742 509408924 4021740410 1447296305 535085961 3207484316 3724059786 3954849330 3352523572 1444700355 1193988831 3360024273 1734667233 3848025324 958071967 3693562204 739361890 496734016 2031064017 2310464838 1971547123 4021487548 3513282630 1328477089 1507912496 3058456154 1357577260 3932314293 2993010687 2412347289 1866817172 1989638526 2197498023 1584306942 3087777931 1399812936 2642844601 1681862587 2691323360 449525943 4163572945 3734225197 3569237908 3073960723 2832841113 3020073807 2621470517 3172619425 1729850736 2122322467 456126710 170586634 219467572 508514285 4143873076 672240621 1095230950 942585826 1753196963 3847907336 2990568282 3609984398 383761991 340635784 936111059 1792671313 3334686389 1797557581 2456647377 1139381759 3577811953 4253102032 1360598109 3298130593 1090503459 1393688500 725242597 278807200 2535953713 1607816599 2608785787 4147161396 1008255416 3732924027 2309418617 2286464149 575856711 3383895644 211448422 411556222 1651244309 3146497866 1136439616 3652105923 2399547060 3406174787 2297953568 1867134272 1276302453 3702788060 3866159442 3085385583 3379427444 2704089437 3295702992 1370545190 3973830487 1615592058 1619867192 3597962887 3175613741 4285123162 4142572778 3031230312 1139517413 1276974969 2506839723 2268459219 3048386571 3790640102 3898937449 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-4093273-1467248460/watcher-4093273-1467248460 -o /tmp/evaluation-result-4093273-1467248460/solver-4093273-1467248460 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467246653-6467 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093273-1467248460.wbo 

pid=6638
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.31 2.27 2.17 3/178 6641
/proc/meminfo: memFree=29578588/32872528 swapFree=1298332/1461852
[pid=6641] ppid=6638 vsize=703932 CPUtime=0 cores=0,2,4,6
/proc/6641/stat : 6641 (toysat) R 6638 6641 6451 0 -1 4202496 2624 0 0 0 0 0 0 0 20 0 4 0 3871964 720826368 3495 33554432000 4194304 16246674 140736462120816 140736462120240 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6641/statm: 176751 3505 441 2943 0 173645 0
[pid=6641/tid=6642] ppid=6638 vsize=722364 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6642/stat : 6642 (toysat) S 6638 6641 6451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3871965 739700736 3566 33554432000 4194304 16246674 140736462120816 139704840203504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6641/tid=6643] ppid=6638 vsize=726460 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6643/stat : 6643 (toysat) S 6638 6641 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3871965 743895040 3580 33554432000 4194304 16246674 140736462120816 139704829713648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6641/tid=6644] ppid=6638 vsize=730556 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6644/stat : 6644 (toysat) S 6638 6641 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3871965 748089344 3599 33554432000 4194304 16246674 140736462120816 139704750042288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100163 s]
/proc/loadavg: 2.31 2.27 2.17 3/178 6641
/proc/meminfo: memFree=29578588/32872528 swapFree=1298332/1461852
[pid=6641] ppid=6638 vsize=1221188 CPUtime=0.08 cores=0,2,4,6
/proc/6641/stat : 6641 (toysat) R 6638 6641 6451 0 -1 4202496 23302 0 0 0 5 3 0 0 20 0 4 0 3871964 1250496512 24120 33554432000 4194304 16246674 140736462120816 140736462120128 12480888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6641/statm: 305297 24120 843 2943 0 302191 0
[pid=6641/tid=6642] ppid=6638 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6642/stat : 6642 (toysat) S 6638 6641 6451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3871965 1250496512 24120 33554432000 4194304 16246674 140736462120816 139704840203504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6641/tid=6643] ppid=6638 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6643/stat : 6643 (toysat) S 6638 6641 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3871965 1250496512 24120 33554432000 4194304 16246674 140736462120816 139704829713648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6641/tid=6644] ppid=6638 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6644/stat : 6644 (toysat) S 6638 6641 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3871965 1250496512 24120 33554432000 4194304 16246674 140736462120816 139704750042288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.200451 s]
/proc/loadavg: 2.31 2.27 2.17 3/178 6641
/proc/meminfo: memFree=29578588/32872528 swapFree=1298332/1461852
[pid=6641] ppid=6638 vsize=1303108 CPUtime=0.19 cores=0,2,4,6
/proc/6641/stat : 6641 (toysat) R 6638 6641 6451 0 -1 4202496 24113 0 0 0 15 4 0 0 20 0 4 0 3871964 1334382592 24931 33554432000 4194304 16246674 140736462120816 140736462120128 12500869 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6641/statm: 325777 24941 843 2943 0 322671 0
[pid=6641/tid=6642] ppid=6638 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6642/stat : 6642 (toysat) S 6638 6641 6451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3871965 1334382592 24947 33554432000 4194304 16246674 140736462120816 139704840203504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6641/tid=6643] ppid=6638 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6643/stat : 6643 (toysat) S 6638 6641 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3871965 1334382592 24954 33554432000 4194304 16246674 140736462120816 139704829713648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6641/tid=6644] ppid=6638 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6644/stat : 6644 (toysat) S 6638 6641 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3871965 1334382592 24961 33554432000 4194304 16246674 140736462120816 139704750042288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1303108

[startup+0.300439 s]
/proc/loadavg: 2.31 2.27 2.17 3/178 6641
/proc/meminfo: memFree=29578588/32872528 swapFree=1298332/1461852
[pid=6641] ppid=6638 vsize=1303108 CPUtime=0.29 cores=0,2,4,6
/proc/6641/stat : 6641 (toysat) R 6638 6641 6451 0 -1 4202496 30030 0 0 0 25 4 0 0 20 0 4 0 3871964 1334382592 30848 33554432000 4194304 16246674 140736462120816 140736462120128 6195017 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6641/statm: 325777 30850 843 2943 0 322671 0
[pid=6641/tid=6642] ppid=6638 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6642/stat : 6642 (toysat) S 6638 6641 6451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3871965 1334382592 30851 33554432000 4194304 16246674 140736462120816 139704840203504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6641/tid=6643] ppid=6638 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6643/stat : 6643 (toysat) S 6638 6641 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3871965 1334382592 30851 33554432000 4194304 16246674 140736462120816 139704829713648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6641/tid=6644] ppid=6638 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6644/stat : 6644 (toysat) S 6638 6641 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3871965 1334382592 30852 33554432000 4194304 16246674 140736462120816 139704750042288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1303108

[startup+0.700378 s]
/proc/loadavg: 2.31 2.27 2.17 3/178 6641
/proc/meminfo: memFree=29578588/32872528 swapFree=1298332/1461852
[pid=6641] ppid=6638 vsize=1307204 CPUtime=0.69 cores=0,2,4,6
/proc/6641/stat : 6641 (toysat) R 6638 6641 6451 0 -1 4202496 37518 0 0 0 64 5 0 0 20 0 4 0 3871964 1338576896 38336 33554432000 4194304 16246674 140736462120816 140736462120128 12480888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6641/statm: 326801 38336 843 2943 0 323695 0
[pid=6641/tid=6642] ppid=6638 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6642/stat : 6642 (toysat) S 6638 6641 6451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3871965 1338576896 38336 33554432000 4194304 16246674 140736462120816 139704840203504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6641/tid=6643] ppid=6638 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6643/stat : 6643 (toysat) S 6638 6641 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3871965 1338576896 38336 33554432000 4194304 16246674 140736462120816 139704829713648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6641/tid=6644] ppid=6638 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6644/stat : 6644 (toysat) S 6638 6641 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3871965 1338576896 38336 33554432000 4194304 16246674 140736462120816 139704750042288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.50037 s]
/proc/loadavg: 2.31 2.27 2.17 3/181 6645
/proc/meminfo: memFree=29237984/32872528 swapFree=1298332/1461852
[pid=6641] ppid=6638 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/6641/stat : 6641 (toysat) R 6638 6641 6451 0 -1 4202496 44963 0 0 0 143 6 0 0 20 0 4 0 3871964 1338576896 45781 33554432000 4194304 16246674 140736462120816 140736462102720 6132605 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6641/statm: 326801 45781 843 2943 0 323695 0
[pid=6641/tid=6642] ppid=6638 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6642/stat : 6642 (toysat) S 6638 6641 6451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3871965 1338576896 45781 33554432000 4194304 16246674 140736462120816 139704840203504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6641/tid=6643] ppid=6638 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6643/stat : 6643 (toysat) S 6638 6641 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3871965 1338576896 45781 33554432000 4194304 16246674 140736462120816 139704829713648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6641/tid=6644] ppid=6638 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6644/stat : 6644 (toysat) S 6638 6641 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3871965 1338576896 45781 33554432000 4194304 16246674 140736462120816 139704750042288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10037 s]
/proc/loadavg: 2.31 2.27 2.17 3/183 6668
/proc/meminfo: memFree=29232200/32872528 swapFree=1298332/1461852
[pid=6641] ppid=6638 vsize=1309252 CPUtime=3.09 cores=0,2,4,6
/proc/6641/stat : 6641 (toysat) R 6638 6641 6451 0 -1 4202496 49167 0 0 0 302 7 0 0 20 0 4 0 3871964 1340674048 49985 33554432000 4194304 16246674 140736462120816 140736462102720 13774206 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6641/statm: 327313 49985 843 2943 0 324207 0
[pid=6641/tid=6642] ppid=6638 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6642/stat : 6642 (toysat) S 6638 6641 6451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3871965 1340674048 49985 33554432000 4194304 16246674 140736462120816 139704840203504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6641/tid=6643] ppid=6638 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6643/stat : 6643 (toysat) S 6638 6641 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3871965 1340674048 49985 33554432000 4194304 16246674 140736462120816 139704829713648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6641/tid=6644] ppid=6638 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6644/stat : 6644 (toysat) S 6638 6641 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3871965 1340674048 49985 33554432000 4194304 16246674 140736462120816 139704750042288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1309252

[startup+6.30037 s]
/proc/loadavg: 2.37 2.28 2.17 3/183 6668
/proc/meminfo: memFree=28878932/32872528 swapFree=1298332/1461852
[pid=6641] ppid=6638 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/6641/stat : 6641 (toysat) R 6638 6641 6451 0 -1 4202496 99221 0 0 0 615 14 0 0 20 0 4 0 3871964 1344868352 100039 33554432000 4194304 16246674 140736462120816 140736462102720 12480848 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6641/statm: 328337 100039 843 2943 0 325231 0
[pid=6641/tid=6642] ppid=6638 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6642/stat : 6642 (toysat) S 6638 6641 6451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3871965 1344868352 100039 33554432000 4194304 16246674 140736462120816 139704840203504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6641/tid=6643] ppid=6638 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6643/stat : 6643 (toysat) S 6638 6641 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3871965 1344868352 100039 33554432000 4194304 16246674 140736462120816 139704829713648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6641/tid=6644] ppid=6638 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6644/stat : 6644 (toysat) S 6638 6641 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3871965 1344868352 100039 33554432000 4194304 16246674 140736462120816 139704750042288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.42 2.29 2.18 3/183 6668
/proc/meminfo: memFree=28802564/32872528 swapFree=1298332/1461852
[pid=6641] ppid=6638 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/6641/stat : 6641 (toysat) R 6638 6641 6451 0 -1 4202496 99221 0 0 0 1255 14 0 0 20 0 4 0 3871964 1344868352 100039 33554432000 4194304 16246674 140736462120816 140736462102720 13807730 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6641/statm: 328337 100039 843 2943 0 325231 0
[pid=6641/tid=6642] ppid=6638 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6642/stat : 6642 (toysat) S 6638 6641 6451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3871965 1344868352 100039 33554432000 4194304 16246674 140736462120816 139704840203504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6641/tid=6643] ppid=6638 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6643/stat : 6643 (toysat) S 6638 6641 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3871965 1344868352 100039 33554432000 4194304 16246674 140736462120816 139704829713648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6641/tid=6644] ppid=6638 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6644/stat : 6644 (toysat) S 6638 6641 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3871965 1344868352 100039 33554432000 4194304 16246674 140736462120816 139704750042288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5004 s]
/proc/loadavg: 2.32 2.28 2.17 3/183 6668
/proc/meminfo: memFree=28526456/32872528 swapFree=1298332/1461852
[pid=6641] ppid=6638 vsize=1317444 CPUtime=25.49 cores=0,2,4,6
/proc/6641/stat : 6641 (toysat) R 6638 6641 6451 0 -1 4202496 133874 0 0 0 2530 19 0 0 20 0 4 0 3871964 1349062656 134692 33554432000 4194304 16246674 140736462120816 140736462102720 13950188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6641/statm: 329361 134692 843 2943 0 326255 0
[pid=6641/tid=6642] ppid=6638 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6642/stat : 6642 (toysat) S 6638 6641 6451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3871965 1349062656 134692 33554432000 4194304 16246674 140736462120816 139704840203504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6641/tid=6643] ppid=6638 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6643/stat : 6643 (toysat) S 6638 6641 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3871965 1349062656 134692 33554432000 4194304 16246674 140736462120816 139704829713648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6641/tid=6644] ppid=6638 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6644/stat : 6644 (toysat) S 6638 6641 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3871965 1349062656 134692 33554432000 4194304 16246674 140736462120816 139704750042288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.29 2.27 2.17 3/183 6669
/proc/meminfo: memFree=27871148/32872528 swapFree=1298332/1461852
[pid=6641] ppid=6638 vsize=1324612 CPUtime=51.08 cores=0,2,4,6
/proc/6641/stat : 6641 (toysat) R 6638 6641 6451 0 -1 4202496 217984 0 0 0 5078 30 0 0 20 0 4 0 3871964 1356402688 218802 33554432000 4194304 16246674 140736462120816 140736462119992 13807738 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6641/statm: 331153 218802 843 2943 0 328047 0
[pid=6641/tid=6642] ppid=6638 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6642/stat : 6642 (toysat) S 6638 6641 6451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3871965 1356402688 218802 33554432000 4194304 16246674 140736462120816 139704840203504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6641/tid=6643] ppid=6638 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6643/stat : 6643 (toysat) S 6638 6641 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3871965 1356402688 218802 33554432000 4194304 16246674 140736462120816 139704829713648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6641/tid=6644] ppid=6638 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6644/stat : 6644 (toysat) S 6638 6641 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3871965 1356402688 218802 33554432000 4194304 16246674 140736462120816 139704750042288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1324612

[startup+102.3 s]
/proc/loadavg: 2.24 2.26 2.17 3/182 6670
/proc/meminfo: memFree=27413064/32872528 swapFree=1298332/1461852
[pid=6641] ppid=6638 vsize=1327684 CPUtime=102.28 cores=0,2,4,6
/proc/6641/stat : 6641 (toysat) R 6638 6641 6451 0 -1 4202496 273044 0 0 0 10190 38 0 0 20 0 4 0 3871964 1359548416 273862 33554432000 4194304 16246674 140736462120816 140736462119992 13809312 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6641/statm: 331921 273862 843 2943 0 328815 0
[pid=6641/tid=6642] ppid=6638 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6642/stat : 6642 (toysat) S 6638 6641 6451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3871965 1359548416 273862 33554432000 4194304 16246674 140736462120816 139704840203504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6641/tid=6643] ppid=6638 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6643/stat : 6643 (toysat) S 6638 6641 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3871965 1359548416 273862 33554432000 4194304 16246674 140736462120816 139704829713648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6641/tid=6644] ppid=6638 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6644/stat : 6644 (toysat) S 6638 6641 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3871965 1359548416 273862 33554432000 4194304 16246674 140736462120816 139704750042288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1327684


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


[startup+1422.3 s]
/proc/loadavg: 2.33 2.26 2.20 3/181 6906
/proc/meminfo: memFree=3470380/32872528 swapFree=1298332/1461852
[pid=6641] ppid=6638 vsize=13523524 CPUtime=1422.08 cores=0,2,4,6
/proc/6641/stat : 6641 (toysat) R 6638 6641 6451 0 -1 4202496 3322010 0 0 0 141706 502 0 0 20 0 4 0 3871964 13848088576 3322828 33554432000 4194304 16246674 140736462120816 140736462119992 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6641/statm: 3380881 3322828 845 2943 0 3377775 0
[pid=6641/tid=6642] ppid=6638 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6642/stat : 6642 (toysat) S 6638 6641 6451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3871965 13848088576 3322828 33554432000 4194304 16246674 140736462120816 139704840203504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6641/tid=6643] ppid=6638 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6643/stat : 6643 (toysat) S 6638 6641 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3871965 13848088576 3322828 33554432000 4194304 16246674 140736462120816 139704829713648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6641/tid=6644] ppid=6638 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6644/stat : 6644 (toysat) S 6638 6641 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3871965 13848088576 3322828 33554432000 4194304 16246674 140736462120816 139704750042288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 13523524

[startup+1482.3 s]
/proc/loadavg: 2.20 2.24 2.19 3/181 6907
/proc/meminfo: memFree=3610140/32872528 swapFree=1298332/1461852
[pid=6641] ppid=6638 vsize=13523524 CPUtime=1482.06 cores=0,2,4,6
/proc/6641/stat : 6641 (toysat) R 6638 6641 6451 0 -1 4202496 3322014 0 0 0 147703 503 0 0 20 0 4 0 3871964 13848088576 3322832 33554432000 4194304 16246674 140736462120816 140736462119992 13809352 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6641/statm: 3380881 3322832 849 2943 0 3377775 0
[pid=6641/tid=6642] ppid=6638 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6642/stat : 6642 (toysat) S 6638 6641 6451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3871965 13848088576 3322832 33554432000 4194304 16246674 140736462120816 139704840203504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6641/tid=6643] ppid=6638 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6643/stat : 6643 (toysat) S 6638 6641 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3871965 13848088576 3322832 33554432000 4194304 16246674 140736462120816 139704829713648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6641/tid=6644] ppid=6638 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6644/stat : 6644 (toysat) S 6638 6641 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3871965 13848088576 3322832 33554432000 4194304 16246674 140736462120816 139704750042288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 13523524

[startup+1542.31 s]
/proc/loadavg: 2.33 2.27 2.20 3/181 6908
/proc/meminfo: memFree=3700660/32872528 swapFree=1298332/1461852
[pid=6641] ppid=6638 vsize=13523524 CPUtime=1542.06 cores=0,2,4,6
/proc/6641/stat : 6641 (toysat) R 6638 6641 6451 0 -1 4202496 3322014 0 0 0 153699 507 0 0 20 0 4 0 3871964 13848088576 3322832 33554432000 4194304 16246674 140736462120816 140736462119992 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6641/statm: 3380881 3322832 849 2943 0 3377775 0
[pid=6641/tid=6642] ppid=6638 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6642/stat : 6642 (toysat) S 6638 6641 6451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3871965 13848088576 3322832 33554432000 4194304 16246674 140736462120816 139704840203504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6641/tid=6643] ppid=6638 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6643/stat : 6643 (toysat) S 6638 6641 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3871965 13848088576 3322832 33554432000 4194304 16246674 140736462120816 139704829713648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6641/tid=6644] ppid=6638 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6644/stat : 6644 (toysat) S 6638 6641 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3871965 13848088576 3322832 33554432000 4194304 16246674 140736462120816 139704750042288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 13523524

[startup+1602.3 s]
/proc/loadavg: 2.35 2.28 2.20 3/181 6910
/proc/meminfo: memFree=3700856/32872528 swapFree=1298332/1461852
[pid=6641] ppid=6638 vsize=13523524 CPUtime=1602.05 cores=0,2,4,6
/proc/6641/stat : 6641 (toysat) R 6638 6641 6451 0 -1 4202496 3322014 0 0 0 159694 511 0 0 20 0 4 0 3871964 13848088576 3322832 33554432000 4194304 16246674 140736462120816 140736462119992 13809305 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6641/statm: 3380881 3322832 849 2943 0 3377775 0
[pid=6641/tid=6642] ppid=6638 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6642/stat : 6642 (toysat) S 6638 6641 6451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3871965 13848088576 3322832 33554432000 4194304 16246674 140736462120816 139704840203504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6641/tid=6643] ppid=6638 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6643/stat : 6643 (toysat) S 6638 6641 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3871965 13848088576 3322832 33554432000 4194304 16246674 140736462120816 139704829713648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6641/tid=6644] ppid=6638 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6644/stat : 6644 (toysat) S 6638 6641 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3871965 13848088576 3322832 33554432000 4194304 16246674 140736462120816 139704750042288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 13523524

[startup+1662.3 s]
/proc/loadavg: 2.23 2.26 2.20 3/181 6911
/proc/meminfo: memFree=3700884/32872528 swapFree=1298332/1461852
[pid=6641] ppid=6638 vsize=13523524 CPUtime=1662.04 cores=0,2,4,6
/proc/6641/stat : 6641 (toysat) R 6638 6641 6451 0 -1 4202496 3322014 0 0 0 165690 514 0 0 20 0 4 0 3871964 13848088576 3322832 33554432000 4194304 16246674 140736462120816 140736462119992 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6641/statm: 3380881 3322832 849 2943 0 3377775 0
[pid=6641/tid=6642] ppid=6638 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6642/stat : 6642 (toysat) S 6638 6641 6451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3871965 13848088576 3322832 33554432000 4194304 16246674 140736462120816 139704840203504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6641/tid=6643] ppid=6638 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6643/stat : 6643 (toysat) S 6638 6641 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3871965 13848088576 3322832 33554432000 4194304 16246674 140736462120816 139704829713648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6641/tid=6644] ppid=6638 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6644/stat : 6644 (toysat) S 6638 6641 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3871965 13848088576 3322832 33554432000 4194304 16246674 140736462120816 139704750042288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 13523524

[startup+1722.3 s]
/proc/loadavg: 2.20 2.24 2.19 4/181 6912
/proc/meminfo: memFree=3700792/32872528 swapFree=1298332/1461852
[pid=6641] ppid=6638 vsize=13523524 CPUtime=1722.02 cores=0,2,4,6
/proc/6641/stat : 6641 (toysat) R 6638 6641 6451 0 -1 4202496 3322014 0 0 0 171685 517 0 0 20 0 4 0 3871964 13848088576 3322832 33554432000 4194304 16246674 140736462120816 140736462119992 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6641/statm: 3380881 3322832 849 2943 0 3377775 0
[pid=6641/tid=6642] ppid=6638 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6642/stat : 6642 (toysat) S 6638 6641 6451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3871965 13848088576 3322832 33554432000 4194304 16246674 140736462120816 139704840203504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6641/tid=6643] ppid=6638 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6643/stat : 6643 (toysat) S 6638 6641 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3871965 13848088576 3322832 33554432000 4194304 16246674 140736462120816 139704829713648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6641/tid=6644] ppid=6638 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6644/stat : 6644 (toysat) S 6638 6641 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3871965 13848088576 3322832 33554432000 4194304 16246674 140736462120816 139704750042288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 13523524

[startup+1782.3 s]
/proc/loadavg: 2.12 2.21 2.18 3/182 6916
/proc/meminfo: memFree=3700208/32872528 swapFree=1298332/1461852
[pid=6641] ppid=6638 vsize=13523524 CPUtime=1782.02 cores=0,2,4,6
/proc/6641/stat : 6641 (toysat) R 6638 6641 6451 0 -1 4202496 3322014 0 0 0 177681 521 0 0 20 0 4 0 3871964 13848088576 3322832 33554432000 4194304 16246674 140736462120816 140736462119992 13955806 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6641/statm: 3380881 3322832 849 2943 0 3377775 0
[pid=6641/tid=6642] ppid=6638 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6642/stat : 6642 (toysat) S 6638 6641 6451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3871965 13848088576 3322832 33554432000 4194304 16246674 140736462120816 139704840203504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6641/tid=6643] ppid=6638 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6643/stat : 6643 (toysat) S 6638 6641 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3871965 13848088576 3322832 33554432000 4194304 16246674 140736462120816 139704829713648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6641/tid=6644] ppid=6638 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6644/stat : 6644 (toysat) S 6638 6641 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3871965 13848088576 3322832 33554432000 4194304 16246674 140736462120816 139704750042288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 13523524



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.09 2.19 2.17 3/182 6916
/proc/meminfo: memFree=3700420/32872528 swapFree=1298332/1461852
[pid=6641] ppid=6638 vsize=13523524 CPUtime=1800.02 cores=0,2,4,6
/proc/6641/stat : 6641 (toysat) R 6638 6641 6451 0 -1 4202496 3322014 0 0 0 179480 522 0 0 20 0 4 0 3871964 13848088576 3322832 33554432000 4194304 16246674 140736462120816 140736462119992 6132712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6641/statm: 3380881 3322832 849 2943 0 3377775 0
[pid=6641/tid=6642] ppid=6638 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6642/stat : 6642 (toysat) S 6638 6641 6451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3871965 13848088576 3322832 33554432000 4194304 16246674 140736462120816 139704840203504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6641/tid=6643] ppid=6638 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6643/stat : 6643 (toysat) S 6638 6641 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3871965 13848088576 3322832 33554432000 4194304 16246674 140736462120816 139704829713648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6641/tid=6644] ppid=6638 vsize=13523524 CPUtime=0 cores=0,2,4,6
/proc/6641/task/6644/stat : 6644 (toysat) S 6638 6641 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3871965 13848088576 3322832 33554432000 4194304 16246674 140736462120816 139704750042288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 6641 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.81 s]
/proc/loadavg: 2.09 2.19 2.17 3/178 6916
/proc/meminfo: memFree=19202252/32872528 swapFree=1298332/1461852
[pid=6641] ppid=6638 vsize=0 CPUtime=1800.52 cores=0,2,4,6
/proc/6641/stat : 6641 (toysat) Z 6638 6641 6451 0 -1 4203532 3322014 0 0 0 179480 572 0 0 20 0 2 0 3871964 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6641/statm: 0 0 0 0 0 0 0
[pid=6641/tid=6642] ppid=6638 vsize=0 CPUtime=0.48 cores=0,2,4,6
/proc/6641/task/6642/stat : 6642 (toysat) R 6638 6641 6451 0 -1 4203588 9 0 0 0 0 48 0 0 20 0 2 0 3871965 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.52
Current children cumulated vsize (KiB) 0

[startup+1801 s]
/proc/loadavg: 2.09 2.19 2.17 3/178 6916
/proc/meminfo: memFree=19202252/32872528 swapFree=1298332/1461852
[pid=6641] ppid=6638 vsize=0 CPUtime=1800.72 cores=0,2,4,6
/proc/6641/stat : 6641 (toysat) Z 6638 6641 6451 0 -1 4203532 3322014 0 0 0 179480 592 0 0 20 0 2 0 3871964 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6641/statm: 0 0 0 0 0 0 0
[pid=6641/tid=6642] ppid=6638 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/6641/task/6642/stat : 6642 (toysat) R 6638 6641 6451 0 -1 4203588 9 0 0 0 0 68 0 0 20 0 2 0 3871965 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.72
Current children cumulated vsize (KiB) 0

[startup+1801.1 s]
/proc/loadavg: 2.09 2.19 2.17 3/178 6916
/proc/meminfo: memFree=19202252/32872528 swapFree=1298332/1461852
[pid=6641] ppid=6638 vsize=0 CPUtime=1800.82 cores=0,2,4,6
/proc/6641/stat : 6641 (toysat) Z 6638 6641 6451 0 -1 4203532 3322014 0 0 0 179480 602 0 0 20 0 2 0 3871964 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6641/statm: 0 0 0 0 0 0 0
[pid=6641/tid=6642] ppid=6638 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/6641/task/6642/stat : 6642 (toysat) R 6638 6641 6451 0 -1 4203588 9 0 0 0 0 78 0 0 20 0 2 0 3871965 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.82
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.13
CPU time (s): 1800.84
CPU user time (s): 1794.8
CPU system time (s): 6.03408
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 13523524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.8
system time used= 6.03408
maximum resident set size= 13291328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3322014
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= 46
involuntary context switches= 1850

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.85626 second user time and 5.83111 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-30 03:01:00
IDJOB=4093273
IDBENCH=79531
IDSOLVER=2553
FILE ID=node121/4093273-1467248460
RUNJOBID= node121-1467246653-6467
PBS_JOBID= 20004469
Free space on /tmp= 71696 MiB

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

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

MD5SUM BENCH= 832b6d889e2e04fac8730ab9437bdddf
RANDOM SEED=806901122

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.172
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		: 2667.172
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.172
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		: 2667.172
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:        29603152 kB
Buffers:           48956 kB
Cached:          1028148 kB
SwapCached:            0 kB
Active:           148192 kB
Inactive:         943888 kB
Active(anon):       1228 kB
Inactive(anon):    16380 kB
Active(file):     146964 kB
Inactive(file):   927508 kB
Unevictable:     1461852 kB
Mlocked:         1298332 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             32716 kB
Writeback:             0 kB
AnonPages:       1476712 kB
Mapped:            13780 kB
Shmem:               204 kB
Slab:             581484 kB
SReclaimable:      25660 kB
SUnreclaim:       555824 kB
KernelStack:        1448 kB
PageTables:         6168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1552412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    165888 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= 71668 MiB
End job on node121 at 2016-06-30 03:31:01