Trace number 4107174

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.2 1800.62

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__64.opb
MD5SUM3935acb679af0610bc9865152c63d37a
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1453208
Best CPU time to get the best result obtained on this benchmark1800.71
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables320998
Total number of constraints6000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)5002
Number of constraints which are nor clauses,nor cardinality constraints998
Minimum length of a constraint64
Maximum length of a constraint2625
Number of terms in the objective function 320000
Biggest coefficient in the objective function 122979
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 10990708032
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 122979
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 10990708032
Number of bits of the biggest sum of numbers34
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T23:06:34+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-4107174-1466283993.opb"]
0.00/0.01	c use --random-gen="2599297634 509934321 1747080369 3728033790 4271281291 982047017 1128676916 2915081156 992393343 1729080181 851949430 4154221844 3833140710 3016413213 1885254178 1852140512 1739247367 857116668 3034495742 489141939 3757994828 925340729 988385236 974352987 2360808846 1406381961 2546130945 12495320 212017492 1202028205 1687140635 4124406558 495390035 1088702760 3058806352 1185464994 758399119 144034202 2808015958 2178695228 3433683622 2219589080 2676565200 1426864604 3645316150 3255322215 3869628461 225483624 1515846347 502838804 804646532 2668288342 468481925 1921639214 235202304 3917844635 1125993631 3873598501 1121853695 9435415 1440200238 2829814636 1443553057 2987570246 2827992294 1855602616 2172034307 3606335036 2171811048 2098765106 2264673211 3127728636 507608552 2617807485 2044629554 3573217296 728189446 2072557135 3950658372 2779830934 1486007077 1374094600 921421601 3717391732 3464696867 3663859302 859865771 354008409 4204431144 3925555866 592903673 3981246455 3216900978 56366360 3861123811 4244295182 2812725284 1044414661 2575576430 4135681581 3760378615 1457018923 4022008396 2973793084 184091964 1787763548 3786245357 2064017529 1727402980 3648066884 848167337 1309699152 372082714 1629588110 4283980398 2029848680 1183356899 3744644662 1147388304 688153806 487509191 2793209184 3976333217 2744590057 58370940 3619477977 377704091 1857376161 543683341 2831067122 545748249 3556166457 3920568569 2762206908 3770829738 4197249564 3872541830 3983588096 1293230555 593452317 211033522 1511845502 4071897939 2345637767 3113652195 2707089883 2371735199 1246148808 2824946996 1974151633 1387202335 2084881558 2615725689 812417736 636452244 15762150 2646568900 3471482888 578162418 189543970 375153459 1302353116 1637940431 3665683148 4078495045 1627312444 4096441440 3593098605 3789510027 2749009143 1097930832 656997066 1004541131 3415266231 2309132582 2657042519 2527100116 3406000234 1446550000 3376242268 685796976 516579305 33513655 3220573569 1715588245 3876589157 272089994 3320053507 664291354 811318736 4043747166 1887769898 1303965722 1016018285 2493272086 257942255 1805436151 3832946451 1895737913 2493915428 3322254133 2039326164 3108744986 2401609537 461427854 1487491605 3234515273 855641365 3596358587 598843190 1091945346 2875760215 1279016118 3742679726 4057139222 2531238791 2417226315 3954448551 1764664405 3127660888 4142932416 286182711 2968582929 3647998802 3561078836 3365345436 827458995 930196463 1184829113 1105833428 3171858636 3770110635 1024147234 463584806 1615158977 1902263334 1878048072 1805022864 3174456591 2402869095 1494545121 3945417883 1320626372 3693984916 2839811854 1206310205 1499848674 310072294 3873051818 1636685006 4253385319 2069390265 2626081315 3253591392 1077017126 2284357731 255 362436" option to reproduce the execution
2.08/2.16	c #vars 320998
2.08/2.16	c #constraints 6000
7.59/7.62	c BCD2: Hardening is enabled.
7.59/7.62	c BCD2: BiasedSearch is enabled.
7.59/7.62	c Solving starts ...
7.59/7.62	c ============================[ Search Statistics ]============================
7.59/7.62	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
7.59/7.62	c       |         |          |          |    Limit     GC | Var      | Constra 
7.59/7.62	c =============================================================================
7.59/7.68	c  0.0s |       0 |        0 |        0 |   109332      0 |        0 |        0
8.69/8.75	c  1.1s |       1 |     2401 |      100 |   109332      0 |        0 |        0
10.39/10.43	c  2.7s |       2 |    22478 |      250 |   120266      0 |        0 |        0
12.69/12.73	c  5.0s |       3 |    56778 |      475 |   132293      0 |        0 |        0
14.79/14.84	c  7.2s |       3 |   107203 |      775 |   145523      0 |        0 |        0
15.29/15.33	c  7.7s |       4 |   113035 |      813 |   145523      0 |        0 |        0
17.39/17.47	c  9.8s |       4 |   184090 |     1013 |   160076      0 |        0 |        0
20.38/20.40	c 12.7s |       4 |   204181 |     1313 |   160076      0 |        0 |        0
20.58/20.69	c 13.0s |       5 |   204763 |     1320 |   160076      0 |        0 |        0
24.29/24.39	c 16.7s |       5 |   278975 |     1520 |   176084      0 |        0 |        0
26.39/26.49	c 18.8s |       5 |   324743 |     1720 |   176084      0 |        0 |        0
28.69/28.73	c 21.1s |       5 |   331329 |     2020 |   176084      0 |        0 |        0
29.88/29.95	c 22.3s |       6 |   331401 |     2081 |   193693      0 |        0 |        0
32.38/32.45	c 24.8s |       6 |   448387 |     2381 |   193693      0 |        0 |        0
34.98/35.04	c 27.4s |       6 |   453092 |     2581 |   193693      0 |        0 |        0
38.28/38.31	c 30.6s |       6 |   453469 |     2781 |   193693      0 |        0 |        0
41.38/41.46	c 33.8s |       6 |   453853 |     2981 |   193693      0 |        0 |        0
44.48/44.57	c 36.9s |       6 |   456696 |     3181 |   193693      0 |        0 |        0
45.18/45.29	c 37.6s |       7 |   457627 |     3223 |   213063      0 |        0 |        0
48.38/48.49	c 40.8s |       7 |   596352 |     3423 |   213063      0 |        0 |        0
50.68/50.74	c 43.1s |       7 |   600539 |     3723 |   213063      0 |        0 |        0
52.88/53.00	c 45.3s |       7 |   607414 |     4123 |   213063      0 |        0 |        0
55.18/55.22	c 47.5s |       7 |   618411 |     4423 |   213063      0 |        0 |        0
57.19/57.29	c 49.6s |       7 |   624303 |     4623 |   213063      0 |        0 |        0
59.59/59.66	c 52.0s |       8 |   637274 |     4936 |   234370      0 |        0 |        0
61.59/61.66	c 54.0s |       8 |   773161 |     5036 |   234370      0 |        0 |        0
64.08/64.18	c 56.5s |       8 |   776117 |     5436 |   234370      0 |        0 |        0
66.98/67.09	c 59.4s |       8 |   792390 |     5836 |   234370      0 |        0 |        0
69.58/69.61	c 61.9s |       8 |   793032 |     6036 |   234370      0 |        0 |        0
73.07/73.11	c 65.4s |       8 |   793855 |     6236 |   234370      0 |        0 |        0
75.08/75.14	c 67.5s |       8 |   800689 |     6536 |   234370      0 |        0 |        0
77.28/77.37	c 69.7s |       8 |   808494 |     6836 |   234370      0 |        0 |        0
80.39/80.44	c 72.8s |       8 |   812747 |     7136 |   234370      0 |        0 |        0
82.59/82.64	c 75.0s |       8 |   831610 |     7436 |   234370      0 |        0 |        0
83.48/83.52	c 75.8s |       9 |   831722 |     7506 |   257808      0 |        0 |        0
86.08/86.12	c 78.4s |       9 |   968102 |     7606 |   257808      0 |        0 |        0
88.08/88.19	c 80.5s |       9 |   970926 |     7806 |   257808      0 |        0 |        0
88.58/88.67	c 81.0s |       9 |   974329 |     7816 |   257808      0 |        0 |        0
88.58/88.67	c #cpu_time = 80.611s
88.58/88.67	c #wall_clock_time = 80.608s
88.58/88.67	c #decision = 974329
88.58/88.67	c #random_decision = 3062
88.58/88.67	c #conflict = 7816
88.58/88.67	c #restart = 9
88.58/88.68	o 34576263
89.28/89.35	c BCD2: updating upper bound: 10990708032 -> 34576262
91.87/91.91	c BCD2: 0 <= obj <= 34576262
91.87/91.94	c BCD2: #cores=0, #unrelaxed=320000, #relaxed=0, #hardened=0
91.87/91.94	c BCD2: #sat=1 #unsat=1 bias=1/2
91.87/91.96	c Solving starts ...
91.87/91.96	c ============================[ Search Statistics ]============================
91.87/91.96	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
91.87/91.96	c       |         |          |          |    Limit     GC | Var      | Constra 
91.87/91.96	c =============================================================================
91.87/91.96	c  0.0s |       0 |        0 |        0 |   257808      0 |        0 |        0
92.67/92.78	c  0.8s |       0 |    76246 |        0 |   257808      0 |        0 |        0
92.67/92.78	c #cpu_time = 0.769s
92.67/92.78	c #wall_clock_time = 0.769s
92.67/92.78	c #decision = 76246
92.67/92.78	c #random_decision = 0
92.67/92.78	c #conflict = 0
92.67/92.78	c #restart = 0
92.67/92.79	c BCD2: found a new core of size 384: cost of the new core is >=6052
92.67/92.79	c lower bound updated to 6052
92.87/92.97	c BCD2: 6052 <= obj <= 34576262
92.87/92.97	c BCD2: #cores=1, #unrelaxed=319616, #relaxed=384, #hardened=0
92.87/92.97	c BCD2: #sat=1 #unsat=2 bias=2/3
661.99/662.16	c Solving starts ...
661.99/662.16	c ============================[ Search Statistics ]============================
661.99/662.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
661.99/662.16	c       |         |          |          |    Limit     GC | Var      | Constra 
661.99/662.16	c =============================================================================
661.99/662.16	c  0.0s |       0 |        0 |        0 |   257808      0 |        0 |        1
663.19/663.32	c  1.2s |       0 |   202428 |        0 |   257808      0 |        0 |        1
663.19/663.32	c #cpu_time = 1.023s
663.19/663.32	c #wall_clock_time = 1.023s
663.19/663.32	c #decision = 202428
663.19/663.32	c #random_decision = 0
663.19/663.32	c #conflict = 0
663.19/663.32	c #restart = 0
663.19/663.32	c BCD2: found a new core of size 448: cost of the new core is >=9641
663.19/663.32	c lower bound updated to 15693
663.39/663.53	c BCD2: 15693 <= obj <= 34576262
663.39/663.53	c BCD2: #cores=2, #unrelaxed=319168, #relaxed=832, #hardened=0
663.39/663.53	c BCD2: #sat=1 #unsat=3 bias=3/4
663.59/663.72	c Solving starts ...
663.59/663.72	c ============================[ Search Statistics ]============================
663.59/663.72	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
663.59/663.72	c       |         |          |          |    Limit     GC | Var      | Constra 
663.59/663.72	c =============================================================================
663.59/663.72	c  0.0s |       0 |        0 |        0 |   257808      0 |        0 |        2
665.99/666.19	c  2.5s |       0 |   593052 |      100 |   257808      0 |        0 |        2
666.29/666.49	c  2.8s |       1 |   593052 |      100 |   257808      0 |        0 |        2
668.28/668.45	c  4.7s |       2 |  1021945 |      250 |   257808      0 |        0 |        2
670.79/670.91	c  7.2s |       2 |  1809205 |      350 |   257808      0 |        0 |        2
671.39/671.55	c  7.8s |       3 |  1823003 |      475 |   257808      0 |        0 |        2
673.88/674.07	c 10.3s |       3 |  2168798 |      575 |   257808      0 |        0 |        2
674.38/674.58	c 10.9s |       3 |  2182699 |      657 |   257808      0 |        0 |        2
674.38/674.58	c #cpu_time = 10.673s
674.38/674.58	c #wall_clock_time = 10.672s
674.38/674.58	c #decision = 2182699
674.38/674.58	c #random_decision = 0
674.38/674.58	c #conflict = 657
674.38/674.58	c #restart = 3
674.48/674.63	c BCD2: relaxing 4605 and merging with 1 cores into a new core of size 4989: cost of the new core is >=9240
674.48/674.63	c lower bound updated to 18881
674.68/674.80	c BCD2: 18881 <= obj <= 34576262
674.68/674.80	c BCD2: #cores=2, #unrelaxed=314563, #relaxed=5437, #hardened=0
674.68/674.80	c BCD2: #sat=1 #unsat=4 bias=4/5
789.46/789.65	c Solving starts ...
789.46/789.65	c ============================[ Search Statistics ]============================
789.46/789.65	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
789.46/789.65	c       |         |          |          |    Limit     GC | Var      | Constra 
789.46/789.65	c =============================================================================
789.46/789.65	c  0.0s |       0 |        0 |        0 |   257808      0 |        2 |        2
791.36/791.57	c  1.9s |       1 |   324299 |      100 |   257808      0 |        2 |        5
793.46/793.64	c  4.0s |       1 |   833170 |      200 |   257808      0 |        2 |        5
793.86/794.06	c  4.4s |       2 |   833324 |      250 |   257808      0 |        2 |        5
796.67/796.81	c  7.2s |       2 |  1148004 |      450 |   257808      0 |        2 |        5
797.47/797.61	c  8.0s |       3 |  1292465 |      475 |   257808      0 |        2 |        5
799.96/800.14	c 10.5s |       3 |  1796670 |      575 |   257808      0 |        2 |        5
802.36/802.53	c 12.9s |       3 |  1798067 |      775 |   257808      0 |        2 |        5
802.87/803.04	c 13.4s |       4 |  1798287 |      813 |   257808      0 |        2 |        5
805.46/805.67	c 16.0s |       4 |  2112517 |      913 |   257808      0 |        2 |        5
808.86/809.02	c 19.4s |       4 |  2114336 |     1213 |   257808      0 |        2 |        5
809.96/810.18	c 20.5s |       5 |  2114508 |     1320 |   257808      0 |        2 |        5
812.66/812.88	c 23.2s |       5 |  2429339 |     1420 |   257808      0 |        2 |        5
815.66/815.82	c 26.2s |       5 |  2429699 |     1620 |   257808      0 |        2 |        5
818.45/818.61	c 29.0s |       5 |  2633554 |     1920 |   257808      0 |        2 |        5
818.96/819.19	c 29.5s |       6 |  2636989 |     2081 |   257808      0 |        2 |        5
821.26/821.42	c 31.8s |       6 |  2950824 |     2181 |   257808      0 |        2 |        5
823.76/824.00	c 34.3s |       6 |  2956091 |     2781 |   257808      0 |        2 |        5
826.96/827.10	c 37.4s |       6 |  2956919 |     2981 |   283589      0 |        2 |        5
829.55/829.76	c 40.1s |       7 |  2958437 |     3223 |   283589      0 |        2 |        5
832.56/832.73	c 43.1s |       7 |  3273044 |     3323 |   283589      0 |        2 |        5
834.55/834.77	c 45.1s |       7 |  3536494 |     3723 |   283589      0 |        2 |        5
837.25/837.49	c 47.8s |       7 |  4117857 |     4323 |   283589      0 |        2 |        5
839.85/840.02	c 50.4s |       7 |  4506753 |     4823 |   283589      0 |        2 |        5
840.36/840.55	c 50.9s |       8 |  4507193 |     4936 |   283589      0 |        2 |        5
844.15/844.32	c 54.7s |       8 |  5120843 |     5036 |   283589      0 |        2 |        5
846.54/846.74	c 57.1s |       8 |  5188683 |     5336 |   283589      0 |        2 |        5
849.45/849.61	c 60.0s |       8 |  5192333 |     6136 |   283589      0 |        2 |        5
853.15/853.39	c 63.7s |       8 |  5429166 |     6336 |   283589      0 |        2 |        5
855.44/855.60	c 65.9s |       8 |  5461844 |     6436 |   283589      0 |        2 |        5
858.44/858.66	c 69.0s |       8 |  5462257 |     6636 |   283589      0 |        2 |        5
861.34/861.53	c 71.9s |       8 |  5462503 |     6736 |   283589      0 |        2 |        5
863.74/863.99	c 74.3s |       8 |  5462689 |     6836 |   283589      0 |        2 |        5
866.44/866.68	c 77.0s |       8 |  5771269 |     6936 |   283589      0 |        2 |        5
869.85/870.09	c 80.4s |       8 |  5771805 |     7136 |   283589      0 |        2 |        5
873.14/873.31	c 83.7s |       8 |  6023220 |     7236 |   283589      0 |        2 |        5
875.64/875.83	c 86.2s |       9 |  6024180 |     7506 |   283589      0 |        2 |        5
880.34/880.57	c 90.9s |       9 |  6387780 |     7606 |   283589      0 |        2 |        5
882.75/882.97	c 93.3s |       9 |  6589921 |     7806 |   283589      0 |        2 |        5
884.74/884.98	c 95.3s |       9 |  6831846 |     8006 |   283589      0 |        2 |        5
887.95/888.14	c 98.5s |       9 |  6886228 |     8106 |   283589      0 |        2 |        5
890.65/890.81	c  101s |       9 |  7003996 |     8206 |   283589      0 |        2 |        5
893.84/894.00	c  104s |       9 |  7004360 |     8306 |   283589      0 |        2 |        5
897.34/897.50	c  107s |       9 |  7005033 |     8406 |   283589      0 |        2 |        5
900.64/900.81	c  111s |       9 |  7006403 |     8806 |   311948      0 |        2 |        5
904.94/905.19	c  115s |       9 |  7007027 |     9006 |   311948      0 |        2 |        5
909.14/909.36	c  119s |       9 |  7292986 |     9106 |   311948      0 |        2 |        5
911.85/912.04	c  122s |       9 |  7414715 |     9206 |   311948      0 |        2 |        5
915.54/915.70	c  126s |       9 |  7532273 |     9306 |   311948      0 |        2 |        5
919.84/920.06	c  130s |       9 |  7769781 |     9406 |   311948      0 |        2 |        5
923.43/923.68	c  134s |       9 |  7936944 |     9506 |   311948      0 |        2 |        5
926.24/926.44	c  136s |       9 |  8012181 |     9606 |   311948      0 |        2 |        5
928.34/928.53	c  138s |       9 |  8013053 |     9906 |   311948      0 |        2 |        5
930.44/930.63	c  140s |       9 |  8214615 |    10106 |   311948      0 |        2 |        5
933.43/933.61	c  143s |       9 |  8298504 |    10206 |   311948      0 |        2 |        5
935.94/936.16	c  146s |       9 |  8526172 |    10306 |   311948      0 |        2 |        5
938.24/938.46	c  148s |       9 |  8576185 |    10506 |   311948      0 |        2 |        5
942.13/942.34	c  152s |       9 |  8888859 |    10806 |   311948      0 |        2 |        5
946.04/946.21	c  156s |       9 |  9257447 |    10906 |   311948      0 |        2 |        5
951.24/951.47	c  161s |       9 |  9678903 |    11206 |   311948      0 |        2 |        5
953.04/953.26	c  163s |      10 |  9679319 |    11361 |   311948      0 |        2 |        5
960.63/960.85	c  171s |      10 |  9993480 |    11461 |   311948      0 |        2 |        5
963.13/963.30	c  173s |      10 |  9998175 |    11661 |   311948      0 |        2 |        5
965.83/966.02	c  176s |      10 | 10445316 |    11861 |   311948      0 |        2 |        5
968.13/968.31	c  178s |      10 | 10446421 |    12261 |   311948      0 |        2 |        5
970.73/970.95	c  181s |      10 | 10447046 |    12461 |   311948      0 |        2 |        5
974.33/974.50	c  184s |      10 | 10447857 |    12761 |   311948      0 |        2 |        5
976.53/976.73	c  187s |      10 | 10606348 |    12961 |   311948      0 |        2 |        5
979.23/979.43	c  189s |      10 | 10606567 |    13161 |   311948      0 |        2 |        5
981.53/981.73	c  192s |      10 | 10935452 |    13261 |   311948      0 |        2 |        5
983.53/983.74	c  194s |      10 | 11062266 |    13361 |   311948      0 |        2 |        5
985.62/985.82	c  196s |      10 | 11195819 |    13561 |   311948      0 |        2 |        5
987.63/987.84	c  198s |      10 | 11196017 |    13661 |   311948      0 |        2 |        5
990.13/990.36	c  200s |      10 | 11196666 |    13861 |   311948      0 |        2 |        5
992.63/992.83	c  203s |      10 | 11197133 |    13961 |   311948      0 |        2 |        5
994.62/994.85	c  205s |      10 | 11197563 |    14061 |   311948      0 |        2 |        5
997.72/997.94	c  208s |      10 | 11197896 |    14161 |   311948      0 |        2 |        5
1000.22/1000.40	c  210s |      10 | 11198273 |    14261 |   311948      0 |        2 |        5
1003.63/1003.80	c  214s |      10 | 11198778 |    14361 |   311948      0 |        2 |        5
1005.82/1006.06	c  216s |      10 | 11199571 |    14461 |   311948      0 |        2 |        5
1008.63/1008.87	c  219s |      10 | 11200313 |    14661 |   311948      0 |        2 |        5
1012.22/1012.48	c  222s |      10 | 11488933 |    14961 |   311948      0 |        2 |        5
1015.63/1015.86	c  226s |      10 | 11489297 |    15061 |   311948      0 |        2 |        5
1018.32/1018.59	c  228s |      10 | 11489416 |    15161 |   311948      0 |        2 |        5
1021.52/1021.75	c  232s |      10 | 11489637 |    15261 |   311948      0 |        2 |        5
1024.12/1024.33	c  234s |      10 | 11489996 |    15361 |   311948      0 |        2 |        5
1027.32/1027.56	c  237s |      10 | 11490125 |    15461 |   311948      0 |        2 |        5
1029.62/1029.84	c  240s |      10 | 11716075 |    15661 |   311948      0 |        2 |        5
1032.02/1032.28	c  242s |      10 | 12105142 |    15861 |   311948      0 |        2 |        5
1035.12/1035.35	c  245s |      10 | 12458257 |    15961 |   311948      0 |        2 |        5
1039.92/1040.11	c  250s |      10 | 12458997 |    16161 |   311948      0 |        2 |        5
1043.83/1044.05	c  254s |      10 | 12459098 |    16261 |   311948      0 |        2 |        5
1046.22/1046.44	c  256s |      10 | 12460116 |    16361 |   311948      0 |        2 |        5
1049.82/1050.09	c  260s |      10 | 12460279 |    16461 |   311948      0 |        2 |        5
1053.92/1054.15	c  264s |      10 | 12460431 |    16561 |   311948      0 |        2 |        5
1057.72/1057.94	c  268s |      10 | 12460587 |    16661 |   311948      0 |        2 |        5
1060.52/1060.71	c  271s |      10 | 12606271 |    16761 |   311948      0 |        2 |        5
1063.32/1063.59	c  273s |      10 | 12717905 |    16961 |   311948      0 |        2 |        5
1066.01/1066.25	c  276s |      11 | 12719278 |    17144 |   311948      0 |        2 |        5
1077.82/1078.03	c  288s |      11 | 13234702 |    17244 |   343143      0 |        2 |        5
1082.51/1082.76	c  293s |      11 | 13240258 |    17544 |   343143      0 |        2 |        5
1084.91/1085.14	c  295s |      11 | 13240483 |    17644 |   343143      0 |        2 |        5
1088.31/1088.54	c  298s |      11 | 13240714 |    17744 |   343143      0 |        2 |        5
1090.81/1091.02	c  301s |      11 | 13240907 |    17844 |   343143      0 |        2 |        5
1094.21/1094.40	c  304s |      11 | 13241080 |    17944 |   343143      0 |        2 |        5
1097.11/1097.37	c  307s |      11 | 13372931 |    18044 |   343143      0 |        2 |        5
1100.20/1100.44	c  310s |      11 | 13373089 |    18144 |   343143      0 |        2 |        5
1102.50/1102.76	c  313s |      11 | 13374158 |    18344 |   343143      0 |        2 |        5
1105.91/1106.11	c  316s |      11 | 13576448 |    18644 |   343143      0 |        2 |        5
1109.00/1109.22	c  319s |      11 | 13698406 |    18744 |   343143      0 |        2 |        5
1111.70/1111.98	c  322s |      11 | 13703707 |    18944 |   343143      0 |        2 |        5
1115.10/1115.31	c  325s |      11 | 13778771 |    19144 |   343143      0 |        2 |        5
1118.20/1118.43	c  328s |      11 | 14015061 |    19244 |   343143      0 |        2 |        5
1121.91/1122.14	c  332s |      11 | 14094275 |    19344 |   343143      0 |        2 |        5
1125.11/1125.39	c  335s |      11 | 14211975 |    19644 |   343143      0 |        2 |        5
1130.40/1130.62	c  340s |      11 | 14216749 |    19844 |   343143      0 |        2 |        5
1134.00/1134.26	c  344s |      11 | 14246782 |    19944 |   343143      0 |        2 |        5
1136.21/1136.46	c  346s |      11 | 14521595 |    20044 |   343143      0 |        2 |        5
1138.59/1138.88	c  349s |      11 | 15083524 |    20344 |   343143      0 |        2 |        5
1140.70/1140.95	c  351s |      11 | 15447880 |    20744 |   343143      0 |        2 |        5
1142.80/1143.01	c  353s |      11 | 15662906 |    21044 |   343143      0 |        2 |        5
1145.20/1145.40	c  355s |      11 | 15663866 |    21344 |   343143      0 |        2 |        5
1147.50/1147.71	c  358s |      11 | 15664600 |    21544 |   343143      0 |        2 |        5
1149.80/1150.08	c  360s |      11 | 15667452 |    21944 |   343143      0 |        2 |        5
1152.29/1152.53	c  362s |      11 | 15670027 |    22344 |   343143      0 |        2 |        5
1154.69/1154.90	c  365s |      11 | 15671070 |    22544 |   343143      0 |        2 |        5
1156.89/1157.20	c  367s |      11 | 15671650 |    22744 |   343143      0 |        2 |        5
1159.59/1159.84	c  370s |      11 | 15800745 |    23044 |   343143      0 |        2 |        5
1162.39/1162.70	c  373s |      11 | 15801558 |    23244 |   343143      0 |        2 |        5
1165.69/1165.90	c  376s |      11 | 15802042 |    23444 |   343143      0 |        2 |        5
1167.89/1168.17	c  378s |      11 | 15802364 |    23544 |   343143      0 |        2 |        5
1170.49/1170.78	c  381s |      11 | 15806963 |    23744 |   343143      0 |        2 |        5
1175.09/1175.33	c  385s |      11 | 15807710 |    23944 |   343143      0 |        2 |        5
1178.39/1178.63	c  388s |      11 | 15807933 |    24044 |   343143      0 |        2 |        5
1182.30/1182.51	c  392s |      11 | 15808719 |    24144 |   343143      0 |        2 |        5
1186.19/1186.43	c  396s |      11 | 15809619 |    24244 |   343143      0 |        2 |        5
1189.49/1189.78	c  400s |      11 | 15811015 |    24344 |   343143      0 |        2 |        5
1193.19/1193.43	c  403s |      11 | 15813810 |    24544 |   343143      0 |        2 |        5
1196.48/1196.76	c  407s |      11 | 15947764 |    24744 |   343143      0 |        2 |        5
1198.59/1198.83	c  409s |      11 | 15948215 |    24944 |   343143      0 |        2 |        5
1203.19/1203.42	c  413s |      11 | 16073512 |    25144 |   343143      0 |        2 |        5
1207.49/1207.70	c  418s |      11 | 16102802 |    25344 |   343143      0 |        2 |        5
1212.68/1212.92	c  423s |      11 | 16322421 |    25544 |   343143      0 |        2 |        5
1215.58/1215.84	c  426s |      11 | 16323296 |    25744 |   343143      0 |        2 |        5
1216.59/1216.83	c  427s |      12 | 16323447 |    25819 |   343143      0 |        2 |        5
1233.88/1234.17	c  444s |      12 | 16645924 |    25919 |   343143      0 |        2 |        5
1236.77/1237.09	c  447s |      12 | 16646157 |    26019 |   343143      0 |        2 |        5
1240.68/1240.97	c  451s |      12 | 16883828 |    26119 |   343143      0 |        2 |        5
1245.09/1245.34	c  455s |      12 | 17167892 |    26419 |   343143      0 |        2 |        5
1248.78/1249.02	c  459s |      12 | 17168013 |    26519 |   343143      0 |        2 |        5
1251.88/1252.20	c  462s |      12 | 17168765 |    26719 |   343143      0 |        2 |        5
1254.88/1255.15	c  465s |      12 | 17631524 |    26819 |   343143      0 |        2 |        5
1259.98/1260.25	c  470s |      12 | 18065342 |    27019 |   343143      0 |        2 |        5
1264.78/1265.02	c  475s |      12 | 18328818 |    27119 |   343143      0 |        2 |        5
1270.07/1270.30	c  480s |      12 | 18329527 |    27219 |   343143      0 |        2 |        5
1272.17/1272.40	c  482s |      12 | 18331987 |    27319 |   343143      0 |        2 |        5
1274.18/1274.48	c  484s |      12 | 18332504 |    27519 |   343143      0 |        2 |        5
1276.98/1277.22	c  487s |      12 | 18418049 |    27819 |   343143      0 |        2 |        5
1279.48/1279.73	c  490s |      12 | 18515402 |    28019 |   343143      0 |        2 |        5
1281.97/1282.26	c  492s |      12 | 18612634 |    28219 |   343143      0 |        2 |        5
1284.87/1285.14	c  495s |      12 | 18801831 |    28319 |   343143      0 |        2 |        5
1287.98/1288.27	c  498s |      12 | 18898699 |    28519 |   343143      0 |        2 |        5
1292.87/1293.19	c  503s |      12 | 18904779 |    28719 |   343143      0 |        2 |        5
1297.87/1298.12	c  508s |      12 | 18907061 |    28819 |   343143      0 |        2 |        5
1304.97/1305.20	c  515s |      12 | 18908316 |    28919 |   343143      0 |        2 |        5
1312.57/1312.81	c  523s |      12 | 18908923 |    29019 |   343143      0 |        2 |        5
1321.56/1321.81	c  532s |      12 | 18909168 |    29119 |   343143      0 |        2 |        5
1330.66/1330.95	c  541s |      12 | 18909689 |    29219 |   343143      0 |        2 |        5
1341.06/1341.38	c  551s |      12 | 18909975 |    29319 |   343143      0 |        2 |        5
1350.96/1351.26	c  561s |      12 | 18910134 |    29419 |   343143      0 |        2 |        5
1360.16/1360.42	c  570s |      12 | 18910285 |    29519 |   343143      0 |        2 |        5
1368.66/1368.99	c  579s |      12 | 18910884 |    29619 |   343143      0 |        2 |        5
1378.76/1379.03	c  589s |      12 | 18911061 |    29719 |   343143      0 |        2 |        5
1388.76/1389.01	c  599s |      12 | 18911365 |    29819 |   343143      0 |        2 |        5
1398.15/1398.42	c  608s |      12 | 18911610 |    29919 |   343143      0 |        2 |        5
1409.45/1409.77	c  620s |      12 | 18911811 |    30019 |   343143      0 |        2 |        5
1419.55/1419.81	c  630s |      12 | 18911998 |    30119 |   377458      0 |        2 |        5
1425.75/1426.09	c  636s |      12 | 19191808 |    30219 |   377458      0 |        2 |        5
1428.95/1429.22	c  639s |      12 | 19193296 |    30519 |   377458      0 |        2 |        5
1431.15/1431.47	c  641s |      12 | 19193471 |    30619 |   377458      0 |        2 |        5
1434.25/1434.55	c  644s |      12 | 19193859 |    30819 |   377458      0 |        2 |        5
1436.35/1436.63	c  646s |      12 | 19194872 |    31019 |   377458      0 |        2 |        5
1439.66/1439.95	c  650s |      12 | 19195418 |    31219 |   377458      0 |        2 |        5
1445.55/1445.82	c  656s |      12 | 19197051 |    31319 |   377458      0 |        2 |        5
1454.25/1454.54	c  664s |      12 | 19197231 |    31419 |   377458      0 |        2 |        5
1462.65/1462.98	c  673s |      12 | 19198340 |    31519 |   377458      0 |        2 |        5
1471.04/1471.36	c  681s |      12 | 19198617 |    31619 |   377458      0 |        2 |        5
1474.65/1474.98	c  685s |      12 | 19200885 |    31719 |   377458      0 |        2 |        5
1478.04/1478.31	c  688s |      12 | 19203008 |    31919 |   377458      0 |        2 |        5
1481.45/1481.71	c  692s |      12 | 19347459 |    32119 |   377458      0 |        2 |        5
1486.64/1486.92	c  697s |      12 | 19825739 |    32319 |   377458      0 |        2 |        5
1488.94/1489.26	c  699s |      12 | 19826717 |    32419 |   377458      0 |        2 |        5
1491.34/1491.63	c  701s |      12 | 19827550 |    32519 |   377458      0 |        2 |        5
1495.34/1495.68	c  706s |      12 | 19829072 |    32619 |   377458      0 |        2 |        5
1497.44/1497.76	c  708s |      12 | 19995755 |    32719 |   377458      0 |        2 |        5
1500.83/1501.15	c  711s |      12 | 20004769 |    32919 |   377458      0 |        2 |        5
1504.34/1504.65	c  715s |      12 | 20004934 |    33019 |   377458      0 |        2 |        5
1508.43/1508.72	c  719s |      12 | 20005056 |    33119 |   377458      0 |        2 |        5
1511.53/1511.81	c  722s |      12 | 20005757 |    33219 |   377458      0 |        2 |        5
1515.64/1515.92	c  726s |      12 | 20006000 |    33319 |   377458      0 |        2 |        5
1518.54/1518.84	c  729s |      12 | 20006182 |    33419 |   377458      0 |        2 |        5
1521.54/1521.85	c  732s |      12 | 20017242 |    33519 |   377458      0 |        2 |        5
1528.34/1528.61	c  738s |      12 | 20020775 |    33619 |   377458      0 |        2 |        5
1536.44/1536.80	c  747s |      12 | 20021051 |    33719 |   377458      0 |        2 |        5
1546.23/1546.51	c  756s |      12 | 20021325 |    33819 |   377458      0 |        2 |        5
1556.44/1556.79	c  767s |      12 | 20021494 |    33919 |   377458      0 |        2 |        5
1566.32/1566.60	c  776s |      12 | 20021714 |    34019 |   377458      0 |        2 |        5
1573.13/1573.46	c  783s |      12 | 20057529 |    34119 |   377458      0 |        2 |        5
1575.23/1575.52	c  785s |      12 | 20058454 |    34319 |   377458      0 |        2 |        5
1578.72/1579.04	c  789s |      12 | 20060747 |    34519 |   377458      0 |        2 |        5
1586.43/1586.78	c  797s |      12 | 20060918 |    34619 |   377458      0 |        2 |        5
1594.22/1594.52	c  804s |      12 | 20062342 |    34719 |   377458      0 |        2 |        5
1599.52/1599.81	c  810s |      12 | 20064259 |    34819 |   377458      0 |        2 |        5
1605.32/1605.61	c  815s |      12 | 20147821 |    35019 |   377458      0 |        2 |        5
1614.92/1615.25	c  825s |      12 | 20861125 |    35219 |   377458      0 |        2 |        5
1625.72/1626.01	c  836s |      12 | 20861433 |    35319 |   377458      0 |        2 |        5
1636.22/1636.50	c  846s |      12 | 21143004 |    35419 |   377458      0 |        2 |        5
1638.31/1638.62	c  848s |      12 | 21144466 |    35519 |   377458      0 |        2 |        5
1640.41/1640.72	c  851s |      12 | 21144894 |    35719 |   377458      0 |        2 |        5
1643.22/1643.57	c  853s |      12 | 21145882 |    36019 |   377458      0 |        2 |        5
1646.32/1646.60	c  856s |      12 | 21324785 |    36219 |   377458      0 |        2 |        5
1649.21/1649.57	c  859s |      12 | 21328004 |    36419 |   377458      0 |        2 |        5
1651.41/1651.76	c  862s |      12 | 21328305 |    36519 |   377458      0 |        2 |        5
1654.41/1654.70	c  865s |      12 | 21425057 |    36719 |   377458      0 |        2 |        5
1661.21/1661.58	c  871s |      12 | 21554372 |    36819 |   377458      0 |        2 |        5
1683.51/1683.83	c  894s |      12 | 21556158 |    36919 |   377458      0 |        2 |        5
1698.31/1698.65	c  909s |      12 | 21556909 |    37019 |   377458      0 |        2 |        5
1712.41/1712.73	c  923s |      12 | 21557058 |    37119 |   377458      0 |        2 |        5
1724.61/1724.94	c  935s |      12 | 21559145 |    37219 |   377458      0 |        2 |        5
1745.89/1746.21	c  956s |      12 | 21560285 |    37319 |   377458      0 |        2 |        5
1786.79/1787.11	c  997s |      12 | 21560430 |    37419 |   377458      0 |        2 |        5
1793.18/1793.55	c 1003s |      12 | 21563559 |    37519 |   377458      0 |        2 |        5
1795.48/1795.80	c 1006s |      12 | 21789330 |    37619 |   377458      0 |        2 |        5
1798.38/1798.78	c 1009s |      12 | 21916658 |    37819 |   377458      0 |        2 |        5

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

