Trace number 4111056

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (MO) 1114.23 1114.43

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f17-DCdoubleLoss.seq-B-2-2-irabcde.opb
MD5SUM6bad1c8599e6fa83234e6b947edeb24c
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark63187917239
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5985
Total number of constraints18314
Number of constraints which are clauses18170
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints144
Minimum length of a constraint1
Maximum length of a constraint37
Number of terms in the objective function 552
Biggest coefficient in the objective function 416063742
Number of bits for the biggest coefficient in the objective function 29
Sum of the numbers in the objective function 153111457055
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 416063742
Number of bits of the biggest number in a constraint 29
Biggest sum of numbers in a constraint 153111457055
Number of bits of the biggest sum of numbers38
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-20T06:23:11+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","--pb","--search=bcd2","HOME/instance-4111056-1466396591.opb"]
0.00/0.01	c use --random-gen="2474793002 3695438090 1236798888 345157473 1013455090 3394950131 2066308588 1045650796 2777467891 3354528679 757086388 809479118 979592204 3345104047 2646904247 3068675291 1668970007 2919139068 4116953512 1388527643 2682131857 2246654898 1805187038 253563612 3078039436 3735820493 2672845235 661643527 1355096039 1605942750 2191812703 2108148132 584546680 2464954910 3399115289 2508815440 3170998893 144260649 2401552549 3711431545 3356982664 2659835638 1211619955 2695797257 2100473946 873773483 1241873942 1446801276 2924719123 204376863 2323145557 3928201821 3042924508 2675329788 1988967612 2047457760 1935600938 2811992857 1574698061 803642959 2585636350 3501362527 155634365 3305936675 2170237328 1071749794 2944512063 1961787847 1028147105 2910265370 2076169164 1059329500 4088610708 2319378112 3233875485 1774191198 3483793321 2343865001 3733366974 1396004196 3155815625 266010389 173086591 2679518162 3367002419 1352779227 788676026 2173536150 2306785587 1605868966 1444335652 917585130 3039236142 2527459658 600516612 2543928266 1038452247 573498503 754287153 1471070012 3412365370 1792699420 2276421373 1628484239 2265689847 3939757394 469292757 2785493469 1993198868 2010111520 585561122 707984089 4074910223 156961451 1515527645 726561636 139419748 672198853 3843181428 3022036196 415826142 2042602148 1396655981 3625836912 687359530 2275370822 1357164925 875090395 1380077432 1144419683 115081449 3545695737 1842334574 1892509388 4289526706 1829799466 2584813224 2959971413 3377429296 1029296028 1352701064 2436440135 1729970390 4100830196 2772186850 552831452 2785275344 3699256490 361103702 2821121805 2229057993 1510686352 33847117 3437969267 1809064861 2610578632 3359395650 412289731 2531791732 2026391070 3059623790 13198274 1247512311 603830108 3377432645 4001289805 496865524 2711785794 561266778 928603 3805153005 460298476 1433900450 2974548925 3091160159 1469026754 2765316379 3628640051 4059936878 2956432333 3432435509 63275530 2253671927 1168955794 3167528111 2036037810 3602349233 2270852834 359819905 795827004 1734965077 1274596974 3376558319 1406672889 75541560 3250791449 2232163019 3790052647 476478219 2420424081 977631054 685469018 1509383166 2461684915 2567667794 979619857 1135357418 1809278582 3357668045 3239109297 455659036 1689337532 1717500815 3854907935 3469113704 2638544722 2257529693 1019161140 1980615492 1761171221 2366607589 2383047460 340368321 2737350412 2172961607 2632914065 2460970300 1849470810 3891702888 1968385630 1208457156 1465676369 560573443 3642513372 1695778612 332860101 1523625599 2500399113 4101818763 2142120694 2513487799 3512708070 3878757668 2124893032 634226856 1699467161 1892304366 3704567194 795375081 73386626 505897645 3964791615 2503042307 1293414961 1619490608 2061912846 255 362436" option to reproduce the execution
0.09/0.14	c #vars 5985
0.09/0.14	c #constraints 18314
0.29/0.33	c BCD2: Hardening is enabled.
0.29/0.33	c BCD2: BiasedSearch is enabled.
0.29/0.33	c Solving starts ...
0.29/0.33	c ============================[ Search Statistics ]============================
0.29/0.33	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.33	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.33	c =============================================================================
0.29/0.33	c  0.0s |       0 |        0 |        0 |     7343      0 |     1230 |        0
0.29/0.37	c  0.0s |       0 |      487 |       14 |     7343      0 |     1230 |     1682
0.29/0.37	c #cpu_time = 0.035s
0.29/0.37	c #wall_clock_time = 0.035s
0.29/0.37	c #decision = 487
0.29/0.37	c #random_decision = 1
0.29/0.37	c #conflict = 14
0.29/0.37	c #restart = 0
0.29/0.37	o 121072674761
0.29/0.38	c BCD2: updating upper bound: 153111457055 -> 121072674760

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-4111056-1466396591/watcher-4111056-1466396591 -o /tmp/evaluation-result-4111056-1466396591/solver-4111056-1466396591 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466384086-9441 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4111056-1466396591.opb 

