Trace number 4079370

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) 397.702 397.806

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_5_mh_ic.opb
MD5SUM2c36639357988247c648b63af301f230
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2990429
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9765
Total number of constraints21293
Number of constraints which are clauses14520
Number of constraints which are cardinality constraints (but not clauses)23
Number of constraints which are nor clauses,nor cardinality constraints6750
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 4005
Biggest coefficient in the objective function 90518849
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 4575401133
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 90518849
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 4575401133
Number of bits of the biggest sum of numbers33
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-07T20:10:32+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-4079370-1465323032.opb"]
0.00/0.01	c use --random-gen="2977050506 1825371627 666395412 653954810 2644940610 37188903 3579972334 446674958 4173190410 2133214729 3103192757 532460638 2021312855 1198163805 392777399 2289090708 983068168 2865575906 2024286241 1724757340 2604691680 3927799590 3942762366 4047182405 2882862499 2006218352 1139610998 3367144668 1365863419 3456133762 2410876522 3476031750 791673416 3268125741 1821482949 1852226988 651937395 1280391212 1172254137 3474711749 3774508529 3244779366 4286665340 1590518079 414384635 3745529097 3592178895 4221309041 3476187702 2601564290 161091130 4123224198 2667765246 4154883872 2073317337 220499672 1863199114 3068068828 1513760420 211020234 4191887803 1186675909 4260396557 2476582257 1205383207 37216873 1052343844 2462529891 2219159498 3545862733 3486514349 3596327287 2547766653 208933545 4090235333 1469555331 3597331501 4529466 3302564948 965481913 323459596 4183640871 3696877244 353355575 2095889206 1109813925 1534439690 1088247348 1781158678 2535106902 3226263480 1842592574 4039385949 3643388194 3046859528 1375615230 2117205209 1402613253 319026261 3028739689 2647954684 1277827519 3855777626 397526872 1933803218 1913106178 3276072069 2944924351 4042952362 3905677888 2047028743 1648720773 891857503 1389163004 1180911596 2090811507 1249029063 2882062162 1402704044 1779212013 3920258148 3164579498 2390677074 54183248 3106573484 2060417890 3832104843 3879552368 3715673893 3131434756 3026752147 3098600444 2520858260 1096346410 3540300605 2686211923 1184798399 2567200526 2941835130 3070379728 3962896932 1499510713 859016396 2749000369 3349243453 2773144456 4201800766 4294648441 3022922646 1806713721 2135759393 3590841195 3245067162 2927328074 2934797280 2647121503 3909321060 3015998654 2533783701 896930336 1366392951 1145564003 1536561942 532899754 396378940 1276887429 837018731 4179138336 3013265971 273869864 1124853058 3503780885 4129369248 1787679915 3120730081 3250366789 824980228 3346466668 1197070703 140929535 2442026434 3223537072 3538158515 4095070670 426616542 857945577 2632046486 615970275 1717482608 2983796727 4022829506 821447371 2907172206 3062840162 2056366813 3636137394 2822001030 1029328679 1071162324 2454411062 318903745 1888432412 106249574 3945114415 3915533823 303536838 1503480656 66740962 1554719693 2013964060 2206942510 4016226273 3877893420 3203415723 92175664 3827566964 3100498850 2469078620 2732016006 584150814 3303916828 517438594 1558547318 1962557868 1255880886 1638556617 2938027151 1603066011 3020442131 3753959333 136063396 931279585 3693790463 4233270037 1667236787 3983684040 2692858315 3855515931 2001075522 3657271170 3452706303 3969120538 4256065370 2767481790 369133080 2232537753 1398920025 985355423 4171880706 2215016530 1935815034 3675873012 1234418136 3522115596 3906566724 3408807725 255 362436" option to reproduce the execution
0.19/0.20	c #vars 9765
0.19/0.20	c #constraints 21293
0.39/0.49	c BCD2: Hardening is enabled.
0.39/0.49	c BCD2: BiasedSearch is enabled.
0.39/0.49	c Solving starts ...
0.39/0.49	c ============================[ Search Statistics ]============================
0.39/0.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.49	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.49	c =============================================================================
0.39/0.49	c  0.0s |       0 |        0 |        0 |    10562      0 |       60 |        0
0.69/0.71	c  0.2s |       1 |      220 |      100 |    10562      0 |       60 |        0
1.29/1.31	c  0.8s |       2 |      660 |      250 |    11619      0 |       60 |        0
2.98/3.02	c  2.5s |       3 |     1694 |      475 |    12781      0 |       60 |        0
4.39/4.45	c  4.0s |       4 |     2843 |      813 |    14060      0 |       60 |        0
5.68/5.76	c  5.3s |       5 |     4297 |     1320 |    15467      0 |       60 |        0
6.69/6.71	c  6.2s |       6 |     5767 |     2081 |    18716      0 |       60 |        0
8.08/8.15	c  7.7s |       7 |     7790 |     3223 |    20588      0 |       60 |        0
10.08/10.15	c  9.7s |       7 |    11317 |     4523 |    20588      0 |       60 |        0
10.78/10.86	c 10.4s |       8 |    12123 |     4936 |    22647      0 |       60 |        0
13.08/13.11	c 12.6s |       8 |    14383 |     6136 |    22647      0 |       60 |        0
15.38/15.47	c 15.0s |       8 |    16979 |     7436 |    22647      0 |       60 |        0
15.58/15.63	c 15.1s |       9 |    17186 |     7506 |    24912      0 |       60 |        0
17.58/17.69	c 17.2s |       9 |    20497 |     8806 |    24912      0 |       60 |        0
19.78/19.86	c 19.4s |       9 |    23570 |    10406 |    24912      0 |       60 |        0
21.18/21.26	c 20.8s |      10 |    25334 |    11361 |    27404      0 |       60 |        0
23.28/23.30	c 22.8s |      10 |    27636 |    12561 |    27404      0 |       60 |        0
25.28/25.39	c 24.9s |      10 |    29969 |    13861 |    27404      0 |       60 |        0
27.38/27.42	c 26.9s |      10 |    31779 |    14861 |    27404      0 |       60 |        0
29.48/29.59	c 29.1s |      10 |    33471 |    15961 |    27404      0 |       60 |        0
31.68/31.73	c 31.2s |      10 |    35151 |    16961 |    27404      0 |       60 |        0
31.99/32.07	c 31.6s |      11 |    35457 |    17144 |    30145      0 |       60 |        0
34.09/34.15	c 33.7s |      11 |    37549 |    17944 |    30145      0 |       60 |        0
36.29/36.33	c 35.8s |      11 |    38801 |    18844 |    30145      0 |       60 |        0
38.28/38.35	c 37.9s |      11 |    40032 |    19644 |    30145      0 |       60 |        0
40.28/40.38	c 39.9s |      11 |    41744 |    20544 |    30145      0 |       60 |        0
42.38/42.47	c 42.0s |      11 |    43081 |    21444 |    30145      0 |       60 |        0
44.58/44.63	c 44.1s |      11 |    44606 |    22444 |    30145      0 |       60 |        0
46.68/46.76	c 46.3s |      11 |    46103 |    23344 |    30145      0 |       60 |        0
48.78/48.85	c 48.4s |      11 |    47451 |    24244 |    30145      0 |       60 |        0
50.98/51.02	c 50.5s |      11 |    48774 |    25144 |    30145      0 |       60 |        0
52.58/52.63	c 52.1s |      12 |    49819 |    25819 |    33160      0 |       60 |        0
54.78/54.86	c 54.4s |      12 |    51016 |    26619 |    33160      0 |       60 |        0
56.98/57.00	c 56.5s |      12 |    52418 |    27419 |    33160      0 |       60 |        0
58.98/59.01	c 58.5s |      12 |    56037 |    28019 |    33160      0 |       60 |        0
60.97/61.07	c 60.6s |      12 |    58995 |    29219 |    33160      0 |       60 |        0
63.07/63.16	c 62.7s |      12 |    61577 |    30319 |    33160      0 |       60 |        0
65.27/65.32	c 64.8s |      12 |    64006 |    31619 |    33160      0 |       60 |        0
67.27/67.36	c 66.9s |      12 |    65990 |    32719 |    33160      0 |       60 |        0
69.38/69.44	c 69.0s |      12 |    67984 |    33719 |    33160      0 |       60 |        0
71.37/71.45	c 71.0s |      12 |    69763 |    34419 |    33160      0 |       60 |        0
73.47/73.58	c 73.1s |      12 |    71642 |    35219 |    33160      0 |       60 |        0
75.67/75.73	c 75.2s |      12 |    73356 |    36119 |    33160      0 |       60 |        0
77.87/77.95	c 77.5s |      12 |    75046 |    37119 |    33160      0 |       60 |        0
79.97/80.01	c 79.5s |      12 |    76305 |    37919 |    33160      0 |       60 |        0
81.97/82.08	c 81.6s |      12 |    77567 |    38719 |    36476      0 |       60 |        0
82.17/82.24	c 81.7s |      13 |    77689 |    38832 |    36476      0 |       60 |        0
84.57/84.61	c 84.1s |      13 |    78942 |    39332 |    36476      1 |       60 |        0
86.87/86.96	c 86.5s |      13 |    79882 |    39832 |    36476      1 |       60 |        0
88.86/88.97	c 88.5s |      13 |    81327 |    40532 |    36476      1 |       60 |        0
90.96/91.07	c 90.6s |      13 |    83454 |    41832 |    36476      1 |       60 |        0
92.96/93.09	c 92.6s |      13 |    85318 |    43232 |    36476      1 |       60 |        0
95.16/95.28	c 94.8s |      13 |    87328 |    44532 |    36476      1 |       60 |        0
97.26/97.35	c 96.9s |      13 |    89558 |    45832 |    36476      1 |       60 |        0
99.26/99.38	c 98.9s |      13 |    91245 |    46932 |    36476      1 |       60 |        0
101.36/101.42	c  100s |      13 |    92735 |    47932 |    36476      1 |       60 |        0
103.36/103.47	c  102s |      13 |    94153 |    48932 |    36476      1 |       60 |        0
105.46/105.53	c  105s |      13 |    95430 |    49932 |    36476      1 |       60 |        0
107.56/107.62	c  107s |      13 |    96734 |    50832 |    36476      1 |       60 |        0
109.65/109.71	c  109s |      13 |    97958 |    51832 |    36476      1 |       60 |        0
111.85/111.94	c  111s |      13 |    99325 |    52732 |    36476      1 |       60 |        0
114.05/114.11	c  113s |      13 |   100806 |    53632 |    36476      1 |       60 |        0
116.05/116.18	c  115s |      13 |   102236 |    54632 |    36476      1 |       60 |        0
118.15/118.25	c  117s |      13 |   103563 |    55632 |    36476      1 |       60 |        0
120.26/120.39	c  119s |      13 |   104927 |    56632 |    36476      1 |       60 |        0
122.46/122.54	c  122s |      13 |   106283 |    57632 |    36476      1 |       60 |        0
124.16/124.30	c  123s |      14 |   107537 |    58352 |    40124      2 |       60 |        0
126.36/126.48	c  125s |      14 |   109496 |    59152 |    40124      2 |       60 |        0
128.46/128.57	c  128s |      14 |   111808 |    60552 |    40124      2 |       60 |        0
130.56/130.62	c  130s |      14 |   113469 |    61752 |    40124      2 |       60 |        0
132.56/132.63	c  132s |      14 |   115278 |    62952 |    40124      2 |       60 |        0
134.75/134.82	c  134s |      14 |   116953 |    63552 |    40124      2 |       60 |        0
136.65/136.76	c  136s |      14 |   119383 |    64713 |    40124      2 |       60 |        0
136.65/136.76	c #cpu_time = 136.232s
136.65/136.76	c #wall_clock_time = 136.258s
136.65/136.76	c #decision = 119383
136.65/136.76	c #random_decision = 127
136.65/136.76	c #conflict = 64713
136.65/136.76	c #restart = 14
136.65/136.76	o 124484123
137.46/137.53	c BCD2: updating upper bound: 4575401133 -> 124484137
138.25/138.33	c BCD2: 0 <= obj <= 124484137
138.25/138.33	c BCD2: #cores=0, #unrelaxed=4005, #relaxed=0, #hardened=0
138.25/138.33	c BCD2: #sat=1 #unsat=1 bias=1/2
138.25/138.33	c Solving starts ...
138.25/138.33	c ============================[ Search Statistics ]============================
138.25/138.33	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
138.25/138.33	c       |         |          |          |    Limit     GC | Var      | Constra 
138.25/138.33	c =============================================================================
138.25/138.33	c  0.0s |       0 |        0 |        0 |    40124      0 |       60 |        0
138.55/138.66	c  0.3s |       0 |      177 |        4 |    40124      0 |       62 |        5
138.55/138.66	c #cpu_time = 0.325s
138.55/138.66	c #wall_clock_time = 0.325s
138.55/138.66	c #decision = 177
138.55/138.66	c #random_decision = 0
138.55/138.66	c #conflict = 4
138.55/138.66	c #restart = 0
138.55/138.66	c BCD2: found a new core of size 87: cost of the new core is >=6859
138.55/138.66	c lower bound updated to 6844
139.15/139.25	c BCD2: 6859 <= obj <= 124484137
139.15/139.25	c BCD2: #cores=1, #unrelaxed=3918, #relaxed=87, #hardened=0
139.15/139.25	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-4079370-1465323032/watcher-4079370-1465323032 -o /tmp/evaluation-result-4079370-1465323032/solver-4079370-1465323032 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465310409-12875 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079370-1465323032.opb 

