Trace number 4079410

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) 314.133 314.194

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat25_6_4_3_mh.opb
MD5SUMd4efe70b0c8674b6d4d4e9279975f4ec
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5339858
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables31350
Total number of constraints73332
Number of constraints which are clauses57050
Number of constraints which are cardinality constraints (but not clauses)32
Number of constraints which are nor clauses,nor cardinality constraints16250
Minimum length of a constraint2
Maximum length of a constraint925
Number of terms in the objective function 16825
Biggest coefficient in the objective function 182284263
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 13627510549
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 182284263
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 13627510549
Number of bits of the biggest sum of numbers34
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-07T21:32:04+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-4079410-1465327924.opb"]
0.00/0.01	c use --random-gen="2191081095 2156338146 3162159861 2518811851 537866566 1691847486 858809451 3069617030 1464233704 2066915561 2751580288 2042200059 3592574529 4241037727 3250445752 607264912 3869395768 2498980098 446011466 2009734355 3195094549 3786327993 1669065987 3540505605 1776198781 1000869378 2478769442 3717714972 1299818694 1669219692 3450184065 2091843000 2093401211 4129923902 3737654022 3128734278 1242874154 3172310718 1881575824 2147123921 3276021960 4182594114 3822970811 2653668426 1838614480 680274108 3278745706 3726833915 1110790145 2804810137 2482602405 313367648 2344290971 1904595437 1667534536 1486386949 3795147059 2684997662 1307613786 3400285057 1667933404 829659997 362818176 4195114548 2121446872 1601438707 1646541779 438259065 2347032912 1447044061 3663631346 3238082538 1554418541 1534959653 887183031 2498302925 175181855 2593199566 2760196254 1883983399 55896895 2818584046 77429846 1426433960 1033010524 3355338271 3578670226 3531013752 2023352763 1687511829 3703193544 2450030666 177677692 989481990 2566227562 722294759 3420729444 3139151289 4247060419 726787754 199498803 2386273472 3392933954 365691034 1866018956 4195555037 1604204481 1335319007 875974395 1746855837 4138278446 248432619 4015433779 92720377 3744993887 2766907751 3959615397 843489833 263099081 1183771882 870122808 3428005756 3042303362 361727587 3149561817 1500779731 2738086079 1318033884 3905429668 2552465465 1122560260 423034058 196447062 2953407766 263856415 2601482798 1358981729 988548202 731858257 4098702520 1525434578 668901095 558478180 2320134847 1266848725 1423403137 4144824178 3673643646 2602196281 1780078542 4153422178 103759269 1135824139 3460586855 3160655595 1709128695 742588444 1674395432 3499891176 2214366860 1064131904 2882504993 1480591132 3346179254 2875992906 3239544208 956783673 2158749637 3834468340 347626172 2071197400 4111135438 3053486490 1036728899 3141345074 1362951947 4036793335 2772524627 3743780176 4070302117 450597607 2240581209 4172994684 2238420154 952595109 730563894 2475594264 2797211209 3367719953 2292814689 2051941727 925530142 1379576556 4046981309 172020305 3119407123 2338207023 2127125053 1096265546 2465032422 3339832095 1065146849 4065205827 643704814 796765730 1516860049 3616857324 1382494038 1815467151 3022930676 759771950 1090022137 4071615723 2310722100 2900170757 3409943153 96511801 2494867527 2133294654 2336519567 3888556267 2262814220 625513796 3604828040 921648656 3928577089 3314083788 2896419208 2784911154 2568361122 682186548 2907303089 4276542546 1391737832 776070969 353933463 1636199570 2793972058 2642550424 3428918729 527922881 2546455654 2998412481 55858722 1654799290 4120885419 2507165818 1633418720 1611647949 3987190200 1962689923 3825508613 3291065662 1888203733 2156645217 1811233771 255 362436" option to reproduce the execution
0.49/0.50	c #vars 31350
0.49/0.50	c #constraints 73332
1.58/1.67	c BCD2: Hardening is enabled.
1.58/1.67	c BCD2: BiasedSearch is enabled.
1.58/1.67	c Solving starts ...
1.58/1.67	c ============================[ Search Statistics ]============================
1.58/1.67	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.58/1.67	c       |         |          |          |    Limit     GC | Var      | Constra 
1.58/1.67	c =============================================================================
1.79/1.85	c  0.0s |       0 |        0 |        0 |    35294      0 |       75 |        0
2.30/2.34	c  0.5s |       1 |      181 |      100 |    35294      0 |       75 |        0
2.59/2.67	c  0.8s |       2 |      899 |      250 |    38824      0 |       75 |        0
5.59/5.68	c  3.8s |       2 |     2086 |      450 |    42707      0 |       75 |        0
6.28/6.35	c  4.5s |       3 |     2196 |      475 |    42707      0 |       75 |        0
10.38/10.46	c  8.6s |       3 |     4210 |      675 |    46978      0 |       75 |        0
11.48/11.52	c  9.7s |       4 |     5691 |      813 |    46978      0 |       75 |        0
13.48/13.51	c 11.7s |       5 |     9246 |     1320 |    51676      0 |       75 |        0
15.68/15.70	c 13.9s |       5 |    11927 |     1720 |    56844      0 |       75 |        0
16.59/16.60	c 14.8s |       6 |    12996 |     2081 |    62529      0 |       75 |        0
18.58/18.63	c 16.8s |       6 |    14942 |     2681 |    62529      0 |       75 |        0
20.18/20.28	c 18.4s |       7 |    16764 |     3223 |    68782      0 |       75 |        0
22.48/22.59	c 20.8s |       7 |    23344 |     3823 |    68782      0 |       75 |        0
25.08/25.17	c 23.3s |       7 |    25086 |     4123 |    68782      0 |       75 |        0
27.28/27.37	c 25.5s |       7 |    27332 |     4823 |    68782      0 |       75 |        0
27.68/27.73	c 25.9s |       8 |    27586 |     4936 |    75661      0 |       75 |        0
30.08/30.12	c 28.3s |       8 |    29096 |     5436 |    75661      0 |       75 |        0
32.28/32.31	c 30.5s |       8 |    30281 |     5936 |    75661      0 |       75 |        0
34.38/34.49	c 32.6s |       8 |    31906 |     6536 |    75661      0 |       75 |        0
36.68/36.73	c 34.9s |       8 |    34027 |     7236 |    75661      0 |       75 |        0
37.48/37.56	c 35.7s |       9 |    34661 |     7506 |    83228      0 |       75 |        0
39.78/39.87	c 38.0s |       9 |    36555 |     8106 |    83228      0 |       75 |        0
42.08/42.10	c 40.3s |       9 |    38134 |     8706 |    83228      0 |       75 |        0
44.48/44.52	c 42.7s |       9 |    39588 |     9306 |    83228      0 |       75 |        0
46.88/46.94	c 45.1s |       9 |    41210 |     9806 |    83228      0 |       75 |        0
49.28/49.39	c 47.5s |       9 |    43188 |    10406 |    83228      0 |       75 |        0
51.58/51.70	c 49.9s |       9 |    45306 |    11106 |    83228      0 |       75 |        0
52.68/52.77	c 50.9s |      10 |    46298 |    11361 |    91551      0 |       75 |        0
54.87/54.95	c 53.1s |      10 |    48176 |    11961 |    91551      0 |       75 |        0
57.37/57.43	c 55.6s |      10 |    50240 |    12561 |    91551      0 |       75 |        0
59.48/59.52	c 57.7s |      10 |    52414 |    13161 |    91551      0 |       75 |        0
61.58/61.64	c 59.8s |      10 |    54262 |    13761 |    91551      0 |       75 |        0
63.78/63.89	c 62.0s |      10 |    55739 |    14261 |    91551      0 |       75 |        0
65.87/65.91	c 64.1s |      10 |    56766 |    14661 |    91551      0 |       75 |        0
67.87/67.95	c 66.1s |      10 |    58414 |    15161 |    91551      0 |       75 |        0
70.17/70.29	c 68.4s |      10 |    59890 |    15761 |    91551      0 |       75 |        0
72.68/72.71	c 70.9s |      10 |    61279 |    16361 |    91551      0 |       75 |        0
74.67/74.79	c 72.9s |      10 |    63179 |    16861 |    91551      0 |       75 |        0
75.88/75.96	c 74.1s |      11 |    64079 |    17144 |   100707      0 |       75 |        0
78.18/78.24	c 76.4s |      11 |    65574 |    17744 |   100707      0 |       75 |        0
80.38/80.48	c 78.6s |      11 |    67609 |    18444 |   100707      0 |       75 |        0
82.58/82.69	c 80.8s |      11 |    69122 |    18944 |   100707      0 |       75 |        0
84.78/84.86	c 83.0s |      11 |    70360 |    19444 |   100707      0 |       75 |        0
86.77/86.90	c 85.1s |      11 |    72225 |    19844 |   100707      0 |       75 |        0
89.27/89.34	c 87.5s |      11 |    73796 |    20244 |   100707      0 |       75 |        0
91.67/91.71	c 89.9s |      11 |    74793 |    20644 |   100707      0 |       75 |        0
93.97/94.06	c 92.2s |      11 |    76063 |    21044 |   100707      0 |       75 |        0
95.97/96.07	c 94.2s |      11 |    76720 |    21344 |   100707      0 |       75 |        0
98.28/98.31	c 96.5s |      11 |    77819 |    21744 |   100707      0 |       75 |        0
100.48/100.57	c 98.7s |      11 |    79791 |    22123 |   100707      0 |       75 |        0
100.48/100.57	c #cpu_time = 98.700s
100.48/100.57	c #wall_clock_time = 98.697s
100.48/100.57	c #decision = 79791
100.48/100.57	c #random_decision = 62
100.48/100.57	c #conflict = 22123
100.48/100.57	c #restart = 11
100.48/100.57	o 166820877
100.58/100.62	c BCD2: hardening fixes 2 literals
100.58/100.62	c BCD2: updating upper bound: 13627510549 -> 166820901
100.78/100.84	c BCD2: 0 <= obj <= 166820901
100.78/100.84	c BCD2: #cores=0, #unrelaxed=16823, #relaxed=0, #hardened=2
100.78/100.84	c BCD2: #sat=1 #unsat=1 bias=1/2
100.78/100.84	c Solving starts ...
100.78/100.84	c ============================[ Search Statistics ]============================
100.78/100.84	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
100.78/100.84	c       |         |          |          |    Limit     GC | Var      | Constra 
100.78/100.84	c =============================================================================
100.78/100.84	c  0.0s |       0 |        0 |        0 |   100707      0 |       77 |        0
100.98/101.00	c  0.2s |       0 |      269 |        3 |   100707      0 |       77 |        5
100.98/101.00	c #cpu_time = 0.146s
100.98/101.00	c #wall_clock_time = 0.146s
100.98/101.00	c #decision = 269
100.98/101.00	c #random_decision = 0
100.98/101.00	c #conflict = 3
100.98/101.00	c #restart = 0
100.98/101.00	c BCD2: found a new core of size 267: cost of the new core is >=6859
100.98/101.00	c lower bound updated to 6834
100.98/101.04	c BCD2: 6859 <= obj <= 166820901
100.98/101.04	c BCD2: #cores=1, #unrelaxed=16556, #relaxed=267, #hardened=2
100.98/101.04	c BCD2: #sat=1 #unsat=2 bias=2/3

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

