Trace number 3483512

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 NameAnswerCPU timeWall clock time
PicoMUS 941No Cert. 1800.05 1800.02

General information on the benchmark

NameSAT02/industrial/biere/
dinphil/dp08u07.shuffled.cnf
MD5SUMef6166b8ccba4e6def7a25a397686e54
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark194.429
Satisfiable
(Un)Satisfiability was proved
Number of variables4312
Number of clauses12757
Sum of the clauses size30072
Maximum clause length8
Minimum clause length1
Number of clauses of size 116
Number of clauses of size 28172
Number of clauses of size 34568
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51

Solver Data 

0.00/0.00	c [picomus] WARNING: no output file given
0.00/0.00	c [picomus] p cnf 4312 12757
3.09/3.12	s UNSATISFIABLE
3.09/3.15	c [picomus] extracted core 1 of size 5294 out of 12757 (41%) after 3.2 sec
5.09/5.19	c [picomus] extracted core 2 of size 4099 out of 12757 (32%) after 5.2 sec
7.49/7.52	c [picomus] extracted core 3 of size 3626 out of 12757 (28%) after 7.5 sec
9.60/9.63	c [picomus] extracted core 4 of size 3389 out of 12757 (27%) after 9.6 sec
11.89/11.93	c [picomus] extracted core 5 of size 3295 out of 12757 (26%) after 11.9 sec
14.21/14.26	c [picomus] extracted core 6 of size 3229 out of 12757 (25%) after 14.3 sec
18.49/18.59	c [picomus] extracted core 7 of size 3207 out of 12757 (25%) after 18.6 sec
21.29/21.39	c [picomus] extracted core 8 of size 3169 out of 12757 (25%) after 21.4 sec
24.89/24.90	c [picomus] extracted core 9 of size 3137 out of 12757 (25%) after 24.9 sec
28.39/28.40	c [picomus] extracted core 10 of size 3125 out of 12757 (24%) after 28.4 sec
30.58/30.69	c [picomus] extracted core 11 of size 3094 out of 12757 (24%) after 30.7 sec
33.69/33.70	c [picomus] extracted core 12 of size 3087 out of 12757 (24%) after 33.7 sec
36.79/36.88	c [picomus] extracted core 13 of size 3080 out of 12757 (24%) after 36.9 sec
39.99/40.04	c [picomus] extracted core 14 of size 3071 out of 12757 (24%) after 40.0 sec
43.09/43.18	c [picomus] extracted core 15 of size 3060 out of 12757 (24%) after 43.2 sec
47.59/47.69	c [picomus] extracted core 16 of size 3057 out of 12757 (24%) after 47.7 sec
69.31/69.37	c [picomus] reduction 1 to 3036 out of 12757 (24%) after 69.4 sec
84.99/85.00	c [picomus] reduction 2 to 2991 out of 12757 (23%) after 85.0 sec
102.09/102.14	c [picomus] reduction 3 to 2917 out of 12757 (23%) after 102.1 sec
113.59/113.63	c [picomus] reduction 4 to 2862 out of 12757 (22%) after 113.6 sec
127.09/127.15	c [picomus] reduction 5 to 2843 out of 12757 (22%) after 127.2 sec
133.49/133.56	c [picomus] reduction 6 to 2815 out of 12757 (22%) after 133.6 sec
140.29/140.32	c [picomus] reduction 7 to 2801 out of 12757 (22%) after 140.3 sec
144.79/144.83	c [picomus] reduction 8 to 2781 out of 12757 (22%) after 144.8 sec
151.70/151.76	c [picomus] reduction 9 to 2771 out of 12757 (22%) after 151.8 sec
156.49/156.59	c [picomus] reduction 10 to 2756 out of 12757 (22%) after 156.6 sec
162.39/162.44	c [picomus] reduction 11 to 2740 out of 12757 (21%) after 162.4 sec
167.79/167.86	c [picomus] reduction 12 to 2734 out of 12757 (21%) after 167.9 sec
171.99/172.07	c [picomus] reduction 13 to 2726 out of 12757 (21%) after 172.1 sec
179.09/179.18	c [picomus] reduction 14 to 2717 out of 12757 (21%) after 179.2 sec
184.70/184.76	c [picomus] reduction 15 to 2696 out of 12757 (21%) after 184.8 sec
189.29/189.32	c [picomus] reduction 16 to 2691 out of 12757 (21%) after 189.3 sec
192.78/192.88	c [picomus] reduction 17 to 2688 out of 12757 (21%) after 192.9 sec
197.19/197.24	c [picomus] reduction 18 to 2681 out of 12757 (21%) after 197.2 sec
201.39/201.48	c [picomus] reduction 19 to 2677 out of 12757 (21%) after 201.5 sec
208.19/208.28	c [picomus] reduction 20 to 2675 out of 12757 (21%) after 208.3 sec
208.49/208.51	c [picomus] reduction 21 to 2671 out of 12757 (21%) after 208.5 sec
213.79/213.88	c [picomus] reduction 22 to 2660 out of 12757 (21%) after 213.9 sec
217.80/217.88	c [picomus] reduction 23 to 2659 out of 12757 (21%) after 217.9 sec
222.38/222.48	c [picomus] reduction 24 to 2654 out of 12757 (21%) after 222.5 sec
228.09/228.10	c [picomus] reduction 25 to 2653 out of 12757 (21%) after 228.1 sec
232.69/232.72	c [picomus] reduction 26 to 2646 out of 12757 (21%) after 232.7 sec
238.29/238.34	c [picomus] reduction 27 to 2640 out of 12757 (21%) after 238.3 sec
242.19/242.28	c [picomus] reduction 28 to 2637 out of 12757 (21%) after 242.3 sec
245.69/245.70	c [picomus] reduction 29 to 2633 out of 12757 (21%) after 245.7 sec
249.39/249.46	c [picomus] reduction 30 to 2632 out of 12757 (21%) after 249.5 sec
253.59/253.69	c [picomus] reduction 31 to 2621 out of 12757 (21%) after 253.7 sec
257.69/257.74	c [picomus] reduction 32 to 2618 out of 12757 (21%) after 257.7 sec
261.49/261.50	c [picomus] reduction 33 to 2614 out of 12757 (20%) after 261.5 sec
265.39/265.45	c [picomus] reduction 34 to 2594 out of 12757 (20%) after 265.4 sec
269.51/269.55	c [picomus] reduction 35 to 2593 out of 12757 (20%) after 269.6 sec
274.09/274.12	c [picomus] reduction 36 to 2589 out of 12757 (20%) after 274.1 sec
277.59/277.62	c [picomus] reduction 37 to 2567 out of 12757 (20%) after 277.6 sec
281.79/281.80	c [picomus] reduction 38 to 2566 out of 12757 (20%) after 281.8 sec
284.69/284.77	c [picomus] reduction 39 to 2562 out of 12757 (20%) after 284.8 sec
287.59/287.61	c [picomus] reduction 40 to 2559 out of 12757 (20%) after 287.6 sec
289.31/289.38	c [picomus] reduction 41 to 2558 out of 12757 (20%) after 289.4 sec
292.79/292.88	c [picomus] reduction 42 to 2549 out of 12757 (20%) after 292.9 sec
297.89/297.94	c [picomus] reduction 43 to 2543 out of 12757 (20%) after 297.9 sec
301.89/301.92	c [picomus] reduction 44 to 2539 out of 12757 (20%) after 301.9 sec
304.19/304.25	c [picomus] reduction 45 to 2537 out of 12757 (20%) after 304.3 sec
308.29/308.32	c [picomus] reduction 46 to 2535 out of 12757 (20%) after 308.3 sec
311.69/311.73	c [picomus] reduction 47 to 2522 out of 12757 (20%) after 311.7 sec
315.39/315.40	c [picomus] reduction 48 to 2517 out of 12757 (20%) after 315.4 sec
321.39/321.45	c [picomus] reduction 49 to 2516 out of 12757 (20%) after 321.5 sec
331.79/331.88	c [picomus] reduction 50 to 2510 out of 12757 (20%) after 331.9 sec
336.69/336.78	c [picomus] reduction 51 to 2499 out of 12757 (20%) after 336.8 sec
344.99/345.07	c [picomus] reduction 52 to 2497 out of 12757 (20%) after 345.1 sec
348.79/348.84	c [picomus] reduction 53 to 2495 out of 12757 (20%) after 348.8 sec
353.99/354.05	c [picomus] reduction 54 to 2494 out of 12757 (20%) after 354.1 sec
359.29/359.40	c [picomus] reduction 55 to 2493 out of 12757 (20%) after 359.4 sec
366.59/366.63	c [picomus] reduction 56 to 2490 out of 12757 (20%) after 366.6 sec
374.29/374.35	c [picomus] reduction 57 to 2489 out of 12757 (20%) after 374.4 sec
381.39/381.42	c [picomus] reduction 58 to 2487 out of 12757 (19%) after 381.4 sec
389.48/389.58	c [picomus] reduction 59 to 2486 out of 12757 (19%) after 389.6 sec
397.48/397.59	c [picomus] reduction 60 to 2482 out of 12757 (19%) after 397.6 sec
403.99/404.08	c [picomus] reduction 61 to 2481 out of 12757 (19%) after 404.1 sec
409.10/409.14	c [picomus] reduction 62 to 2480 out of 12757 (19%) after 409.1 sec
417.29/417.39	c [picomus] reduction 63 to 2479 out of 12757 (19%) after 417.4 sec
423.98/424.03	c [picomus] reduction 64 to 2467 out of 12757 (19%) after 424.0 sec
429.08/429.19	c [picomus] reduction 65 to 2464 out of 12757 (19%) after 429.2 sec
432.98/433.09	c [picomus] reduction 66 to 2456 out of 12757 (19%) after 433.1 sec
438.08/438.16	c [picomus] reduction 67 to 2452 out of 12757 (19%) after 438.2 sec
442.38/442.44	c [picomus] reduction 68 to 2450 out of 12757 (19%) after 442.4 sec
446.28/446.35	c [picomus] reduction 69 to 2442 out of 12757 (19%) after 446.4 sec
451.68/451.73	c [picomus] reduction 70 to 2440 out of 12757 (19%) after 451.7 sec
456.68/456.78	c [picomus] reduction 71 to 2439 out of 12757 (19%) after 456.8 sec
462.18/462.23	c [picomus] reduction 72 to 2437 out of 12757 (19%) after 462.2 sec
467.58/467.66	c [picomus] reduction 73 to 2436 out of 12757 (19%) after 467.7 sec
479.29/479.35	c [picomus] reduction 74 to 2433 out of 12757 (19%) after 479.4 sec
486.10/486.11	c [picomus] reduction 75 to 2431 out of 12757 (19%) after 486.1 sec
490.89/490.93	c [picomus] reduction 76 to 2430 out of 12757 (19%) after 490.9 sec
494.69/494.77	c [picomus] reduction 77 to 2429 out of 12757 (19%) after 494.8 sec
498.20/498.28	c [picomus] reduction 78 to 2422 out of 12757 (19%) after 498.3 sec
501.99/502.02	c [picomus] reduction 79 to 2421 out of 12757 (19%) after 502.0 sec
507.49/507.58	c [picomus] reduction 80 to 2420 out of 12757 (19%) after 507.6 sec
510.30/510.33	c [picomus] reduction 81 to 2419 out of 12757 (19%) after 510.3 sec
513.19/513.24	c [picomus] reduction 82 to 2418 out of 12757 (19%) after 513.2 sec
516.29/516.36	c [picomus] reduction 83 to 2417 out of 12757 (19%) after 516.4 sec
518.69/518.71	c [picomus] reduction 84 to 2415 out of 12757 (19%) after 518.7 sec
525.09/525.15	c [picomus] reduction 85 to 2414 out of 12757 (19%) after 525.2 sec
529.49/529.56	c [picomus] reduction 86 to 2412 out of 12757 (19%) after 529.6 sec
538.79/538.84	c [picomus] reduction 87 to 2411 out of 12757 (19%) after 538.8 sec
550.29/550.38	c [picomus] reduction 88 to 2410 out of 12757 (19%) after 550.4 sec
560.29/560.34	c [picomus] reduction 89 to 2406 out of 12757 (19%) after 560.3 sec
572.59/572.60	c [picomus] reduction 90 to 2401 out of 12757 (19%) after 572.6 sec
605.49/605.50	c [picomus] reduction 91 to 2398 out of 12757 (19%) after 605.5 sec
618.49/618.54	c [picomus] reduction 92 to 2397 out of 12757 (19%) after 618.5 sec
640.21/640.23	c [picomus] reduction 93 to 2396 out of 12757 (19%) after 640.2 sec
651.11/651.11	c [picomus] reduction 94 to 2395 out of 12757 (19%) after 651.1 sec
663.21/663.29	c [picomus] reduction 95 to 2392 out of 12757 (19%) after 663.3 sec
675.09/675.17	c [picomus] reduction 96 to 2391 out of 12757 (19%) after 675.2 sec
691.29/691.35	c [picomus] reduction 97 to 2388 out of 12757 (19%) after 691.4 sec
701.99/702.06	c [picomus] reduction 98 to 2386 out of 12757 (19%) after 702.1 sec
710.69/710.72	c [picomus] reduction 99 to 2385 out of 12757 (19%) after 710.7 sec
721.61/721.64	c [picomus] reduction 100 to 2384 out of 12757 (19%) after 721.6 sec
733.09/733.19	c [picomus] reduction 101 to 2383 out of 12757 (19%) after 733.2 sec
743.79/743.80	c [picomus] reduction 102 to 2380 out of 12757 (19%) after 743.8 sec
754.09/754.12	c [picomus] reduction 103 to 2378 out of 12757 (19%) after 754.1 sec
764.41/764.49	c [picomus] reduction 104 to 2377 out of 12757 (19%) after 764.5 sec
773.90/773.95	c [picomus] reduction 105 to 2376 out of 12757 (19%) after 774.0 sec
785.20/785.26	c [picomus] reduction 106 to 2375 out of 12757 (19%) after 785.3 sec
795.60/795.66	c [picomus] reduction 107 to 2373 out of 12757 (19%) after 795.7 sec
803.80/803.86	c [picomus] reduction 108 to 2372 out of 12757 (19%) after 803.9 sec
814.20/814.29	c [picomus] reduction 109 to 2370 out of 12757 (19%) after 814.3 sec
822.81/822.81	c [picomus] reduction 110 to 2369 out of 12757 (19%) after 822.8 sec
831.00/831.07	c [picomus] reduction 111 to 2368 out of 12757 (19%) after 831.1 sec
842.20/842.25	c [picomus] reduction 112 to 2366 out of 12757 (19%) after 842.3 sec
851.00/851.02	c [picomus] reduction 113 to 2362 out of 12757 (19%) after 851.0 sec
859.90/859.96	c [picomus] reduction 114 to 2361 out of 12757 (19%) after 860.0 sec
867.60/867.66	c [picomus] reduction 115 to 2360 out of 12757 (18%) after 867.7 sec
875.00/875.07	c [picomus] reduction 116 to 2359 out of 12757 (18%) after 875.1 sec
883.90/883.95	c [picomus] reduction 117 to 2358 out of 12757 (18%) after 884.0 sec
894.80/894.82	c [picomus] reduction 118 to 2356 out of 12757 (18%) after 894.8 sec
904.40/904.46	c [picomus] reduction 119 to 2355 out of 12757 (18%) after 904.5 sec
919.10/919.14	c [picomus] reduction 120 to 2354 out of 12757 (18%) after 919.2 sec
930.70/930.74	c [picomus] reduction 121 to 2352 out of 12757 (18%) after 930.8 sec
940.60/940.69	c [picomus] reduction 122 to 2350 out of 12757 (18%) after 940.7 sec
954.40/954.40	c [picomus] reduction 123 to 2346 out of 12757 (18%) after 954.4 sec
966.00/966.08	c [picomus] reduction 124 to 2343 out of 12757 (18%) after 966.1 sec
977.81/977.89	c [picomus] reduction 125 to 2340 out of 12757 (18%) after 977.9 sec
998.51/998.54	c [picomus] reduction 126 to 2338 out of 12757 (18%) after 998.6 sec
1011.10/1011.12	c [picomus] reduction 127 to 2336 out of 12757 (18%) after 1011.1 sec
1022.80/1022.88	c [picomus] reduction 128 to 2335 out of 12757 (18%) after 1022.9 sec
1032.51/1032.54	c [picomus] reduction 129 to 2334 out of 12757 (18%) after 1032.6 sec
1042.10/1042.14	c [picomus] reduction 130 to 2333 out of 12757 (18%) after 1042.2 sec
1052.41/1052.47	c [picomus] reduction 131 to 2332 out of 12757 (18%) after 1052.5 sec
1063.11/1063.11	c [picomus] reduction 132 to 2331 out of 12757 (18%) after 1063.1 sec
1071.61/1071.63	c [picomus] reduction 133 to 2330 out of 12757 (18%) after 1071.6 sec
1081.91/1081.97	c [picomus] reduction 134 to 2328 out of 12757 (18%) after 1082.0 sec
1091.31/1091.31	c [picomus] reduction 135 to 2327 out of 12757 (18%) after 1091.3 sec
1102.71/1102.73	c [picomus] reduction 136 to 2325 out of 12757 (18%) after 1102.7 sec
1117.11/1117.14	c [picomus] reduction 137 to 2324 out of 12757 (18%) after 1117.2 sec
1137.11/1137.18	c [picomus] reduction 138 to 2323 out of 12757 (18%) after 1137.2 sec
1149.71/1149.79	c [picomus] reduction 139 to 2321 out of 12757 (18%) after 1149.8 sec
1173.01/1173.07	c [picomus] reduction 140 to 2320 out of 12757 (18%) after 1173.1 sec
1205.11/1205.14	c [picomus] reduction 141 to 2319 out of 12757 (18%) after 1205.2 sec
1241.01/1241.03	c [picomus] reduction 142 to 2317 out of 12757 (18%) after 1241.0 sec
1263.21/1263.23	c [picomus] reduction 143 to 2316 out of 12757 (18%) after 1263.3 sec
1283.31/1283.36	c [picomus] reduction 144 to 2315 out of 12757 (18%) after 1283.4 sec
1302.61/1302.70	c [picomus] reduction 145 to 2314 out of 12757 (18%) after 1302.7 sec
1321.81/1321.81	c [picomus] reduction 146 to 2313 out of 12757 (18%) after 1321.8 sec
1355.31/1355.35	c [picomus] reduction 147 to 2312 out of 12757 (18%) after 1355.4 sec
1387.03/1387.06	c [picomus] reduction 148 to 2311 out of 12757 (18%) after 1387.1 sec
1405.83/1405.89	c [picomus] reduction 149 to 2310 out of 12757 (18%) after 1405.9 sec
1423.71/1423.77	c [picomus] reduction 150 to 2309 out of 12757 (18%) after 1423.8 sec
1479.31/1479.30	c [picomus] reduction 151 to 2308 out of 12757 (18%) after 1479.3 sec
1513.63/1513.69	c [picomus] reduction 152 to 2307 out of 12757 (18%) after 1513.7 sec
1545.81/1545.83	c [picomus] reduction 153 to 2306 out of 12757 (18%) after 1545.9 sec
1585.92/1585.96	c [picomus] reduction 154 to 2305 out of 12757 (18%) after 1586.0 sec
1612.72/1612.78	c [picomus] reduction 155 to 2304 out of 12757 (18%) after 1612.8 sec
1639.12/1639.17	c [picomus] reduction 156 to 2303 out of 12757 (18%) after 1639.2 sec
1670.32/1670.36	c [picomus] reduction 157 to 2302 out of 12757 (18%) after 1670.4 sec
1698.33/1698.38	c [picomus] reduction 158 to 2300 out of 12757 (18%) after 1698.4 sec
1721.02/1721.05	c [picomus] reduction 159 to 2299 out of 12757 (18%) after 1721.1 sec
1747.12/1747.16	c [picomus] reduction 160 to 2298 out of 12757 (18%) after 1747.2 sec
1769.22/1769.23	c [picomus] reduction 161 to 2295 out of 12757 (18%) after 1769.3 sec
1786.12/1786.10	c [picomus] reduction 162 to 2294 out of 12757 (18%) after 1786.1 sec

