Trace number 4079424

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) 327.444 327.503

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat50_6_9_7_mh.opb
MD5SUMb2573b825edc2398ca6e42407bbf0da4
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5119540
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables250200
Total number of constraints605407
Number of constraints which are clauses477850
Number of constraints which are cardinality constraints (but not clauses)57
Number of constraints which are nor clauses,nor cardinality constraints127500
Minimum length of a constraint2
Maximum length of a constraint3725
Number of terms in the objective function 129900
Biggest coefficient in the objective function 109215352
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 74746045062
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 109215352
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 74746045062
Number of bits of the biggest sum of numbers37
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:40:43+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-4079424-1465328442.opb"]
0.00/0.01	c use --random-gen="4080385136 916906435 1694250550 2766165470 933621546 469510153 322527942 2696072124 64402364 2123511845 3248629153 1448533027 1260483841 1973969775 4260923323 775200935 4027070325 2130960269 3889003607 1842217174 1926026962 2179645751 3511199844 2870992311 3612255665 4159792242 1079611537 2584934930 2946085679 3186224330 2490158733 4146600973 1458804779 467963538 2381964110 905125135 2924643432 1892876751 1775052567 1109596341 3124801142 2021949304 4018269403 1242545056 2781638831 3664836508 3440333536 1594287256 3883818782 4075465160 2699235441 2720747219 3622734165 3609783780 3553675386 2944337575 252831120 56505113 1381415799 498514474 2336229744 2904730790 3096523110 1325740424 57659565 3112119793 286541824 3382437179 4126190062 3092472361 2676660812 4117685618 1437902615 1830613372 1304530683 1355613007 1894974302 3563055215 2588374266 1591373684 1126218383 663767168 101860296 1905603374 867796511 492520106 4022840737 2422285880 3095123813 1244260523 278428217 2772933556 1674525622 4036027259 3044324007 3982863718 3451169658 4234111806 2591948925 663647660 998363656 4095801379 598015174 1482638107 1673021651 445426058 823033284 1361296551 2370900035 1897761988 611243522 1344664058 3721181626 1086352219 1837442331 966230660 4249701818 1077412282 2670743587 1209366671 393799846 637123008 2155918212 1243733216 2702194753 1610137693 3807074076 3082652355 667202775 2174366182 1525693796 1697849503 2888503340 1992653862 3847115772 2188651830 1267015244 893166141 1398814508 4240009029 3668506751 502876115 1266879976 2965393858 3162783495 3786869249 4002802890 3021628884 2864102265 684722758 461408865 601379261 738107896 1980662044 3395961799 3827565515 4150948653 3183202433 2978611751 2055321822 348881124 1390464686 2252711249 3865122543 3168354964 3974659308 1633418087 1394618998 3832541401 1961256917 4195825984 1904863066 3062618040 1514736736 993169264 3851373332 3487571784 1757908791 3327496629 405050900 216400844 3144949410 802256763 1773922012 3420014480 1593544014 704280313 236451677 2161399606 3073691685 3241403942 171909462 466524553 4046786552 4214105371 2435162345 4043575508 4124695065 2878540076 2939595451 2344402972 485371880 2969692491 2254688451 3759802287 787776272 2461796371 1399896325 49509665 3283433997 196411819 2345057149 2885239405 1521973560 1572292511 2275068946 1255129352 539804955 2920708394 3066102159 3353281069 978553064 2789575370 1835917844 1307967371 3931249823 1636477557 1373171286 3818122303 786156103 3527697981 3358997480 3790035704 4059956032 1611188511 2662821564 3512255424 2883247066 3945651981 1645625367 1765175426 929104860 1348428637 4075305323 1265803707 1904645382 1075976641 3205102258 144035818 2704705846 2708959209 1177269151 1808106354 3054816833 1386608253 518833445 255 362436" option to reproduce the execution
4.29/4.32	c #vars 250200
4.29/4.32	c #constraints 605407
14.99/15.06	c BCD2: Hardening is enabled.
14.99/15.06	c BCD2: BiasedSearch is enabled.
14.99/15.06	c Solving starts ...
14.99/15.06	c ============================[ Search Statistics ]============================
14.99/15.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
14.99/15.06	c       |         |          |          |    Limit     GC | Var      | Constra 
14.99/15.06	c =============================================================================
14.99/15.08	c  0.0s |       0 |        0 |        0 |   286836      0 |      150 |        0
26.08/26.14	c 11.1s |       0 |      315 |      100 |   286836      0 |      150 |        0
26.18/26.28	c 11.2s |       1 |      315 |      100 |   286836      0 |      150 |        0
29.79/29.80	c 14.7s |       1 |     2348 |      200 |   315520      0 |      150 |        0
30.18/30.27	c 15.2s |       2 |     3665 |      250 |   315520      0 |      150 |        0
36.69/36.71	c 21.6s |       2 |    12449 |      350 |   347072      0 |      150 |        0
44.09/44.18	c 29.1s |       2 |    12624 |      450 |   347072      0 |      150 |        0
45.98/46.09	c 31.0s |       3 |    12647 |      475 |   347072      0 |      150 |        0
48.49/48.53	c 33.5s |       3 |    14853 |      575 |   381780      0 |      150 |        0
50.59/50.67	c 35.6s |       3 |    14976 |      675 |   381780      0 |      150 |        0
52.89/52.92	c 37.8s |       3 |    15094 |      775 |   381780      0 |      150 |        0
53.78/53.80	c 38.7s |       4 |    15131 |      813 |   381780      0 |      150 |        0
55.98/56.00	c 40.9s |       4 |    19041 |     1213 |   419959      0 |      150 |        0
56.48/56.51	c 41.4s |       5 |    19180 |     1320 |   419959      0 |      150 |        0
58.78/58.81	c 43.7s |       5 |    21149 |     1520 |   461955      0 |      150 |        0
61.48/61.56	c 46.5s |       5 |    21737 |     1920 |   461955      0 |      150 |        0
62.88/62.93	c 47.9s |       6 |    21935 |     2081 |   508151      0 |      150 |        0
69.58/69.60	c 54.5s |       6 |    24586 |     2181 |   508151      0 |      150 |        0
73.18/73.21	c 58.1s |       6 |    24682 |     2281 |   508151      0 |      150 |        0
78.98/79.07	c 64.0s |       6 |    26108 |     2581 |   508151      0 |      150 |        0
82.58/82.63	c 67.6s |       6 |    28316 |     2781 |   508151      0 |      150 |        0
85.18/85.23	c 70.2s |       6 |    29580 |     2881 |   508151      0 |      150 |        0
94.47/94.56	c 79.5s |       6 |    30040 |     2981 |   508151      0 |      150 |        0
98.17/98.29	c 83.2s |       6 |    30133 |     3081 |   508151      0 |      150 |        0
103.39/103.46	c 88.4s |       6 |    30236 |     3181 |   508151      0 |      150 |        0
106.08/106.15	c 91.1s |       7 |    30315 |     3223 |   558967      0 |      150 |        0
108.68/108.70	c 93.6s |       7 |    35487 |     3458 |   558967      0 |      150 |        0
108.68/108.70	c #cpu_time = 93.357s
108.68/108.70	c #wall_clock_time = 93.364s
108.68/108.70	c #decision = 35487
108.68/108.70	c #random_decision = 59
108.68/108.70	c #conflict = 3458
108.68/108.70	c #restart = 7
108.68/108.71	o 532997994
108.98/109.03	c BCD2: updating upper bound: 74746045062 -> 532998043
110.48/110.52	c BCD2: 0 <= obj <= 532998043
110.48/110.53	c BCD2: #cores=0, #unrelaxed=129900, #relaxed=0, #hardened=0
110.48/110.53	c BCD2: #sat=1 #unsat=1 bias=1/2
110.48/110.54	c Solving starts ...
110.48/110.54	c ============================[ Search Statistics ]============================
110.48/110.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
110.48/110.54	c       |         |          |          |    Limit     GC | Var      | Constra 
110.48/110.54	c =============================================================================
110.48/110.54	c  0.0s |       0 |        0 |        0 |   558967      0 |      150 |        0
111.48/111.56	c  1.0s |       0 |     1170 |        1 |   558967      0 |      150 |        0
111.48/111.56	c #cpu_time = 0.933s
111.48/111.56	c #wall_clock_time = 0.933s
111.48/111.56	c #decision = 1170
111.48/111.56	c #random_decision = 0
111.48/111.56	c #conflict = 1
111.48/111.56	c #restart = 0
111.48/111.56	c BCD2: found a new core of size 1170: cost of the new core is >=1331
111.48/111.56	c lower bound updated to 1281
111.68/111.71	c BCD2: 1331 <= obj <= 532998043
111.68/111.71	c BCD2: #cores=1, #unrelaxed=128730, #relaxed=1170, #hardened=0
111.68/111.71	c BCD2: #sat=1 #unsat=2 bias=2/3
111.68/111.75	c Solving starts ...
111.68/111.75	c ============================[ Search Statistics ]============================
111.68/111.75	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
111.68/111.75	c       |         |          |          |    Limit     GC | Var      | Constra 
111.68/111.75	c =============================================================================
111.68/111.76	c  0.0s |       0 |        0 |        0 |   558967      0 |      150 |        0
112.67/112.76	c  1.0s |       0 |     1174 |        1 |   558967      0 |      150 |        0
112.67/112.76	c #cpu_time = 0.928s
112.67/112.76	c #wall_clock_time = 0.928s
112.67/112.76	c #decision = 1174
112.67/112.76	c #random_decision = 0
112.67/112.76	c #conflict = 1
112.67/112.76	c #restart = 0
112.67/112.77	c BCD2: found a new core of size 1173: cost of the new core is >=1331
112.67/112.77	c lower bound updated to 2612
112.87/112.91	c BCD2: 2662 <= obj <= 532998043
112.87/112.91	c BCD2: #cores=2, #unrelaxed=127557, #relaxed=2343, #hardened=0
112.87/112.91	c BCD2: #sat=1 #unsat=3 bias=3/4

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