pid=22884
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.03 2.03 2.00 3/179 22887
/proc/meminfo: memFree=30405908/32872528 swapFree=11196/354588
[pid=22887] ppid=22884 vsize=553404 CPUtime=0 cores=0,2,4,6
/proc/22887/stat : 22887 (toysat) R 22884 22887 21010 0 -1 4202496 2037 0 0 0 0 0 0 0 20 0 4 0 114725862 566685696 2397 33554432000 4194304 16246674 140734834382912 140734834382336 15002730 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22887/statm: 139119 2405 441 2943 0 136013 0
[pid=22887/tid=22888] ppid=22884 vsize=570812 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22888/stat : 22888 (toysat) S 22884 22887 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114725863 584511488 2466 33554432000 4194304 16246674 140734834382912 140433025903856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22887/tid=22889] ppid=22884 vsize=575932 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22889/stat : 22889 (toysat) S 22884 22887 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114725863 589754368 2484 33554432000 4194304 16246674 140734834382912 140433015414000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22887/tid=22890] ppid=22884 vsize=580028 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22890/stat : 22890 (toysat) S 22884 22887 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114725863 593948672 2500 33554432000 4194304 16246674 140734834382912 140433004940464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100244 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 22887
/proc/meminfo: memFree=30405908/32872528 swapFree=11196/354588
[pid=22887] ppid=22884 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/22887/stat : 22887 (toysat) R 22884 22887 21010 0 -1 4202496 31082 0 0 0 5 4 0 0 20 0 4 0 114725862 1334382592 31380 33554432000 4194304 16246674 140734834382912 140734834365904 7393558 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22887/statm: 325777 31395 800 2943 0 322671 0
[pid=22887/tid=22888] ppid=22884 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22888/stat : 22888 (toysat) S 22884 22887 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114725863 1334382592 31405 33554432000 4194304 16246674 140734834382912 140433025903856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22887/tid=22889] ppid=22884 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22889/stat : 22889 (toysat) S 22884 22887 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114725863 1334382592 31414 33554432000 4194304 16246674 140734834382912 140433015414000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22887/tid=22890] ppid=22884 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22890/stat : 22890 (toysat) S 22884 22887 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114725863 1334382592 31421 33554432000 4194304 16246674 140734834382912 140433004940464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.20055 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 22887
/proc/meminfo: memFree=30405908/32872528 swapFree=11196/354588
[pid=22887] ppid=22884 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/22887/stat : 22887 (toysat) R 22884 22887 21010 0 -1 4202496 44337 0 0 0 13 6 0 0 20 0 4 0 114725862 1344868352 45146 33554432000 4194304 16246674 140734834382912 140734834365904 7368066 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22887/statm: 328337 45146 801 2943 0 325231 0
[pid=22887/tid=22888] ppid=22884 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22888/stat : 22888 (toysat) S 22884 22887 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114725863 1344868352 45146 33554432000 4194304 16246674 140734834382912 140433025903856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22887/tid=22889] ppid=22884 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22889/stat : 22889 (toysat) S 22884 22887 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114725863 1344868352 45146 33554432000 4194304 16246674 140734834382912 140433015414000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22887/tid=22890] ppid=22884 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22890/stat : 22890 (toysat) S 22884 22887 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114725863 1344868352 45146 33554432000 4194304 16246674 140734834382912 140433004940464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300484 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 22887
/proc/meminfo: memFree=30405908/32872528 swapFree=11196/354588
[pid=22887] ppid=22884 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/22887/stat : 22887 (toysat) R 22884 22887 21010 0 -1 4202496 55962 0 0 0 22 7 0 0 20 0 4 0 114725862 1344868352 56771 33554432000 4194304 16246674 140734834382912 140734834365904 4220480 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22887/statm: 328337 56771 801 2943 0 325231 0
[pid=22887/tid=22888] ppid=22884 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22888/stat : 22888 (toysat) S 22884 22887 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114725863 1344868352 56771 33554432000 4194304 16246674 140734834382912 140433025903856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22887/tid=22889] ppid=22884 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22889/stat : 22889 (toysat) S 22884 22887 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114725863 1344868352 56771 33554432000 4194304 16246674 140734834382912 140433015414000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22887/tid=22890] ppid=22884 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22890/stat : 22890 (toysat) S 22884 22887 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114725863 1344868352 56771 33554432000 4194304 16246674 140734834382912 140433004940464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700421 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 22887
/proc/meminfo: memFree=30405908/32872528 swapFree=11196/354588
[pid=22887] ppid=22884 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/22887/stat : 22887 (toysat) R 22884 22887 21010 0 -1 4202496 63862 0 0 0 61 8 0 0 20 0 4 0 114725862 1344868352 64671 33554432000 4194304 16246674 140734834382912 140734834382224 12070284 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22887/statm: 328337 64671 839 2943 0 325231 0
[pid=22887/tid=22888] ppid=22884 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22888/stat : 22888 (toysat) S 22884 22887 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114725863 1344868352 64671 33554432000 4194304 16246674 140734834382912 140433025903856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22887/tid=22889] ppid=22884 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22889/stat : 22889 (toysat) S 22884 22887 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114725863 1344868352 64671 33554432000 4194304 16246674 140734834382912 140433015414000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22887/tid=22890] ppid=22884 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22890/stat : 22890 (toysat) S 22884 22887 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114725863 1344868352 64671 33554432000 4194304 16246674 140734834382912 140433004940464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50041 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 22891
/proc/meminfo: memFree=29930308/32872528 swapFree=11196/354588
[pid=22887] ppid=22884 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/22887/stat : 22887 (toysat) R 22884 22887 21010 0 -1 4202496 192085 0 0 0 123 26 0 0 20 0 4 0 114725862 1344868352 192894 33554432000 4194304 16246674 140734834382912 140734834364800 6775184 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22887/statm: 328337 192903 844 2943 0 325231 0
[pid=22887/tid=22888] ppid=22884 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22888/stat : 22888 (toysat) S 22884 22887 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114725863 1344868352 192908 33554432000 4194304 16246674 140734834382912 140433025903856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22887/tid=22889] ppid=22884 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22889/stat : 22889 (toysat) S 22884 22887 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114725863 1344868352 192913 33554432000 4194304 16246674 140734834382912 140433015414000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22887/tid=22890] ppid=22884 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22890/stat : 22890 (toysat) S 22884 22887 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114725863 1344868352 192919 33554432000 4194304 16246674 140734834382912 140433004940464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10041 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 22891
/proc/meminfo: memFree=29470516/32872528 swapFree=11196/354588
[pid=22887] ppid=22884 vsize=1346116 CPUtime=3.09 cores=0,2,4,6
/proc/22887/stat : 22887 (toysat) R 22884 22887 21010 0 -1 4202496 233193 0 0 0 276 33 0 0 20 0 4 0 114725862 1378422784 234002 33554432000 4194304 16246674 140734834382912 140734834364800 6862286 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22887/statm: 336529 234002 887 2943 0 333423 0
[pid=22887/tid=22888] ppid=22884 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22888/stat : 22888 (toysat) S 22884 22887 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114725863 1378422784 234002 33554432000 4194304 16246674 140734834382912 140433025903856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22887/tid=22889] ppid=22884 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22889/stat : 22889 (toysat) S 22884 22887 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114725863 1378422784 234002 33554432000 4194304 16246674 140734834382912 140433015414000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22887/tid=22890] ppid=22884 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22890/stat : 22890 (toysat) S 22884 22887 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114725863 1378422784 234002 33554432000 4194304 16246674 140734834382912 140433004940464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1346116

