Trace number 4106760

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? (TO) 1800.08 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_60_5.opb
MD5SUMc7b55c33bf2dc9c08660966375c6138a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-66
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -71
Optimality of the best value was proved NO
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)150576
Sum of products size (including duplicates)301152
Number of different products75288
Sum of products size150576

Solver Data 

0.00/0.00	c 2016-06-18T21:15:48+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-4106760-1466277348.opb"]
0.00/0.01	c use --random-gen="3868819847 470926047 49343710 1680155560 2422281107 1751541149 470764972 3153031498 3320455266 2354819743 2325872592 4021144367 257198375 1227951493 2589388936 1339258517 1736542703 1602548311 3630690466 2926493418 1876784002 2779086639 3209395006 3445333745 4293661660 3477138240 2094529007 1127064447 1602785640 1902526919 1080344816 573371227 3544482621 113505247 1087774661 3267073003 2382247829 761228287 226648348 2392663608 482838445 2984524247 3579984467 899082194 1706924375 57543893 1173300648 4163685741 1908642019 3901843230 1155343623 1389463513 1939873892 1578892606 351740398 3784697826 473733436 1702366332 1815463840 1475656717 937336364 38899773 3237402931 1378958489 2585712197 53268129 3226627235 2261740114 2847574440 2432149707 2311061542 1301471012 3753871686 1881392864 3643303254 4071740964 1462235494 1479285 4063161006 3274173950 2230751602 1488142525 633537528 3444669150 3038514896 3199678311 2138620429 670158359 1044760619 3221859808 2930217749 1073184158 2789585697 432758605 2712722041 130133713 3034880409 1018835003 1196409479 2892498502 3204672245 3824084537 3438406990 2284246152 2497316040 3316180891 2474821482 1162323734 156677344 754717529 3948094245 58589963 871834510 1600459437 3130622701 3556085436 1784132659 4114978989 1185928498 4103804105 4139293753 3128360628 3586007006 2969074393 1930354007 2341951034 1875525947 3150636344 917481684 1571387070 4245640094 3924330300 4245640287 3844230969 408798702 2719760255 327256716 1496200285 2610973913 3883111445 2030676537 2385905397 2087064674 738986400 3721050140 478839976 2096647881 3877255005 3257903685 1832327225 2652983545 1463332828 3832922023 4016985405 234805512 1833257021 2885688212 803528186 2849150088 3358997787 1584048234 3237113497 260598207 222430213 1096864373 884991161 1324428551 3292191343 1810013731 3143799444 3849096951 505863132 3542225242 3339348385 512611569 1330922227 2838281873 2566708385 2721598488 3710431209 2311814871 1817385846 644200981 1836373230 3728323263 2175112775 2197899964 2800465989 2581301393 2806245712 3350509019 3749455876 1309036852 1047224235 3413111638 1686146430 3361320375 2124012278 1181131216 3685917654 3678076812 314114811 1126786913 2113892559 1759016337 4233862415 634701016 2096878432 2616589184 2041602386 481653033 3674747059 1732694092 3027430104 3011965419 3235268157 3984432386 1463306431 3171237530 1751958719 2562849613 2036297141 539881930 1526954259 2475682563 1133959323 1601665528 3427849552 3404607534 2565382696 2428509852 2986975547 3486127904 1430066465 1127128546 333938684 3472620904 3222760187 2612602893 1679555179 3265902854 1650295127 2894663830 1409249821 2522213778 4058339204 1063525982 1226221816 3122683036 2157364630 595753103 1322961636 3560607585 3521003999 3891150691 1170159793 255 362436" option to reproduce the execution
0.39/0.41	c #vars 2000
0.39/0.41	c #constraints 3001
2.69/2.73	c BCD2: Hardening is enabled.
2.69/2.73	c BCD2: BiasedSearch is enabled.
2.69/2.73	c Solving starts ...
2.69/2.73	c ============================[ Search Statistics ]============================
2.69/2.73	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.69/2.73	c       |         |          |          |    Limit     GC | Var      | Constra 
2.69/2.73	c =============================================================================
2.69/2.74	c  0.0s |       0 |        0 |        0 |    51859      0 |        0 |        0
2.89/2.95	c  0.2s |       0 |     1186 |        1 |    51859      0 |        0 |        0
2.89/2.95	c #cpu_time = 0.153s
2.89/2.95	c #wall_clock_time = 0.154s
2.89/2.95	c #decision = 1186
2.89/2.95	c #random_decision = 4
2.89/2.95	c #conflict = 1
2.89/2.95	c #restart = 0
2.89/2.95	o -51
2.89/2.95	c BCD2: updating upper bound: 1000 -> 948
2.89/2.95	c BCD2: 0 <= obj <= 948
2.89/2.95	c BCD2: #cores=0, #unrelaxed=1000, #relaxed=0, #hardened=0
2.89/2.95	c BCD2: #sat=1 #unsat=1 bias=1/2
2.89/2.95	c Solving starts ...
2.89/2.95	c ============================[ Search Statistics ]============================
2.89/2.95	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.89/2.95	c       |         |          |          |    Limit     GC | Var      | Constra 
2.89/2.95	c =============================================================================
2.89/2.95	c  0.0s |       0 |        0 |        0 |    51859      0 |        0 |        0
3.09/3.12	c  0.2s |       0 |      517 |        2 |    51859      0 |        0 |        0
3.09/3.12	c #cpu_time = 0.165s
3.09/3.12	c #wall_clock_time = 0.166s
3.09/3.12	c #decision = 517
3.09/3.12	c #random_decision = 0
3.09/3.12	c #conflict = 2
3.09/3.12	c #restart = 0
3.09/3.12	c BCD2: found a new core of size 500: cost of the new core is >=1
3.09/3.12	c lower bound updated to -999
3.09/3.12	c BCD2: 1 <= obj <= 948
3.09/3.12	c BCD2: #cores=1, #unrelaxed=500, #relaxed=500, #hardened=0
3.09/3.12	c BCD2: #sat=1 #unsat=2 bias=2/3
3.09/3.12	c Solving starts ...
3.09/3.12	c ============================[ Search Statistics ]============================
3.09/3.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.09/3.12	c       |         |          |          |    Limit     GC | Var      | Constra 
3.09/3.12	c =============================================================================
3.09/3.13	c  0.0s |       0 |        0 |        0 |    51859      0 |        0 |        0
3.69/3.70	c  0.6s |       0 |      501 |        1 |    51859      0 |        0 |        0
3.69/3.70	c #cpu_time = 0.569s
3.69/3.70	c #wall_clock_time = 0.571s
3.69/3.70	c #decision = 501
3.69/3.70	c #random_decision = 0
3.69/3.70	c #conflict = 1
3.69/3.70	c #restart = 0
3.69/3.70	c BCD2: relaxing 500 and merging with 1 cores into a new core of size 1000: cost of the new core is >=2
3.69/3.70	c lower bound updated to -998
3.69/3.71	c BCD2: 2 <= obj <= 948
3.69/3.71	c BCD2: #cores=1, #unrelaxed=0, #relaxed=1000, #hardened=0
3.69/3.71	c BCD2: #sat=1 #unsat=3 bias=3/4
3.69/3.71	c Solving starts ...
3.69/3.71	c ============================[ Search Statistics ]============================
3.69/3.71	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.69/3.71	c       |         |          |          |    Limit     GC | Var      | Constra 
3.69/3.71	c =============================================================================
3.69/3.71	c  0.0s |       0 |        0 |        0 |    51859      0 |        1 |        0
4.29/4.34	c  0.6s |       1 |    17186 |      100 |    57045      0 |        1 |        1
4.99/5.08	c  1.4s |       2 |    44540 |      250 |    62750      0 |        1 |        1
5.99/6.01	c  2.3s |       3 |    84202 |      475 |    69025      0 |        1 |        1
13.30/13.38	c  9.7s |       3 |    95701 |      575 |    69025      0 |        1 |        1
23.19/23.27	c 19.6s |       3 |   106813 |      675 |    69025      0 |        1 |        1
34.48/34.56	c 30.8s |       3 |   114531 |      775 |    69025      0 |        1 |        1
35.98/36.00	c 32.3s |       4 |   117953 |      813 |    75928      0 |        1 |        1
47.18/47.28	c 43.6s |       4 |   125533 |      913 |    75928      0 |        1 |        1
55.68/55.71	c 52.0s |       4 |   133001 |     1013 |    75928      0 |        1 |        1
66.28/66.38	c 62.7s |       4 |   138722 |     1113 |    75928      0 |        1 |        1
75.38/75.46	c 71.7s |       4 |   144833 |     1213 |    75928      0 |        1 |        1
79.28/79.35	c 75.6s |       4 |   157715 |     1313 |    75928      0 |        1 |        1
79.37/79.40	c 75.7s |       5 |   157715 |     1320 |    83521      0 |        1 |        1
86.78/86.90	c 83.2s |       5 |   166779 |     1420 |    83521      0 |        1 |        1
93.58/93.64	c 89.9s |       5 |   173616 |     1520 |    83521      0 |        1 |        1
99.27/99.33	c 95.6s |       5 |   181335 |     1620 |    83521      0 |        1 |        1
106.27/106.34	c  102s |       5 |   186258 |     1720 |    83521      0 |        1 |        1
111.77/111.89	c  108s |       5 |   191539 |     1820 |    83521      0 |        1 |        1
117.28/117.34	c  113s |       5 |   196617 |     1920 |    83521      0 |        1 |        1
121.97/122.05	c  118s |       5 |   201712 |     2020 |    83521      0 |        1 |        1
124.07/124.17	c  120s |       6 |   204706 |     2081 |    91874      0 |        1 |        1
128.57/128.68	c  124s |       6 |   209345 |     2181 |    91874      0 |        1 |        1
130.88/130.98	c  127s |       6 |   213893 |     2281 |    91874      0 |        1 |        1
148.16/148.23	c  144s |       6 |   216786 |     2381 |    91874      0 |        1 |        1
160.97/161.00	c  157s |       6 |   219246 |     2481 |    91874      0 |        1 |        1
196.15/196.24	c  192s |       6 |   220320 |     2581 |    91874      0 |        1 |        1
215.36/215.41	c  211s |       6 |   222505 |     2681 |    91874      0 |        1 |        1
246.65/246.71	c  243s |       6 |   223625 |     2781 |    91874      0 |        1 |        1
277.65/277.75	c  274s |       6 |   224724 |     2881 |    91874      0 |        1 |        1
321.44/321.56	c  317s |       6 |   225050 |     2981 |    91874      0 |        1 |        1
348.34/348.44	c  344s |       6 |   226533 |     3081 |    91874      0 |        1 |        1
355.35/355.48	c  351s |       6 |   229763 |     3181 |    91874      0 |        1 |        1
357.24/357.33	c  353s |       7 |   231236 |     3223 |   101062      0 |        1 |        1
370.53/370.62	c  366s |       7 |   247166 |     3423 |   101062      0 |        1 |        1
409.02/409.17	c  405s |       7 |   247996 |     3523 |   101062      0 |        1 |        1
456.62/456.76	c  453s |       7 |   248317 |     3623 |   101062      0 |        1 |        1
489.32/489.41	c  485s |       7 |   249083 |     3723 |   101062      0 |        1 |        1
532.71/532.89	c  529s |       7 |   249181 |     3823 |   101062      0 |        1 |        1
572.90/573.05	c  569s |       7 |   249658 |     3923 |   101062      0 |        1 |        1
613.81/613.92	c  610s |       7 |   249758 |     4023 |   101062      0 |        1 |        1
652.49/652.62	c  648s |       7 |   249859 |     4123 |   101062      0 |        1 |        1
694.09/694.25	c  690s |       7 |   249957 |     4223 |   101062      0 |        1 |        1
732.88/733.09	c  729s |       7 |   250060 |     4323 |   101062      0 |        1 |        1
771.57/771.76	c  768s |       7 |   250161 |     4423 |   101062      0 |        1 |        1
798.76/799.00	c  795s |       7 |   251058 |     4523 |   101062      0 |        1 |        1
804.96/805.18	c  801s |       7 |   255367 |     4623 |   101062      0 |        1 |        1
814.37/814.59	c  810s |       7 |   259936 |     4723 |   101062      0 |        1 |        1
844.26/844.44	c  840s |       7 |   260790 |     4823 |   101062      0 |        1 |        1
888.56/888.76	c  885s |       7 |   260888 |     4923 |   111169      0 |        1 |        1
894.26/894.42	c  890s |       8 |   260903 |     4936 |   111169      0 |        1 |        1
934.45/934.63	c  930s |       8 |   261114 |     5036 |   111169      0 |        1 |        1
972.95/973.19	c  969s |       8 |   261213 |     5136 |   111169      0 |        1 |        1
988.85/989.03	c  985s |       8 |   261770 |     5236 |   111169      0 |        1 |        1
1000.43/1000.60	c  996s |       8 |   265466 |     5336 |   111169      0 |        1 |        1
1006.93/1007.10	c 1003s |       8 |   272260 |     5436 |   111169      0 |        1 |        1
1014.74/1014.96	c 1011s |       8 |   274113 |     5536 |   111169      0 |        1 |        1
1022.43/1022.65	c 1018s |       8 |   279322 |     5636 |   111169      0 |        1 |        1
1032.24/1032.46	c 1028s |       8 |   281838 |     5736 |   111169      0 |        1 |        1
1050.34/1050.51	c 1046s |       8 |   281838 |     5836 |   111169      0 |        1 |        1
1073.43/1073.67	c 1069s |       8 |   282417 |     5936 |   111169      0 |        1 |        1
1098.42/1098.62	c 1094s |       8 |   282945 |     6036 |   111169      0 |        1 |        1
1124.52/1124.77	c 1121s |       8 |   283444 |     6136 |   111169      0 |        1 |        1
1148.81/1149.08	c 1145s |       8 |   284814 |     6236 |   111169      0 |        1 |        1
1179.30/1179.55	c 1175s |       8 |   285506 |     6336 |   111169      0 |        1 |        1
1204.41/1204.69	c 1200s |       8 |   286062 |     6436 |   111169      0 |        1 |        1
1211.01/1211.22	c 1207s |       8 |   292387 |     6536 |   111169      0 |        1 |        1
1218.79/1219.03	c 1215s |       8 |   294989 |     6636 |   111169      0 |        1 |        1
1228.00/1228.22	c 1224s |       8 |   299754 |     6736 |   111169      0 |        1 |        1
1237.49/1237.74	c 1234s |       8 |   301259 |     6836 |   111169      0 |        1 |        1
1254.29/1254.50	c 1250s |       8 |   301259 |     6936 |   111169      0 |        1 |        1
1280.19/1280.44	c 1276s |       8 |   301259 |     7036 |   111169      0 |        1 |        1
1314.77/1315.01	c 1311s |       8 |   301259 |     7136 |   111169      0 |        1 |        1
1329.56/1329.82	c 1326s |       8 |   304722 |     7236 |   111169      0 |        1 |        1
1349.16/1349.40	c 1345s |       8 |   304722 |     7336 |   111169      0 |        1 |        1
1369.15/1369.49	c 1365s |       8 |   304955 |     7436 |   111169      0 |        1 |        1
1379.64/1379.95	c 1376s |       9 |   304955 |     7506 |   122286      0 |        1 |        1
1394.24/1394.55	c 1390s |       9 |   313853 |     7606 |   122286      0 |        1 |        1
1424.73/1425.03	c 1421s |       9 |   315661 |     7706 |   122286      0 |        1 |        1
1455.82/1456.14	c 1452s |       9 |   315823 |     7806 |   122286      0 |        1 |        1
1489.71/1490.09	c 1486s |       9 |   316560 |     7906 |   122286      0 |        1 |        1
1523.91/1524.21	c 1520s |       9 |   317044 |     8006 |   122286      0 |        1 |        1
1555.30/1555.67	c 1551s |       9 |   317139 |     8106 |   122286      0 |        1 |        1
1588.80/1589.13	c 1585s |       9 |   317312 |     8206 |   122286      0 |        1 |        1
1615.10/1615.46	c 1611s |       9 |   317653 |     8306 |   122286      0 |        1 |        1
1623.59/1623.91	c 1620s |       9 |   322057 |     8406 |   122286      0 |        1 |        1
1632.10/1632.44	c 1628s |       9 |   327575 |     8506 |   122286      0 |        1 |        1
1662.49/1662.80	c 1659s |       9 |   328808 |     8606 |   122286      0 |        1 |        1
1694.38/1694.73	c 1691s |       9 |   328905 |     8706 |   122286      0 |        1 |        1
1727.18/1727.53	c 1723s |       9 |   329005 |     8806 |   122286      0 |        1 |        1
1759.78/1760.11	c 1756s |       9 |   329104 |     8906 |   122286      0 |        1 |        1
1787.07/1787.45	c 1783s |       9 |   329482 |     9006 |   122286      0 |        1 |        1

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