pid=13944
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.02 2.03 2.00 3/180 13947
/proc/meminfo: memFree=19189700/32872528 swapFree=12744/274376
[pid=13947] ppid=13944 vsize=655804 CPUtime=0 cores=1,3,5,7
/proc/13947/stat : 13947 (toysat) R 13944 13947 11961 0 -1 4202496 2434 0 0 0 0 0 0 0 20 0 4 0 114237982 671543296 3305 33554432000 4194304 16246674 140733507260048 140733507259472 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13947/statm: 164719 3314 441 2943 0 161613 0
[pid=13947/tid=13948] ppid=13944 vsize=673212 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13948/stat : 13948 (toysat) S 13944 13947 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114237983 689369088 3373 33554432000 4194304 16246674 140733507260048 139694379609328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13947/tid=13949] ppid=13944 vsize=678332 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13949/stat : 13949 (toysat) S 13944 13947 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114237983 694611968 3393 33554432000 4194304 16246674 140733507260048 139694369119472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13947/tid=13950] ppid=13944 vsize=683452 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13950/stat : 13950 (toysat) S 13944 13947 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114237983 699854848 3409 33554432000 4194304 16246674 140733507260048 139694281059504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 2.02 2.03 2.00 3/180 13947
/proc/meminfo: memFree=19189700/32872528 swapFree=12744/274376
[pid=13947] ppid=13944 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/13947/stat : 13947 (toysat) R 13944 13947 11961 0 -1 4202496 28713 0 0 0 6 3 0 0 20 0 4 0 114237982 1332285440 29523 33554432000 4194304 16246674 140733507260048 140733507259360 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13947/statm: 325265 29537 801 2943 0 322159 0
[pid=13947/tid=13948] ppid=13944 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13948/stat : 13948 (toysat) S 13944 13947 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114237983 1332285440 29551 33554432000 4194304 16246674 140733507260048 139694379609328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13947/tid=13949] ppid=13944 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13949/stat : 13949 (toysat) S 13944 13947 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114237983 1332285440 29562 33554432000 4194304 16246674 140733507260048 139694369119472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13947/tid=13950] ppid=13944 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13950/stat : 13950 (toysat) S 13944 13947 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114237983 1332285440 29574 33554432000 4194304 16246674 140733507260048 139694281059504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200523 s]
/proc/loadavg: 2.02 2.03 2.00 3/180 13947
/proc/meminfo: memFree=19189700/32872528 swapFree=12744/274376
[pid=13947] ppid=13944 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/13947/stat : 13947 (toysat) R 13944 13947 11961 0 -1 4202496 50398 0 0 0 13 6 0 0 20 0 4 0 114237982 1344868352 51718 33554432000 4194304 16246674 140733507260048 140733507259360 7364448 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13947/statm: 328337 51718 801 2943 0 325231 0
[pid=13947/tid=13948] ppid=13944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13948/stat : 13948 (toysat) S 13944 13947 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114237983 1344868352 51718 33554432000 4194304 16246674 140733507260048 139694379609328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13947/tid=13949] ppid=13944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13949/stat : 13949 (toysat) S 13944 13947 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114237983 1344868352 51718 33554432000 4194304 16246674 140733507260048 139694369119472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13947/tid=13950] ppid=13944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13950/stat : 13950 (toysat) S 13944 13947 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114237983 1344868352 51718 33554432000 4194304 16246674 140733507260048 139694281059504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300497 s]
/proc/loadavg: 2.02 2.03 2.00 3/180 13947
/proc/meminfo: memFree=19189700/32872528 swapFree=12744/274376
[pid=13947] ppid=13944 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/13947/stat : 13947 (toysat) R 13944 13947 11961 0 -1 4202496 50457 0 0 0 23 6 0 0 20 0 4 0 114237982 1344868352 51777 33554432000 4194304 16246674 140733507260048 140733507259360 12875035 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13947/statm: 328337 51777 839 2943 0 325231 0
[pid=13947/tid=13948] ppid=13944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13948/stat : 13948 (toysat) S 13944 13947 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114237983 1344868352 51777 33554432000 4194304 16246674 140733507260048 139694379609328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13947/tid=13949] ppid=13944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13949/stat : 13949 (toysat) S 13944 13947 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114237983 1344868352 51777 33554432000 4194304 16246674 140733507260048 139694369119472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13947/tid=13950] ppid=13944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13950/stat : 13950 (toysat) S 13944 13947 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114237983 1344868352 51777 33554432000 4194304 16246674 140733507260048 139694281059504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700368 s]
/proc/loadavg: 2.02 2.03 2.00 3/180 13947
/proc/meminfo: memFree=19189700/32872528 swapFree=12744/274376
[pid=13947] ppid=13944 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/13947/stat : 13947 (toysat) R 13944 13947 11961 0 -1 4202496 108083 0 0 0 55 14 0 0 20 0 4 0 114237982 1344868352 109403 33554432000 4194304 16246674 140733507260048 140733507241920 6843278 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13947/statm: 328337 109405 887 2943 0 325231 0
[pid=13947/tid=13948] ppid=13944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13948/stat : 13948 (toysat) S 13944 13947 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114237983 1344868352 109407 33554432000 4194304 16246674 140733507260048 139694379609328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13947/tid=13949] ppid=13944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13949/stat : 13949 (toysat) S 13944 13947 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114237983 1344868352 109409 33554432000 4194304 16246674 140733507260048 139694369119472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13947/tid=13950] ppid=13944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13950/stat : 13950 (toysat) S 13944 13947 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114237983 1344868352 109413 33554432000 4194304 16246674 140733507260048 139694281059504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.02 2.03 2.00 3/184 13951
/proc/meminfo: memFree=18631640/32872528 swapFree=12744/274376
[pid=13947] ppid=13944 vsize=1313348 CPUtime=1.48 cores=1,3,5,7
/proc/13947/stat : 13947 (toysat) R 13944 13947 11961 0 -1 4202496 166633 0 0 0 126 22 0 0 20 0 4 0 114237982 1344868352 167953 33554432000 4194304 16246674 140733507260048 140733507241920 5602147 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13947/statm: 328337 167956 887 2943 0 325231 0
[pid=13947/tid=13948] ppid=13944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13948/stat : 13948 (toysat) S 13944 13947 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114237983 1344868352 167958 33554432000 4194304 16246674 140733507260048 139694379609328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13947/tid=13949] ppid=13944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13949/stat : 13949 (toysat) S 13944 13947 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114237983 1344868352 167960 33554432000 4194304 16246674 140733507260048 139694369119472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13947/tid=13950] ppid=13944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13950/stat : 13950 (toysat) S 13944 13947 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114237983 1344868352 167964 33554432000 4194304 16246674 140733507260048 139694281059504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1313348

