Trace number 328266

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.13 601.535

General information on the benchmark

Namerandom/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S657313757-16.cnf
MD5SUM8caebdbe5c8dcb4cfb2a355910089bd4
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark545.386
Satisfiable
(Un)Satisfiability was proved
Number of variables10000
Number of clauses42000
Sum of the clauses size126000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 342000
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.01	c This is Ornithorynque version 0.1 alpha
0.00/0.01	c (c) roussel@cril.univ-artois.fr
0.00/0.01	c using unsigned short
0.00/0.01	c parsing...
0.09/0.11	c ...done
0.09/0.11	c nbVar=10000 nbClause=42000
0.09/0.13	c nbVar=10000 nbClause=42000
0.09/0.17	c complete search running
0.09/0.17	c local search running
0.09/0.18	c flip 0 nbSat=36748 maxSat=0
0.21/0.27	c flip 10000 nbSat=40122 maxSat=40124
0.41/0.35	c flip 20000 nbSat=40670 maxSat=40672
0.61/0.43	c flip 30000 nbSat=40876 maxSat=40944
0.81/0.51	c flip 40000 nbSat=40949 maxSat=41046
0.81/0.59	c flip 50000 nbSat=41114 maxSat=41137
1.01/0.67	c flip 60000 nbSat=41205 maxSat=41226
1.21/0.75	c flip 70000 nbSat=41230 maxSat=41256
1.41/0.82	c flip 80000 nbSat=41226 maxSat=41278
1.61/0.90	c flip 90000 nbSat=41254 maxSat=41296
1.61/0.98	c flip 100000 nbSat=41288 maxSat=41308
1.82/1.06	c flip 110000 nbSat=41244 maxSat=41326
2.02/1.14	c flip 120000 nbSat=41266 maxSat=41326
2.21/1.21	c flip 130000 nbSat=41237 maxSat=41327
2.21/1.29	c flip 140000 nbSat=41297 maxSat=41327
2.41/1.36	c flip 150000 nbSat=41307 maxSat=41345
2.61/1.44	c flip 160000 nbSat=41295 maxSat=41345
2.81/1.51	c flip 170000 nbSat=41333 maxSat=41381
2.81/1.59	c flip 180000 nbSat=41335 maxSat=41392
3.01/1.66	c flip 190000 nbSat=41343 maxSat=41400
3.22/1.76	c flip 0 nbSat=37896 maxSat=41422
3.41/1.89	c flip 10000 nbSat=41233 maxSat=41422
3.81/2.02	c flip 20000 nbSat=41761 maxSat=41816
4.02/2.17	c flip 30000 nbSat=41962 maxSat=41973
4.41/2.30	c flip 40000 nbSat=42097 maxSat=42125
4.61/2.44	c flip 50000 nbSat=42203 maxSat=42203
4.81/2.58	c flip 60000 nbSat=42205 maxSat=42245
5.21/2.72	c flip 70000 nbSat=42242 maxSat=42261
5.41/2.86	c flip 80000 nbSat=42247 maxSat=42297
5.61/3.00	c flip 90000 nbSat=42237 maxSat=42297
6.01/3.14	c flip 100000 nbSat=42283 maxSat=42328
6.21/3.28	c flip 110000 nbSat=42344 maxSat=42366
6.60/3.42	c flip 120000 nbSat=42370 maxSat=42408
6.81/3.56	c flip 130000 nbSat=42380 maxSat=42447
7.21/3.70	c flip 140000 nbSat=42416 maxSat=42466
7.41/3.84	c flip 150000 nbSat=42373 maxSat=42472
7.61/3.98	c flip 160000 nbSat=42421 maxSat=42472
8.01/4.11	c flip 170000 nbSat=42434 maxSat=42472
8.21/4.25	c flip 180000 nbSat=42473 maxSat=42504
8.41/4.39	c flip 190000 nbSat=42424 maxSat=42504
8.80/4.57	c flip 0 nbSat=39621 maxSat=42504
9.20/4.80	c flip 10000 nbSat=42957 maxSat=42957
9.80/5.03	c flip 20000 nbSat=43564 maxSat=43568
10.20/5.27	c flip 30000 nbSat=43794 maxSat=43806
10.80/5.50	c flip 40000 nbSat=43923 maxSat=43946
11.19/5.75	c flip 50000 nbSat=44031 maxSat=44053
11.59/5.99	c flip 60000 nbSat=44036 maxSat=44099
12.19/6.24	c flip 70000 nbSat=44134 maxSat=44172
12.59/6.49	c flip 80000 nbSat=44129 maxSat=44202
13.18/6.75	c flip 90000 nbSat=44192 maxSat=44233
13.78/7.00	c flip 100000 nbSat=44136 maxSat=44233
14.18/7.26	c flip 110000 nbSat=44168 maxSat=44233
14.78/7.51	c flip 120000 nbSat=44242 maxSat=44250
15.20/7.77	c flip 130000 nbSat=44218 maxSat=44277
15.79/8.04	c flip 140000 nbSat=44282 maxSat=44296
16.19/8.29	c flip 150000 nbSat=44242 maxSat=44305
16.79/8.55	c flip 160000 nbSat=44268 maxSat=44308
17.19/8.80	c flip 170000 nbSat=44211 maxSat=44317
17.58/8.93	c nbDecision=10000 #clauses=47066
17.78/9.05	c flip 180000 nbSat=44234 maxSat=44317
18.38/9.30	c flip 190000 nbSat=44239 maxSat=44317
18.98/9.61	c flip 0 nbSat=41994 maxSat=44333
19.59/9.95	c flip 10000 nbSat=45410 maxSat=45415
20.37/10.32	c flip 20000 nbSat=46002 maxSat=46005
21.17/10.72	c flip 30000 nbSat=46203 maxSat=46238
21.97/11.12	c flip 40000 nbSat=46332 maxSat=46368
22.77/11.52	c flip 50000 nbSat=46501 maxSat=46529
23.77/12.00	c flip 60000 nbSat=46477 maxSat=46561
24.56/12.45	c flip 70000 nbSat=46558 maxSat=46572
25.56/12.93	c flip 80000 nbSat=46613 maxSat=46624
26.35/13.40	c flip 90000 nbSat=46601 maxSat=46646
27.35/13.87	c flip 100000 nbSat=46670 maxSat=46683
28.35/14.33	c flip 110000 nbSat=46655 maxSat=46718
29.34/14.81	c flip 120000 nbSat=46725 maxSat=46737
30.15/15.27	c flip 130000 nbSat=46695 maxSat=46741
31.15/15.72	c flip 140000 nbSat=46720 maxSat=46758
31.94/16.15	c flip 150000 nbSat=46711 maxSat=46758
32.94/16.64	c flip 160000 nbSat=46697 maxSat=46776
33.73/17.09	c flip 170000 nbSat=46746 maxSat=46776
34.74/17.55	c flip 180000 nbSat=46670 maxSat=46776
35.73/18.02	c flip 190000 nbSat=46707 maxSat=46776
36.74/18.54	c flip 0 nbSat=45600 maxSat=46776
37.93/19.10	c flip 10000 nbSat=48972 maxSat=48983
39.13/19.73	c flip 20000 nbSat=49687 maxSat=49700
40.33/20.34	c flip 30000 nbSat=49882 maxSat=49933
41.53/20.97	c flip 40000 nbSat=50038 maxSat=50049
42.92/21.68	c flip 50000 nbSat=50141 maxSat=50172
44.50/22.40	c flip 60000 nbSat=50168 maxSat=50184
45.91/23.13	c flip 70000 nbSat=50184 maxSat=50239
47.30/23.82	c flip 80000 nbSat=50283 maxSat=50284
48.10/24.26	c nbDecision=20000 #clauses=52892
48.70/24.55	c flip 90000 nbSat=50271 maxSat=50330
50.10/25.24	c flip 100000 nbSat=50275 maxSat=50330
51.50/25.91	c flip 110000 nbSat=50277 maxSat=50335
52.69/26.59	c flip 120000 nbSat=50293 maxSat=50349
54.09/27.28	c flip 130000 nbSat=50251 maxSat=50364
55.68/28.00	c flip 140000 nbSat=50337 maxSat=50381
57.08/28.73	c flip 150000 nbSat=50305 maxSat=50390
58.48/29.47	c flip 160000 nbSat=50356 maxSat=50390
60.07/30.27	c flip 170000 nbSat=50357 maxSat=50390
61.66/31.06	c flip 180000 nbSat=50355 maxSat=50457
63.27/31.83	c flip 190000 nbSat=50449 maxSat=50481
65.06/32.73	c flip 0 nbSat=49887 maxSat=50492
67.06/33.75	c flip 10000 nbSat=53174 maxSat=53179
69.45/34.94	c flip 20000 nbSat=53824 maxSat=53844
71.85/36.18	c flip 30000 nbSat=54072 maxSat=54092
74.45/37.49	c flip 40000 nbSat=54263 maxSat=54314
77.04/38.74	c flip 50000 nbSat=54362 maxSat=54365
79.63/40.04	c flip 60000 nbSat=54395 maxSat=54412
82.22/41.39	c flip 70000 nbSat=54421 maxSat=54484
85.02/42.70	c flip 80000 nbSat=54452 maxSat=54490
87.42/43.98	c flip 90000 nbSat=54511 maxSat=54544
89.81/45.15	c nbDecision=30000 #clauses=58744
90.01/45.29	c flip 100000 nbSat=54483 maxSat=54544
92.80/46.60	c flip 110000 nbSat=54489 maxSat=54551
95.59/48.01	c flip 120000 nbSat=54540 maxSat=54584
98.20/49.39	c flip 130000 nbSat=54458 maxSat=54584
100.99/50.78	c flip 140000 nbSat=54488 maxSat=54584
103.98/52.21	c flip 150000 nbSat=54523 maxSat=54584
106.98/53.76	c flip 160000 nbSat=54532 maxSat=54596
110.37/55.42	c flip 170000 nbSat=54550 maxSat=54596
113.56/57.05	c flip 180000 nbSat=54656 maxSat=54665
116.94/58.76	c flip 190000 nbSat=54611 maxSat=54668
120.54/60.51	c flip 0 nbSat=57471 maxSat=54668
124.33/62.49	c flip 10000 nbSat=60719 maxSat=60719
129.13/64.85	c flip 20000 nbSat=61311 maxSat=61315
134.30/67.41	c flip 30000 nbSat=61591 maxSat=61623
137.10/68.88	c nbDecision=40000 #clauses=64717
139.69/70.11	c flip 40000 nbSat=61742 maxSat=61784
145.27/72.93	c flip 50000 nbSat=61802 maxSat=61855
151.07/75.85	c flip 60000 nbSat=61894 maxSat=61947
156.85/78.73	c flip 70000 nbSat=61914 maxSat=61992
162.44/81.57	c flip 80000 nbSat=61966 maxSat=61997
167.83/84.26	c flip 90000 nbSat=61965 maxSat=62030
172.82/86.72	c flip 100000 nbSat=61988 maxSat=62034
178.41/89.53	c flip 110000 nbSat=62011 maxSat=62049
183.80/92.23	c flip 120000 nbSat=62033 maxSat=62071
189.38/95.01	c flip 130000 nbSat=62002 maxSat=62071
194.77/97.72	c flip 140000 nbSat=61989 maxSat=62071
200.36/100.53	c flip 150000 nbSat=62040 maxSat=62072
204.55/102.66	c nbDecision=50000 #clauses=70935
205.95/103.38	c flip 160000 nbSat=62045 maxSat=62079
212.13/106.41	c flip 170000 nbSat=62071 maxSat=62086
217.91/109.37	c flip 180000 nbSat=62045 maxSat=62111
223.89/112.38	c flip 190000 nbSat=62084 maxSat=62144
230.67/115.70	c flip 0 nbSat=67676 maxSat=62144
237.86/119.32	c flip 10000 nbSat=71064 maxSat=71071
246.64/123.75	c flip 20000 nbSat=71667 maxSat=71714
256.42/128.68	c flip 30000 nbSat=71952 maxSat=71956
267.41/134.14	c flip 40000 nbSat=72095 maxSat=72120
278.98/139.98	c flip 50000 nbSat=72158 maxSat=72175
290.55/145.74	c flip 60000 nbSat=72202 maxSat=72236
293.35/147.15	c nbDecision=60000 #clauses=77107
301.52/151.29	c flip 70000 nbSat=72183 maxSat=72240
313.10/157.04	c flip 80000 nbSat=72281 maxSat=72305
324.06/162.58	c flip 90000 nbSat=72276 maxSat=72325
334.84/167.95	c flip 100000 nbSat=72282 maxSat=72325
346.22/173.69	c flip 110000 nbSat=72256 maxSat=72327
357.60/179.37	c flip 120000 nbSat=72352 maxSat=72352
368.38/184.77	c flip 130000 nbSat=72355 maxSat=72420
377.75/189.44	c nbDecision=70000 #clauses=83285
380.14/190.69	c flip 140000 nbSat=72329 maxSat=72420
391.91/196.51	c flip 150000 nbSat=72318 maxSat=72420
403.69/202.45	c flip 160000 nbSat=72350 maxSat=72420
416.86/209.05	c flip 170000 nbSat=72411 maxSat=72457
428.83/215.00	c flip 180000 nbSat=72414 maxSat=72470
440.80/221.01	c flip 190000 nbSat=72390 maxSat=72470
453.78/227.55	c flip 0 nbSat=82726 maxSat=72470
466.56/233.93	c flip 10000 nbSat=85952 maxSat=85960
482.91/242.10	c flip 20000 nbSat=86616 maxSat=86638
486.70/244.05	c nbDecision=80000 #clauses=89632
499.47/250.44	c flip 30000 nbSat=86846 maxSat=86884
516.82/259.13	c flip 40000 nbSat=86989 maxSat=86998
536.19/268.84	c flip 50000 nbSat=87118 maxSat=87141
555.95/278.76	c flip 60000 nbSat=87174 maxSat=87184
575.70/288.63	c flip 70000 nbSat=87175 maxSat=87213
593.25/297.44	c flip 80000 nbSat=87205 maxSat=87227
609.42/305.54	c nbDecision=90000 #clauses=95687
612.41/307.08	c flip 90000 nbSat=87247 maxSat=87288
631.98/316.89	c flip 100000 nbSat=87246 maxSat=87291
651.54/326.63	c flip 110000 nbSat=87274 maxSat=87310
671.29/336.53	c flip 120000 nbSat=87303 maxSat=87310
691.43/346.63	c flip 130000 nbSat=87300 maxSat=87328
711.98/356.94	c flip 140000 nbSat=87282 maxSat=87337
731.54/366.71	c flip 150000 nbSat=87344 maxSat=87392
736.73/369.31	c nbDecision=100000 #clauses=102012
751.10/376.58	c flip 160000 nbSat=87283 maxSat=87392
772.25/387.11	c flip 170000 nbSat=87325 maxSat=87392
793.60/397.83	c flip 180000 nbSat=87384 maxSat=87427
814.35/408.26	c flip 190000 nbSat=87319 maxSat=87427
834.11/418.15	c flip 0 nbSat=100533 maxSat=87427
853.06/427.64	c flip 10000 nbSat=103942 maxSat=103946
875.81/439.02	c flip 20000 nbSat=104527 maxSat=104533
895.17/448.76	c nbDecision=110000 #clauses=108405
902.35/452.31	c flip 30000 nbSat=104766 maxSat=104811
931.90/467.19	c flip 40000 nbSat=104864 maxSat=104919
961.22/481.81	c flip 50000 nbSat=105018 maxSat=105041
988.55/495.57	c flip 60000 nbSat=104995 maxSat=105082
1018.89/510.70	c flip 70000 nbSat=105075 maxSat=105098
1052.20/527.44	c flip 80000 nbSat=105112 maxSat=105152
1078.55/540.69	c nbDecision=120000 #clauses=114503
1083.54/543.15	c flip 90000 nbSat=105118 maxSat=105172
1114.88/558.89	c flip 100000 nbSat=105037 maxSat=105172
1143.79/573.39	c flip 110000 nbSat=105070 maxSat=105172
1171.53/587.23	c flip 120000 nbSat=105062 maxSat=105172
1198.09/600.58	c flip 130000 nbSat=105187 maxSat=105213

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/node25/watcher-328266-1173109535 -o ROOT/results/node25/solver-328266-1173109535 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328266-1173109535/ornithorynque /tmp/evaluation/328266-1173109535/instance-328266-1173109535.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.84 1.95 1.90 3/64 2835
/proc/meminfo: memFree=1205600/2055920 swapFree=4183752/4192956
[pid=2835] ppid=2833 vsize=23220 CPUtime=0
/proc/2835/stat : 2835 (ornithorynque) R 2833 2835 2325 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 105575693 23777280 263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253304542320 0 0 4096 0 0 0 0 17 1 0 0
/proc/2835/statm: 5805 263 218 42 0 45 0