pid=15356
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.13 2.17 2.12 2/179 15359
/proc/meminfo: memFree=30078536/32872528 swapFree=681964/737152
[pid=15359] ppid=15356 vsize=808380 CPUtime=0 cores=0,2,4,6
/proc/15359/stat : 15359 (toysat) R 15356 15359 13233 0 -1 4202496 3035 0 0 0 0 0 0 0 20 0 4 0 29784047 827781120 2884 33554432000 4194304 16246674 140736824706064 140736824705488 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15359/statm: 202607 2892 441 2943 0 199501 0
[pid=15359/tid=15360] ppid=15356 vsize=825788 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15360/stat : 15360 (toysat) S 15356 15359 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29784047 845606912 2952 33554432000 4194304 16246674 140736824706064 139838876527856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15359/tid=15361] ppid=15356 vsize=830908 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15361/stat : 15361 (toysat) S 15356 15359 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29784047 850849792 2970 33554432000 4194304 16246674 140736824706064 139838866038000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15359/tid=15362] ppid=15356 vsize=833980 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15362/stat : 15362 (toysat) S 15356 15359 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29784047 853995520 2984 33554432000 4194304 16246674 140736824706064 139838855564464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.13 2.17 2.12 2/179 15359
/proc/meminfo: memFree=30078536/32872528 swapFree=681964/737152
[pid=15359] ppid=15356 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/15359/stat : 15359 (toysat) R 15356 15359 13233 0 -1 4202496 27363 0 0 0 6 3 0 0 20 0 4 0 29784047 1333334016 27151 33554432000 4194304 16246674 140736824706064 140736824705376 8056990 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15359/statm: 325521 27167 800 2943 0 322415 0
[pid=15359/tid=15360] ppid=15356 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15360/stat : 15360 (toysat) S 15356 15359 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29784047 1333334016 27179 33554432000 4194304 16246674 140736824706064 139838876527856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15359/tid=15361] ppid=15356 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15361/stat : 15361 (toysat) S 15356 15359 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29784047 1333334016 27190 33554432000 4194304 16246674 140736824706064 139838866038000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15359/tid=15362] ppid=15356 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15362/stat : 15362 (toysat) S 15356 15359 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29784047 1333334016 27201 33554432000 4194304 16246674 140736824706064 139838855564464 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) 1302084