[startup+3.10046 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 13951
/proc/meminfo: memFree=22854376/32872528 swapFree=12744/274376
[pid=13947] ppid=13944 vsize=1313348 CPUtime=3.08 cores=1,3,5,7
/proc/13947/stat : 13947 (toysat) R 13944 13947 11961 0 -1 4202496 265524 0 0 0 273 35 0 0 20 0 4 0 114237982 1344868352 266844 33554432000 4194304 16246674 140733507260048 140733507241920 5707858 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13947/statm: 328337 266845 887 2943 0 325231 0
[pid=13947/tid=13948] ppid=13944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13948/stat : 13948 (toysat) S 13944 13947 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114237983 1344868352 266845 33554432000 4194304 16246674 140733507260048 139694379609328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13947/tid=13949] ppid=13944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13949/stat : 13949 (toysat) S 13944 13947 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114237983 1344868352 266846 33554432000 4194304 16246674 140733507260048 139694369119472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13947/tid=13950] ppid=13944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13950/stat : 13950 (toysat) S 13944 13947 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114237983 1344868352 266846 33554432000 4194304 16246674 140733507260048 139694281059504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1313348

[startup+6.30046 s]
/proc/loadavg: 2.02 2.03 2.00 3/184 14000
/proc/meminfo: memFree=30082792/32872528 swapFree=12744/274376
[pid=13947] ppid=13944 vsize=1326660 CPUtime=6.28 cores=1,3,5,7
/proc/13947/stat : 13947 (toysat) R 13944 13947 11961 0 -1 4202496 272342 0 0 0 592 36 0 0 20 0 4 0 114237982 1358499840 273662 33554432000 4194304 16246674 140733507260048 140733507241920 5600084 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13947/statm: 331665 273662 893 2943 0 328559 0
[pid=13947/tid=13948] ppid=13944 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13948/stat : 13948 (toysat) S 13944 13947 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114237983 1358499840 273662 33554432000 4194304 16246674 140733507260048 139694379609328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13947/tid=13949] ppid=13944 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13949/stat : 13949 (toysat) S 13944 13947 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114237983 1358499840 273662 33554432000 4194304 16246674 140733507260048 139694369119472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13947/tid=13950] ppid=13944 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13950/stat : 13950 (toysat) S 13944 13947 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114237983 1358499840 273662 33554432000 4194304 16246674 140733507260048 139694281059504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1326660