pid=11146
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.22 2.19 2.18 4/179 11149
/proc/meminfo: memFree=28917076/32872528 swapFree=1542984/1696284
[pid=11149] ppid=11146 vsize=782780 CPUtime=0 cores=1,3,5,7
/proc/11149/stat : 11149 (toysat) R 11146 11149 9424 0 -1 4202496 2932 0 0 0 0 0 0 0 20 0 4 0 41705740 801566720 3292 33554432000 4194304 16246674 140733545089600 140733545089024 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11149/statm: 196463 3302 441 2943 0 193357 0
[pid=11149/tid=11150] ppid=11146 vsize=801212 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (toysat) S 11146 11149 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41705740 820441088 3365 33554432000 4194304 16246674 140733545089600 140703723138288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=11149/tid=11151] ppid=11146 vsize=806332 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11151/stat : 11151 (toysat) S 11146 11149 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41705740 825683968 3381 33554432000 4194304 16246674 140733545089600 140703712648432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=11149/tid=11152] ppid=11146 vsize=811452 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11152/stat : 11152 (toysat) S 11146 11149 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41705740 830926848 3400 33554432000 4194304 16246674 140733545089600 140703598374064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 2.22 2.19 2.18 4/179 11149
/proc/meminfo: memFree=28917076/32872528 swapFree=1542984/1696284
[pid=11149] ppid=11146 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/11149/stat : 11149 (toysat) R 11146 11149 9424 0 -1 4202496 27593 0 0 0 5 4 0 0 20 0 4 0 41705740 1333334016 27891 33554432000 4194304 16246674 140733545089600 140733545088912 7371468 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11149/statm: 325521 27909 800 2943 0 322415 0
[pid=11149/tid=11150] ppid=11146 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (toysat) S 11146 11149 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41705740 1333334016 27920 33554432000 4194304 16246674 140733545089600 140703723138288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=11149/tid=11151] ppid=11146 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11151/stat : 11151 (toysat) S 11146 11149 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41705740 1333334016 27931 33554432000 4194304 16246674 140733545089600 140703712648432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=11149/tid=11152] ppid=11146 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11152/stat : 11152 (toysat) S 11146 11149 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41705740 1333334016 27941 33554432000 4194304 16246674 140733545089600 140703598374064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200609 s]
/proc/loadavg: 2.22 2.19 2.18 4/179 11149
/proc/meminfo: memFree=28917076/32872528 swapFree=1542984/1696284
[pid=11149] ppid=11146 vsize=1302084 CPUtime=0.18 cores=1,3,5,7
/proc/11149/stat : 11149 (toysat) R 11146 11149 9424 0 -1 4202496 45450 0 0 0 12 6 0 0 20 0 4 0 41705740 1333334016 45748 33554432000 4194304 16246674 140733545089600 140733545088912 13950986 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11149/statm: 325521 45748 836 2943 0 322415 0
[pid=11149/tid=11150] ppid=11146 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (toysat) S 11146 11149 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41705740 1333334016 45748 33554432000 4194304 16246674 140733545089600 140703723138288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=11149/tid=11151] ppid=11146 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11151/stat : 11151 (toysat) S 11146 11149 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41705740 1333334016 45748 33554432000 4194304 16246674 140733545089600 140703712648432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=11149/tid=11152] ppid=11146 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11152/stat : 11152 (toysat) S 11146 11149 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41705740 1333334016 45748 33554432000 4194304 16246674 140733545089600 140703598374064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1302084