Verifier Data 

ERROR: no value line found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3483512-1307605013/watcher-3483512-1307605013 -o /tmp/evaluation-result-3483512-1307605013/solver-3483512-1307605013 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3483512-1307605013.cnf 

running on 2 cores: 0,2

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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 2/496 15918
/proc/meminfo: memFree=1407660/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=1972 CPUtime=0.01 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 419 0 0 0 1 0 0 0 23 0 1 0 429932380 2019328 374 33554432000 134512640 135072097 4288299488 18446744073709551615 134543899 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 493 374 67 137 0 354 0

[startup+0.070615 s]
/proc/loadavg: 0.00 0.00 0.00 2/496 15918
/proc/meminfo: memFree=1407660/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=2104 CPUtime=0.07 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 447 0 0 0 7 0 0 0 23 0 1 0 429932380 2154496 402 33554432000 134512640 135072097 4288299488 18446744073709551615 134556733 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 526 402 68 137 0 387 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2104

[startup+0.100616 s]
/proc/loadavg: 0.00 0.00 0.00 2/496 15918
/proc/meminfo: memFree=1407660/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=2104 CPUtime=0.1 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 466 0 0 0 10 0 0 0 23 0 1 0 429932380 2154496 421 33554432000 134512640 135072097 4288299488 18446744073709551615 134543485 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 526 421 68 137 0 387 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2104