pid=14491
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.00 2.08 2.04 3/180 14494
/proc/meminfo: memFree=30279252/32872528 swapFree=12744/274376
[pid=14494] ppid=14491 vsize=844220 CPUtime=0 cores=0,2,4,6
/proc/14494/stat : 14494 (toysat) R 14491 14494 11961 0 -1 4202496 3172 0 0 0 0 0 0 0 20 0 4 0 114779064 864481280 3021 33554432000 4194304 16246674 140735582344400 140735582343824 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14494/statm: 211567 3030 441 2943 0 208461 0
[pid=14494/tid=14495] ppid=14491 vsize=861628 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14495/stat : 14495 (toysat) S 14491 14494 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114779064 882307072 3089 33554432000 4194304 16246674 140735582344400 140566196104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14494/tid=14496] ppid=14491 vsize=865724 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14496/stat : 14496 (toysat) S 14491 14494 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114779064 886501376 3108 33554432000 4194304 16246674 140735582344400 140566185614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14494/tid=14497] ppid=14491 vsize=869820 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14497/stat : 14497 (toysat) S 14491 14494 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114779064 890695680 3124 33554432000 4194304 16246674 140735582344400 140566175141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100147 s]
/proc/loadavg: 2.00 2.08 2.04 3/180 14494
/proc/meminfo: memFree=30279252/32872528 swapFree=12744/274376
[pid=14494] ppid=14491 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/14494/stat : 14494 (toysat) R 14491 14494 11961 0 -1 4202496 31454 0 0 0 4 5 0 0 20 0 4 0 114779064 1334382592 31241 33554432000 4194304 16246674 140735582344400 140735582327392 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14494/statm: 325777 31255 799 2943 0 322671 0
[pid=14494/tid=14495] ppid=14491 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14495/stat : 14495 (toysat) S 14491 14494 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114779064 1334382592 31266 33554432000 4194304 16246674 140735582344400 140566196104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14494/tid=14496] ppid=14491 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14496/stat : 14496 (toysat) S 14491 14494 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114779064 1334382592 31278 33554432000 4194304 16246674 140735582344400 140566185614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14494/tid=14497] ppid=14491 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14497/stat : 14497 (toysat) S 14491 14494 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114779064 1334382592 31289 33554432000 4194304 16246674 140735582344400 140566175141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200517 s]
/proc/loadavg: 2.00 2.08 2.04 3/180 14494
/proc/meminfo: memFree=30279252/32872528 swapFree=12744/274376
[pid=14494] ppid=14491 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/14494/stat : 14494 (toysat) R 14491 14494 11961 0 -1 4202496 42940 0 0 0 13 6 0 0 20 0 4 0 114779064 1343819776 43238 33554432000 4194304 16246674 140735582344400 140735582327392 4220921 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14494/statm: 328081 43238 799 2943 0 324975 0
[pid=14494/tid=14495] ppid=14491 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14495/stat : 14495 (toysat) S 14491 14494 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114779064 1343819776 43238 33554432000 4194304 16246674 140735582344400 140566196104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14494/tid=14496] ppid=14491 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14496/stat : 14496 (toysat) S 14491 14494 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114779064 1343819776 43238 33554432000 4194304 16246674 140735582344400 140566185614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14494/tid=14497] ppid=14491 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14497/stat : 14497 (toysat) S 14491 14494 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114779064 1343819776 43238 33554432000 4194304 16246674 140735582344400 140566175141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300485 s]
/proc/loadavg: 2.00 2.08 2.04 3/180 14494
/proc/meminfo: memFree=30279252/32872528 swapFree=12744/274376
[pid=14494] ppid=14491 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/14494/stat : 14494 (toysat) R 14491 14494 11961 0 -1 4202496 45274 0 0 0 22 7 0 0 20 0 4 0 114779064 1343819776 45572 33554432000 4194304 16246674 140735582344400 140735582327392 4206649 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14494/statm: 328081 45572 800 2943 0 324975 0
[pid=14494/tid=14495] ppid=14491 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14495/stat : 14495 (toysat) S 14491 14494 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114779064 1343819776 45572 33554432000 4194304 16246674 140735582344400 140566196104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14494/tid=14496] ppid=14491 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14496/stat : 14496 (toysat) S 14491 14494 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114779064 1343819776 45572 33554432000 4194304 16246674 140735582344400 140566185614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14494/tid=14497] ppid=14491 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14497/stat : 14497 (toysat) S 14491 14494 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114779064 1343819776 45572 33554432000 4194304 16246674 140735582344400 140566175141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700424 s]
/proc/loadavg: 2.00 2.08 2.04 3/180 14494
/proc/meminfo: memFree=30279252/32872528 swapFree=12744/274376
[pid=14494] ppid=14491 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/14494/stat : 14494 (toysat) R 14491 14494 11961 0 -1 4202496 64028 0 0 0 59 10 0 0 20 0 4 0 114779064 1344868352 64326 33554432000 4194304 16246674 140735582344400 140735582327392 7889456 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14494/statm: 328337 64326 802 2943 0 325231 0
[pid=14494/tid=14495] ppid=14491 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14495/stat : 14495 (toysat) S 14491 14494 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114779064 1344868352 64326 33554432000 4194304 16246674 140735582344400 140566196104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14494/tid=14496] ppid=14491 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14496/stat : 14496 (toysat) S 14491 14494 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114779064 1344868352 64326 33554432000 4194304 16246674 140735582344400 140566185614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14494/tid=14497] ppid=14491 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14497/stat : 14497 (toysat) S 14491 14494 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114779064 1344868352 64326 33554432000 4194304 16246674 140735582344400 140566175141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.00 2.08 2.04 3/184 14498
/proc/meminfo: memFree=29946116/32872528 swapFree=12744/274376
[pid=14494] ppid=14491 vsize=1325636 CPUtime=1.49 cores=0,2,4,6
/proc/14494/stat : 14494 (toysat) R 14491 14494 11961 0 -1 4202496 81636 0 0 0 137 12 0 0 20 0 4 0 114779064 1357451264 84489 33554432000 4194304 16246674 140735582344400 140735582327392 8055534 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14494/statm: 331409 84489 802 2943 0 328303 0
[pid=14494/tid=14495] ppid=14491 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14495/stat : 14495 (toysat) S 14491 14494 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114779064 1357451264 84489 33554432000 4194304 16246674 140735582344400 140566196104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14494/tid=14496] ppid=14491 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14496/stat : 14496 (toysat) S 14491 14494 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114779064 1357451264 84489 33554432000 4194304 16246674 140735582344400 140566185614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14494/tid=14497] ppid=14491 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14497/stat : 14497 (toysat) S 14491 14494 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114779064 1357451264 84489 33554432000 4194304 16246674 140735582344400 140566175141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1325636