[startup+0.300496 s]
/proc/loadavg: 2.22 2.19 2.18 4/179 11149
/proc/meminfo: memFree=28917076/32872528 swapFree=1542984/1696284
[pid=11149] ppid=11146 vsize=1302084 CPUtime=0.29 cores=1,3,5,7
/proc/11149/stat : 11149 (toysat) R 11146 11149 9424 0 -1 4202496 59385 0 0 0 21 8 0 0 20 0 4 0 41705740 1333334016 59684 33554432000 4194304 16246674 140733545089600 140733545071488 6740269 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11149/statm: 325521 59692 838 2943 0 322415 0
[pid=11149/tid=11150] ppid=11146 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (toysat) S 11146 11149 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41705740 1333334016 59697 33554432000 4194304 16246674 140733545089600 140703723138288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=11149/tid=11151] ppid=11146 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11151/stat : 11151 (toysat) S 11146 11149 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41705740 1333334016 59702 33554432000 4194304 16246674 140733545089600 140703712648432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=11149/tid=11152] ppid=11146 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11152/stat : 11152 (toysat) S 11146 11149 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41705740 1333334016 59708 33554432000 4194304 16246674 140733545089600 140703598374064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700434 s]
/proc/loadavg: 2.22 2.19 2.18 4/179 11149
/proc/meminfo: memFree=28917076/32872528 swapFree=1542984/1696284
[pid=11149] ppid=11146 vsize=1302084 CPUtime=0.69 cores=1,3,5,7
/proc/11149/stat : 11149 (toysat) R 11146 11149 9424 0 -1 4202496 159617 0 0 0 47 22 0 0 20 0 4 0 41705740 1333334016 159915 33554432000 4194304 16246674 140733545089600 140733545071488 12430849 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11149/statm: 325521 159925 898 2943 0 322415 0
[pid=11149/tid=11150] ppid=11146 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (toysat) S 11146 11149 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41705740 1333334016 159929 33554432000 4194304 16246674 140733545089600 140703723138288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=11149/tid=11151] ppid=11146 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11151/stat : 11151 (toysat) S 11146 11149 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41705740 1333334016 159934 33554432000 4194304 16246674 140733545089600 140703712648432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=11149/tid=11152] ppid=11146 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11152/stat : 11152 (toysat) S 11146 11149 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41705740 1333334016 159939 33554432000 4194304 16246674 140733545089600 140703598374064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.50039 s]
/proc/loadavg: 2.21 2.19 2.18 3/183 11153
/proc/meminfo: memFree=27870892/32872528 swapFree=1542984/1696284
[pid=11149] ppid=11146 vsize=1357380 CPUtime=1.49 cores=1,3,5,7
/proc/11149/stat : 11149 (toysat) R 11146 11149 9424 0 -1 4202496 280462 0 0 0 111 38 0 0 20 0 4 0 41705740 1389957120 280760 33554432000 4194304 16246674 140733545089600 140733545071488 12449372 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11149/statm: 339345 280760 899 2943 0 336239 0
[pid=11149/tid=11150] ppid=11146 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (toysat) S 11146 11149 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41705740 1389957120 280760 33554432000 4194304 16246674 140733545089600 140703723138288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=11149/tid=11151] ppid=11146 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11151/stat : 11151 (toysat) S 11146 11149 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41705740 1389957120 280760 33554432000 4194304 16246674 140733545089600 140703712648432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=11149/tid=11152] ppid=11146 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11152/stat : 11152 (toysat) S 11146 11149 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41705740 1389957120 280760 33554432000 4194304 16246674 140733545089600 140703598374064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1357380

[startup+3.10045 s]
/proc/loadavg: 2.21 2.19 2.18 4/183 11153
/proc/meminfo: memFree=27794632/32872528 swapFree=1542984/1696284
[pid=11149] ppid=11146 vsize=1357380 CPUtime=3.09 cores=1,3,5,7
/proc/11149/stat : 11149 (toysat) R 11146 11149 9424 0 -1 4202496 280542 0 0 0 271 38 0 0 20 0 4 0 41705740 1389957120 280840 33554432000 4194304 16246674 140733545089600 140733545071488 4220871 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11149/statm: 339345 280840 899 2943 0 336239 0
[pid=11149/tid=11150] ppid=11146 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (toysat) S 11146 11149 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41705740 1389957120 280840 33554432000 4194304 16246674 140733545089600 140703723138288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=11149/tid=11151] ppid=11146 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11151/stat : 11151 (toysat) S 11146 11149 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41705740 1389957120 280840 33554432000 4194304 16246674 140733545089600 140703712648432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=11149/tid=11152] ppid=11146 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11152/stat : 11152 (toysat) S 11146 11149 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41705740 1389957120 280840 33554432000 4194304 16246674 140733545089600 140703598374064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1357380