[startup+6.30042 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 22891
/proc/meminfo: memFree=29294716/32872528 swapFree=11196/354588
[pid=22887] ppid=22884 vsize=1346116 CPUtime=6.28 cores=0,2,4,6
/proc/22887/stat : 22887 (toysat) R 22884 22887 21010 0 -1 4202496 277180 0 0 0 589 39 0 0 20 0 4 0 114725862 1378422784 277989 33554432000 4194304 16246674 140734834382912 140734834364800 5662038 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22887/statm: 336529 277989 890 2943 0 333423 0
[pid=22887/tid=22888] ppid=22884 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22888/stat : 22888 (toysat) S 22884 22887 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114725863 1378422784 277989 33554432000 4194304 16246674 140734834382912 140433025903856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22887/tid=22889] ppid=22884 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22889/stat : 22889 (toysat) S 22884 22887 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114725863 1378422784 277989 33554432000 4194304 16246674 140734834382912 140433015414000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22887/tid=22890] ppid=22884 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22890/stat : 22890 (toysat) S 22884 22887 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114725863 1378422784 277989 33554432000 4194304 16246674 140734834382912 140433004940464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1346116

[startup+12.7004 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 22891
/proc/meminfo: memFree=29294632/32872528 swapFree=11196/354588
[pid=22887] ppid=22884 vsize=1346116 CPUtime=12.68 cores=0,2,4,6
/proc/22887/stat : 22887 (toysat) R 22884 22887 21010 0 -1 4202496 277211 0 0 0 1229 39 0 0 20 0 4 0 114725862 1378422784 278020 33554432000 4194304 16246674 140734834382912 140734834364800 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22887/statm: 336529 278020 893 2943 0 333423 0
[pid=22887/tid=22888] ppid=22884 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22888/stat : 22888 (toysat) S 22884 22887 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114725863 1378422784 278020 33554432000 4194304 16246674 140734834382912 140433025903856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22887/tid=22889] ppid=22884 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22889/stat : 22889 (toysat) S 22884 22887 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114725863 1378422784 278020 33554432000 4194304 16246674 140734834382912 140433015414000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22887/tid=22890] ppid=22884 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22890/stat : 22890 (toysat) S 22884 22887 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114725863 1378422784 278020 33554432000 4194304 16246674 140734834382912 140433004940464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1346116