[startup+3.10034 s]
/proc/loadavg: 2.00 2.08 2.04 3/184 14498
/proc/meminfo: memFree=29799532/32872528 swapFree=12744/274376
[pid=14494] ppid=14491 vsize=1350212 CPUtime=3.09 cores=0,2,4,6
/proc/14494/stat : 14494 (toysat) R 14491 14494 11961 0 -1 4202496 160973 0 0 0 285 24 0 0 20 0 4 0 114779064 1382617088 168425 33554432000 4194304 16246674 140735582344400 140735582342208 4206664 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14494/statm: 337553 168425 802 2943 0 334447 0
[pid=14494/tid=14495] ppid=14491 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14495/stat : 14495 (toysat) S 14491 14494 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114779064 1382617088 168425 33554432000 4194304 16246674 140735582344400 140566196104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14494/tid=14496] ppid=14491 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14496/stat : 14496 (toysat) S 14491 14494 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114779064 1382617088 168425 33554432000 4194304 16246674 140735582344400 140566185614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14494/tid=14497] ppid=14491 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14497/stat : 14497 (toysat) S 14491 14494 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114779064 1382617088 168425 33554432000 4194304 16246674 140735582344400 140566175141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1350212

[startup+6.30041 s]
/proc/loadavg: 2.08 2.09 2.05 3/184 14498
/proc/meminfo: memFree=29338752/32872528 swapFree=12744/274376
[pid=14494] ppid=14491 vsize=1411652 CPUtime=6.29 cores=0,2,4,6
/proc/14494/stat : 14494 (toysat) R 14491 14494 11961 0 -1 4202496 253155 0 0 0 590 39 0 0 20 0 4 0 114779064 1445531648 273893 33554432000 4194304 16246674 140735582344400 140735582326272 13950188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14494/statm: 352913 273893 842 2943 0 349807 0
[pid=14494/tid=14495] ppid=14491 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14495/stat : 14495 (toysat) S 14491 14494 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114779064 1445531648 273893 33554432000 4194304 16246674 140735582344400 140566196104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14494/tid=14496] ppid=14491 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14496/stat : 14496 (toysat) S 14491 14494 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114779064 1445531648 273893 33554432000 4194304 16246674 140735582344400 140566185614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14494/tid=14497] ppid=14491 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14497/stat : 14497 (toysat) S 14491 14494 11961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114779064 1445531648 273893 33554432000 4194304 16246674 140735582344400 140566175141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1411652