[startup+6.30046 s]
/proc/loadavg: 2.21 2.19 2.18 4/183 11153
/proc/meminfo: memFree=27795060/32872528 swapFree=1542984/1696284
[pid=11149] ppid=11146 vsize=1357380 CPUtime=6.29 cores=1,3,5,7
/proc/11149/stat : 11149 (toysat) R 11146 11149 9424 0 -1 4202496 280542 0 0 0 591 38 0 0 20 0 4 0 41705740 1389957120 280840 33554432000 4194304 16246674 140733545089600 140733545071488 13950218 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11149/statm: 339345 280840 899 2943 0 336239 0
[pid=11149/tid=11150] ppid=11146 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (toysat) S 11146 11149 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41705740 1389957120 280840 33554432000 4194304 16246674 140733545089600 140703723138288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=11149/tid=11151] ppid=11146 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11151/stat : 11151 (toysat) S 11146 11149 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41705740 1389957120 280840 33554432000 4194304 16246674 140733545089600 140703712648432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=11149/tid=11152] ppid=11146 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11152/stat : 11152 (toysat) S 11146 11149 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41705740 1389957120 280840 33554432000 4194304 16246674 140733545089600 140703598374064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1357380

[startup+12.7005 s]
/proc/loadavg: 2.33 2.22 2.19 3/183 11153
/proc/meminfo: memFree=27738276/32872528 swapFree=1542984/1696284
[pid=11149] ppid=11146 vsize=1608260 CPUtime=12.69 cores=1,3,5,7
/proc/11149/stat : 11149 (toysat) R 11146 11149 9424 0 -1 4202496 343262 0 0 0 1222 47 0 0 20 0 4 0 41705740 1646858240 343560 33554432000 4194304 16246674 140733545089600 140733545088816 4206664 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11149/statm: 402065 343560 899 2943 0 398959 0
[pid=11149/tid=11150] ppid=11146 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (toysat) S 11146 11149 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41705740 1646858240 343560 33554432000 4194304 16246674 140733545089600 140703723138288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=11149/tid=11151] ppid=11146 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11151/stat : 11151 (toysat) S 11146 11149 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41705740 1646858240 343560 33554432000 4194304 16246674 140733545089600 140703712648432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=11149/tid=11152] ppid=11146 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11152/stat : 11152 (toysat) S 11146 11149 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41705740 1646858240 343560 33554432000 4194304 16246674 140733545089600 140703598374064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1608260

[startup+25.5005 s]
/proc/loadavg: 2.28 2.21 2.18 3/183 11153
/proc/meminfo: memFree=27320604/32872528 swapFree=1542984/1696284
[pid=11149] ppid=11146 vsize=1831492 CPUtime=25.49 cores=1,3,5,7
/proc/11149/stat : 11149 (toysat) R 11146 11149 9424 0 -1 4202496 399070 0 0 0 2494 55 0 0 20 0 4 0 41705740 1875447808 399368 33554432000 4194304 16246674 140733545089600 140733545088816 13966160 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11149/statm: 457873 399368 899 2943 0 454767 0
[pid=11149/tid=11150] ppid=11146 vsize=1831492 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (toysat) S 11146 11149 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41705740 1875447808 399368 33554432000 4194304 16246674 140733545089600 140703723138288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=11149/tid=11151] ppid=11146 vsize=1831492 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11151/stat : 11151 (toysat) S 11146 11149 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41705740 1875447808 399368 33554432000 4194304 16246674 140733545089600 140703712648432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=11149/tid=11152] ppid=11146 vsize=1831492 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11152/stat : 11152 (toysat) S 11146 11149 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41705740 1875447808 399368 33554432000 4194304 16246674 140733545089600 140703598374064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1831492