[startup+0.300461 s]
/proc/loadavg: 0.00 0.00 0.00 2/496 15918
/proc/meminfo: memFree=1407660/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=2632 CPUtime=0.3 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 585 0 0 0 30 0 0 0 25 0 1 0 429932380 2695168 540 33554432000 134512640 135072097 4288299488 18446744073709551615 134541785 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 658 540 68 137 0 519 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 2632

[startup+0.700389 s]
/proc/loadavg: 0.00 0.00 0.00 2/496 15918
/proc/meminfo: memFree=1407660/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=3688 CPUtime=0.7 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 846 0 0 0 70 0 0 0 25 0 1 0 429932380 3776512 801 33554432000 134512640 135072097 4288299488 18446744073709551615 134558253 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 922 801 68 137 0 783 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 3688

[startup+1.5003 s]
/proc/loadavg: 0.00 0.00 0.00 3/497 15973
/proc/meminfo: memFree=1398328/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=5720 CPUtime=1.49 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 1353 0 0 0 149 0 0 0 25 0 1 0 429932380 5857280 1308 33554432000 134512640 135072097 4288299488 18446744073709551615 134543471 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 1430 1308 69 137 0 1291 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5720

[startup+3.10103 s]
/proc/loadavg: 0.16 0.03 0.01 3/497 15973
/proc/meminfo: memFree=1393368/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=9152 CPUtime=3.09 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 2217 0 0 0 309 0 0 0 25 0 1 0 429932380 9371648 2172 33554432000 134512640 135072097 4288299488 18446744073709551615 134543764 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 2288 2173 69 137 0 2149 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9152