[startup+0.200571 s]
/proc/loadavg: 2.13 2.17 2.12 2/179 15359
/proc/meminfo: memFree=30078536/32872528 swapFree=681964/737152
[pid=15359] ppid=15356 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/15359/stat : 15359 (toysat) R 15356 15359 13233 0 -1 4202496 43530 0 0 0 13 6 0 0 20 0 4 0 29784047 1344868352 43828 33554432000 4194304 16246674 140736824706064 140736824705376 7918818 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15359/statm: 328337 43828 801 2943 0 325231 0
[pid=15359/tid=15360] ppid=15356 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15360/stat : 15360 (toysat) S 15356 15359 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29784047 1344868352 43828 33554432000 4194304 16246674 140736824706064 139838876527856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15359/tid=15361] ppid=15356 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15361/stat : 15361 (toysat) S 15356 15359 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29784047 1344868352 43828 33554432000 4194304 16246674 140736824706064 139838866038000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15359/tid=15362] ppid=15356 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15362/stat : 15362 (toysat) S 15356 15359 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29784047 1344868352 43828 33554432000 4194304 16246674 140736824706064 139838855564464 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) 1313348

[startup+0.300496 s]
/proc/loadavg: 2.13 2.17 2.12 2/179 15359
/proc/meminfo: memFree=30078536/32872528 swapFree=681964/737152
[pid=15359] ppid=15356 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/15359/stat : 15359 (toysat) R 15356 15359 13233 0 -1 4202496 55370 0 0 0 21 8 0 0 20 0 4 0 29784047 1344868352 55668 33554432000 4194304 16246674 140736824706064 140736824687936 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15359/statm: 328337 55668 801 2943 0 325231 0
[pid=15359/tid=15360] ppid=15356 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15360/stat : 15360 (toysat) S 15356 15359 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29784047 1344868352 55668 33554432000 4194304 16246674 140736824706064 139838876527856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15359/tid=15361] ppid=15356 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15361/stat : 15361 (toysat) S 15356 15359 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29784047 1344868352 55668 33554432000 4194304 16246674 140736824706064 139838866038000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15359/tid=15362] ppid=15356 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15362/stat : 15362 (toysat) S 15356 15359 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29784047 1344868352 55668 33554432000 4194304 16246674 140736824706064 139838855564464 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) 1313348

