Trace number 328300

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, and are wall clock time (not CPU 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
ornithorynque 0.1 alpha? (TO) 1200.11 601.53

General information on the benchmark

Namerandom/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S1097641288-15-SAT.cnf
MD5SUM44d1561b77675d06306d515515e8409f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.60545
Satisfiable
(Un)Satisfiability was proved
Number of variables6499
Number of clauses17354
Sum of the clauses size46856
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25206
Number of clauses of size 312148
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.00	c This is Ornithorynque version 0.1 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using unsigned short
0.00/0.00	c parsing...
0.00/0.04	c ...done
0.00/0.04	c nbVar=6500 nbClause=17354
0.00/0.05	c nbVar=6500 nbClause=17354
0.00/0.07	c complete search running
0.06/0.07	c local search running
0.06/0.07	c flip 0 nbSat=14532 maxSat=0
0.13/0.12	c flip 10000 nbSat=16884 maxSat=16904
0.13/0.17	c flip 20000 nbSat=17026 maxSat=17037
0.33/0.22	c flip 30000 nbSat=17096 maxSat=17104
0.33/0.26	c flip 40000 nbSat=17120 maxSat=17138
0.53/0.31	c flip 50000 nbSat=17137 maxSat=17141
0.53/0.36	c flip 60000 nbSat=17148 maxSat=17157
0.73/0.40	c flip 70000 nbSat=17139 maxSat=17163
0.73/0.45	c flip 80000 nbSat=17142 maxSat=17174
0.73/0.50	c flip 90000 nbSat=17138 maxSat=17174
0.93/0.54	c flip 100000 nbSat=17165 maxSat=17182
0.93/0.59	c flip 110000 nbSat=17161 maxSat=17188
1.13/0.64	c flip 120000 nbSat=17171 maxSat=17188
1.13/0.69	c flip 0 nbSat=15616 maxSat=17188
1.32/0.77	c flip 10000 nbSat=17925 maxSat=17946
1.52/0.84	c flip 20000 nbSat=18161 maxSat=18180
1.72/0.92	c flip 30000 nbSat=18207 maxSat=18229
1.72/0.99	c flip 40000 nbSat=18226 maxSat=18246
1.93/1.07	c flip 50000 nbSat=18232 maxSat=18254
2.13/1.15	c flip 60000 nbSat=18238 maxSat=18254
2.32/1.22	c flip 70000 nbSat=18263 maxSat=18270
2.52/1.30	c flip 80000 nbSat=18247 maxSat=18278
2.52/1.38	c flip 90000 nbSat=18276 maxSat=18283
2.72/1.45	c flip 100000 nbSat=18266 maxSat=18283
2.92/1.52	c flip 110000 nbSat=18241 maxSat=18283
2.92/1.59	c flip 120000 nbSat=18272 maxSat=18289
3.12/1.67	c flip 0 nbSat=17255 maxSat=18297
3.32/1.79	c flip 10000 nbSat=19543 maxSat=19545
3.72/1.91	c flip 20000 nbSat=19748 maxSat=19765
3.92/2.04	c flip 30000 nbSat=19761 maxSat=19781
4.13/2.16	c flip 40000 nbSat=19801 maxSat=19810
4.32/2.29	c flip 50000 nbSat=19833 maxSat=19834
4.72/2.43	c flip 60000 nbSat=19838 maxSat=19854
4.92/2.54	c flip 70000 nbSat=19842 maxSat=19859
5.12/2.65	c flip 80000 nbSat=19852 maxSat=19863
5.32/2.77	c flip 90000 nbSat=19848 maxSat=19865
5.52/2.88	c flip 100000 nbSat=19843 maxSat=19865
5.92/3.00	c flip 110000 nbSat=19854 maxSat=19865
6.12/3.12	c flip 120000 nbSat=19847 maxSat=19865
6.32/3.27	c flip 0 nbSat=19385 maxSat=19865
6.71/3.44	c flip 10000 nbSat=21762 maxSat=21766
7.11/3.65	c flip 20000 nbSat=21922 maxSat=21940
7.51/3.85	c flip 30000 nbSat=21985 maxSat=21997
7.91/4.07	c flip 40000 nbSat=22024 maxSat=22030
8.31/4.21	c nbDecision=10000 #clauses=23404
8.31/4.27	c flip 50000 nbSat=22024 maxSat=22049
8.71/4.47	c flip 60000 nbSat=22048 maxSat=22054
9.10/4.69	c flip 70000 nbSat=22054 maxSat=22078
9.50/4.89	c flip 80000 nbSat=22056 maxSat=22078
9.91/5.09	c flip 90000 nbSat=22056 maxSat=22083
10.31/5.29	c flip 100000 nbSat=22070 maxSat=22086
10.71/5.49	c flip 110000 nbSat=22042 maxSat=22086
11.10/5.68	c flip 120000 nbSat=22063 maxSat=22086
11.70/5.92	c flip 0 nbSat=22549 maxSat=22089
12.30/6.21	c flip 10000 nbSat=24858 maxSat=24869
12.90/6.59	c flip 20000 nbSat=25071 maxSat=25087
13.69/6.94	c flip 30000 nbSat=25148 maxSat=25154
14.29/7.28	c flip 40000 nbSat=25152 maxSat=25172
15.10/7.65	c flip 50000 nbSat=25178 maxSat=25196
15.89/8.03	c flip 60000 nbSat=25208 maxSat=25213
16.48/8.37	c flip 70000 nbSat=25194 maxSat=25217
17.08/8.68	c flip 80000 nbSat=25215 maxSat=25229
17.88/9.02	c flip 90000 nbSat=25216 maxSat=25229
18.69/9.41	c flip 100000 nbSat=25178 maxSat=25229
19.50/9.82	c flip 110000 nbSat=25203 maxSat=25229
20.29/10.25	c flip 120000 nbSat=25221 maxSat=25230
20.68/10.47	c nbDecision=20000 #clauses=29464
21.08/10.69	c flip 0 nbSat=26802 maxSat=25238
22.28/11.25	c flip 10000 nbSat=29164 maxSat=29166
23.48/11.81	c flip 20000 nbSat=29318 maxSat=29350
24.47/12.38	c flip 30000 nbSat=29388 maxSat=29404
25.67/12.97	c flip 40000 nbSat=29381 maxSat=29422
26.86/13.50	c flip 50000 nbSat=29412 maxSat=29432
27.87/14.03	c flip 60000 nbSat=29438 maxSat=29445
28.86/14.57	c flip 70000 nbSat=29421 maxSat=29447
30.05/15.16	c flip 80000 nbSat=29438 maxSat=29451
31.25/15.77	c flip 90000 nbSat=29450 maxSat=29453
32.44/16.38	c flip 100000 nbSat=29436 maxSat=29458
33.84/17.04	c flip 110000 nbSat=29447 maxSat=29460
35.23/17.72	c flip 120000 nbSat=29444 maxSat=29469
36.64/18.47	c flip 0 nbSat=32761 maxSat=29472
37.05/18.66	c nbDecision=30000 #clauses=35724
38.64/19.48	c flip 10000 nbSat=35031 maxSat=35037
40.83/20.51	c flip 20000 nbSat=35207 maxSat=35223
43.22/21.71	c flip 30000 nbSat=35281 maxSat=35305
45.22/22.79	c flip 40000 nbSat=35336 maxSat=35350
47.21/23.79	c flip 50000 nbSat=35328 maxSat=35351
49.40/24.81	c flip 60000 nbSat=35338 maxSat=35360
51.61/25.91	c flip 70000 nbSat=35343 maxSat=35374
53.60/26.94	c flip 80000 nbSat=35375 maxSat=35383
55.80/28.04	c flip 90000 nbSat=35363 maxSat=35383
57.99/29.12	c flip 100000 nbSat=35371 maxSat=35404
59.98/30.13	c flip 110000 nbSat=35390 maxSat=35404
59.98/30.18	c nbDecision=40000 #clauses=42162
62.18/31.26	c flip 120000 nbSat=35394 maxSat=35407
64.38/32.34	c flip 0 nbSat=40295 maxSat=35407
67.37/33.81	c flip 10000 nbSat=42622 maxSat=42641
70.97/35.68	c flip 20000 nbSat=42793 maxSat=42836
74.56/37.47	c flip 30000 nbSat=42891 maxSat=42913
78.34/39.36	c flip 40000 nbSat=42921 maxSat=42938
82.13/41.24	c flip 50000 nbSat=42926 maxSat=42946
85.33/42.85	c flip 60000 nbSat=42924 maxSat=42952
88.31/44.39	c flip 70000 nbSat=42936 maxSat=42952
89.73/45.08	c nbDecision=50000 #clauses=48758
91.52/45.96	c flip 80000 nbSat=42936 maxSat=42956
95.10/47.79	c flip 90000 nbSat=42926 maxSat=42956
98.70/49.51	c flip 100000 nbSat=42941 maxSat=42958
101.88/51.19	c flip 110000 nbSat=42941 maxSat=42962
105.68/53.06	c flip 120000 nbSat=42952 maxSat=42962
108.68/54.59	c flip 0 nbSat=50133 maxSat=42965
112.86/56.63	c flip 10000 nbSat=52490 maxSat=52511
117.85/59.14	c flip 20000 nbSat=52693 maxSat=52708
118.85/59.63	c nbDecision=60000 #clauses=55122
122.43/61.42	c flip 30000 nbSat=52747 maxSat=52755
128.42/64.43	c flip 40000 nbSat=52757 maxSat=52797
134.21/67.36	c flip 50000 nbSat=52802 maxSat=52816
139.40/69.93	c flip 60000 nbSat=52793 maxSat=52816
144.80/72.69	c flip 70000 nbSat=52790 maxSat=52826
150.18/75.35	c flip 80000 nbSat=52814 maxSat=52826
154.77/77.66	c nbDecision=70000 #clauses=61779
155.57/78.08	c flip 90000 nbSat=52806 maxSat=52836
160.75/80.63	c flip 100000 nbSat=52824 maxSat=52846
166.74/83.64	c flip 110000 nbSat=52833 maxSat=52851
172.12/86.36	c flip 120000 nbSat=52819 maxSat=52851
176.91/88.74	c flip 0 nbSat=62718 maxSat=52851
184.69/92.67	c flip 10000 nbSat=64995 maxSat=65019
193.28/96.90	c flip 20000 nbSat=65159 maxSat=65189
193.68/97.17	c nbDecision=80000 #clauses=68176
201.66/101.17	c flip 30000 nbSat=65213 maxSat=65251
211.03/105.86	c flip 40000 nbSat=65222 maxSat=65260
218.62/109.69	c flip 50000 nbSat=65281 maxSat=65288
228.00/114.40	c flip 60000 nbSat=65285 maxSat=65301
236.78/118.72	c flip 70000 nbSat=65300 maxSat=65307
239.57/120.17	c nbDecision=90000 #clauses=74641
248.95/124.83	c flip 80000 nbSat=65290 maxSat=65315
259.92/130.38	c flip 90000 nbSat=65300 maxSat=65326
270.09/135.43	c flip 100000 nbSat=65310 maxSat=65326
280.27/140.58	c flip 110000 nbSat=65308 maxSat=65330
290.05/145.42	c flip 120000 nbSat=65328 maxSat=65345
299.04/149.94	c nbDecision=100000 #clauses=81291
300.83/150.85	c flip 0 nbSat=78615 maxSat=65345
309.60/155.23	c flip 10000 nbSat=80976 maxSat=80976
319.38/160.13	c flip 20000 nbSat=81143 maxSat=81159
329.56/165.23	c flip 30000 nbSat=81178 maxSat=81220
340.73/170.88	c flip 40000 nbSat=81217 maxSat=81246
352.11/176.53	c flip 50000 nbSat=81239 maxSat=81259
360.69/180.84	c nbDecision=110000 #clauses=87670
363.08/182.04	c flip 60000 nbSat=81268 maxSat=81290
375.45/188.28	c flip 70000 nbSat=81262 maxSat=81295
387.22/194.17	c flip 80000 nbSat=81276 maxSat=81295
398.80/199.92	c flip 90000 nbSat=81279 maxSat=81295
408.78/204.97	c flip 100000 nbSat=81292 maxSat=81302
421.35/211.20	c flip 110000 nbSat=81279 maxSat=81303
433.92/217.58	c flip 120000 nbSat=81277 maxSat=81303
445.29/223.22	c flip 0 nbSat=91522 maxSat=81306
446.09/223.60	c nbDecision=120000 #clauses=94457
456.27/228.78	c flip 10000 nbSat=93912 maxSat=93922
472.03/236.66	c flip 20000 nbSat=94102 maxSat=94103
487.60/244.41	c flip 30000 nbSat=94135 maxSat=94156
503.15/252.28	c flip 40000 nbSat=94143 maxSat=94157
517.93/259.69	c flip 50000 nbSat=94165 maxSat=94173
528.30/264.87	c nbDecision=130000 #clauses=101264
533.88/267.63	c flip 60000 nbSat=94175 maxSat=94185
549.25/275.38	c flip 70000 nbSat=94177 maxSat=94197
562.83/282.10	c flip 80000 nbSat=94192 maxSat=94205
575.60/288.51	c flip 90000 nbSat=94185 maxSat=94209
589.95/295.72	c flip 100000 nbSat=94209 maxSat=94220
603.53/302.52	c flip 110000 nbSat=94208 maxSat=94224
616.50/309.04	c nbDecision=140000 #clauses=107959
618.69/310.12	c flip 120000 nbSat=94204 maxSat=94224
632.86/317.21	c flip 0 nbSat=107403 maxSat=94229
647.23/324.45	c flip 10000 nbSat=109789 maxSat=109791
664.39/333.06	c flip 20000 nbSat=109964 maxSat=109968
679.35/340.54	c nbDecision=150000 #clauses=114287
683.74/342.73	c flip 30000 nbSat=110000 maxSat=110022
705.29/353.58	c flip 40000 nbSat=110033 maxSat=110054
724.85/363.33	c flip 50000 nbSat=110044 maxSat=110060
739.62/370.73	c flip 60000 nbSat=110055 maxSat=110070
754.79/378.36	c flip 70000 nbSat=110050 maxSat=110080
763.76/382.89	c nbDecision=160000 #clauses=120512
771.14/386.54	c flip 80000 nbSat=110080 maxSat=110099
789.30/395.64	c flip 90000 nbSat=110094 maxSat=110113
806.85/404.41	c flip 100000 nbSat=110102 maxSat=110125
824.62/413.34	c flip 110000 nbSat=110115 maxSat=110125
843.37/422.75	c flip 120000 nbSat=110111 maxSat=110125
863.93/433.01	c flip 0 nbSat=123836 maxSat=110125
868.32/435.24	c nbDecision=170000 #clauses=127057
880.10/441.11	c flip 10000 nbSat=126260 maxSat=126264
900.44/451.36	c flip 20000 nbSat=126425 maxSat=126447
924.19/463.24	c flip 30000 nbSat=126479 maxSat=126492
948.53/475.45	c flip 40000 nbSat=126504 maxSat=126522
973.68/488.07	c flip 50000 nbSat=126516 maxSat=126541
977.86/490.18	c nbDecision=180000 #clauses=133592
1000.01/501.28	c flip 60000 nbSat=126533 maxSat=126550
1025.75/514.15	c flip 70000 nbSat=126534 maxSat=126552
1048.70/525.68	c flip 80000 nbSat=126552 maxSat=126578
1069.05/535.81	c flip 90000 nbSat=126559 maxSat=126581
1072.44/537.56	c nbDecision=190000 #clauses=140202
1087.01/544.82	c flip 100000 nbSat=126564 maxSat=126586
1107.76/555.24	c flip 110000 nbSat=126572 maxSat=126593
1128.51/565.67	c flip 120000 nbSat=126573 maxSat=126598
1151.27/577.06	c flip 0 nbSat=141669 maxSat=126605
1172.41/587.63	c flip 10000 nbSat=144001 maxSat=144005
1195.52/599.25	c nbDecision=200000 #clauses=146657
1196.31/599.60	c flip 20000 nbSat=144166 maxSat=144184

Verifier Data (download as text)

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer:

Watcher Data (download as text)

runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node2/watcher-328300-1173109864 -o ROOT/results/node2/solver-328300-1173109864 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328300-1173109864/ornithorynque /tmp/evaluation/328300-1173109864/instance-328300-1173109864.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.85 1.95 1.90 3/77 23335
/proc/meminfo: memFree=1079160/2055920 swapFree=4153276/4192956
[pid=23335] ppid=23333 vsize=23220 CPUtime=0
/proc/23335/stat : 23335 (ornithorynque) R 23333 23335 22826 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 330941363 23777280 263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206378661592 0 0 4096 0 0 0 0 17 1 0 0
/proc/23335/statm: 5805 263 218 42 0 45 0

[startup+0.07057 s]
/proc/loadavg: 1.85 1.95 1.90 3/77 23335
/proc/meminfo: memFree=1079160/2055920 swapFree=4153276/4192956
[pid=23335] ppid=23333 vsize=47976 CPUtime=0.06
/proc/23335/stat : 23335 (ornithorynque) R 23333 23335 22826 0 -1 4194304 1524 0 0 0 5 1 0 0 18 0 3 0 330941363 49127424 1419 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206390194043 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23335/statm: 11994 1424 384 42 0 6246 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 47976

[startup+0.10158 s]
/proc/loadavg: 1.85 1.95 1.90 3/77 23335
/proc/meminfo: memFree=1079160/2055920 swapFree=4153276/4192956
[pid=23335] ppid=23333 vsize=48112 CPUtime=0.13
/proc/23335/stat : 23335 (ornithorynque) S 23333 23335 22826 0 -1 4194304 1554 0 0 0 12 1 0 0 18 0 3 0 330941363 49266688 1449 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206390194043 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23335/statm: 12028 1449 387 42 0 6280 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 48112

[startup+0.301597 s]
/proc/loadavg: 1.85 1.95 1.90 3/77 23335
/proc/meminfo: memFree=1079160/2055920 swapFree=4153276/4192956
[pid=23335] ppid=23333 vsize=48112 CPUtime=0.53
/proc/23335/stat : 23335 (ornithorynque) S 23333 23335 22826 0 -1 4194304 1562 0 0 0 52 1 0 0 18 0 3 0 330941363 49266688 1457 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206390194043 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23335/statm: 12028 1457 387 42 0 6280 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 48112

[startup+0.70164 s]
/proc/loadavg: 1.85 1.95 1.90 3/77 23335
/proc/meminfo: memFree=1079160/2055920 swapFree=4153276/4192956
[pid=23335] ppid=23333 vsize=49436 CPUtime=1.32
/proc/23335/stat : 23335 (ornithorynque) S 23333 23335 22826 0 -1 4194304 1691 0 0 0 131 1 0 0 18 0 3 0 330941363 50622464 1586 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206390194043 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23335/statm: 12359 1586 387 42 0 6611 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 49436

[startup+1.50172 s]
/proc/loadavg: 1.85 1.95 1.90 3/80 23338
/proc/meminfo: memFree=1074144/2055920 swapFree=4153276/4192956
[pid=23335] ppid=23333 vsize=49700 CPUtime=2.92
/proc/23335/stat : 23335 (ornithorynque) S 23333 23335 22826 0 -1 4194304 1765 0 0 0 291 1 0 0 18 0 3 0 330941363 50892800 1660 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206390194043 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23335/statm: 12425 1660 387 42 0 6677 0
[pid=23335/tid=23337] ppid=23333 vsize=49700 CPUtime=1.43
/proc/23335/task/23337/stat : 23337 (ornithorynque) R 23333 23335 22826 0 -1 4194368 159 0 0 0 143 0 0 0 24 0 3 0 330941370 50892800 1660 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238100 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23335/tid=23338] ppid=23333 vsize=49700 CPUtime=1.42
/proc/23335/task/23338/stat : 23338 (ornithorynque) R 23333 23335 22826 0 -1 4194368 82 0 0 0 142 0 0 0 24 0 3 0 330941370 50892800 1660 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285958 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 49700