[startup+12.7004 s]
/proc/loadavg: 2.02 2.03 2.00 3/184 14000
/proc/meminfo: memFree=29144256/32872528 swapFree=12744/274376
[pid=13947] ppid=13944 vsize=1326660 CPUtime=12.68 cores=1,3,5,7
/proc/13947/stat : 13947 (toysat) R 13944 13947 11961 0 -1 4202496 272342 0 0 0 1232 36 0 0 20 0 4 0 114237982 1358499840 273662 33554432000 4194304 16246674 140733507260048 140733507241920 5677716 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13947/statm: 331665 273662 893 2943 0 328559 0
[pid=13947/tid=13948] ppid=13944 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13948/stat : 13948 (toysat) S 13944 13947 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114237983 1358499840 273662 33554432000 4194304 16246674 140733507260048 139694379609328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13947/tid=13949] ppid=13944 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13949/stat : 13949 (toysat) S 13944 13947 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114237983 1358499840 273662 33554432000 4194304 16246674 140733507260048 139694369119472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13947/tid=13950] ppid=13944 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13950/stat : 13950 (toysat) S 13944 13947 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114237983 1358499840 273662 33554432000 4194304 16246674 140733507260048 139694281059504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1326660

[startup+25.5005 s]
/proc/loadavg: 2.01 2.02 2.00 3/184 14000
/proc/meminfo: memFree=28769796/32872528 swapFree=12744/274376
[pid=13947] ppid=13944 vsize=1326660 CPUtime=25.48 cores=1,3,5,7
/proc/13947/stat : 13947 (toysat) R 13944 13947 11961 0 -1 4202496 272342 0 0 0 2512 36 0 0 20 0 4 0 114237982 1358499840 273662 33554432000 4194304 16246674 140733507260048 140733507241920 5523464 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13947/statm: 331665 273662 893 2943 0 328559 0
[pid=13947/tid=13948] ppid=13944 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13948/stat : 13948 (toysat) S 13944 13947 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114237983 1358499840 273662 33554432000 4194304 16246674 140733507260048 139694379609328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13947/tid=13949] ppid=13944 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13949/stat : 13949 (toysat) S 13944 13947 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114237983 1358499840 273662 33554432000 4194304 16246674 140733507260048 139694369119472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13947/tid=13950] ppid=13944 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13950/stat : 13950 (toysat) S 13944 13947 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114237983 1358499840 273662 33554432000 4194304 16246674 140733507260048 139694281059504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1326660