[startup+0.70041 s]
/proc/loadavg: 2.13 2.17 2.12 2/179 15359
/proc/meminfo: memFree=30078536/32872528 swapFree=681964/737152
[pid=15359] ppid=15356 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/15359/stat : 15359 (toysat) R 15356 15359 13233 0 -1 4202496 60465 0 0 0 61 8 0 0 20 0 4 0 29784047 1344868352 60763 33554432000 4194304 16246674 140736824706064 140736824705376 12457395 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15359/statm: 328337 60763 838 2943 0 325231 0
[pid=15359/tid=15360] ppid=15356 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15360/stat : 15360 (toysat) S 15356 15359 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29784047 1344868352 60763 33554432000 4194304 16246674 140736824706064 139838876527856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15359/tid=15361] ppid=15356 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15361/stat : 15361 (toysat) S 15356 15359 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29784047 1344868352 60763 33554432000 4194304 16246674 140736824706064 139838866038000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15359/tid=15362] ppid=15356 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15362/stat : 15362 (toysat) S 15356 15359 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29784047 1344868352 60763 33554432000 4194304 16246674 140736824706064 139838855564464 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.50041 s]
/proc/loadavg: 2.13 2.17 2.12 3/183 15363
/proc/meminfo: memFree=29778964/32872528 swapFree=681964/737152
[pid=15359] ppid=15356 vsize=1321540 CPUtime=1.49 cores=0,2,4,6
/proc/15359/stat : 15359 (toysat) R 15356 15359 13233 0 -1 4202496 111415 0 0 0 134 15 0 0 20 0 4 0 29784047 1353256960 111713 33554432000 4194304 16246674 140736824706064 140736824687936 4224728 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15359/statm: 330385 111713 839 2943 0 327279 0
[pid=15359/tid=15360] ppid=15356 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15360/stat : 15360 (toysat) S 15356 15359 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29784047 1353256960 111713 33554432000 4194304 16246674 140736824706064 139838876527856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15359/tid=15361] ppid=15356 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15361/stat : 15361 (toysat) S 15356 15359 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29784047 1353256960 111713 33554432000 4194304 16246674 140736824706064 139838866038000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15359/tid=15362] ppid=15356 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15362/stat : 15362 (toysat) S 15356 15359 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29784047 1353256960 111713 33554432000 4194304 16246674 140736824706064 139838855564464 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) 1321540