pid=25857
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.23 2.18 2.17 4/179 25860
/proc/meminfo: memFree=20194156/32872528 swapFree=1370848/1518016
[pid=25860] ppid=25857 vsize=693692 CPUtime=0 cores=0,2,4,6
/proc/25860/stat : 25860 (toysat) R 25857 25860 24737 0 -1 4202496 2582 0 0 0 0 0 0 0 20 0 4 0 30445849 710340608 3454 33554432000 4194304 16246674 140735194822368 140735194821792 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25860/statm: 173935 3462 441 2943 0 170829 0
[pid=25860/tid=25861] ppid=25857 vsize=711100 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25861/stat : 25861 (toysat) S 25857 25860 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30445849 728166400 3523 33554432000 4194304 16246674 140735194822368 140390124465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25860/tid=25862] ppid=25857 vsize=716220 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25862/stat : 25862 (toysat) S 25857 25860 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30445849 733409280 3539 33554432000 4194304 16246674 140735194822368 140390113975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25860/tid=25863] ppid=25857 vsize=719292 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25863/stat : 25863 (toysat) S 25857 25860 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30445849 736555008 3555 33554432000 4194304 16246674 140735194822368 140389998652592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.23 2.18 2.17 4/179 25860
/proc/meminfo: memFree=20194156/32872528 swapFree=1370848/1518016
[pid=25860] ppid=25857 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/25860/stat : 25860 (toysat) R 25857 25860 24737 0 -1 4202496 30557 0 0 0 5 4 0 0 20 0 4 0 30445849 1333334016 31367 33554432000 4194304 16246674 140735194822368 140735194821680 8055408 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25860/statm: 325521 31380 799 2943 0 322415 0
[pid=25860/tid=25861] ppid=25857 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25861/stat : 25861 (toysat) S 25857 25860 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30445849 1333334016 31391 33554432000 4194304 16246674 140735194822368 140390124465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25860/tid=25862] ppid=25857 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25862/stat : 25862 (toysat) S 25857 25860 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30445849 1333334016 31403 33554432000 4194304 16246674 140735194822368 140390113975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25860/tid=25863] ppid=25857 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25863/stat : 25863 (toysat) S 25857 25860 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30445849 1333334016 31413 33554432000 4194304 16246674 140735194822368 140389998652592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200574 s]
/proc/loadavg: 2.23 2.18 2.17 4/179 25860
/proc/meminfo: memFree=20194156/32872528 swapFree=1370848/1518016
[pid=25860] ppid=25857 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/25860/stat : 25860 (toysat) R 25857 25860 24737 0 -1 4202496 44042 0 0 0 13 6 0 0 20 0 4 0 30445849 1343819776 45362 33554432000 4194304 16246674 140735194822368 140735194820160 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25860/statm: 328081 45362 799 2943 0 324975 0
[pid=25860/tid=25861] ppid=25857 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25861/stat : 25861 (toysat) S 25857 25860 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30445849 1343819776 45362 33554432000 4194304 16246674 140735194822368 140390124465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25860/tid=25862] ppid=25857 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25862/stat : 25862 (toysat) S 25857 25860 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30445849 1343819776 45362 33554432000 4194304 16246674 140735194822368 140390113975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25860/tid=25863] ppid=25857 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25863/stat : 25863 (toysat) S 25857 25860 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30445849 1343819776 45362 33554432000 4194304 16246674 140735194822368 140389998652592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300525 s]
/proc/loadavg: 2.23 2.18 2.17 4/179 25860
/proc/meminfo: memFree=20194156/32872528 swapFree=1370848/1518016
[pid=25860] ppid=25857 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/25860/stat : 25860 (toysat) R 25857 25860 24737 0 -1 4202496 44046 0 0 0 23 6 0 0 20 0 4 0 30445849 1343819776 45366 33554432000 4194304 16246674 140735194822368 140735194820160 4225120 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25860/statm: 328081 45366 799 2943 0 324975 0
[pid=25860/tid=25861] ppid=25857 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25861/stat : 25861 (toysat) S 25857 25860 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30445849 1343819776 45366 33554432000 4194304 16246674 140735194822368 140390124465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25860/tid=25862] ppid=25857 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25862/stat : 25862 (toysat) S 25857 25860 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30445849 1343819776 45366 33554432000 4194304 16246674 140735194822368 140390113975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25860/tid=25863] ppid=25857 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25863/stat : 25863 (toysat) S 25857 25860 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30445849 1343819776 45366 33554432000 4194304 16246674 140735194822368 140389998652592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700405 s]
/proc/loadavg: 2.23 2.18 2.17 4/179 25860
/proc/meminfo: memFree=20194156/32872528 swapFree=1370848/1518016
[pid=25860] ppid=25857 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/25860/stat : 25860 (toysat) R 25857 25860 24737 0 -1 4202496 71774 0 0 0 58 11 0 0 20 0 4 0 30445849 1343819776 73094 33554432000 4194304 16246674 140735194822368 140735194820160 4220940 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25860/statm: 328081 73094 801 2943 0 324975 0
[pid=25860/tid=25861] ppid=25857 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25861/stat : 25861 (toysat) S 25857 25860 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30445849 1343819776 73094 33554432000 4194304 16246674 140735194822368 140390124465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25860/tid=25862] ppid=25857 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25862/stat : 25862 (toysat) S 25857 25860 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30445849 1343819776 73094 33554432000 4194304 16246674 140735194822368 140390113975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25860/tid=25863] ppid=25857 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25863/stat : 25863 (toysat) S 25857 25860 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30445849 1343819776 73094 33554432000 4194304 16246674 140735194822368 140389998652592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.5004 s]
/proc/loadavg: 2.23 2.18 2.17 4/183 25864
/proc/meminfo: memFree=19842020/32872528 swapFree=1370848/1518016
[pid=25860] ppid=25857 vsize=1312324 CPUtime=1.49 cores=0,2,4,6
/proc/25860/stat : 25860 (toysat) R 25857 25860 24737 0 -1 4202496 99668 0 0 0 134 15 0 0 20 0 4 0 30445849 1343819776 100988 33554432000 4194304 16246674 140735194822368 140735194821464 4220978 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25860/statm: 328081 100988 802 2943 0 324975 0
[pid=25860/tid=25861] ppid=25857 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25861/stat : 25861 (toysat) S 25857 25860 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30445849 1343819776 100988 33554432000 4194304 16246674 140735194822368 140390124465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25860/tid=25862] ppid=25857 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25862/stat : 25862 (toysat) S 25857 25860 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30445849 1343819776 100988 33554432000 4194304 16246674 140735194822368 140390113975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25860/tid=25863] ppid=25857 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25863/stat : 25863 (toysat) S 25857 25860 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30445849 1343819776 100988 33554432000 4194304 16246674 140735194822368 140389998652592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1312324