[startup+51.1005 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 14000
/proc/meminfo: memFree=28120580/32872528 swapFree=12744/274376
[pid=13947] ppid=13944 vsize=1326660 CPUtime=51.08 cores=1,3,5,7
/proc/13947/stat : 13947 (toysat) R 13944 13947 11961 0 -1 4202496 272345 0 0 0 5071 37 0 0 20 0 4 0 114237982 1358499840 273664 33554432000 4194304 16246674 140733507260048 140733507241920 13906976 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13947/statm: 331665 273664 894 2943 0 328559 0
[pid=13947/tid=13948] ppid=13944 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13948/stat : 13948 (toysat) S 13944 13947 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114237983 1358499840 273664 33554432000 4194304 16246674 140733507260048 139694379609328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13947/tid=13949] ppid=13944 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13949/stat : 13949 (toysat) S 13944 13947 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114237983 1358499840 273664 33554432000 4194304 16246674 140733507260048 139694369119472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13947/tid=13950] ppid=13944 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13950/stat : 13950 (toysat) S 13944 13947 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114237983 1358499840 273664 33554432000 4194304 16246674 140733507260048 139694281059504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1326660

[startup+102.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 14001
/proc/meminfo: memFree=28105204/32872528 swapFree=12744/274376
[pid=13947] ppid=13944 vsize=1342020 CPUtime=102.27 cores=1,3,5,7
/proc/13947/stat : 13947 (toysat) R 13944 13947 11961 0 -1 4202496 276199 0 0 0 10189 38 0 0 20 0 4 0 114237982 1374228480 277508 33554432000 4194304 16246674 140733507260048 140733507241920 5717656 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13947/statm: 335505 277508 898 2943 0 332399 0
[pid=13947/tid=13948] ppid=13944 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13948/stat : 13948 (toysat) S 13944 13947 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114237983 1374228480 277508 33554432000 4194304 16246674 140733507260048 139694379609328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13947/tid=13949] ppid=13944 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13949/stat : 13949 (toysat) S 13944 13947 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114237983 1374228480 277508 33554432000 4194304 16246674 140733507260048 139694369119472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13947/tid=13950] ppid=13944 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13950/stat : 13950 (toysat) S 13944 13947 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114237983 1374228480 277508 33554432000 4194304 16246674 140733507260048 139694281059504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1342020

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 14003
/proc/meminfo: memFree=25788288/32872528 swapFree=12744/274376
[pid=13947] ppid=13944 vsize=3910212 CPUtime=162.25 cores=1,3,5,7
/proc/13947/stat : 13947 (toysat) R 13944 13947 11961 0 -1 4202496 918093 0 0 0 16077 148 0 0 20 0 4 0 114237982 4004057088 919391 33554432000 4194304 16246674 140733507260048 140733507258712 4221016 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13947/statm: 977553 919396 924 2943 0 974447 0
[pid=13947/tid=13948] ppid=13944 vsize=3910212 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13948/stat : 13948 (toysat) S 13944 13947 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114237983 4004057088 919401 33554432000 4194304 16246674 140733507260048 139694379609328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13947/tid=13949] ppid=13944 vsize=3910212 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13949/stat : 13949 (toysat) S 13944 13947 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114237983 4004057088 919404 33554432000 4194304 16246674 140733507260048 139694369119248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13947/tid=13950] ppid=13944 vsize=3910212 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13950/stat : 13950 (toysat) S 13944 13947 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114237983 4004057088 919407 33554432000 4194304 16246674 140733507260048 139694281059504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 3910212