[startup+3.10289 s]
/proc/loadavg: 1.86 1.95 1.90 3/80 23338
/proc/meminfo: memFree=1073120/2055920 swapFree=4153276/4192956
[pid=23335] ppid=23333 vsize=50212 CPUtime=6.12
/proc/23335/stat : 23335 (ornithorynque) S 23333 23335 22826 0 -1 4194304 2014 0 0 0 611 1 0 0 18 0 3 0 330941363 51417088 1909 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206390194043 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23335/statm: 12553 1909 387 42 0 6805 0
[pid=23335/tid=23337] ppid=23333 vsize=50212 CPUtime=3.02
/proc/23335/task/23337/stat : 23337 (ornithorynque) R 23333 23335 22826 0 -1 4194368 312 0 0 0 302 0 0 0 25 0 3 0 330941370 51417088 1909 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311262 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23335/tid=23338] ppid=23333 vsize=50212 CPUtime=3.02
/proc/23335/task/23338/stat : 23338 (ornithorynque) R 23333 23335 22826 0 -1 4194368 178 0 0 0 302 0 0 0 25 0 3 0 330941370 51417088 1909 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241035 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 50212

[startup+6.30122 s]
/proc/loadavg: 1.86 1.95 1.90 3/80 23338
/proc/meminfo: memFree=1071328/2055920 swapFree=4153276/4192956
[pid=23335] ppid=23333 vsize=52696 CPUtime=12.5
/proc/23335/stat : 23335 (ornithorynque) S 23333 23335 22826 0 -1 4194304 2666 0 0 0 1248 2 0 0 18 0 3 0 330941363 53960704 2561 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206390194043 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23335/statm: 13174 2561 387 42 0 7426 0
[pid=23335/tid=23337] ppid=23333 vsize=52696 CPUtime=6.22
/proc/23335/task/23337/stat : 23337 (ornithorynque) R 23333 23335 22826 0 -1 4194368 533 0 0 0 622 0 0 0 20 0 3 0 330941370 53960704 2561 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311432 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23335/tid=23338] ppid=23333 vsize=52696 CPUtime=6.2
/proc/23335/task/23338/stat : 23338 (ornithorynque) R 23333 23335 22826 0 -1 4194368 609 0 0 0 620 0 0 0 20 0 3 0 330941370 53960704 2561 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 52696