[startup+51.1005 s]
/proc/loadavg: 2.26 2.21 2.18 4/183 11153
/proc/meminfo: memFree=26402232/32872528 swapFree=1542984/1696284
[pid=11149] ppid=11146 vsize=2738756 CPUtime=51.08 cores=1,3,5,7
/proc/11149/stat : 11149 (toysat) R 11146 11149 9424 0 -1 4202496 625886 0 0 0 5020 88 0 0 20 0 4 0 41705740 2804486144 626184 33554432000 4194304 16246674 140733545089600 140733545087376 4221142 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11149/statm: 684689 626184 899 2943 0 681583 0
[pid=11149/tid=11150] ppid=11146 vsize=2738756 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (toysat) S 11146 11149 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41705740 2804486144 626184 33554432000 4194304 16246674 140733545089600 140703723138288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=11149/tid=11151] ppid=11146 vsize=2738756 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11151/stat : 11151 (toysat) S 11146 11149 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41705740 2804486144 626184 33554432000 4194304 16246674 140733545089600 140703712648208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11149/tid=11152] ppid=11146 vsize=2738756 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11152/stat : 11152 (toysat) S 11146 11149 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41705740 2804486144 626184 33554432000 4194304 16246674 140733545089600 140703598374064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2738756

[startup+102.301 s]
/proc/loadavg: 2.35 2.24 2.19 3/183 11154
/proc/meminfo: memFree=25000248/32872528 swapFree=1542984/1696284
[pid=11149] ppid=11146 vsize=4102724 CPUtime=102.28 cores=1,3,5,7
/proc/11149/stat : 11149 (toysat) R 11146 11149 9424 0 -1 4202496 966880 0 0 0 10090 138 0 0 20 0 4 0 41705740 4201189376 967178 33554432000 4194304 16246674 140733545089600 140733545087424 4206912 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11149/statm: 1025681 967178 900 2943 0 1022575 0
[pid=11149/tid=11150] ppid=11146 vsize=4102724 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (toysat) S 11146 11149 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41705740 4201189376 967178 33554432000 4194304 16246674 140733545089600 140703723138288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=11149/tid=11151] ppid=11146 vsize=4102724 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11151/stat : 11151 (toysat) S 11146 11149 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41705740 4201189376 967178 33554432000 4194304 16246674 140733545089600 140703712648432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=11149/tid=11152] ppid=11146 vsize=4102724 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11152/stat : 11152 (toysat) S 11146 11149 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41705740 4201189376 967178 33554432000 4194304 16246674 140733545089600 140703598374064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 4102724


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

[pid=11149] ppid=11146 vsize=13774404 CPUtime=642.19 cores=1,3,5,7
/proc/11149/stat : 11149 (toysat) R 11146 11149 9424 0 -1 4202496 4761576 0 0 0 63500 719 0 0 20 0 4 0 41705740 14104989696 3385106 33554432000 4194304 16246674 140733545089600 140733545088776 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11149/statm: 3443601 3385106 904 2943 0 3440495 0
[pid=11149/tid=11150] ppid=11146 vsize=13774404 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (toysat) S 11146 11149 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41705740 14104989696 3385106 33554432000 4194304 16246674 140733545089600 140703723138288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=11149/tid=11151] ppid=11146 vsize=13774404 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11151/stat : 11151 (toysat) S 11146 11149 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41705740 14104989696 3385106 33554432000 4194304 16246674 140733545089600 140703712648432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=11149/tid=11152] ppid=11146 vsize=13774404 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11152/stat : 11152 (toysat) S 11146 11149 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41705740 14104989696 3385106 33554432000 4194304 16246674 140733545089600 140703598374064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 642.19
Current children cumulated vsize (KiB) 13774404

[startup+702.301 s]
/proc/loadavg: 2.28 2.29 2.21 3/183 11169
/proc/meminfo: memFree=15247884/32872528 swapFree=1542984/1696284
[pid=11149] ppid=11146 vsize=13774404 CPUtime=702.18 cores=1,3,5,7
/proc/11149/stat : 11149 (toysat) R 11146 11149 9424 0 -1 4202496 4761576 0 0 0 69496 722 0 0 20 0 4 0 41705740 14104989696 3385106 33554432000 4194304 16246674 140733545089600 140733545087552 14016899 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11149/statm: 3443601 3385106 904 2943 0 3440495 0
[pid=11149/tid=11150] ppid=11146 vsize=13774404 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (toysat) S 11146 11149 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41705740 14104989696 3385106 33554432000 4194304 16246674 140733545089600 140703723138288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=11149/tid=11151] ppid=11146 vsize=13774404 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11151/stat : 11151 (toysat) S 11146 11149 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41705740 14104989696 3385106 33554432000 4194304 16246674 140733545089600 140703712648208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11149/tid=11152] ppid=11146 vsize=13774404 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11152/stat : 11152 (toysat) S 11146 11149 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41705740 14104989696 3385106 33554432000 4194304 16246674 140733545089600 140703598374064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 702.18
Current children cumulated vsize (KiB) 13774404