[startup+3.1004 s]
/proc/loadavg: 2.23 2.18 2.17 4/183 25864
/proc/meminfo: memFree=19774868/32872528 swapFree=1370848/1518016
[pid=25860] ppid=25857 vsize=1459780 CPUtime=3.09 cores=0,2,4,6
/proc/25860/stat : 25860 (toysat) R 25857 25860 24737 0 -1 4202496 146971 0 0 0 287 22 0 0 20 0 4 0 30445849 1494814720 152379 33554432000 4194304 16246674 140735194822368 140735194820224 4221105 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25860/statm: 364945 152386 838 2943 0 361839 0
[pid=25860/tid=25861] ppid=25857 vsize=1459780 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25861/stat : 25861 (toysat) S 25857 25860 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30445849 1494814720 152389 33554432000 4194304 16246674 140735194822368 140390124465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25860/tid=25862] ppid=25857 vsize=1459780 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25862/stat : 25862 (toysat) S 25857 25860 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30445849 1494814720 152393 33554432000 4194304 16246674 140735194822368 140390113975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25860/tid=25863] ppid=25857 vsize=1459780 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25863/stat : 25863 (toysat) S 25857 25860 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30445849 1494814720 152397 33554432000 4194304 16246674 140735194822368 140389998652592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1459780