[startup+222.308 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14004
/proc/meminfo: memFree=17245964/32872528 swapFree=12744/274376
[pid=13947] ppid=13944 vsize=12033604 CPUtime=222.25 cores=1,3,5,7
/proc/13947/stat : 13947 (toysat) R 13944 13947 11961 0 -1 4202496 2949135 0 0 0 21758 467 0 0 20 0 4 0 114237982 12322410496 2950433 33554432000 4194304 16246674 140733507260048 140733507259144 15015658 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13947/statm: 3008401 2950433 924 2943 0 3005295 0
[pid=13947/tid=13948] ppid=13944 vsize=12033604 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13948/stat : 13948 (toysat) S 13944 13947 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114237983 12322410496 2950433 33554432000 4194304 16246674 140733507260048 139694379609328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13947/tid=13949] ppid=13944 vsize=12033604 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13949/stat : 13949 (toysat) S 13944 13947 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114237983 12322410496 2950433 33554432000 4194304 16246674 140733507260048 139694369119472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13947/tid=13950] ppid=13944 vsize=12033604 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13950/stat : 13950 (toysat) S 13944 13947 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114237983 12322410496 2950433 33554432000 4194304 16246674 140733507260048 139694281059504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 12033604

[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 14005
/proc/meminfo: memFree=16407992/32872528 swapFree=12744/274376
[pid=13947] ppid=13944 vsize=12870212 CPUtime=282.22 cores=1,3,5,7
/proc/13947/stat : 13947 (toysat) R 13944 13947 11961 0 -1 4202496 3110713 0 0 0 27725 497 0 0 20 0 4 0 114237982 13179097088 3159534 33554432000 4194304 16246674 140733507260048 140733507257984 13899751 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13947/statm: 3217553 3159534 928 2943 0 3214447 0
[pid=13947/tid=13948] ppid=13944 vsize=12870212 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13948/stat : 13948 (toysat) S 13944 13947 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114237983 13179097088 3159534 33554432000 4194304 16246674 140733507260048 139694379609328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13947/tid=13949] ppid=13944 vsize=12870212 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13949/stat : 13949 (toysat) S 13944 13947 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114237983 13179097088 3159534 33554432000 4194304 16246674 140733507260048 139694369119248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13947/tid=13950] ppid=13944 vsize=12870212 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13950/stat : 13950 (toysat) S 13944 13947 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114237983 13179097088 3159534 33554432000 4194304 16246674 140733507260048 139694281059504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 12870212