[startup+0.0274929 s]
/proc/loadavg: 1.84 1.95 1.90 3/64 2835
/proc/meminfo: memFree=1205600/2055920 swapFree=4183752/4192956
[pid=2835] ppid=2833 vsize=24020 CPUtime=0.02
/proc/2835/stat : 2835 (ornithorynque) R 2833 2835 2325 0 -1 4194304 673 0 0 0 2 0 0 0 18 0 1 0 105575693 24596480 634 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253307032289 0 0 4096 1088 0 0 0 17 1 0 0
/proc/2835/statm: 6005 634 377 42 0 257 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 24020

[startup+0.101499 s]
/proc/loadavg: 1.84 1.95 1.90 3/64 2835
/proc/meminfo: memFree=1205600/2055920 swapFree=4183752/4192956
[pid=2835] ppid=2833 vsize=26780 CPUtime=0.09
/proc/2835/stat : 2835 (ornithorynque) R 2833 2835 2325 0 -1 4194304 1415 0 0 0 9 0 0 0 18 0 1 0 105575693 27422720 1278 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253307032289 0 0 4096 1088 0 0 0 17 1 0 0
/proc/2835/statm: 6695 1278 377 42 0 947 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26780

[startup+0.301529 s]
/proc/loadavg: 1.84 1.95 1.90 3/64 2835
/proc/meminfo: memFree=1205600/2055920 swapFree=4183752/4192956
[pid=2835] ppid=2833 vsize=52424 CPUtime=0.41
/proc/2835/stat : 2835 (ornithorynque) S 2833 2835 2325 0 -1 4194304 2759 0 0 0 41 0 0 0 18 0 3 0 105575693 53682176 2482 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/2835/statm: 13106 2482 387 42 0 7358 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 52424