[startup+6.30041 s]
/proc/loadavg: 2.21 2.17 2.17 3/183 25864
/proc/meminfo: memFree=19430240/32872528 swapFree=1370848/1518016
[pid=25860] ppid=25857 vsize=1459780 CPUtime=6.29 cores=0,2,4,6
/proc/25860/stat : 25860 (toysat) R 25857 25860 24737 0 -1 4202496 219812 0 0 0 596 33 0 0 20 0 4 0 30445849 1494814720 227264 33554432000 4194304 16246674 140735194822368 140735194820112 4222282 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25860/statm: 364945 227271 839 2943 0 361839 0
[pid=25860/tid=25861] ppid=25857 vsize=1459780 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25861/stat : 25861 (toysat) S 25857 25860 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30445849 1494814720 227274 33554432000 4194304 16246674 140735194822368 140390124465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25860/tid=25862] ppid=25857 vsize=1459780 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25862/stat : 25862 (toysat) S 25857 25860 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30445849 1494814720 227279 33554432000 4194304 16246674 140735194822368 140390113975312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25860/tid=25863] ppid=25857 vsize=1459780 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25863/stat : 25863 (toysat) S 25857 25860 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30445849 1494814720 227282 33554432000 4194304 16246674 140735194822368 140389998652592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1459780