[startup+342.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 14006
/proc/meminfo: memFree=16407524/32872528 swapFree=12744/274376
[pid=13947] ppid=13944 vsize=12870212 CPUtime=342.21 cores=1,3,5,7
/proc/13947/stat : 13947 (toysat) R 13944 13947 11961 0 -1 4202496 3110769 0 0 0 33721 500 0 0 20 0 4 0 114237982 13179097088 3159590 33554432000 4194304 16246674 140733507260048 140733507257920 13899629 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13947/statm: 3217553 3159590 928 2943 0 3214447 0
[pid=13947/tid=13948] ppid=13944 vsize=12870212 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13948/stat : 13948 (toysat) S 13944 13947 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114237983 13179097088 3159590 33554432000 4194304 16246674 140733507260048 139694379609328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13947/tid=13949] ppid=13944 vsize=12870212 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13949/stat : 13949 (toysat) S 13944 13947 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114237983 13179097088 3159590 33554432000 4194304 16246674 140733507260048 139694369119248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13947/tid=13950] ppid=13944 vsize=12870212 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13950/stat : 13950 (toysat) S 13944 13947 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114237983 13179097088 3159590 33554432000 4194304 16246674 140733507260048 139694281059504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 12870212



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+397 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 14007
/proc/meminfo: memFree=13769840/32872528 swapFree=12744/274376
[pid=13947] ppid=13944 vsize=15911492 CPUtime=396.9 cores=1,3,5,7
/proc/13947/stat : 13947 (toysat) R 13944 13947 11961 0 -1 4202496 3870981 0 0 0 39084 606 0 0 20 0 4 0 114237982 16293367808 3919802 33554432000 4194304 16246674 140733507260048 140733507259144 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13947/statm: 3977873 3919811 928 2943 0 3974767 0
[pid=13947/tid=13948] ppid=13944 vsize=15911492 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13948/stat : 13948 (toysat) S 13944 13947 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114237983 16293367808 3919816 33554432000 4194304 16246674 140733507260048 139694379609328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13947/tid=13949] ppid=13944 vsize=15911492 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13949/stat : 13949 (toysat) S 13944 13947 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114237983 16293367808 3919818 33554432000 4194304 16246674 140733507260048 139694369119472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13947/tid=13950] ppid=13944 vsize=15911492 CPUtime=0 cores=1,3,5,7
/proc/13947/task/13950/stat : 13950 (toysat) S 13944 13947 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114237983 16293367808 3919818 33554432000 4194304 16246674 140733507260048 139694281059504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 396.9
Current children cumulated vsize (KiB) 15911492

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