[startup+3.10041 s]
/proc/loadavg: 2.13 2.17 2.12 3/183 15363
/proc/meminfo: memFree=29339260/32872528 swapFree=681964/737152
[pid=15359] ppid=15356 vsize=1330756 CPUtime=3.09 cores=0,2,4,6
/proc/15359/stat : 15359 (toysat) R 15356 15359 13233 0 -1 4202496 239046 0 0 0 276 33 0 0 20 0 4 0 29784047 1362694144 239344 33554432000 4194304 16246674 140736824706064 140736824687936 13898432 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15359/statm: 332689 239344 900 2943 0 329583 0
[pid=15359/tid=15360] ppid=15356 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15360/stat : 15360 (toysat) S 15356 15359 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29784047 1362694144 239344 33554432000 4194304 16246674 140736824706064 139838876527856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15359/tid=15361] ppid=15356 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15361/stat : 15361 (toysat) S 15356 15359 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29784047 1362694144 239344 33554432000 4194304 16246674 140736824706064 139838866038000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15359/tid=15362] ppid=15356 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15362/stat : 15362 (toysat) S 15356 15359 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29784047 1362694144 239344 33554432000 4194304 16246674 140736824706064 139838855564464 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) 1330756

[startup+6.30042 s]
/proc/loadavg: 2.12 2.17 2.12 4/183 15363
/proc/meminfo: memFree=29121920/32872528 swapFree=681964/737152
[pid=15359] ppid=15356 vsize=1330756 CPUtime=6.29 cores=0,2,4,6
/proc/15359/stat : 15359 (toysat) R 15356 15359 13233 0 -1 4202496 239065 0 0 0 596 33 0 0 20 0 4 0 29784047 1362694144 239363 33554432000 4194304 16246674 140736824706064 140736824687936 4225056 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15359/statm: 332689 239363 919 2943 0 329583 0
[pid=15359/tid=15360] ppid=15356 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15360/stat : 15360 (toysat) S 15356 15359 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29784047 1362694144 239363 33554432000 4194304 16246674 140736824706064 139838876527856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15359/tid=15361] ppid=15356 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15361/stat : 15361 (toysat) S 15356 15359 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29784047 1362694144 239363 33554432000 4194304 16246674 140736824706064 139838866038000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15359/tid=15362] ppid=15356 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15362/stat : 15362 (toysat) S 15356 15359 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29784047 1362694144 239363 33554432000 4194304 16246674 140736824706064 139838855564464 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) 1330756