[startup+12.7004 s]
/proc/loadavg: 2.07 2.09 2.05 3/184 14498
/proc/meminfo: memFree=29104796/32872528 swapFree=12744/274376
[pid=14494] ppid=14491 vsize=1411652 CPUtime=12.69 cores=0,2,4,6
/proc/14494/stat : 14494 (toysat) R 14491 14494 11961 0 -1 4202496 273108 0 0 0 1227 42 0 0 20 0 4 0 114779064 1445531648 293846 33554432000 4194304 16246674 140735582344400 140735582326272 5740976 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14494/statm: 352913 293846 845 2943 0 349807 0
[pid=14494/tid=14495] ppid=14491 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14495/stat : 14495 (toysat) S 14491 14494 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114779064 1445531648 293846 33554432000 4194304 16246674 140735582344400 140566196104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14494/tid=14496] ppid=14491 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14496/stat : 14496 (toysat) S 14491 14494 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114779064 1445531648 293846 33554432000 4194304 16246674 140735582344400 140566185614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14494/tid=14497] ppid=14491 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14497/stat : 14497 (toysat) S 14491 14494 11961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114779064 1445531648 293846 33554432000 4194304 16246674 140735582344400 140566175141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1411652

[startup+25.5005 s]
/proc/loadavg: 2.13 2.10 2.05 3/183 14498
/proc/meminfo: memFree=28718924/32872528 swapFree=12744/274376
[pid=14494] ppid=14491 vsize=1797700 CPUtime=25.48 cores=0,2,4,6
/proc/14494/stat : 14494 (toysat) R 14491 14494 11961 0 -1 4202496 369667 0 0 0 2492 56 0 0 20 0 4 0 114779064 1840844800 390405 33554432000 4194304 16246674 140735582344400 140735582326272 13820890 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14494/statm: 449425 390405 891 2943 0 446319 0
[pid=14494/tid=14495] ppid=14491 vsize=1797700 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14495/stat : 14495 (toysat) S 14491 14494 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114779064 1840844800 390405 33554432000 4194304 16246674 140735582344400 140566196104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14494/tid=14496] ppid=14491 vsize=1797700 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14496/stat : 14496 (toysat) S 14491 14494 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114779064 1840844800 390405 33554432000 4194304 16246674 140735582344400 140566185614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14494/tid=14497] ppid=14491 vsize=1797700 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14497/stat : 14497 (toysat) S 14491 14494 11961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114779064 1840844800 390405 33554432000 4194304 16246674 140735582344400 140566175141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1797700