[startup+12.7019 s]
/proc/loadavg: 1.88 1.96 1.91 3/80 23338
/proc/meminfo: memFree=1067872/2055920 swapFree=4153276/4192956
[pid=23335] ppid=23333 vsize=55700 CPUtime=25.27
/proc/23335/stat : 23335 (ornithorynque) S 23333 23335 22826 0 -1 4194304 3254 0 0 0 2524 3 0 0 18 0 3 0 330941363 57036800 3149 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206390194043 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23335/statm: 13925 3149 387 42 0 8177 0
[pid=23335/tid=23337] ppid=23333 vsize=55700 CPUtime=12.62
/proc/23335/task/23337/stat : 23337 (ornithorynque) R 23333 23335 22826 0 -1 4194368 907 0 0 0 1260 2 0 0 25 0 3 0 330941370 57036800 3149 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23335/tid=23338] ppid=23333 vsize=55700 CPUtime=12.57
/proc/23335/task/23338/stat : 23338 (ornithorynque) R 23333 23335 22826 0 -1 4194368 823 0 0 0 1257 0 0 0 25 0 3 0 330941370 57036800 3149 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 55700

[startup+25.5012 s]
/proc/loadavg: 1.90 1.96 1.91 3/80 23338
/proc/meminfo: memFree=1063456/2055920 swapFree=4153276/4192956
[pid=23335] ppid=23333 vsize=60068 CPUtime=50.8
/proc/23335/stat : 23335 (ornithorynque) S 23333 23335 22826 0 -1 4194304 4488 0 0 0 5075 5 0 0 18 0 3 0 330941363 61509632 4219 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206390194043 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23335/statm: 15017 4219 387 42 0 9269 0
[pid=23335/tid=23337] ppid=23333 vsize=60068 CPUtime=25.41
/proc/23335/task/23337/stat : 23337 (ornithorynque) R 23333 23335 22826 0 -1 4194368 1673 0 0 0 2538 3 0 0 25 0 3 0 330941370 61509632 4219 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311518 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23335/tid=23338] ppid=23333 vsize=60068 CPUtime=25.31
/proc/23335/task/23338/stat : 23338 (ornithorynque) R 23333 23335 22826 0 -1 4194368 1291 0 0 0 2531 0 0 0 25 0 3 0 330941370 61509632 4219 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 60068