[startup+12.7004 s]
/proc/loadavg: 2.11 2.16 2.11 3/183 15363
/proc/meminfo: memFree=29121324/32872528 swapFree=681964/737152
[pid=15359] ppid=15356 vsize=1331780 CPUtime=12.69 cores=0,2,4,6
/proc/15359/stat : 15359 (toysat) R 15356 15359 13233 0 -1 4202496 239321 0 0 0 1235 34 0 0 20 0 4 0 29784047 1363742720 239619 33554432000 4194304 16246674 140736824706064 140736824704000 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15359/statm: 332945 239619 919 2943 0 329839 0
[pid=15359/tid=15360] ppid=15356 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15360/stat : 15360 (toysat) S 15356 15359 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29784047 1363742720 239619 33554432000 4194304 16246674 140736824706064 139838876527856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15359/tid=15361] ppid=15356 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15361/stat : 15361 (toysat) S 15356 15359 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29784047 1363742720 239619 33554432000 4194304 16246674 140736824706064 139838866038000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15359/tid=15362] ppid=15356 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15362/stat : 15362 (toysat) S 15356 15359 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29784047 1363742720 239619 33554432000 4194304 16246674 140736824706064 139838855564464 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) 1331780

[startup+25.5005 s]
/proc/loadavg: 2.09 2.15 2.11 3/183 15363
/proc/meminfo: memFree=29121304/32872528 swapFree=681964/737152
[pid=15359] ppid=15356 vsize=1332804 CPUtime=25.49 cores=0,2,4,6
/proc/15359/stat : 15359 (toysat) R 15356 15359 13233 0 -1 4202496 239577 0 0 0 2515 34 0 0 20 0 4 0 29784047 1364791296 239875 33554432000 4194304 16246674 140736824706064 140736824705240 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15359/statm: 333201 239875 919 2943 0 330095 0
[pid=15359/tid=15360] ppid=15356 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15360/stat : 15360 (toysat) S 15356 15359 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29784047 1364791296 239875 33554432000 4194304 16246674 140736824706064 139838876527856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15359/tid=15361] ppid=15356 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15361/stat : 15361 (toysat) S 15356 15359 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29784047 1364791296 239875 33554432000 4194304 16246674 140736824706064 139838866038000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15359/tid=15362] ppid=15356 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15362/stat : 15362 (toysat) S 15356 15359 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29784047 1364791296 239875 33554432000 4194304 16246674 140736824706064 139838855564464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1332804

[startup+51.1005 s]
/proc/loadavg: 2.11 2.16 2.11 3/183 15363
/proc/meminfo: memFree=29120284/32872528 swapFree=681964/737152
[pid=15359] ppid=15356 vsize=1333828 CPUtime=51.09 cores=0,2,4,6
/proc/15359/stat : 15359 (toysat) R 15356 15359 13233 0 -1 4202496 239833 0 0 0 5074 35 0 0 20 0 4 0 29784047 1365839872 240131 33554432000 4194304 16246674 140736824706064 140736824703872 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15359/statm: 333457 240131 919 2943 0 330351 0
[pid=15359/tid=15360] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15360/stat : 15360 (toysat) S 15356 15359 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 240131 33554432000 4194304 16246674 140736824706064 139838876527856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15359/tid=15361] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15361/stat : 15361 (toysat) S 15356 15359 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 240131 33554432000 4194304 16246674 140736824706064 139838866038000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15359/tid=15362] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15362/stat : 15362 (toysat) S 15356 15359 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 240131 33554432000 4194304 16246674 140736824706064 139838855564464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1333828

[startup+102.301 s]
/proc/loadavg: 2.17 2.16 2.11 3/183 15364
/proc/meminfo: memFree=29119400/32872528 swapFree=681964/737152
[pid=15359] ppid=15356 vsize=1333828 CPUtime=102.28 cores=0,2,4,6
/proc/15359/stat : 15359 (toysat) R 15356 15359 13233 0 -1 4202496 239833 0 0 0 10192 36 0 0 20 0 4 0 29784047 1365839872 240131 33554432000 4194304 16246674 140736824706064 140736824703872 4208632 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15359/statm: 333457 240131 919 2943 0 330351 0
[pid=15359/tid=15360] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15360/stat : 15360 (toysat) S 15356 15359 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 240131 33554432000 4194304 16246674 140736824706064 139838876527856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15359/tid=15361] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15361/stat : 15361 (toysat) S 15356 15359 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 240131 33554432000 4194304 16246674 140736824706064 139838866038000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15359/tid=15362] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15362/stat : 15362 (toysat) S 15356 15359 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 240131 33554432000 4194304 16246674 140736824706064 139838855564464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1333828


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