[startup+0.701564 s]
/proc/loadavg: 1.84 1.95 1.90 3/64 2835
/proc/meminfo: memFree=1205600/2055920 swapFree=4183752/4192956
[pid=2835] ppid=2833 vsize=52552 CPUtime=1.21
/proc/2835/stat : 2835 (ornithorynque) S 2833 2835 2325 0 -1 4194304 2794 0 0 0 121 0 0 0 18 0 3 0 105575693 53813248 2517 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/2835/statm: 13138 2518 387 42 0 7390 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 52552

[startup+1.50163 s]
/proc/loadavg: 1.84 1.95 1.90 3/67 2838
/proc/meminfo: memFree=1196808/2055920 swapFree=4183752/4192956
[pid=2835] ppid=2833 vsize=52816 CPUtime=2.81
/proc/2835/stat : 2835 (ornithorynque) S 2833 2835 2325 0 -1 4194304 2874 0 0 0 281 0 0 0 18 0 3 0 105575693 54083584 2597 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/2835/statm: 13204 2597 387 42 0 7456 0
[pid=2835/tid=2837] ppid=2833 vsize=52816 CPUtime=1.32
/proc/2835/task/2837/stat : 2837 (ornithorynque) R 2833 2835 2325 0 -1 4194368 183 0 0 0 132 0 0 0 25 0 3 0 105575711 54083584 2597 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=2835/tid=2838] ppid=2833 vsize=52816 CPUtime=1.32
/proc/2835/task/2838/stat : 2838 (ornithorynque) R 2833 2835 2325 0 -1 4194368 2 0 0 0 132 0 0 0 25 0 3 0 105575711 54083584 2597 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 52816