[startup+51.1019 s]
/proc/loadavg: 1.93 1.96 1.91 3/80 23338
/proc/meminfo: memFree=1057568/2055920 swapFree=4153276/4192956
[pid=23335] ppid=23333 vsize=66632 CPUtime=101.88
/proc/23335/stat : 23335 (ornithorynque) S 23333 23335 22826 0 -1 4194304 5972 0 0 0 10180 8 0 0 18 0 3 0 330941363 68231168 5703 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206390194043 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23335/statm: 16658 5703 387 42 0 10910 0
[pid=23335/tid=23337] ppid=23333 vsize=66632 CPUtime=51.01
/proc/23335/task/23337/stat : 23337 (ornithorynque) R 23333 23335 22826 0 -1 4194368 2629 0 0 0 5095 6 0 0 25 0 3 0 330941370 68231168 5703 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311148 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23335/tid=23338] ppid=23333 vsize=66632 CPUtime=50.8
/proc/23335/task/23338/stat : 23338 (ornithorynque) R 23333 23335 22826 0 -1 4194368 1819 0 0 0 5079 1 0 0 25 0 3 0 330941370 68231168 5703 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 66632

[startup+102.305 s]
/proc/loadavg: 1.97 1.96 1.91 3/80 23338
/proc/meminfo: memFree=1045664/2055920 swapFree=4153276/4192956
[pid=23335] ppid=23333 vsize=79168 CPUtime=204.06
/proc/23335/stat : 23335 (ornithorynque) S 23333 23335 22826 0 -1 4194304 9087 0 0 0 20393 13 0 0 18 0 3 0 330941363 81068032 8621 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206390194043 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23335/statm: 19792 8621 387 42 0 14044 0
[pid=23335/tid=23337] ppid=23333 vsize=79168 CPUtime=102.19
/proc/23335/task/23337/stat : 23337 (ornithorynque) R 23333 23335 22826 0 -1 4194368 4263 0 0 0 10209 10 0 0 25 0 3 0 330941370 81068032 8621 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23335/tid=23338] ppid=23333 vsize=79168 CPUtime=101.79
/proc/23335/task/23338/stat : 23338 (ornithorynque) R 23333 23335 22826 0 -1 4194368 3300 0 0 0 10177 2 0 0 25 0 3 0 330941370 81068032 8621 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 79168

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 23338
/proc/meminfo: memFree=1036832/2055920 swapFree=4153276/4192956
[pid=23335] ppid=23333 vsize=89692 CPUtime=323.77
/proc/23335/stat : 23335 (ornithorynque) S 23333 23335 22826 0 -1 4194304 11430 0 0 0 32361 16 0 0 18 0 3 0 330941363 91844608 10835 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206390194043 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23335/statm: 22423 10835 387 42 0 16675 0
[pid=23335/tid=23337] ppid=23333 vsize=89692 CPUtime=162.17
/proc/23335/task/23337/stat : 23337 (ornithorynque) R 23333 23335 22826 0 -1 4194368 5455 0 0 0 16205 12 0 0 25 0 3 0 330941370 91844608 10835 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23335/tid=23338] ppid=23333 vsize=89692 CPUtime=161.52
/proc/23335/task/23338/stat : 23338 (ornithorynque) R 23333 23335 22826 0 -1 4194368 4451 0 0 0 16150 2 0 0 25 0 3 0 330941370 91844608 10835 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.77
Current children cumulated vsize (KiB) 89692