[startup+51.1005 s]
/proc/loadavg: 2.08 2.09 2.05 3/183 14498
/proc/meminfo: memFree=28326688/32872528 swapFree=12744/274376
[pid=14494] ppid=14491 vsize=2189892 CPUtime=51.08 cores=0,2,4,6
/proc/14494/stat : 14494 (toysat) R 14491 14494 11961 0 -1 4202496 467508 0 0 0 5036 72 0 0 20 0 4 0 114779064 2242449408 488246 33554432000 4194304 16246674 140735582344400 140735582326272 12483168 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14494/statm: 547473 488246 895 2943 0 544367 0
[pid=14494/tid=14495] ppid=14491 vsize=2189892 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14495/stat : 14495 (toysat) S 14491 14494 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114779064 2242449408 488246 33554432000 4194304 16246674 140735582344400 140566196104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14494/tid=14496] ppid=14491 vsize=2189892 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14496/stat : 14496 (toysat) S 14491 14494 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114779064 2242449408 488246 33554432000 4194304 16246674 140735582344400 140566185614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14494/tid=14497] ppid=14491 vsize=2189892 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14497/stat : 14497 (toysat) S 14491 14494 11961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114779064 2242449408 488246 33554432000 4194304 16246674 140735582344400 140566175141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2189892