[startup+12.7004 s]
/proc/loadavg: 2.20 2.17 2.17 4/183 25864
/proc/meminfo: memFree=18939280/32872528 swapFree=1370848/1518016
[pid=25860] ppid=25857 vsize=1459780 CPUtime=12.69 cores=0,2,4,6
/proc/25860/stat : 25860 (toysat) R 25857 25860 24737 0 -1 4202496 299491 0 0 0 1226 43 0 0 20 0 4 0 30445849 1494814720 306943 33554432000 4194304 16246674 140735194822368 140735194804288 5659404 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25860/statm: 364945 306943 891 2943 0 361839 0
[pid=25860/tid=25861] ppid=25857 vsize=1459780 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25861/stat : 25861 (toysat) S 25857 25860 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30445849 1494814720 306943 33554432000 4194304 16246674 140735194822368 140390124465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25860/tid=25862] ppid=25857 vsize=1459780 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25862/stat : 25862 (toysat) S 25857 25860 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30445849 1494814720 306943 33554432000 4194304 16246674 140735194822368 140390113975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25860/tid=25863] ppid=25857 vsize=1459780 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25863/stat : 25863 (toysat) S 25857 25860 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30445849 1494814720 306943 33554432000 4194304 16246674 140735194822368 140389998652592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1459780