[startup+6.30051 s]
/proc/loadavg: 0.16 0.03 0.01 3/497 15973
/proc/meminfo: memFree=1402292/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=6316 CPUtime=6.29 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 5028 0 0 0 629 0 0 0 25 0 1 0 429932380 6467584 1439 33554432000 134512640 135072097 4288299488 18446744073709551615 134558358 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 1579 1439 76 137 0 1440 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6316

[startup+12.7004 s]
/proc/loadavg: 0.44 0.10 0.03 3/497 15973
/proc/meminfo: memFree=1401924/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=5124 CPUtime=12.69 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 11994 0 0 0 1266 3 0 0 25 0 1 0 429932380 5246976 1190 33554432000 134512640 135072097 4288299488 18446744073709551615 134543828 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 1281 1190 76 137 0 1142 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 5124

[startup+25.501 s]
/proc/loadavg: 0.76 0.18 0.06 4/502 16010
/proc/meminfo: memFree=1389400/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=4552 CPUtime=25.49 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 27058 0 0 0 2544 5 0 0 25 0 1 0 429932380 4661248 1029 33554432000 134512640 135072097 4288299488 18446744073709551615 134559206 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 1138 1029 76 137 0 999 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4552

[startup+51.1006 s]
/proc/loadavg: 1.52 0.40 0.13 4/502 16039
/proc/meminfo: memFree=1156144/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=13544 CPUtime=51.09 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 56927 0 0 0 5099 10 0 0 25 0 1 0 429932380 13869056 3291 33554432000 134512640 135072097 4288299488 18446744073709551615 134556223 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 3386 3291 76 137 0 3247 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 13544