[startup+762.301 s]
/proc/loadavg: 2.18 2.26 2.20 3/183 11170
/proc/meminfo: memFree=15247312/32872528 swapFree=1542984/1696284
[pid=11149] ppid=11146 vsize=13774404 CPUtime=762.18 cores=1,3,5,7
/proc/11149/stat : 11149 (toysat) R 11146 11149 9424 0 -1 4202496 4761576 0 0 0 75492 726 0 0 20 0 4 0 41705740 14104989696 3385106 33554432000 4194304 16246674 140733545089600 140733545087424 14007440 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11149/statm: 3443601 3385106 904 2943 0 3440495 0
[pid=11149/tid=11150] ppid=11146 vsize=13774404 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (toysat) S 11146 11149 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41705740 14104989696 3385106 33554432000 4194304 16246674 140733545089600 140703723138288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=11149/tid=11151] ppid=11146 vsize=13774404 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11151/stat : 11151 (toysat) S 11146 11149 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41705740 14104989696 3385106 33554432000 4194304 16246674 140733545089600 140703712648208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11149/tid=11152] ppid=11146 vsize=13774404 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11152/stat : 11152 (toysat) S 11146 11149 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41705740 14104989696 3385106 33554432000 4194304 16246674 140733545089600 140703598374064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 762.18
Current children cumulated vsize (KiB) 13774404

[startup+822.3 s]
/proc/loadavg: 2.30 2.29 2.21 3/183 11172
/proc/meminfo: memFree=14911924/32872528 swapFree=1542984/1696284
[pid=11149] ppid=11146 vsize=14109252 CPUtime=822.17 cores=1,3,5,7
/proc/11149/stat : 11149 (toysat) R 11146 11149 9424 0 -1 4202496 4845288 0 0 0 81476 741 0 0 20 0 4 0 41705740 14447874048 3468818 33554432000 4194304 16246674 140733545089600 140733545087552 14016589 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11149/statm: 3527313 3468818 904 2943 0 3524207 0
[pid=11149/tid=11150] ppid=11146 vsize=14109252 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (toysat) S 11146 11149 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41705740 14447874048 3468818 33554432000 4194304 16246674 140733545089600 140703723138288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=11149/tid=11151] ppid=11146 vsize=14109252 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11151/stat : 11151 (toysat) S 11146 11149 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41705740 14447874048 3468818 33554432000 4194304 16246674 140733545089600 140703712648208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11149/tid=11152] ppid=11146 vsize=14109252 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11152/stat : 11152 (toysat) S 11146 11149 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41705740 14447874048 3468818 33554432000 4194304 16246674 140733545089600 140703598374064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 822.17
Current children cumulated vsize (KiB) 14109252

[startup+882.307 s]
/proc/loadavg: 2.26 2.28 2.21 3/183 11173
/proc/meminfo: memFree=14911948/32872528 swapFree=1542984/1696284
[pid=11149] ppid=11146 vsize=14109252 CPUtime=882.16 cores=1,3,5,7
/proc/11149/stat : 11149 (toysat) R 11146 11149 9424 0 -1 4202496 4845288 0 0 0 87469 747 0 0 20 0 4 0 41705740 14447874048 3468818 33554432000 4194304 16246674 140733545089600 140733545087552 4226260 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11149/statm: 3527313 3468818 904 2943 0 3524207 0
[pid=11149/tid=11150] ppid=11146 vsize=14109252 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (toysat) S 11146 11149 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41705740 14447874048 3468818 33554432000 4194304 16246674 140733545089600 140703723138288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=11149/tid=11151] ppid=11146 vsize=14109252 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11151/stat : 11151 (toysat) S 11146 11149 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41705740 14447874048 3468818 33554432000 4194304 16246674 140733545089600 140703712648208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11149/tid=11152] ppid=11146 vsize=14109252 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11152/stat : 11152 (toysat) S 11146 11149 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41705740 14447874048 3468818 33554432000 4194304 16246674 140733545089600 140703598374064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 14109252