[startup+3.10278 s]
/proc/loadavg: 1.84 1.95 1.90 3/67 2838
/proc/meminfo: memFree=1195080/2055920 swapFree=4183752/4192956
[pid=2835] ppid=2833 vsize=55164 CPUtime=6.01
/proc/2835/stat : 2835 (ornithorynque) S 2833 2835 2325 0 -1 4194304 3317 0 0 0 600 1 0 0 18 0 3 0 105575693 56487936 3040 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/2835/statm: 13791 3040 387 42 0 8043 0
[pid=2835/tid=2837] ppid=2833 vsize=55164 CPUtime=2.92
/proc/2835/task/2837/stat : 2837 (ornithorynque) R 2833 2835 2325 0 -1 4194368 367 0 0 0 292 0 0 0 25 0 3 0 105575711 56487936 3040 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311518 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=2835/tid=2838] ppid=2833 vsize=55164 CPUtime=2.91
/proc/2835/task/2838/stat : 2838 (ornithorynque) R 2833 2835 2325 0 -1 4194368 261 0 0 0 291 0 0 0 25 0 3 0 105575711 56487936 3040 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241705 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 55164

[startup+6.30107 s]
/proc/loadavg: 1.85 1.95 1.90 3/67 2838
/proc/meminfo: memFree=1192008/2055920 swapFree=4183752/4192956
[pid=2835] ppid=2833 vsize=58236 CPUtime=12.39
/proc/2835/stat : 2835 (ornithorynque) S 2833 2835 2325 0 -1 4194304 4056 0 0 0 1237 2 0 0 18 0 3 0 105575693 59633664 3779 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/2835/statm: 14559 3779 387 42 0 8811 0
[pid=2835/tid=2837] ppid=2833 vsize=58236 CPUtime=6.12
/proc/2835/task/2837/stat : 2837 (ornithorynque) R 2833 2835 2325 0 -1 4194368 664 0 0 0 611 1 0 0 25 0 3 0 105575711 59633664 3779 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=2835/tid=2838] ppid=2833 vsize=58236 CPUtime=6.09
/proc/2835/task/2838/stat : 2838 (ornithorynque) R 2833 2835 2325 0 -1 4194368 703 0 0 0 609 0 0 0 25 0 3 0 105575711 59633664 3779 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285227 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 58236