[startup+25.5005 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 22891
/proc/meminfo: memFree=29294892/32872528 swapFree=11196/354588
[pid=22887] ppid=22884 vsize=1346116 CPUtime=25.48 cores=0,2,4,6
/proc/22887/stat : 22887 (toysat) R 22884 22887 21010 0 -1 4202496 277211 0 0 0 2509 39 0 0 20 0 4 0 114725862 1378422784 278020 33554432000 4194304 16246674 140734834382912 140734834364800 5600232 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22887/statm: 336529 278020 893 2943 0 333423 0
[pid=22887/tid=22888] ppid=22884 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22888/stat : 22888 (toysat) S 22884 22887 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114725863 1378422784 278020 33554432000 4194304 16246674 140734834382912 140433025903856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22887/tid=22889] ppid=22884 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22889/stat : 22889 (toysat) S 22884 22887 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114725863 1378422784 278020 33554432000 4194304 16246674 140734834382912 140433015414000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22887/tid=22890] ppid=22884 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22890/stat : 22890 (toysat) S 22884 22887 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114725863 1378422784 278020 33554432000 4194304 16246674 140734834382912 140433004940464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1346116

[startup+51.1005 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 22891
/proc/meminfo: memFree=29294992/32872528 swapFree=11196/354588
[pid=22887] ppid=22884 vsize=1346116 CPUtime=51.08 cores=0,2,4,6
/proc/22887/stat : 22887 (toysat) R 22884 22887 21010 0 -1 4202496 277211 0 0 0 5069 39 0 0 20 0 4 0 114725862 1378422784 278020 33554432000 4194304 16246674 140734834382912 140734834364800 12415796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22887/statm: 336529 278020 893 2943 0 333423 0
[pid=22887/tid=22888] ppid=22884 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22888/stat : 22888 (toysat) S 22884 22887 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114725863 1378422784 278020 33554432000 4194304 16246674 140734834382912 140433025903856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22887/tid=22889] ppid=22884 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22889/stat : 22889 (toysat) S 22884 22887 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114725863 1378422784 278020 33554432000 4194304 16246674 140734834382912 140433015414000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22887/tid=22890] ppid=22884 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22890/stat : 22890 (toysat) S 22884 22887 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114725863 1378422784 278020 33554432000 4194304 16246674 140734834382912 140433004940464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1346116