[startup+102.3 s]
/proc/loadavg: 2.08 2.09 2.05 3/183 14499
/proc/meminfo: memFree=28325812/32872528 swapFree=12744/274376
[pid=14494] ppid=14491 vsize=2189892 CPUtime=102.29 cores=0,2,4,6
/proc/14494/stat : 14494 (toysat) R 14491 14494 11961 0 -1 4202496 467719 0 0 0 10155 74 0 0 20 0 4 0 114779064 2242449408 488457 33554432000 4194304 16246674 140735582344400 140735582326272 5723568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14494/statm: 547473 488457 895 2943 0 544367 0
[pid=14494/tid=14495] ppid=14491 vsize=2189892 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14495/stat : 14495 (toysat) S 14491 14494 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114779064 2242449408 488457 33554432000 4194304 16246674 140735582344400 140566196104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14494/tid=14496] ppid=14491 vsize=2189892 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14496/stat : 14496 (toysat) S 14491 14494 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114779064 2242449408 488457 33554432000 4194304 16246674 140735582344400 140566185614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14494/tid=14497] ppid=14491 vsize=2189892 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14497/stat : 14497 (toysat) S 14491 14494 11961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114779064 2242449408 488457 33554432000 4194304 16246674 140735582344400 140566175141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 2189892

[startup+162.3 s]
/proc/loadavg: 2.17 2.11 2.06 3/183 14500
/proc/meminfo: memFree=19546532/32872528 swapFree=12744/274376
[pid=14494] ppid=14491 vsize=8815172 CPUtime=162.26 cores=0,2,4,6
/proc/14494/stat : 14494 (toysat) R 14491 14494 11961 0 -1 4202496 2123816 0 0 0 15926 300 0 0 20 0 4 0 114779064 9026736128 2144554 33554432000 4194304 16246674 140735582344400 140735582343064 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14494/statm: 2203793 2144561 920 2943 0 2200687 0
[pid=14494/tid=14495] ppid=14491 vsize=8815172 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14495/stat : 14495 (toysat) S 14491 14494 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114779064 9026736128 2144565 33554432000 4194304 16246674 140735582344400 140566196104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14494/tid=14496] ppid=14491 vsize=8815172 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14496/stat : 14496 (toysat) S 14491 14494 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114779064 9026736128 2144567 33554432000 4194304 16246674 140735582344400 140566185614352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14494/tid=14497] ppid=14491 vsize=8815172 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14497/stat : 14497 (toysat) S 14491 14494 11961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114779064 9026736128 2144572 33554432000 4194304 16246674 140735582344400 140566175141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 8815172