[startup+12.7026 s]
/proc/loadavg: 1.86 1.95 1.90 3/67 2838
/proc/meminfo: memFree=1187400/2055920 swapFree=4183752/4192956
[pid=2835] ppid=2833 vsize=63356 CPUtime=25.16
/proc/2835/stat : 2835 (ornithorynque) S 2833 2835 2325 0 -1 4194304 5127 0 0 0 2513 3 0 0 18 0 3 0 105575693 64876544 4850 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/2835/statm: 15839 4850 387 42 0 10091 0
[pid=2835/tid=2837] ppid=2833 vsize=63356 CPUtime=12.52
/proc/2835/task/2837/stat : 2837 (ornithorynque) R 2833 2835 2325 0 -1 4194368 1114 0 0 0 1250 2 0 0 25 0 3 0 105575711 64876544 4850 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=2835/tid=2838] ppid=2833 vsize=63356 CPUtime=12.46
/proc/2835/task/2838/stat : 2838 (ornithorynque) R 2833 2835 2325 0 -1 4194368 1324 0 0 0 1246 0 0 0 25 0 3 0 105575711 64876544 4850 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241651 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 63356

[startup+25.5018 s]
/proc/loadavg: 1.89 1.95 1.91 3/67 2838
/proc/meminfo: memFree=1180616/2055920 swapFree=4183752/4192956
[pid=2835] ppid=2833 vsize=69500 CPUtime=50.7
/proc/2835/stat : 2835 (ornithorynque) S 2833 2835 2325 0 -1 4194304 6828 0 0 0 5064 6 0 0 18 0 3 0 105575693 71168000 6551 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/2835/statm: 17375 6551 387 42 0 11627 0
[pid=2835/tid=2837] ppid=2833 vsize=69500 CPUtime=25.31
/proc/2835/task/2837/stat : 2837 (ornithorynque) R 2833 2835 2325 0 -1 4194368 1957 0 0 0 2528 3 0 0 25 0 3 0 105575711 71168000 6551 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238096 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=2835/tid=2838] ppid=2833 vsize=69500 CPUtime=25.2
/proc/2835/task/2838/stat : 2838 (ornithorynque) R 2833 2835 2325 0 -1 4194368 2182 0 0 0 2519 1 0 0 25 0 3 0 105575711 71168000 6551 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 69500