[startup+102.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 22892
/proc/meminfo: memFree=29128368/32872528 swapFree=11196/354588
[pid=22887] ppid=22884 vsize=1512004 CPUtime=102.28 cores=0,2,4,6
/proc/22887/stat : 22887 (toysat) R 22884 22887 21010 0 -1 4202496 318652 0 0 0 10182 46 0 0 20 0 4 0 114725862 1548292096 319461 33554432000 4194304 16246674 140734834382912 140734834382224 6955215 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22887/statm: 378001 319461 922 2943 0 374895 0
[pid=22887/tid=22888] ppid=22884 vsize=1512004 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22888/stat : 22888 (toysat) S 22884 22887 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114725863 1548292096 319461 33554432000 4194304 16246674 140734834382912 140433025903856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22887/tid=22889] ppid=22884 vsize=1512004 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22889/stat : 22889 (toysat) S 22884 22887 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114725863 1548292096 319461 33554432000 4194304 16246674 140734834382912 140433015414000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22887/tid=22890] ppid=22884 vsize=1512004 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22890/stat : 22890 (toysat) S 22884 22887 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114725863 1548292096 319461 33554432000 4194304 16246674 140734834382912 140433004940464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1512004

[startup+162.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/183 22893
/proc/meminfo: memFree=20623104/32872528 swapFree=11196/354588
[pid=22887] ppid=22884 vsize=10000964 CPUtime=162.27 cores=0,2,4,6
/proc/22887/stat : 22887 (toysat) R 22884 22887 21010 0 -1 4202496 2440956 0 0 0 15892 335 0 0 20 0 4 0 114725862 10240987136 2441765 33554432000 4194304 16246674 140734834382912 140734834380736 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22887/statm: 2500241 2441765 923 2943 0 2497135 0
[pid=22887/tid=22888] ppid=22884 vsize=10000964 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22888/stat : 22888 (toysat) S 22884 22887 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114725863 10240987136 2441765 33554432000 4194304 16246674 140734834382912 140433025903856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22887/tid=22889] ppid=22884 vsize=10000964 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22889/stat : 22889 (toysat) S 22884 22887 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114725863 10240987136 2441765 33554432000 4194304 16246674 140734834382912 140433015413776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22887/tid=22890] ppid=22884 vsize=10000964 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22890/stat : 22890 (toysat) S 22884 22887 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114725863 10240987136 2441765 33554432000 4194304 16246674 140734834382912 140433004940464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 10000964