[startup+102.316 s]
/proc/loadavg: 3.05 1.01 0.35 5/507 16076
/proc/meminfo: memFree=798904/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=37628 CPUtime=102.31 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 62932 0 0 0 10220 11 0 0 25 0 1 0 429932380 38531072 9292 33554432000 134512640 135072097 4288299488 18446744073709551615 134556778 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 9407 9292 77 137 0 9268 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 37628

[startup+162.301 s]
/proc/loadavg: 3.75 1.58 0.59 5/507 16078
/proc/meminfo: memFree=761216/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=41548 CPUtime=162.29 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 64008 0 0 0 16218 11 0 0 25 0 1 0 429932380 42545152 10297 33554432000 134512640 135072097 4288299488 18446744073709551615 134556791 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 10387 10297 77 137 0 10248 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 41548

[startup+222.3 s]
/proc/loadavg: 4.04 2.05 0.81 5/507 16080
/proc/meminfo: memFree=760256/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=41548 CPUtime=222.28 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 64008 0 0 0 22217 11 0 0 25 0 1 0 429932380 42545152 10297 33554432000 134512640 135072097 4288299488 18446744073709551615 134543764 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 10387 10297 77 137 0 10248 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 41548

[startup+282.301 s]
/proc/loadavg: 4.08 2.42 1.01 5/507 16082
/proc/meminfo: memFree=763596/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=42088 CPUtime=282.29 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 64808 0 0 0 28217 12 0 0 25 0 1 0 429932380 43098112 10432 33554432000 134512640 135072097 4288299488 18446744073709551615 134549025 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 10522 10432 77 137 0 10383 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 42088