/proc/15359/task/15362/stat : 15362 (toysat) S 15356 15359 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838855564464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1333828

[startup+1302.3 s]
/proc/loadavg: 2.21 2.20 2.14 3/183 15395
/proc/meminfo: memFree=28888368/32872528 swapFree=681964/737152
[pid=15359] ppid=15356 vsize=1333828 CPUtime=1302.08 cores=0,2,4,6
/proc/15359/stat : 15359 (toysat) R 15356 15359 13233 0 -1 4202496 239870 0 0 0 130132 76 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 140736824703872 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15359/statm: 333457 274722 919 2943 0 330351 0
[pid=15359/tid=15360] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15360/stat : 15360 (toysat) S 15356 15359 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838876527856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15359/tid=15361] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15361/stat : 15361 (toysat) S 15356 15359 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838866038000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15359/tid=15362] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15362/stat : 15362 (toysat) S 15356 15359 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838855564464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1333828

[startup+1362.3 s]
/proc/loadavg: 2.20 2.19 2.14 3/183 15397
/proc/meminfo: memFree=28888524/32872528 swapFree=681964/737152
[pid=15359] ppid=15356 vsize=1333828 CPUtime=1362.05 cores=0,2,4,6
/proc/15359/stat : 15359 (toysat) R 15356 15359 13233 0 -1 4202496 239892 0 0 0 136128 77 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 140736824687936 4220543 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15359/statm: 333457 274722 919 2943 0 330351 0
[pid=15359/tid=15360] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15360/stat : 15360 (toysat) S 15356 15359 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838876527856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15359/tid=15361] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15361/stat : 15361 (toysat) S 15356 15359 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838866038000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15359/tid=15362] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15362/stat : 15362 (toysat) S 15356 15359 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838855564464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1333828

[startup+1422.3 s]
/proc/loadavg: 2.18 2.18 2.13 3/183 15398
/proc/meminfo: memFree=28888676/32872528 swapFree=681964/737152
[pid=15359] ppid=15356 vsize=1333828 CPUtime=1422.04 cores=0,2,4,6
/proc/15359/stat : 15359 (toysat) R 15356 15359 13233 0 -1 4202496 239912 0 0 0 142125 79 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 140736824687936 4220489 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15359/statm: 333457 274722 919 2943 0 330351 0
[pid=15359/tid=15360] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15360/stat : 15360 (toysat) S 15356 15359 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838876527856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15359/tid=15361] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15361/stat : 15361 (toysat) S 15356 15359 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838866038000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15359/tid=15362] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15362/stat : 15362 (toysat) S 15356 15359 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838855564464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1333828

[startup+1482.3 s]
/proc/loadavg: 2.20 2.19 2.14 3/184 15402
/proc/meminfo: memFree=28889152/32872528 swapFree=681964/737152
[pid=15359] ppid=15356 vsize=1333828 CPUtime=1482.02 cores=0,2,4,6
/proc/15359/stat : 15359 (toysat) R 15356 15359 13233 0 -1 4202496 239926 0 0 0 148121 81 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 140736824687936 13898698 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15359/statm: 333457 274722 919 2943 0 330351 0
[pid=15359/tid=15360] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15360/stat : 15360 (toysat) S 15356 15359 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838876527856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15359/tid=15361] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15361/stat : 15361 (toysat) S 15356 15359 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838866038000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15359/tid=15362] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15362/stat : 15362 (toysat) S 15356 15359 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838855564464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 1333828

[startup+1542.31 s]
/proc/loadavg: 2.13 2.17 2.13 3/183 15403
/proc/meminfo: memFree=28888536/32872528 swapFree=681964/737152
[pid=15359] ppid=15356 vsize=1333828 CPUtime=1542.01 cores=0,2,4,6
/proc/15359/stat : 15359 (toysat) R 15356 15359 13233 0 -1 4202496 239926 0 0 0 154119 82 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 140736824705160 12478272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15359/statm: 333457 274722 919 2943 0 330351 0
[pid=15359/tid=15360] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15360/stat : 15360 (toysat) S 15356 15359 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838876527856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15359/tid=15361] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15361/stat : 15361 (toysat) S 15356 15359 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838866038000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15359/tid=15362] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15362/stat : 15362 (toysat) S 15356 15359 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838855564464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 1333828

[startup+1602.3 s]
/proc/loadavg: 2.14 2.17 2.13 3/183 15404
/proc/meminfo: memFree=28888536/32872528 swapFree=681964/737152
[pid=15359] ppid=15356 vsize=1333828 CPUtime=1602 cores=0,2,4,6
/proc/15359/stat : 15359 (toysat) R 15356 15359 13233 0 -1 4202496 239926 0 0 0 160117 83 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 140736824705160 4220495 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15359/statm: 333457 274722 919 2943 0 330351 0
[pid=15359/tid=15360] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15360/stat : 15360 (toysat) S 15356 15359 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838876527856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15359/tid=15361] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15361/stat : 15361 (toysat) S 15356 15359 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838866038000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15359/tid=15362] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15362/stat : 15362 (toysat) S 15356 15359 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838855564464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 1333828