[startup+222.307 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 22894
/proc/meminfo: memFree=16140680/32872528 swapFree=11196/354588
[pid=22887] ppid=22884 vsize=14474820 CPUtime=222.26 cores=0,2,4,6
/proc/22887/stat : 22887 (toysat) R 22884 22887 21010 0 -1 4202496 3559425 0 0 0 21733 493 0 0 20 0 4 0 114725862 14822215680 3560234 33554432000 4194304 16246674 140734834382912 140734834380864 14013920 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22887/statm: 3618705 3560234 927 2943 0 3615599 0
[pid=22887/tid=22888] ppid=22884 vsize=14474820 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22888/stat : 22888 (toysat) S 22884 22887 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114725863 14822215680 3560234 33554432000 4194304 16246674 140734834382912 140433025903856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22887/tid=22889] ppid=22884 vsize=14474820 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22889/stat : 22889 (toysat) S 22884 22887 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114725863 14822215680 3560234 33554432000 4194304 16246674 140734834382912 140433015413776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22887/tid=22890] ppid=22884 vsize=14474820 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22890/stat : 22890 (toysat) S 22884 22887 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114725863 14822215680 3560234 33554432000 4194304 16246674 140734834382912 140433004940464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 14474820

[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 22896
/proc/meminfo: memFree=16140204/32872528 swapFree=11196/354588
[pid=22887] ppid=22884 vsize=14474820 CPUtime=282.25 cores=0,2,4,6
/proc/22887/stat : 22887 (toysat) R 22884 22887 21010 0 -1 4202496 3559425 0 0 0 27729 496 0 0 20 0 4 0 114725862 14822215680 3560234 33554432000 4194304 16246674 140734834382912 140734834380864 14013809 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22887/statm: 3618705 3560234 927 2943 0 3615599 0
[pid=22887/tid=22888] ppid=22884 vsize=14474820 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22888/stat : 22888 (toysat) S 22884 22887 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114725863 14822215680 3560234 33554432000 4194304 16246674 140734834382912 140433025903856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22887/tid=22889] ppid=22884 vsize=14474820 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22889/stat : 22889 (toysat) S 22884 22887 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114725863 14822215680 3560234 33554432000 4194304 16246674 140734834382912 140433015413776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22887/tid=22890] ppid=22884 vsize=14474820 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22890/stat : 22890 (toysat) S 22884 22887 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114725863 14822215680 3560234 33554432000 4194304 16246674 140734834382912 140433004940464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 14474820



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+313.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 22897
/proc/meminfo: memFree=15095624/32872528 swapFree=11196/354588
[pid=22887] ppid=22884 vsize=15874628 CPUtime=313.24 cores=0,2,4,6
/proc/22887/stat : 22887 (toysat) R 22884 22887 21010 0 -1 4202496 3909144 0 0 0 30712 612 0 0 20 0 4 0 114725862 16255619072 3909953 33554432000 4194304 16246674 140734834382912 140734834382008 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22887/statm: 3968657 3909953 927 2943 0 3965551 0
[pid=22887/tid=22888] ppid=22884 vsize=15874628 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22888/stat : 22888 (toysat) S 22884 22887 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114725863 16255619072 3909953 33554432000 4194304 16246674 140734834382912 140433025903856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22887/tid=22889] ppid=22884 vsize=15874628 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22889/stat : 22889 (toysat) S 22884 22887 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114725863 16255619072 3909953 33554432000 4194304 16246674 140734834382912 140433015414000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22887/tid=22890] ppid=22884 vsize=15874628 CPUtime=0 cores=0,2,4,6
/proc/22887/task/22890/stat : 22890 (toysat) S 22884 22887 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114725863 16255619072 3909958 33554432000 4194304 16246674 140734834382912 140433004940464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 313.24
Current children cumulated vsize (KiB) 15874628

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