[startup+222.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 23338
/proc/meminfo: memFree=1032992/2055920 swapFree=4153276/4192956
[pid=23335] ppid=23333 vsize=92896 CPUtime=443.49
/proc/23335/stat : 23335 (ornithorynque) S 23333 23335 22826 0 -1 4194304 12375 0 0 0 44331 18 0 0 18 0 3 0 330941363 95125504 11780 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206390194043 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23335/statm: 23224 11780 387 42 0 17476 0
[pid=23335/tid=23337] ppid=23333 vsize=92896 CPUtime=222.15
/proc/23335/task/23337/stat : 23337 (ornithorynque) R 23333 23335 22826 0 -1 4194368 6400 0 0 0 22201 14 0 0 25 0 3 0 330941370 95125504 11780 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311226 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23335/tid=23338] ppid=23333 vsize=92896 CPUtime=221.25
/proc/23335/task/23338/stat : 23338 (ornithorynque) R 23333 23335 22826 0 -1 4194368 4451 0 0 0 22123 2 0 0 25 0 3 0 330941370 95125504 11780 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.49
Current children cumulated vsize (KiB) 92896

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 23338
/proc/meminfo: memFree=1026784/2055920 swapFree=4153276/4192956
[pid=23335] ppid=23333 vsize=98992 CPUtime=563.23
/proc/23335/stat : 23335 (ornithorynque) S 23333 23335 22826 0 -1 4194304 13965 0 0 0 56302 21 0 0 18 0 3 0 330941363 101367808 13337 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206390194043 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23335/statm: 24748 13337 387 42 0 19000 0
[pid=23335/tid=23337] ppid=23333 vsize=98992 CPUtime=282.14
/proc/23335/task/23337/stat : 23337 (ornithorynque) R 23333 23335 22826 0 -1 4194368 7269 0 0 0 28198 16 0 0 25 0 3 0 330941370 101367808 13337 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23335/tid=23338] ppid=23333 vsize=98992 CPUtime=281.01
/proc/23335/task/23338/stat : 23338 (ornithorynque) R 23333 23335 22826 0 -1 4194368 5172 0 0 0 28098 3 0 0 25 0 3 0 330941370 101367808 13337 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.23
Current children cumulated vsize (KiB) 98992

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 23338
/proc/meminfo: memFree=1019040/2055920 swapFree=4153276/4192956
[pid=23335] ppid=23333 vsize=108172 CPUtime=682.94
/proc/23335/stat : 23335 (ornithorynque) S 23333 23335 22826 0 -1 4194304 16097 0 0 0 68270 24 0 0 18 0 3 0 330941363 110768128 15257 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206390194043 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23335/statm: 27043 15257 387 42 0 21295 0
[pid=23335/tid=23337] ppid=23333 vsize=108172 CPUtime=342.12
/proc/23335/task/23337/stat : 23337 (ornithorynque) R 23333 23335 22826 0 -1 4194368 8264 0 0 0 34193 19 0 0 25 0 3 0 330941370 110768128 15257 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311883 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23335/tid=23338] ppid=23333 vsize=108172 CPUtime=340.74
/proc/23335/task/23338/stat : 23338 (ornithorynque) R 23333 23335 22826 0 -1 4194368 6309 0 0 0 34071 3 0 0 25 0 3 0 330941370 110768128 15257 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.94
Current children cumulated vsize (KiB) 108172