[startup+51.1011 s]
/proc/loadavg: 1.93 1.95 1.91 3/67 2838
/proc/meminfo: memFree=1170888/2055920 swapFree=4183752/4192956
[pid=2835] ppid=2833 vsize=79740 CPUtime=101.79
/proc/2835/stat : 2835 (ornithorynque) S 2833 2835 2325 0 -1 4194304 9276 0 0 0 10170 9 0 0 18 0 3 0 105575693 81653760 8999 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/2835/statm: 19935 8999 387 42 0 14187 0
[pid=2835/tid=2837] ppid=2833 vsize=79740 CPUtime=50.91
/proc/2835/task/2837/stat : 2837 (ornithorynque) R 2833 2835 2325 0 -1 4194368 3262 0 0 0 5085 6 0 0 25 0 3 0 105575711 81653760 8999 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238100 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=2835/tid=2838] ppid=2833 vsize=79740 CPUtime=50.7
/proc/2835/task/2838/stat : 2838 (ornithorynque) R 2833 2835 2325 0 -1 4194368 3325 0 0 0 5068 2 0 0 25 0 3 0 105575711 81653760 8999 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241762 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 79740

[startup+102.306 s]
/proc/loadavg: 1.97 1.95 1.91 3/67 2838
/proc/meminfo: memFree=1155208/2055920 swapFree=4183752/4192956
[pid=2835] ppid=2833 vsize=97660 CPUtime=203.95
/proc/2835/stat : 2835 (ornithorynque) S 2833 2835 2325 0 -1 4194304 13254 0 0 0 20382 13 0 0 18 0 3 0 105575693 100003840 12848 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/2835/statm: 24415 12848 387 42 0 18667 0
[pid=2835/tid=2837] ppid=2833 vsize=97660 CPUtime=102.09
/proc/2835/task/2837/stat : 2837 (ornithorynque) R 2833 2835 2325 0 -1 4194368 5440 0 0 0 10200 9 0 0 25 0 3 0 105575711 100003840 12848 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=2835/tid=2838] ppid=2833 vsize=97660 CPUtime=101.69
/proc/2835/task/2838/stat : 2838 (ornithorynque) R 2833 2835 2325 0 -1 4194368 5125 0 0 0 10166 3 0 0 25 0 3 0 105575711 100003840 12848 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241176 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.95
Current children cumulated vsize (KiB) 97660

[startup+162.301 s]
/proc/loadavg: 1.99 1.96 1.91 3/67 2838
/proc/meminfo: memFree=1136776/2055920 swapFree=4183752/4192956
[pid=2835] ppid=2833 vsize=119676 CPUtime=323.66
/proc/2835/stat : 2835 (ornithorynque) S 2833 2835 2325 0 -1 4194304 17969 0 0 0 32348 18 0 0 18 0 3 0 105575693 122548224 17434 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/2835/statm: 29919 17434 387 42 0 24171 0
[pid=2835/tid=2837] ppid=2833 vsize=119676 CPUtime=162.07
/proc/2835/task/2837/stat : 2837 (ornithorynque) R 2833 2835 2325 0 -1 4194368 7097 0 0 0 16195 12 0 0 25 0 3 0 105575711 122548224 17434 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=2835/tid=2838] ppid=2833 vsize=119676 CPUtime=161.41
/proc/2835/task/2838/stat : 2838 (ornithorynque) R 2833 2835 2325 0 -1 4194368 8183 0 0 0 16136 5 0 0 25 0 3 0 105575711 122548224 17434 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.66
Current children cumulated vsize (KiB) 119676