[startup+222.308 s]
/proc/loadavg: 2.15 2.12 2.07 3/183 14501
/proc/meminfo: memFree=5575924/32872528 swapFree=12744/274376
[pid=14494] ppid=14491 vsize=14220868 CPUtime=222.27 cores=0,2,4,6
/proc/14494/stat : 14494 (toysat) R 14491 14494 11961 0 -1 4202496 3475492 0 0 0 21694 533 0 0 20 0 4 0 114779064 14562168832 3496230 33554432000 4194304 16246674 140735582344400 140735582342336 4220807 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14494/statm: 3555217 3496230 920 2943 0 3552111 0
[pid=14494/tid=14495] ppid=14491 vsize=14220868 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14495/stat : 14495 (toysat) S 14491 14494 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114779064 14562168832 3496230 33554432000 4194304 16246674 140735582344400 140566196104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14494/tid=14496] ppid=14491 vsize=14220868 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14496/stat : 14496 (toysat) S 14491 14494 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114779064 14562168832 3496230 33554432000 4194304 16246674 140735582344400 140566185614352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14494/tid=14497] ppid=14491 vsize=14220868 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14497/stat : 14497 (toysat) S 14491 14494 11961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114779064 14562168832 3496230 33554432000 4194304 16246674 140735582344400 140566175141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 14220868

[startup+282.3 s]
/proc/loadavg: 2.15 2.12 2.07 3/183 14503
/proc/meminfo: memFree=2501784/32872528 swapFree=12744/274376
[pid=14494] ppid=14491 vsize=14220868 CPUtime=282.25 cores=0,2,4,6
/proc/14494/stat : 14494 (toysat) R 14491 14494 11961 0 -1 4202496 3475496 0 0 0 27668 557 0 0 20 0 4 0 114779064 14562168832 3496234 33554432000 4194304 16246674 140735582344400 140735582342336 14003409 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14494/statm: 3555217 3496234 924 2943 0 3552111 0
[pid=14494/tid=14495] ppid=14491 vsize=14220868 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14495/stat : 14495 (toysat) S 14491 14494 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114779064 14562168832 3496234 33554432000 4194304 16246674 140735582344400 140566196104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14494/tid=14496] ppid=14491 vsize=14220868 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14496/stat : 14496 (toysat) S 14491 14494 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114779064 14562168832 3496234 33554432000 4194304 16246674 140735582344400 140566185614352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14494/tid=14497] ppid=14491 vsize=14220868 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14497/stat : 14497 (toysat) S 14491 14494 11961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114779064 14562168832 3496234 33554432000 4194304 16246674 140735582344400 140566175141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 14220868



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+326.6 s]
/proc/loadavg: 2.07 2.11 2.07 3/183 14504
/proc/meminfo: memFree=790748/32872528 swapFree=12744/274376
[pid=14494] ppid=14491 vsize=15897156 CPUtime=326.55 cores=0,2,4,6
/proc/14494/stat : 14494 (toysat) R 14491 14494 11961 0 -1 4202496 3894550 0 0 0 32006 649 0 0 20 0 4 0 114779064 16278687744 3915288 33554432000 4194304 16246674 140735582344400 140735582343496 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14494/statm: 3974289 3915288 924 2943 0 3971183 0
[pid=14494/tid=14495] ppid=14491 vsize=15897156 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14495/stat : 14495 (toysat) S 14491 14494 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114779064 16278687744 3915288 33554432000 4194304 16246674 140735582344400 140566196104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14494/tid=14496] ppid=14491 vsize=15897156 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14496/stat : 14496 (toysat) S 14491 14494 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114779064 16278687744 3915288 33554432000 4194304 16246674 140735582344400 140566185614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14494/tid=14497] ppid=14491 vsize=15897156 CPUtime=0 cores=0,2,4,6
/proc/14494/task/14497/stat : 14497 (toysat) S 14491 14494 11961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114779064 16278687744 3915290 33554432000 4194304 16246674 140735582344400 140566175141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 326.55
Current children cumulated vsize (KiB) 15897156

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