[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 23338
/proc/meminfo: memFree=1016352/2055920 swapFree=4153276/4192956
[pid=23335] ppid=23333 vsize=111244 CPUtime=802.66
/proc/23335/stat : 23335 (ornithorynque) S 23333 23335 22826 0 -1 4194304 16765 0 0 0 80241 25 0 0 18 0 3 0 330941363 113913856 15925 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206390194043 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23335/statm: 27811 15925 387 42 0 22063 0
[pid=23335/tid=23337] ppid=23333 vsize=111244 CPUtime=402.1
/proc/23335/task/23337/stat : 23337 (ornithorynque) R 23333 23335 22826 0 -1 4194368 8932 0 0 0 40190 20 0 0 25 0 3 0 330941370 113913856 15925 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23335/tid=23338] ppid=23333 vsize=111244 CPUtime=400.47
/proc/23335/task/23338/stat : 23338 (ornithorynque) R 23333 23335 22826 0 -1 4194368 6309 0 0 0 40044 3 0 0 25 0 3 0 330941370 113913856 15925 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242557 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.66
Current children cumulated vsize (KiB) 111244

[startup+462.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 23338
/proc/meminfo: memFree=1010336/2055920 swapFree=4153276/4192956
[pid=23335] ppid=23333 vsize=118180 CPUtime=922.39
/proc/23335/stat : 23335 (ornithorynque) S 23333 23335 22826 0 -1 4194304 18482 0 0 0 92212 27 0 0 18 0 3 0 330941363 121016320 17444 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206390194043 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23335/statm: 29545 17444 387 42 0 23797 0
[pid=23335/tid=23337] ppid=23333 vsize=118180 CPUtime=462.09
/proc/23335/task/23337/stat : 23337 (ornithorynque) R 23333 23335 22826 0 -1 4194368 9525 0 0 0 46187 22 0 0 25 0 3 0 330941370 121016320 17444 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23335/tid=23338] ppid=23333 vsize=118180 CPUtime=460.22
/proc/23335/task/23338/stat : 23338 (ornithorynque) R 23333 23335 22826 0 -1 4194368 7433 0 0 0 46018 4 0 0 25 0 3 0 330941370 121016320 17444 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241026 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.39
Current children cumulated vsize (KiB) 118180