[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 2838
/proc/meminfo: memFree=1130760/2055920 swapFree=4183752/4192956
[pid=2835] ppid=2833 vsize=125120 CPUtime=443.39
/proc/2835/stat : 2835 (ornithorynque) S 2833 2835 2325 0 -1 4194304 19522 0 0 0 44318 21 0 0 18 0 3 0 105575693 128122880 18905 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/2835/statm: 31280 18905 387 42 0 25532 0
[pid=2835/tid=2837] ppid=2833 vsize=125120 CPUtime=222.05
/proc/2835/task/2837/stat : 2837 (ornithorynque) R 2833 2835 2325 0 -1 4194368 8650 0 0 0 22190 15 0 0 25 0 3 0 105575711 128122880 18905 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=2835/tid=2838] ppid=2833 vsize=125120 CPUtime=221.16
/proc/2835/task/2838/stat : 2838 (ornithorynque) R 2833 2835 2325 0 -1 4194368 8183 0 0 0 22111 5 0 0 25 0 3 0 105575711 128122880 18905 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.39
Current children cumulated vsize (KiB) 125120

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 2838
/proc/meminfo: memFree=1111560/2055920 swapFree=4183752/4192956
[pid=2835] ppid=2833 vsize=148392 CPUtime=563.13
/proc/2835/stat : 2835 (ornithorynque) S 2833 2835 2325 0 -1 4194304 24381 0 0 0 56287 26 0 0 18 0 3 0 105575693 151953408 23728 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/2835/statm: 37098 23728 387 42 0 31350 0
[pid=2835/tid=2837] ppid=2833 vsize=148392 CPUtime=282.03
/proc/2835/task/2837/stat : 2837 (ornithorynque) R 2833 2835 2325 0 -1 4194368 9789 0 0 0 28185 18 0 0 25 0 3 0 105575711 151953408 23728 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311267 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=2835/tid=2838] ppid=2833 vsize=148392 CPUtime=280.9
/proc/2835/task/2838/stat : 2838 (ornithorynque) R 2833 2835 2325 0 -1 4194368 11903 0 0 0 28084 6 0 0 25 0 3 0 105575711 151953408 23728 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.13
Current children cumulated vsize (KiB) 148392

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 2838
/proc/meminfo: memFree=1107080/2055920 swapFree=4183752/4192956
[pid=2835] ppid=2833 vsize=152488 CPUtime=682.85
/proc/2835/stat : 2835 (ornithorynque) S 2833 2835 2325 0 -1 4194304 25481 0 0 0 68256 29 0 0 18 0 3 0 105575693 156147712 24828 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/2835/statm: 38122 24828 387 42 0 32374 0
[pid=2835/tid=2837] ppid=2833 vsize=152488 CPUtime=342.02
/proc/2835/task/2837/stat : 2837 (ornithorynque) R 2833 2835 2325 0 -1 4194368 10889 0 0 0 34182 20 0 0 25 0 3 0 105575711 156147712 24828 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=2835/tid=2838] ppid=2833 vsize=152488 CPUtime=340.64
/proc/2835/task/2838/stat : 2838 (ornithorynque) R 2833 2835 2325 0 -1 4194368 11903 0 0 0 34057 7 0 0 25 0 3 0 105575711 156147712 24828 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285268 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.85
Current children cumulated vsize (KiB) 152488

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 2838
/proc/meminfo: memFree=1102600/2055920 swapFree=4183752/4192956
[pid=2835] ppid=2833 vsize=156584 CPUtime=802.58
/proc/2835/stat : 2835 (ornithorynque) S 2833 2835 2325 0 -1 4194304 26588 0 0 0 80227 31 0 0 18 0 3 0 105575693 160342016 25935 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/2835/statm: 39146 25935 387 42 0 33398 0
[pid=2835/tid=2837] ppid=2833 vsize=156584 CPUtime=402.01
/proc/2835/task/2837/stat : 2837 (ornithorynque) R 2833 2835 2325 0 -1 4194368 11996 0 0 0 40178 23 0 0 25 0 3 0 105575711 160342016 25935 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=2835/tid=2838] ppid=2833 vsize=156584 CPUtime=400.39
/proc/2835/task/2838/stat : 2838 (ornithorynque) R 2833 2835 2325 0 -1 4194368 11903 0 0 0 40032 7 0 0 25 0 3 0 105575711 160342016 25935 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.58
Current children cumulated vsize (KiB) 156584

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 2838
/proc/meminfo: memFree=1079176/2055920 swapFree=4183752/4192956
[pid=2835] ppid=2833 vsize=184112 CPUtime=922.32
/proc/2835/stat : 2835 (ornithorynque) S 2833 2835 2325 0 -1 4194304 32481 0 0 0 92197 35 0 0 18 0 3 0 105575693 188530688 31795 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/2835/statm: 46028 31795 387 42 0 40280 0
[pid=2835/tid=2837] ppid=2833 vsize=184112 CPUtime=461.99
/proc/2835/task/2837/stat : 2837 (ornithorynque) R 2833 2835 2325 0 -1 4194368 12848 0 0 0 46175 24 0 0 25 0 3 0 105575711 188530688 31795 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=2835/tid=2838] ppid=2833 vsize=184112 CPUtime=460.14
/proc/2835/task/2838/stat : 2838 (ornithorynque) R 2833 2835 2325 0 -1 4194368 16944 0 0 0 46005 9 0 0 25 0 3 0 105575711 188530688 31795 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.32
Current children cumulated vsize (KiB) 184112

[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 2838
/proc/meminfo: memFree=1076296/2055920 swapFree=4183752/4192956
[pid=2835] ppid=2833 vsize=187184 CPUtime=1042.03
/proc/2835/stat : 2835 (ornithorynque) S 2833 2835 2325 0 -1 4194304 33198 0 0 0 104167 36 0 0 18 0 3 0 105575693 191676416 32512 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/2835/statm: 46796 32512 387 42 0 41048 0
[pid=2835/tid=2837] ppid=2833 vsize=187184 CPUtime=521.98
/proc/2835/task/2837/stat : 2837 (ornithorynque) R 2833 2835 2325 0 -1 4194368 13565 0 0 0 52172 26 0 0 25 0 3 0 105575711 191676416 32512 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311221 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=2835/tid=2838] ppid=2833 vsize=187184 CPUtime=519.87
/proc/2835/task/2838/stat : 2838 (ornithorynque) R 2833 2835 2325 0 -1 4194368 16944 0 0 0 51978 9 0 0 25 0 3 0 105575711 191676416 32512 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241170 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.03
Current children cumulated vsize (KiB) 187184