[startup+327.2 s]
/proc/loadavg: 2.07 2.11 2.07 3/181 14504
/proc/meminfo: memFree=2195688/32872528 swapFree=12744/274376
[pid=14494] ppid=14491 vsize=0 CPUtime=327.14 cores=0,2,4,6
/proc/14494/stat : 14494 (toysat) Z 14491 14494 11961 0 -1 4203532 3895016 0 0 0 32006 708 0 0 20 0 2 0 114779064 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14494/statm: 0 0 0 0 0 0 0
[pid=14494/tid=14496] ppid=14491 vsize=0 CPUtime=0.58 cores=0,2,4,6
/proc/14494/task/14496/stat : 14496 (toysat) R 14491 14494 11961 0 -1 4203588 9 0 0 0 0 58 0 0 20 0 2 0 114779064 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 327.14
Current children cumulated vsize (KiB) 0

[startup+327.4 s]
/proc/loadavg: 2.07 2.11 2.07 3/181 14504
/proc/meminfo: memFree=2195688/32872528 swapFree=12744/274376
[pid=14494] ppid=14491 vsize=0 CPUtime=327.34 cores=0,2,4,6
/proc/14494/stat : 14494 (toysat) Z 14491 14494 11961 0 -1 4203532 3895016 0 0 0 32006 728 0 0 20 0 2 0 114779064 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14494/statm: 0 0 0 0 0 0 0
[pid=14494/tid=14496] ppid=14491 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/14494/task/14496/stat : 14496 (toysat) R 14491 14494 11961 0 -1 4203588 9 0 0 0 0 78 0 0 20 0 2 0 114779064 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 327.34
Current children cumulated vsize (KiB) 0

[startup+327.5 s]
/proc/loadavg: 2.07 2.11 2.07 3/181 14504
/proc/meminfo: memFree=2195688/32872528 swapFree=12744/274376
[pid=14494] ppid=14491 vsize=0 CPUtime=327.44 cores=0,2,4,6
/proc/14494/stat : 14494 (toysat) Z 14491 14494 11961 0 -1 4203532 3895016 0 0 0 32006 738 0 0 20 0 2 0 114779064 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14494/statm: 0 0 0 0 0 0 0
[pid=14494/tid=14496] ppid=14491 vsize=0 CPUtime=0.88 cores=0,2,4,6
/proc/14494/task/14496/stat : 14496 (toysat) R 14491 14494 11961 0 -1 4203588 9 0 0 0 0 88 0 0 20 0 2 0 114779064 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 327.44
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 327.503
CPU time (s): 327.444
CPU user time (s): 320.064
CPU system time (s): 7.37988
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 15897156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 320.064
system time used= 7.37988
maximum resident set size= 15663016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3895016
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= 67
involuntary context switches= 336

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

The end

Launcher Data 

Begin job on node107 at 2016-06-07 21:40:43
IDJOB=4079424
IDBENCH=92705
IDSOLVER=2542
FILE ID=node107/4079424-1465328442
RUNJOBID= node107-1465310409-12874
PBS_JOBID= 19848089
Free space on /tmp= 71708 MiB

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

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

MD5SUM BENCH= b2573b825edc2398ca6e42407bbf0da4
RANDOM SEED=2001774819

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:        30279516 kB
Buffers:          107944 kB
Cached:           342576 kB
SwapCached:         1648 kB
Active:          1264648 kB
Inactive:         313748 kB
Active(anon):    1127460 kB
Inactive(anon):     2796 kB
Active(file):     137188 kB
Inactive(file):   310952 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098592 kB
Dirty:             41912 kB
Writeback:             0 kB
AnonPages:       1401760 kB
Mapped:            10712 kB
Shmem:                 0 kB
Slab:             604840 kB
SReclaimable:      48216 kB
SUnreclaim:       556624 kB
KernelStack:        1448 kB
PageTables:         6796 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1546148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    264192 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= 71692 MiB
End job on node107 at 2016-06-07 21:46:11