[startup+522.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 23338
/proc/meminfo: memFree=1007584/2055920 swapFree=4153276/4192956
[pid=23335] ppid=23333 vsize=122948 CPUtime=1042.11
/proc/23335/stat : 23335 (ornithorynque) S 23333 23335 22826 0 -1 4194304 19548 0 0 0 104182 29 0 0 18 0 3 0 330941363 125898752 18118 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206390194043 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23335/statm: 30737 18118 387 42 0 24989 0
[pid=23335/tid=23337] ppid=23333 vsize=122948 CPUtime=522.08
/proc/23335/task/23337/stat : 23337 (ornithorynque) R 23333 23335 22826 0 -1 4194368 10591 0 0 0 52184 24 0 0 25 0 3 0 330941370 125898752 18118 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311145 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23335/tid=23338] ppid=23333 vsize=122948 CPUtime=519.96
/proc/23335/task/23338/stat : 23338 (ornithorynque) R 23333 23335 22826 0 -1 4194368 7433 0 0 0 51992 4 0 0 25 0 3 0 330941370 125898752 18118 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241572 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.11
Current children cumulated vsize (KiB) 122948

[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 23338
/proc/meminfo: memFree=1001376/2055920 swapFree=4153276/4192956
[pid=23335] ppid=23333 vsize=130172 CPUtime=1161.83
/proc/23335/stat : 23335 (ornithorynque) S 23333 23335 22826 0 -1 4194304 21435 0 0 0 116151 32 0 0 18 0 3 0 330941363 133296128 19682 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206390194043 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23335/statm: 32543 19682 387 42 0 26795 0
[pid=23335/tid=23337] ppid=23333 vsize=130172 CPUtime=582.05
/proc/23335/task/23337/stat : 23337 (ornithorynque) R 23333 23335 22826 0 -1 4194368 11134 0 0 0 58180 25 0 0 25 0 3 0 330941370 133296128 19682 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23335/tid=23338] ppid=23333 vsize=130172 CPUtime=579.7
/proc/23335/task/23338/stat : 23338 (ornithorynque) R 23333 23335 22826 0 -1 4194368 8777 0 0 0 57965 5 0 0 25 0 3 0 330941370 133296128 19682 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.83
Current children cumulated vsize (KiB) 130172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.503 s]
/proc/loadavg: 1.99 1.97 1.91 3/86 23402
/proc/meminfo: memFree=999248/2055920 swapFree=4153276/4192956
[pid=23335] ppid=23333 vsize=130172 CPUtime=1200.07
/proc/23335/stat : 23335 (ornithorynque) S 23333 23335 22826 0 -1 4194304 21585 0 0 0 119973 34 0 0 18 0 3 0 330941363 133296128 19832 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206390194043 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23335/statm: 32543 19832 387 42 0 26795 0
[pid=23335/tid=23337] ppid=23333 vsize=130172 CPUtime=601.2
/proc/23335/task/23337/stat : 23337 (ornithorynque) R 23333 23335 22826 0 -1 4194368 11284 0 0 0 60094 26 0 0 25 0 3 0 330941370 133296128 19832 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23335/tid=23338] ppid=23333 vsize=130172 CPUtime=598.8
/proc/23335/task/23338/stat : 23338 (ornithorynque) R 23333 23335 22826 0 -1 4194368 8777 0 0 0 59873 7 0 0 25 0 3 0 330941370 133296128 19832 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 130172

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

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