[startup+397.6 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 14007
/proc/meminfo: memFree=15759072/32872528 swapFree=12744/274376
[pid=13947] ppid=13944 vsize=0 CPUtime=397.49 cores=1,3,5,7
/proc/13947/stat : 13947 (toysat) Z 13944 13947 11961 0 -1 4203532 3871451 0 0 0 39084 665 0 0 20 0 2 0 114237982 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13947/statm: 0 0 0 0 0 0 0
[pid=13947/tid=13950] ppid=13944 vsize=0 CPUtime=0.58 cores=1,3,5,7
/proc/13947/task/13950/stat : 13950 (toysat) R 13944 13947 11961 0 -1 4203588 1 0 0 0 0 58 0 0 20 0 2 0 114237983 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 397.49
Current children cumulated vsize (KiB) 0

[startup+397.8 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 14007
/proc/meminfo: memFree=15759072/32872528 swapFree=12744/274376
[pid=13947] ppid=13944 vsize=0 CPUtime=397.69 cores=1,3,5,7
/proc/13947/stat : 13947 (toysat) Z 13944 13947 11961 0 -1 4203532 3871451 0 0 0 39084 685 0 0 20 0 2 0 114237982 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13947/statm: 0 0 0 0 0 0 0
[pid=13947/tid=13950] ppid=13944 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/13947/task/13950/stat : 13950 (toysat) R 13944 13947 11961 0 -1 4203588 1 0 0 0 0 78 0 0 20 0 2 0 114237983 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 397.69
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 397.806
CPU time (s): 397.702
CPU user time (s): 390.849
CPU system time (s): 6.85296
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 15911492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 390.849
system time used= 6.85296
maximum resident set size= 15681088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3871451
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= 111
involuntary context switches= 587

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.02684 second user time and 1.51777 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-07 20:10:32
IDJOB=4079370
IDBENCH=92664
IDSOLVER=2542
FILE ID=node107/4079370-1465323032
RUNJOBID= node107-1465310409-12875
PBS_JOBID= 19848089
Free space on /tmp= 71516 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_5_mh_ic.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079370-1465323032/watcher-4079370-1465323032 -o /tmp/evaluation-result-4079370-1465323032/solver-4079370-1465323032 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465310409-12875 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079370-1465323032.opb

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

MD5SUM BENCH= 2c36639357988247c648b63af301f230
RANDOM SEED=2052513770

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.441
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:        19190508 kB
Buffers:          100692 kB
Cached:           522444 kB
SwapCached:         1648 kB
Active:         12352376 kB
Inactive:         291420 kB
Active(anon):   12019900 kB
Inactive(anon):     2796 kB
Active(file):     332476 kB
Inactive(file):   288624 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098592 kB
Dirty:             17124 kB
Writeback:             0 kB
AnonPages:      12294356 kB
Mapped:            10712 kB
Shmem:                 0 kB
Slab:             609488 kB
SReclaimable:      52756 kB
SUnreclaim:       556732 kB
KernelStack:        1456 kB
PageTables:        28104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   12438436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    438272 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= 71680 MiB
End job on node107 at 2016-06-07 20:17:10