[startup+942.3 s]
/proc/loadavg: 2.19 2.25 2.20 3/183 11174
/proc/meminfo: memFree=14308472/32872528 swapFree=1542984/1696284
[pid=11149] ppid=11146 vsize=14713412 CPUtime=942.14 cores=1,3,5,7
/proc/11149/stat : 11149 (toysat) R 11146 11149 9424 0 -1 4202496 4941361 0 0 0 93447 767 0 0 20 0 4 0 41705740 15066533888 3619568 33554432000 4194304 16246674 140733545089600 140733545087552 14016704 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11149/statm: 3678353 3619568 904 2943 0 3675247 0
[pid=11149/tid=11150] ppid=11146 vsize=14713412 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (toysat) S 11146 11149 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41705740 15066533888 3619568 33554432000 4194304 16246674 140733545089600 140703723138288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=11149/tid=11151] ppid=11146 vsize=14713412 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11151/stat : 11151 (toysat) S 11146 11149 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41705740 15066533888 3619568 33554432000 4194304 16246674 140733545089600 140703712648208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11149/tid=11152] ppid=11146 vsize=14713412 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11152/stat : 11152 (toysat) S 11146 11149 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41705740 15066533888 3619568 33554432000 4194304 16246674 140733545089600 140703598374064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 14713412

[startup+1002.3 s]
/proc/loadavg: 2.33 2.28 2.21 3/183 11175
/proc/meminfo: memFree=14305576/32872528 swapFree=1542984/1696284
[pid=11149] ppid=11146 vsize=14713412 CPUtime=1002.14 cores=1,3,5,7
/proc/11149/stat : 11149 (toysat) R 11146 11149 9424 0 -1 4202496 4941651 0 0 0 99441 773 0 0 20 0 4 0 41705740 15066533888 3620114 33554432000 4194304 16246674 140733545089600 140733545087552 13899658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11149/statm: 3678353 3620114 904 2943 0 3675247 0
[pid=11149/tid=11150] ppid=11146 vsize=14713412 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (toysat) S 11146 11149 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41705740 15066533888 3620114 33554432000 4194304 16246674 140733545089600 140703723138288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=11149/tid=11151] ppid=11146 vsize=14713412 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11151/stat : 11151 (toysat) S 11146 11149 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41705740 15066533888 3620114 33554432000 4194304 16246674 140733545089600 140703712648208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11149/tid=11152] ppid=11146 vsize=14713412 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11152/stat : 11152 (toysat) S 11146 11149 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41705740 15066533888 3620114 33554432000 4194304 16246674 140733545089600 140703598374064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 14713412

[startup+1062.3 s]
/proc/loadavg: 2.38 2.30 2.22 3/184 11179
/proc/meminfo: memFree=14305232/32872528 swapFree=1542984/1696284
[pid=11149] ppid=11146 vsize=14713412 CPUtime=1062.12 cores=1,3,5,7
/proc/11149/stat : 11149 (toysat) R 11146 11149 9424 0 -1 4202496 4941651 0 0 0 105436 776 0 0 20 0 4 0 41705740 15066533888 3620114 33554432000 4194304 16246674 140733545089600 140733545088696 4206587 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11149/statm: 3678353 3620114 904 2943 0 3675247 0
[pid=11149/tid=11150] ppid=11146 vsize=14713412 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (toysat) S 11146 11149 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41705740 15066533888 3620114 33554432000 4194304 16246674 140733545089600 140703723138288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=11149/tid=11151] ppid=11146 vsize=14713412 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11151/stat : 11151 (toysat) S 11146 11149 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41705740 15066533888 3620114 33554432000 4194304 16246674 140733545089600 140703712648432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=11149/tid=11152] ppid=11146 vsize=14713412 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11152/stat : 11152 (toysat) S 11146 11149 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41705740 15066533888 3620114 33554432000 4194304 16246674 140733545089600 140703598374064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 14713412



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1113.6 s]
/proc/loadavg: 2.36 2.30 2.22 3/183 11181
/proc/meminfo: memFree=13282132/32872528 swapFree=1542984/1696284
[pid=11149] ppid=11146 vsize=15880772 CPUtime=1113.41 cores=1,3,5,7
/proc/11149/stat : 11149 (toysat) R 11146 11149 9424 0 -1 4202496 5233400 0 0 0 110523 818 0 0 20 0 4 0 41705740 16261910528 3911863 33554432000 4194304 16246674 140733545089600 140733545088696 13885029 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11149/statm: 3970193 3911863 904 2943 0 3967087 0
[pid=11149/tid=11150] ppid=11146 vsize=15880772 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (toysat) S 11146 11149 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41705740 16261910528 3911863 33554432000 4194304 16246674 140733545089600 140703723138288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=11149/tid=11151] ppid=11146 vsize=15880772 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11151/stat : 11151 (toysat) S 11146 11149 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41705740 16261910528 3911863 33554432000 4194304 16246674 140733545089600 140703712648432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=11149/tid=11152] ppid=11146 vsize=15880772 CPUtime=0 cores=1,3,5,7
/proc/11149/task/11152/stat : 11152 (toysat) S 11146 11149 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41705740 16261910528 3911863 33554432000 4194304 16246674 140733545089600 140703598374064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1113.41
Current children cumulated vsize (KiB) 15880772

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