[startup+25.5005 s]
/proc/loadavg: 2.29 2.19 2.18 3/183 25864
/proc/meminfo: memFree=18939416/32872528 swapFree=1370848/1518016
[pid=25860] ppid=25857 vsize=1459780 CPUtime=25.48 cores=0,2,4,6
/proc/25860/stat : 25860 (toysat) R 25857 25860 24737 0 -1 4202496 299491 0 0 0 2505 43 0 0 20 0 4 0 30445849 1494814720 306943 33554432000 4194304 16246674 140735194822368 140735194821544 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25860/statm: 364945 306943 891 2943 0 361839 0
[pid=25860/tid=25861] ppid=25857 vsize=1459780 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25861/stat : 25861 (toysat) S 25857 25860 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30445849 1494814720 306943 33554432000 4194304 16246674 140735194822368 140390124465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25860/tid=25862] ppid=25857 vsize=1459780 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25862/stat : 25862 (toysat) S 25857 25860 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30445849 1494814720 306943 33554432000 4194304 16246674 140735194822368 140390113975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25860/tid=25863] ppid=25857 vsize=1459780 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25863/stat : 25863 (toysat) S 25857 25860 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30445849 1494814720 306943 33554432000 4194304 16246674 140735194822368 140389998652592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1459780

[startup+51.1005 s]
/proc/loadavg: 2.26 2.19 2.18 3/183 25864
/proc/meminfo: memFree=18939380/32872528 swapFree=1370848/1518016
[pid=25860] ppid=25857 vsize=1459780 CPUtime=51.08 cores=0,2,4,6
/proc/25860/stat : 25860 (toysat) R 25857 25860 24737 0 -1 4202496 299491 0 0 0 5065 43 0 0 20 0 4 0 30445849 1494814720 306943 33554432000 4194304 16246674 140735194822368 140735194804288 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25860/statm: 364945 306943 891 2943 0 361839 0
[pid=25860/tid=25861] ppid=25857 vsize=1459780 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25861/stat : 25861 (toysat) S 25857 25860 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30445849 1494814720 306943 33554432000 4194304 16246674 140735194822368 140390124465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25860/tid=25862] ppid=25857 vsize=1459780 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25862/stat : 25862 (toysat) S 25857 25860 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30445849 1494814720 306943 33554432000 4194304 16246674 140735194822368 140390113975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25860/tid=25863] ppid=25857 vsize=1459780 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25863/stat : 25863 (toysat) S 25857 25860 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30445849 1494814720 306943 33554432000 4194304 16246674 140735194822368 140389998652592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1459780