[startup+1662.3 s]
/proc/loadavg: 2.15 2.16 2.13 3/183 15455
/proc/meminfo: memFree=28978200/32872528 swapFree=681964/737152
[pid=15359] ppid=15356 vsize=1333828 CPUtime=1661.99 cores=0,2,4,6
/proc/15359/stat : 15359 (toysat) R 15356 15359 13233 0 -1 4202496 239926 0 0 0 166113 86 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 140736824705240 4220850 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15359/statm: 333457 274722 919 2943 0 330351 0
[pid=15359/tid=15360] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15360/stat : 15360 (toysat) S 15356 15359 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838876527856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15359/tid=15361] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15361/stat : 15361 (toysat) S 15356 15359 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838866038000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15359/tid=15362] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15362/stat : 15362 (toysat) S 15356 15359 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838855564464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 1333828

[startup+1722.3 s]
/proc/loadavg: 2.11 2.15 2.12 3/183 15456
/proc/meminfo: memFree=28973816/32872528 swapFree=681964/737152
[pid=15359] ppid=15356 vsize=1333828 CPUtime=1721.98 cores=0,2,4,6
/proc/15359/stat : 15359 (toysat) R 15356 15359 13233 0 -1 4202496 239926 0 0 0 172110 88 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 140736824704000 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15359/statm: 333457 274722 919 2943 0 330351 0
[pid=15359/tid=15360] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15360/stat : 15360 (toysat) S 15356 15359 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838876527856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15359/tid=15361] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15361/stat : 15361 (toysat) S 15356 15359 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838866038000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15359/tid=15362] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15362/stat : 15362 (toysat) S 15356 15359 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838855564464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 1333828

[startup+1782.3 s]
/proc/loadavg: 2.08 2.13 2.12 3/183 15457
/proc/meminfo: memFree=28973576/32872528 swapFree=681964/737152
[pid=15359] ppid=15356 vsize=1333828 CPUtime=1781.97 cores=0,2,4,6
/proc/15359/stat : 15359 (toysat) R 15356 15359 13233 0 -1 4202496 239926 0 0 0 178107 90 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 140736824703872 4225128 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15359/statm: 333457 274722 919 2943 0 330351 0
[pid=15359/tid=15360] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15360/stat : 15360 (toysat) S 15356 15359 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838876527856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15359/tid=15361] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15361/stat : 15361 (toysat) S 15356 15359 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838866038000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15359/tid=15362] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15362/stat : 15362 (toysat) S 15356 15359 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838855564464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 1333828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.12 2.14 2.12 3/183 15457
/proc/meminfo: memFree=28973452/32872528 swapFree=681964/737152
[pid=15359] ppid=15356 vsize=1333828 CPUtime=1800.07 cores=0,2,4,6
/proc/15359/stat : 15359 (toysat) R 15356 15359 13233 0 -1 4202496 239926 0 0 0 179916 91 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 140736824703872 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15359/statm: 333457 274722 919 2943 0 330351 0
[pid=15359/tid=15360] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15360/stat : 15360 (toysat) S 15356 15359 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838876527856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15359/tid=15361] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15361/stat : 15361 (toysat) S 15356 15359 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838866038000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15359/tid=15362] ppid=15356 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/15359/task/15362/stat : 15362 (toysat) S 15356 15359 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29784047 1365839872 274722 33554432000 4194304 16246674 140736824706064 139838855564464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1333828

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1799.17
CPU system time (s): 0.912861
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 1333828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.17
system time used= 0.912861
maximum resident set size= 1098888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239926
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= 109
involuntary context switches= 1844

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4673 second user time and 17.8293 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 21:15:48
IDJOB=4106760
IDBENCH=48236
IDSOLVER=2542
FILE ID=node112/4106760-1466277348
RUNJOBID= node112-1466264161-13249
PBS_JOBID= 19918218
Free space on /tmp= 71696 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_60_5.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106760-1466277348/watcher-4106760-1466277348 -o /tmp/evaluation-result-4106760-1466277348/solver-4106760-1466277348 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13249 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106760-1466277348.opb

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

MD5SUM BENCH= c7b55c33bf2dc9c08660966375c6138a
RANDOM SEED=179911059

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30078808 kB
Buffers:           78180 kB
Cached:           161432 kB
SwapCached:         2028 kB
Active:          1175664 kB
Inactive:         144244 kB
Active(anon):    1080336 kB
Inactive(anon):     2096 kB
Active(file):      95328 kB
Inactive(file):   142148 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096744 kB
Dirty:             18264 kB
Writeback:             0 kB
AnonPages:       1904204 kB
Mapped:            10936 kB
Shmem:                 0 kB
Slab:             602592 kB
SReclaimable:      46408 kB
SUnreclaim:       556184 kB
KernelStack:        1520 kB
PageTables:         7716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1962408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    143360 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 node112 at 2016-06-18 21:45:49