[startup+1114 s]
/proc/loadavg: 2.36 2.30 2.22 3/183 11181
/proc/meminfo: memFree=13282132/32872528 swapFree=1542984/1696284
[pid=11149] ppid=11146 vsize=0 CPUtime=1113.81 cores=1,3,5,7
/proc/11149/stat : 11149 (toysat) Z 11146 11149 9424 0 -1 4203532 5233400 0 0 0 110524 857 0 0 20 0 2 0 41705740 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11149/statm: 0 0 0 0 0 0 0
[pid=11149/tid=11150] ppid=11146 vsize=0 CPUtime=0.38 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (toysat) R 11146 11149 9424 0 -1 4203588 10 0 0 0 0 38 0 0 20 0 2 0 41705740 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1113.81
Current children cumulated vsize (KiB) 0

[startup+1114.41 s]
/proc/loadavg: 2.36 2.30 2.22 3/181 11181
/proc/meminfo: memFree=26254348/32872528 swapFree=1542984/1696284
[pid=11149] ppid=11146 vsize=0 CPUtime=1114.21 cores=1,3,5,7
/proc/11149/stat : 11149 (toysat) Z 11146 11149 9424 0 -1 4203532 5233400 0 0 0 110524 897 0 0 20 0 2 0 41705740 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11149/statm: 0 0 0 0 0 0 0
[pid=11149/tid=11150] ppid=11146 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/11149/task/11150/stat : 11150 (toysat) R 11146 11149 9424 0 -1 4203588 10 0 0 0 0 78 0 0 20 0 2 0 41705740 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1114.21
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1114.43
CPU time (s): 1114.23
CPU user time (s): 1105.24
CPU system time (s): 8.99263
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 15880772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1105.24
system time used= 8.99263
maximum resident set size= 15647452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5233400
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= 469
involuntary context switches= 1618

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.95579 second user time and 9.92649 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-20 06:23:11
IDJOB=4111056
IDBENCH=108747
IDSOLVER=2542
FILE ID=node125/4111056-1466396591
RUNJOBID= node125-1466384086-9441
PBS_JOBID= 19923262
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f17-DCdoubleLoss.seq-B-2-2-irabcde.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111056-1466396591/watcher-4111056-1466396591 -o /tmp/evaluation-result-4111056-1466396591/solver-4111056-1466396591 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466384086-9441 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4111056-1466396591.opb

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

MD5SUM BENCH= 6bad1c8599e6fa83234e6b947edeb24c
RANDOM SEED=1465721648

node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
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:        28917240 kB
Buffers:           53636 kB
Cached:            98920 kB
SwapCached:         1612 kB
Active:          1453548 kB
Inactive:          71168 kB
Active(anon):    1373124 kB
Inactive(anon):     1264 kB
Active(file):      80424 kB
Inactive(file):    69904 kB
Unevictable:     1696284 kB
Mlocked:         1542984 kB
SwapTotal:      67108856 kB
SwapFree:       67097096 kB
Dirty:             16700 kB
Writeback:             0 kB
AnonPages:       3088060 kB
Mapped:            10776 kB
Shmem:                 0 kB
Slab:             595268 kB
SReclaimable:      38956 kB
SUnreclaim:       556312 kB
KernelStack:        1512 kB
PageTables:        10252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3213512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    176128 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= 71704 MiB
End job on node125 at 2016-06-20 06:41:46