[startup+102.301 s]
/proc/loadavg: 2.15 2.18 2.17 4/183 25865
/proc/meminfo: memFree=17786272/32872528 swapFree=1370848/1518016
[pid=25860] ppid=25857 vsize=2610756 CPUtime=102.29 cores=0,2,4,6
/proc/25860/stat : 25860 (toysat) R 25857 25860 24737 0 -1 4202496 587266 0 0 0 10144 85 0 0 20 0 4 0 30445849 2673414144 594718 33554432000 4194304 16246674 140735194822368 140735194820160 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25860/statm: 652689 594718 922 2943 0 649583 0
[pid=25860/tid=25861] ppid=25857 vsize=2610756 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25861/stat : 25861 (toysat) S 25857 25860 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30445849 2673414144 594718 33554432000 4194304 16246674 140735194822368 140390124465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25860/tid=25862] ppid=25857 vsize=2610756 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25862/stat : 25862 (toysat) S 25857 25860 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30445849 2673414144 594718 33554432000 4194304 16246674 140735194822368 140390113975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25860/tid=25863] ppid=25857 vsize=2610756 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25863/stat : 25863 (toysat) S 25857 25860 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30445849 2673414144 594718 33554432000 4194304 16246674 140735194822368 140389998652592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 2610756


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

/proc/25860/task/25861/stat : 25861 (toysat) S 25857 25860 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30445849 5473112064 1278246 33554432000 4194304 16246674 140735194822368 140390124465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25860/tid=25862] ppid=25857 vsize=5344836 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25862/stat : 25862 (toysat) S 25857 25860 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30445849 5473112064 1278246 33554432000 4194304 16246674 140735194822368 140390113975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25860/tid=25863] ppid=25857 vsize=5344836 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25863/stat : 25863 (toysat) S 25857 25860 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30445849 5473112064 1278246 33554432000 4194304 16246674 140735194822368 140389998652592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 5344836

[startup+1542.31 s]
/proc/loadavg: 2.24 2.25 2.19 3/183 25952
/proc/meminfo: memFree=23877588/32872528 swapFree=1370848/1518016
[pid=25860] ppid=25857 vsize=5604932 CPUtime=1542.04 cores=0,2,4,6
/proc/25860/stat : 25860 (toysat) R 25857 25860 24737 0 -1 4202496 1799326 0 0 0 153618 586 0 0 20 0 4 0 30445849 5739450368 1343128 33554432000 4194304 16246674 140735194822368 140735194821544 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25860/statm: 1401233 1343128 926 2943 0 1398127 0
[pid=25860/tid=25861] ppid=25857 vsize=5604932 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25861/stat : 25861 (toysat) S 25857 25860 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30445849 5739450368 1343128 33554432000 4194304 16246674 140735194822368 140390124465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25860/tid=25862] ppid=25857 vsize=5604932 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25862/stat : 25862 (toysat) S 25857 25860 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30445849 5739450368 1343128 33554432000 4194304 16246674 140735194822368 140390113975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25860/tid=25863] ppid=25857 vsize=5604932 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25863/stat : 25863 (toysat) S 25857 25860 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30445849 5739450368 1343128 33554432000 4194304 16246674 140735194822368 140389998652592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 5604932

[startup+1602.3 s]
/proc/loadavg: 2.32 2.28 2.20 3/183 25953
/proc/meminfo: memFree=23754220/32872528 swapFree=1370848/1518016
[pid=25860] ppid=25857 vsize=5727812 CPUtime=1602.03 cores=0,2,4,6
/proc/25860/stat : 25860 (toysat) R 25857 25860 24737 0 -1 4202496 1830008 0 0 0 159589 614 0 0 20 0 4 0 30445849 5865279488 1373808 33554432000 4194304 16246674 140735194822368 140735194821464 13966199 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25860/statm: 1431953 1373808 926 2943 0 1428847 0
[pid=25860/tid=25861] ppid=25857 vsize=5727812 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25861/stat : 25861 (toysat) S 25857 25860 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30445849 5865279488 1373808 33554432000 4194304 16246674 140735194822368 140390124465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25860/tid=25862] ppid=25857 vsize=5727812 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25862/stat : 25862 (toysat) S 25857 25860 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30445849 5865279488 1373808 33554432000 4194304 16246674 140735194822368 140390113975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25860/tid=25863] ppid=25857 vsize=5727812 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25863/stat : 25863 (toysat) S 25857 25860 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30445849 5865279488 1373808 33554432000 4194304 16246674 140735194822368 140389998652592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 5727812

[startup+1662.3 s]
/proc/loadavg: 2.17 2.24 2.19 4/183 25954
/proc/meminfo: memFree=23583840/32872528 swapFree=1370848/1518016
[pid=25860] ppid=25857 vsize=5897796 CPUtime=1662.01 cores=0,2,4,6
/proc/25860/stat : 25860 (toysat) R 25857 25860 24737 0 -1 4202496 1872653 0 0 0 165561 640 0 0 20 0 4 0 30445849 6039343104 1416452 33554432000 4194304 16246674 140735194822368 140735194821544 13896507 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25860/statm: 1474449 1416452 926 2943 0 1471343 0
[pid=25860/tid=25861] ppid=25857 vsize=5897796 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25861/stat : 25861 (toysat) S 25857 25860 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30445849 6039343104 1416452 33554432000 4194304 16246674 140735194822368 140390124465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25860/tid=25862] ppid=25857 vsize=5897796 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25862/stat : 25862 (toysat) S 25857 25860 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30445849 6039343104 1416452 33554432000 4194304 16246674 140735194822368 140390113975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25860/tid=25863] ppid=25857 vsize=5897796 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25863/stat : 25863 (toysat) S 25857 25860 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30445849 6039343104 1416452 33554432000 4194304 16246674 140735194822368 140389998652592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 5897796