[startup+313.607 s]
/proc/loadavg: 2.00 2.03 2.00 4/181 22897
/proc/meminfo: memFree=18230348/32872528 swapFree=11196/354588
[pid=22887] ppid=22884 vsize=0 CPUtime=313.55 cores=0,2,4,6
/proc/22887/stat : 22887 (toysat) Z 22884 22887 21010 0 -1 4203532 3909607 0 0 0 30713 642 0 0 20 0 2 0 114725862 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22887/statm: 0 0 0 0 0 0 0
[pid=22887/tid=22889] ppid=22884 vsize=0 CPUtime=0.29 cores=0,2,4,6
/proc/22887/task/22889/stat : 22889 (toysat) R 22884 22887 21010 0 -1 4203588 8 0 0 0 0 29 0 0 20 0 2 0 114725863 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 313.55
Current children cumulated vsize (KiB) 0

[startup+314 s]
/proc/loadavg: 2.00 2.03 2.00 4/181 22897
/proc/meminfo: memFree=18230348/32872528 swapFree=11196/354588
[pid=22887] ppid=22884 vsize=0 CPUtime=313.94 cores=0,2,4,6
/proc/22887/stat : 22887 (toysat) Z 22884 22887 21010 0 -1 4203532 3909607 0 0 0 30713 681 0 0 20 0 2 0 114725862 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22887/statm: 0 0 0 0 0 0 0
[pid=22887/tid=22889] ppid=22884 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/22887/task/22889/stat : 22889 (toysat) R 22884 22887 21010 0 -1 4203588 8 0 0 0 0 68 0 0 20 0 2 0 114725863 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 313.94
Current children cumulated vsize (KiB) 0