[startup+342.301 s]
/proc/loadavg: 3.50 2.56 1.15 4/501 16100
/proc/meminfo: memFree=921288/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=45944 CPUtime=342.29 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 65744 0 0 0 34217 12 0 0 25 0 1 0 429932380 47046656 11367 33554432000 134512640 135072097 4288299488 18446744073709551615 134556280 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 11486 11367 77 137 0 11347 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 45944

[startup+402.3 s]
/proc/loadavg: 3.18 2.64 1.26 4/501 16101
/proc/meminfo: memFree=920892/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=45272 CPUtime=402.28 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 65744 0 0 0 40216 12 0 0 25 0 1 0 429932380 46358528 11228 33554432000 134512640 135072097 4288299488 18446744073709551615 134556781 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 11318 11228 77 137 0 11179 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 45272

[startup+462.301 s]
/proc/loadavg: 3.06 2.70 1.37 4/501 16103
/proc/meminfo: memFree=920132/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=45272 CPUtime=462.28 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 65744 0 0 0 46216 12 0 0 25 0 1 0 429932380 46358528 11228 33554432000 134512640 135072097 4288299488 18446744073709551615 134518025 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 11318 11228 77 137 0 11179 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 45272

[startup+522.3 s]
/proc/loadavg: 3.06 2.77 1.47 4/501 16105
/proc/meminfo: memFree=921872/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=45272 CPUtime=522.29 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 65744 0 0 0 52217 12 0 0 25 0 1 0 429932380 46358528 11228 33554432000 134512640 135072097 4288299488 18446744073709551615 134543937 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 11318 11228 77 137 0 11179 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 45272