[startup+1722.3 s]
/proc/loadavg: 2.24 2.24 2.19 3/183 25955
/proc/meminfo: memFree=23456852/32872528 swapFree=1370848/1518016
[pid=25860] ppid=25857 vsize=6024772 CPUtime=1722 cores=0,2,4,6
/proc/25860/stat : 25860 (toysat) R 25857 25860 24737 0 -1 4202496 1904260 0 0 0 171537 663 0 0 20 0 4 0 30445849 6169366528 1448059 33554432000 4194304 16246674 140735194822368 140735194821464 5545796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25860/statm: 1506193 1448059 926 2943 0 1503087 0
[pid=25860/tid=25861] ppid=25857 vsize=6024772 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25861/stat : 25861 (toysat) S 25857 25860 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30445849 6169366528 1448059 33554432000 4194304 16246674 140735194822368 140390124465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25860/tid=25862] ppid=25857 vsize=6024772 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25862/stat : 25862 (toysat) S 25857 25860 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30445849 6169366528 1448059 33554432000 4194304 16246674 140735194822368 140390113975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25860/tid=25863] ppid=25857 vsize=6024772 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25863/stat : 25863 (toysat) S 25857 25860 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30445849 6169366528 1448059 33554432000 4194304 16246674 140735194822368 140389998652592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 6024772

[startup+1782.3 s]
/proc/loadavg: 2.23 2.24 2.19 3/183 25957
/proc/meminfo: memFree=23384872/32872528 swapFree=1370848/1518016
[pid=25860] ppid=25857 vsize=6096452 CPUtime=1781.99 cores=0,2,4,6
/proc/25860/stat : 25860 (toysat) R 25857 25860 24737 0 -1 4202496 1922200 0 0 0 177516 683 0 0 20 0 4 0 30445849 6242766848 1465987 33554432000 4194304 16246674 140735194822368 140735194821544 5721677 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25860/statm: 1524113 1465987 926 2943 0 1521007 0
[pid=25860/tid=25861] ppid=25857 vsize=6096452 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25861/stat : 25861 (toysat) S 25857 25860 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30445849 6242766848 1465987 33554432000 4194304 16246674 140735194822368 140390124465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25860/tid=25862] ppid=25857 vsize=6096452 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25862/stat : 25862 (toysat) S 25857 25860 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30445849 6242766848 1465987 33554432000 4194304 16246674 140735194822368 140390113975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25860/tid=25863] ppid=25857 vsize=6096452 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25863/stat : 25863 (toysat) S 25857 25860 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30445849 6242766848 1465987 33554432000 4194304 16246674 140735194822368 140389998652592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 6096452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.17 2.22 2.18 4/183 25957
/proc/meminfo: memFree=23374424/32872528 swapFree=1370848/1518016
[pid=25860] ppid=25857 vsize=6106692 CPUtime=1800.08 cores=0,2,4,6
/proc/25860/stat : 25860 (toysat) R 25857 25860 24737 0 -1 4202496 1924835 0 0 0 179318 690 0 0 20 0 4 0 30445849 6253252608 1468616 33554432000 4194304 16246674 140735194822368 140735194821544 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25860/statm: 1526673 1468616 926 2943 0 1523567 0
[pid=25860/tid=25861] ppid=25857 vsize=6106692 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25861/stat : 25861 (toysat) S 25857 25860 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30445849 6253252608 1468616 33554432000 4194304 16246674 140735194822368 140390124465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25860/tid=25862] ppid=25857 vsize=6106692 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25862/stat : 25862 (toysat) S 25857 25860 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30445849 6253252608 1468616 33554432000 4194304 16246674 140735194822368 140390113975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25860/tid=25863] ppid=25857 vsize=6106692 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25863/stat : 25863 (toysat) S 25857 25860 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30445849 6253252608 1468616 33554432000 4194304 16246674 140735194822368 140389998652592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 6106692

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

############
# WARNING:
# current cumulated CPU time (1799.92 s) is less than in the last sample (1800.08 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.160034 s) to the 'lost time'.

[startup+1800.4 s]
/proc/loadavg: 2.17 2.22 2.18 4/183 25957
/proc/meminfo: memFree=23374424/32872528 swapFree=1370848/1518016
[pid=25860] ppid=25857 vsize=6106692 CPUtime=1800.08 cores=0,2,4,6
/proc/25860/stat : 25860 (toysat) R 25857 25860 24737 0 -1 4202496 1924835 0 0 0 179318 690 0 0 20 0 4 0 30445849 6253252608 1468616 33554432000 4194304 16246674 140735194822368 140735194821544 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25860/statm: 1526673 1468616 926 2943 0 1523567 0
[pid=25860/tid=25861] ppid=25857 vsize=6106692 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25861/stat : 25861 (toysat) S 25857 25860 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30445849 6253252608 1468616 33554432000 4194304 16246674 140735194822368 140390124465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25860/tid=25862] ppid=25857 vsize=6106692 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25862/stat : 25862 (toysat) S 25857 25860 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30445849 6253252608 1468616 33554432000 4194304 16246674 140735194822368 140390113975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25860/tid=25863] ppid=25857 vsize=6106692 CPUtime=0 cores=0,2,4,6
/proc/25860/task/25863/stat : 25863 (toysat) S 25857 25860 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30445849 6253252608 1468616 33554432000 4194304 16246674 140735194822368 140389998652592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 6106692

[startup+1800.5 s]
/proc/loadavg: 2.17 2.22 2.18 4/183 25957
/proc/meminfo: memFree=23374424/32872528 swapFree=1370848/1518016
[pid=25860] ppid=25857 vsize=0 CPUtime=1799.92 cores=0,2,4,6
/proc/25860/stat : 25860 (toysat) Z 25857 25860 24737 0 -1 4203532 1924835 0 0 0 179311 681 0 0 20 0 2 0 30445849 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25860/statm: 0 0 0 0 0 0 0
[pid=25860/tid=25861] ppid=25857 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/25860/task/25861/stat : 25861 (toysat) R 25857 25860 24737 0 -1 4203588 9 0 0 0 0 8 0 0 20 0 2 0 30445849 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.92
Current children cumulated vsize (KiB) 0
#
############


Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25860 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.6 s]
/proc/loadavg: 2.17 2.22 2.18 4/183 25957
/proc/meminfo: memFree=23374424/32872528 swapFree=1370848/1518016
[pid=25860] ppid=25857 vsize=0 CPUtime=1800.01 cores=0,2,4,6
/proc/25860/stat : 25860 (toysat) Z 25857 25860 24737 0 -1 4203532 1924835 0 0 0 179311 690 0 0 20 0 2 0 30445849 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25860/statm: 0 0 0 0 0 0 0
[pid=25860/tid=25861] ppid=25857 vsize=0 CPUtime=0.18 cores=0,2,4,6
/proc/25860/task/25861/stat : 25861 (toysat) R 25857 25860 24737 0 -1 4203588 9 0 0 0 0 18 0 0 20 0 2 0 30445849 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.160034
#  lost CPU user time (s): 0.0700684
#  lost CPU system time (s): 0.0900002

Real time (s): 1800.62
CPU time (s): 1800.2
CPU user time (s): 1793.19
CPU system time (s): 7.01095
CPU usage (%): 99.9766
Max. virtual memory (cumulated for all children) (KiB): 6106692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.12
system time used= 6.92095
maximum resident set size= 5874464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1924835
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= 1260
involuntary context switches= 3020

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.0842 second user time and 16.0576 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-18 23:06:34
IDJOB=4107174
IDBENCH=71911
IDSOLVER=2542
FILE ID=node129/4107174-1466283993
RUNJOBID= node129-1466274985-24753
PBS_JOBID= 19918243
Free space on /tmp= 71648 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__64.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107174-1466283993/watcher-4107174-1466283993 -o /tmp/evaluation-result-4107174-1466283993/solver-4107174-1466283993 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466274985-24753 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107174-1466283993.opb

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

MD5SUM BENCH= 3935acb679af0610bc9865152c63d37a
RANDOM SEED=1707207442

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.143
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.143
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.143
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.54
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.143
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.143
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:        20194072 kB
Buffers:           52864 kB
Cached:           196112 kB
SwapCached:         1832 kB
Active:         10305816 kB
Inactive:          96332 kB
Active(anon):   10152804 kB
Inactive(anon):     3464 kB
Active(file):     153012 kB
Inactive(file):    92868 kB
Unevictable:     1518016 kB
Mlocked:         1370848 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:             31084 kB
Writeback:             0 kB
AnonPages:      11672948 kB
Mapped:            10876 kB
Shmem:                 0 kB
Slab:             602740 kB
SReclaimable:      46776 kB
SUnreclaim:       555964 kB
KernelStack:        1504 kB
PageTables:        26816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   11815148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1077248 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 node129 at 2016-06-18 23:36:34