[startup+314.1 s]
/proc/loadavg: 2.00 2.03 2.00 4/181 22897
/proc/meminfo: memFree=18230348/32872528 swapFree=11196/354588
[pid=22887] ppid=22884 vsize=0 CPUtime=314.04 cores=0,2,4,6
/proc/22887/stat : 22887 (toysat) Z 22884 22887 21010 0 -1 4203532 3909607 0 0 0 30713 691 0 0 20 0 2 0 114725862 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22887/statm: 0 0 0 0 0 0 0
[pid=22887/tid=22889] ppid=22884 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/22887/task/22889/stat : 22889 (toysat) R 22884 22887 21010 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 114725863 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 314.04
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 314.194
CPU time (s): 314.133
CPU user time (s): 307.131
CPU system time (s): 7.00194
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 15874628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 307.131
system time used= 7.00193
maximum resident set size= 15641664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3909607
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= 63
involuntary context switches= 324

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.85187 second user time and 1.17382 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-07 21:32:04
IDJOB=4079410
IDBENCH=92698
IDSOLVER=2542
FILE ID=node126/4079410-1465327924
RUNJOBID= node126-1465306898-21026
PBS_JOBID= 19849495
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_3_mh.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079410-1465327924/watcher-4079410-1465327924 -o /tmp/evaluation-result-4079410-1465327924/solver-4079410-1465327924 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465306898-21026 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079410-1465327924.opb

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

MD5SUM BENCH= d4efe70b0c8674b6d4d4e9279975f4ec
RANDOM SEED=196462603

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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.500
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		: 2666.500
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.500
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:        30406436 kB
Buffers:           33936 kB
Cached:           230248 kB
SwapCached:         2088 kB
Active:          1239240 kB
Inactive:         139192 kB
Active(anon):    1112020 kB
Inactive(anon):     4628 kB
Active(file):     127220 kB
Inactive(file):   134564 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098680 kB
Dirty:             19020 kB
Writeback:             0 kB
AnonPages:       1589064 kB
Mapped:            10788 kB
Shmem:                 0 kB
Slab:             599880 kB
SReclaimable:      43976 kB
SUnreclaim:       555904 kB
KernelStack:        1520 kB
PageTables:         6764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1611844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    468992 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 node126 at 2016-06-07 21:37:18