[startup+582.301 s]
/proc/loadavg: 3.02 2.81 1.57 4/501 16107
/proc/meminfo: memFree=923168/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=43116 CPUtime=582.29 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 65744 0 0 0 58217 12 0 0 25 0 1 0 429932380 44150784 10689 33554432000 134512640 135072097 4288299488 18446744073709551615 134517966 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 10779 10689 77 137 0 10640 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 43116

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 3.05 2.94 1.90 4/501 16113
/proc/meminfo: memFree=920148/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=44216 CPUtime=822.3 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 67174 0 0 0 82217 13 0 0 25 0 1 0 429932380 45277184 10964 33554432000 134512640 135072097 4288299488 18446744073709551615 134556761 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 11054 10964 77 137 0 10915 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 44216

[startup+882.301 s]
/proc/loadavg: 3.05 2.96 1.97 4/501 16115
/proc/meminfo: memFree=919512/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=44216 CPUtime=882.3 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 67174 0 0 0 88217 13 0 0 25 0 1 0 429932380 45277184 10964 33554432000 134512640 135072097 4288299488 18446744073709551615 134541113 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 11054 10964 77 137 0 10915 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 44216

[startup+942.301 s]
/proc/loadavg: 3.02 2.97 2.03 4/501 16116
/proc/meminfo: memFree=920540/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=44348 CPUtime=942.3 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 67192 0 0 0 94217 13 0 0 25 0 1 0 429932380 45412352 10982 33554432000 134512640 135072097 4288299488 18446744073709551615 134517936 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 11087 10982 77 137 0 10948 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 44348

[startup+1002.3 s]
/proc/loadavg: 2.47 2.83 2.04 3/495 16134
/proc/meminfo: memFree=1077544/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=44364 CPUtime=1002.3 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 67895 0 0 0 100216 14 0 0 25 0 1 0 429932380 45428736 11001 33554432000 134512640 135072097 4288299488 18446744073709551615 134541072 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 11091 11001 77 137 0 10952 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 44364

[startup+1062.3 s]
/proc/loadavg: 2.17 2.68 2.03 3/495 16136
/proc/meminfo: memFree=1079280/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=44364 CPUtime=1062.31 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 67895 0 0 0 106217 14 0 0 25 0 1 0 429932380 45428736 11001 33554432000 134512640 135072097 4288299488 18446744073709551615 134557168 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 11091 11001 77 137 0 10952 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 44364

[startup+1122.3 s]
/proc/loadavg: 2.06 2.55 2.03 3/495 16138
/proc/meminfo: memFree=1078808/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=44364 CPUtime=1122.31 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 67895 0 0 0 112217 14 0 0 25 0 1 0 429932380 45428736 11001 33554432000 134512640 135072097 4288299488 18446744073709551615 134558379 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 11091 11001 77 137 0 10952 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 44364

[startup+1182.3 s]
/proc/loadavg: 2.02 2.45 2.02 3/495 16140
/proc/meminfo: memFree=1078224/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=44364 CPUtime=1182.31 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 67895 0 0 0 118217 14 0 0 25 0 1 0 429932380 45428736 11001 33554432000 134512640 135072097 4288299488 18446744073709551615 134556237 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 11091 11001 77 137 0 10952 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 44364

[startup+1242.3 s]
/proc/loadavg: 2.01 2.36 2.02 3/495 16141
/proc/meminfo: memFree=1077756/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=44364 CPUtime=1242.31 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 67895 0 0 0 124217 14 0 0 25 0 1 0 429932380 45428736 11001 33554432000 134512640 135072097 4288299488 18446744073709551615 134557168 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 11091 11001 77 137 0 10952 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 44364

[startup+1302.3 s]
/proc/loadavg: 2.07 2.32 2.02 3/495 16142
/proc/meminfo: memFree=1075960/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=44364 CPUtime=1302.33 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 67895 0 0 0 130219 14 0 0 25 0 1 0 429932380 45428736 11001 33554432000 134512640 135072097 4288299488 18446744073709551615 134540300 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 11091 11001 77 137 0 10952 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 44364

[startup+1362.3 s]
/proc/loadavg: 2.15 2.31 2.03 3/495 16144
/proc/meminfo: memFree=1077728/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=44364 CPUtime=1362.31 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 67895 0 0 0 136217 14 0 0 25 0 1 0 429932380 45428736 11001 33554432000 134512640 135072097 4288299488 18446744073709551615 134556767 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 11091 11001 77 137 0 10952 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 44364

[startup+1422.32 s]
/proc/loadavg: 2.10 2.26 2.03 3/495 16146
/proc/meminfo: memFree=1078160/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=44364 CPUtime=1422.33 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 67895 0 0 0 142219 14 0 0 25 0 1 0 429932380 45428736 11001 33554432000 134512640 135072097 4288299488 18446744073709551615 134518015 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 11091 11001 77 137 0 10952 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 44364