[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 2838
/proc/meminfo: memFree=1072712/2055920 swapFree=4183752/4192956
[pid=2835] ppid=2833 vsize=191280 CPUtime=1161.75
/proc/2835/stat : 2835 (ornithorynque) S 2833 2835 2325 0 -1 4194304 34054 0 0 0 116138 37 0 0 18 0 3 0 105575693 195870720 33368 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/2835/statm: 47820 33368 387 42 0 42072 0
[pid=2835/tid=2837] ppid=2833 vsize=191280 CPUtime=581.96
/proc/2835/task/2837/stat : 2837 (ornithorynque) R 2833 2835 2325 0 -1 4194368 14421 0 0 0 58169 27 0 0 25 0 3 0 105575711 195870720 33368 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=2835/tid=2838] ppid=2833 vsize=191280 CPUtime=579.62
/proc/2835/task/2838/stat : 2838 (ornithorynque) R 2833 2835 2325 0 -1 4194368 16944 0 0 0 57953 9 0 0 25 0 3 0 105575711 195870720 33368 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.75
Current children cumulated vsize (KiB) 191280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.501 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 2838
/proc/meminfo: memFree=1071624/2055920 swapFree=4183752/4192956
[pid=2835] ppid=2833 vsize=192304 CPUtime=1200.08
/proc/2835/stat : 2835 (ornithorynque) S 2833 2835 2325 0 -1 4194304 34319 0 0 0 119970 38 0 0 18 0 3 0 105575693 196919296 33633 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/2835/statm: 48076 33633 387 42 0 42328 0
[pid=2835/tid=2837] ppid=2833 vsize=192304 CPUtime=601.16
/proc/2835/task/2837/stat : 2837 (ornithorynque) R 2833 2835 2325 0 -1 4194368 14686 0 0 0 60088 28 0 0 25 0 3 0 105575711 196919296 33633 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311262 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=2835/tid=2838] ppid=2833 vsize=192304 CPUtime=598.74
/proc/2835/task/2838/stat : 2838 (ornithorynque) R 2833 2835 2325 0 -1 4194368 16944 0 0 0 59865 9 0 0 25 0 3 0 105575711 196919296 33633 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242577 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 192304

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

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

[startup+601.501 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 2838
/proc/meminfo: memFree=1071624/2055920 swapFree=4183752/4192956
[pid=2835] ppid=2833 vsize=192304 CPUtime=1200.08
/proc/2835/stat : 2835 (ornithorynque) S 2833 2835 2325 0 -1 4194304 34319 0 0 0 119970 38 0 0 18 0 3 0 105575693 196919296 33633 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/2835/statm: 48076 33633 387 42 0 42328 0
[pid=2835/tid=2837] ppid=2833 vsize=192304 CPUtime=601.16
/proc/2835/task/2837/stat : 2837 (ornithorynque) R 2833 2835 2325 0 -1 4194368 14686 0 0 0 60088 28 0 0 25 0 3 0 105575711 196919296 33633 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311262 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=2835/tid=2838] ppid=2833 vsize=192304 CPUtime=598.74
/proc/2835/task/2838/stat : 2838 (ornithorynque) R 2833 2835 2325 0 -1 4194368 16944 0 0 0 59865 9 0 0 25 0 3 0 105575711 196919296 33633 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242577 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 192304

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.535
CPU time (s): 1200.13
CPU user time (s): 1199.72
CPU system time (s): 0.404938
CPU usage (%): 199.511
Max. virtual memory (cumulated for all children) (KiB): 192304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.72
system time used= 0.404938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34319
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= 22
involuntary context switches= 9299

runsolver used 0.584911 second user time and 1.62575 second system time

The end

Launcher Data (download as text)

Begin job on node25 on Mon Mar  5 15:45:35 UTC 2007

IDJOB= 328266
IDBENCH= 20174
IDSOLVER= 139
FILE ID= node25/328266-1173109535

PBS_JOBID= 4013913

Free space on /tmp= 66549 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/3SAT/v10000/unif-k3-r4.2-v10000-c42000-S657313757-16.cnf
COMMAND LINE= /tmp/evaluation/328266-1173109535/ornithorynque /tmp/evaluation/328266-1173109535/instance-328266-1173109535.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-328266-1173109535 -o ROOT/results/node25/solver-328266-1173109535 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328266-1173109535/ornithorynque /tmp/evaluation/328266-1173109535/instance-328266-1173109535.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  8caebdbe5c8dcb4cfb2a355910089bd4

RANDOM SEED= 142524739

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node25.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.232
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.232
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:       1206072 kB
Buffers:         30260 kB
Cached:         744084 kB
SwapCached:       3100 kB
Active:          98624 kB
Inactive:       685228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1206072 kB
SwapTotal:     4192956 kB
SwapFree:      4183752 kB
Dirty:            1004 kB
Writeback:           0 kB
Mapped:          15568 kB
Slab:            52116 kB
Committed_AS:   256636 kB
PageTables:       1472 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= 66549 MiB

End job on node25 on Mon Mar  5 15:55:38 UTC 2007