[startup+601.503 s]
/proc/loadavg: 1.99 1.97 1.91 3/86 23402
/proc/meminfo: memFree=999248/2055920 swapFree=4153276/4192956
[pid=23335] ppid=23333 vsize=130172 CPUtime=1200.07
/proc/23335/stat : 23335 (ornithorynque) S 23333 23335 22826 0 -1 4194304 21585 0 0 0 119973 34 0 0 18 0 3 0 330941363 133296128 19832 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206390194043 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23335/statm: 32543 19832 387 42 0 26795 0
[pid=23335/tid=23337] ppid=23333 vsize=130172 CPUtime=601.2
/proc/23335/task/23337/stat : 23337 (ornithorynque) R 23333 23335 22826 0 -1 4194368 11284 0 0 0 60094 26 0 0 25 0 3 0 330941370 133296128 19832 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23335/tid=23338] ppid=23333 vsize=130172 CPUtime=598.8
/proc/23335/task/23338/stat : 23338 (ornithorynque) R 23333 23335 22826 0 -1 4194368 8777 0 0 0 59873 7 0 0 25 0 3 0 330941370 133296128 19832 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 130172

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.53
CPU time (s): 1200.11
CPU user time (s): 1199.75
CPU system time (s): 0.362944
CPU usage (%): 199.509
Max. virtual memory (cumulated for all children) (KiB): 130172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.75
system time used= 0.362944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21585
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= 86
involuntary context switches= 22933

runsolver used 0.657899 second user time and 1.55276 second system time

The end

Launcher Data (download as text)

Begin job on node2 on Mon Mar  5 15:51:04 UTC 2007

IDJOB= 328300
IDBENCH= 20208
IDSOLVER= 139
FILE ID= node2/328300-1173109864

PBS_JOBID= 4013942

Free space on /tmp= 66511 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.7/v6500/unif2p-p0.7-v6500-c17355-S1097641288-15-SAT.cnf
COMMAND LINE= /tmp/evaluation/328300-1173109864/ornithorynque /tmp/evaluation/328300-1173109864/instance-328300-1173109864.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-328300-1173109864 -o ROOT/results/node2/solver-328300-1173109864 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328300-1173109864/ornithorynque /tmp/evaluation/328300-1173109864/instance-328300-1173109864.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  44d1561b77675d06306d515515e8409f

RANDOM SEED= 529410553

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node2.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.247
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.247
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1079632 kB
Buffers:         50416 kB
Cached:         828508 kB
SwapCached:       2968 kB
Active:          68656 kB
Inactive:       833600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1079632 kB
SwapTotal:     4192956 kB
SwapFree:      4153276 kB
Dirty:             612 kB
Writeback:           0 kB
Mapped:          30620 kB
Slab:            59508 kB
Committed_AS:  1555632 kB
PageTables:       1812 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66511 MiB

End job on node2 on Mon Mar  5 16:01:08 UTC 2007