[startup+1482.3 s]
/proc/loadavg: 2.03 2.21 2.03 3/495 16157
/proc/meminfo: memFree=1078816/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=44364 CPUtime=1482.31 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 67895 0 0 0 148217 14 0 0 25 0 1 0 429932380 45428736 11001 33554432000 134512640 135072097 4288299488 18446744073709551615 134540318 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 11091 11001 77 137 0 10952 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 44364

[startup+1542.3 s]
/proc/loadavg: 2.01 2.17 2.02 3/495 16158
/proc/meminfo: memFree=1078476/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=44364 CPUtime=1542.31 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 67895 0 0 0 154217 14 0 0 25 0 1 0 429932380 45428736 11001 33554432000 134512640 135072097 4288299488 18446744073709551615 134556770 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 11091 11001 77 137 0 10952 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 44364

[startup+1602.3 s]
/proc/loadavg: 2.00 2.14 2.01 3/495 16159
/proc/meminfo: memFree=1078832/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=44364 CPUtime=1602.32 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 67895 0 0 0 160217 15 0 0 25 0 1 0 429932380 45428736 11001 33554432000 134512640 135072097 4288299488 18446744073709551615 134543828 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 11091 11001 77 137 0 10952 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 44364

[startup+1662.3 s]
/proc/loadavg: 2.00 2.11 2.01 3/495 16161
/proc/meminfo: memFree=1079100/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=44364 CPUtime=1662.32 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 67895 0 0 0 166217 15 0 0 25 0 1 0 429932380 45428736 11001 33554432000 134512640 135072097 4288299488 18446744073709551615 134556265 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 11091 11001 77 137 0 10952 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 44364

[startup+1722.3 s]
/proc/loadavg: 2.00 2.09 2.00 3/495 16163
/proc/meminfo: memFree=1078488/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=44364 CPUtime=1722.32 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 67895 0 0 0 172217 15 0 0 25 0 1 0 429932380 45428736 11001 33554432000 134512640 135072097 4288299488 18446744073709551615 134543669 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 11091 11001 77 137 0 10952 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 44364

[startup+1782.3 s]
/proc/loadavg: 2.00 2.07 2.00 3/495 16165
/proc/meminfo: memFree=1077144/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=44364 CPUtime=1782.32 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 67895 0 0 0 178217 15 0 0 25 0 1 0 429932380 45428736 11001 33554432000 134512640 135072097 4288299488 18446744073709551615 134559258 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 11091 11001 77 137 0 10952 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 44364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.06 2.00 3/495 16165
/proc/meminfo: memFree=1077388/32950928 swapFree=0/4192956
[pid=15918] ppid=15916 vsize=44364 CPUtime=1800.04 cores=0,2
/proc/15918/stat : 15918 (picomus) R 15916 15918 15878 0 -1 4202496 67895 0 0 0 179989 15 0 0 25 0 1 0 429932380 45428736 11001 33554432000 134512640 135072097 4288299488 18446744073709551615 134543606 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15918/statm: 11091 11001 77 137 0 10952 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 44364

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

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.02
CPU time (s): 1800.05
CPU user time (s): 1799.89
CPU system time (s): 0.155976
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 48324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.155976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67895
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= 5
involuntary context switches= 4608

runsolver used 7.95779 second user time and 18.1972 second system time

The end

Launcher Data 

Begin job on node124 at 2011-06-09 09:36:53
IDJOB=3483512
IDBENCH=88074
IDSOLVER=1974
FILE ID=node124/3483512-1307605013
RUNJOBID= node124-1307605011-15896
PBS_JOBID= 13547765
Free space on /tmp= 130320 MiB

SOLVER NAME= PicoMUS 941
BENCH NAME= SAT02/industrial/biere/dinphil/dp08u07.shuffled.cnf
COMMAND LINE= picomus BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3483512-1307605013/watcher-3483512-1307605013 -o /tmp/evaluation-result-3483512-1307605013/solver-3483512-1307605013 -C 1800 -W 1850 -M 7680  picomus HOME/instance-3483512-1307605013.cnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= ef6166b8ccba4e6def7a25a397686e54
RANDOM SEED=1406985501

node124.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.807
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.807
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5357.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.807
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.807
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.807
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.807
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.807
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.807
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       1407948 kB
Buffers:         38968 kB
Cached:         277392 kB
SwapCached:       7756 kB
Active:       18418712 kB
Inactive:     12920404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       1407948 kB
SwapTotal:     4192956 kB
SwapFree:            0 kB
Dirty:            3172 kB
Writeback:           0 kB
AnonPages:    31020704 kB
Mapped:          38212 kB
Slab:            71608 kB
PageTables:      96152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  20668420 kB
Committed_AS: 112801660 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    265212 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 130276 MiB
End job on node124 at 2011-06-09 10:06:55