Trace number 328265

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

General information on the benchmark

Namerandom/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1173369833-06.cnf
MD5SUM44829169fe50d4c74609ee6e189daf0e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark243.951
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=36759 maxSat=0
0.22/0.27	c flip 10000 nbSat=40101 maxSat=40110
0.42/0.35	c flip 20000 nbSat=40643 maxSat=40659
0.62/0.44	c flip 30000 nbSat=40838 maxSat=40876
0.82/0.52	c flip 40000 nbSat=41058 maxSat=41059
1.02/0.60	c flip 50000 nbSat=41064 maxSat=41119
1.02/0.68	c flip 60000 nbSat=41161 maxSat=41228
1.22/0.76	c flip 70000 nbSat=41218 maxSat=41272
1.42/0.84	c flip 80000 nbSat=41234 maxSat=41272
1.62/0.92	c flip 90000 nbSat=41320 maxSat=41320
1.62/0.99	c flip 100000 nbSat=41401 maxSat=41405
1.83/1.07	c flip 110000 nbSat=41363 maxSat=41414
2.02/1.15	c flip 120000 nbSat=41364 maxSat=41414
2.22/1.22	c flip 130000 nbSat=41318 maxSat=41414
2.42/1.30	c flip 140000 nbSat=41355 maxSat=41414
2.42/1.38	c flip 150000 nbSat=41372 maxSat=41414
2.62/1.45	c flip 160000 nbSat=41324 maxSat=41414
2.81/1.53	c flip 170000 nbSat=41309 maxSat=41414
3.01/1.61	c flip 180000 nbSat=41328 maxSat=41414
3.01/1.68	c flip 190000 nbSat=41384 maxSat=41414
3.21/1.78	c flip 0 nbSat=37895 maxSat=41426
3.61/1.92	c flip 10000 nbSat=40985 maxSat=41426
3.81/2.06	c flip 20000 nbSat=41732 maxSat=41747
4.21/2.21	c flip 30000 nbSat=41992 maxSat=41998
4.40/2.35	c flip 40000 nbSat=42151 maxSat=42185
4.80/2.50	c flip 50000 nbSat=42164 maxSat=42209
5.01/2.64	c flip 60000 nbSat=42243 maxSat=42290
5.21/2.78	c flip 70000 nbSat=42315 maxSat=42317
5.61/2.92	c flip 80000 nbSat=42351 maxSat=42410
5.81/3.06	c flip 90000 nbSat=42354 maxSat=42412
6.01/3.19	c flip 100000 nbSat=42359 maxSat=42412
6.41/3.33	c flip 110000 nbSat=42407 maxSat=42427
6.60/3.47	c flip 120000 nbSat=42451 maxSat=42481
7.00/3.61	c flip 130000 nbSat=42355 maxSat=42487
7.20/3.74	c flip 140000 nbSat=42404 maxSat=42487
7.40/3.88	c flip 150000 nbSat=42432 maxSat=42487
7.80/4.01	c flip 160000 nbSat=42499 maxSat=42527
8.00/4.15	c flip 170000 nbSat=42482 maxSat=42527
8.20/4.28	c flip 180000 nbSat=42480 maxSat=42549
8.61/4.42	c flip 190000 nbSat=42459 maxSat=42549
8.80/4.59	c flip 0 nbSat=39580 maxSat=42549
9.39/4.83	c flip 10000 nbSat=42933 maxSat=42933
9.79/5.07	c flip 20000 nbSat=43503 maxSat=43504
10.39/5.32	c flip 30000 nbSat=43751 maxSat=43779
10.80/5.59	c flip 40000 nbSat=43831 maxSat=43865
11.39/5.86	c flip 50000 nbSat=43968 maxSat=43992
11.99/6.13	c flip 60000 nbSat=44057 maxSat=44084
12.59/6.40	c flip 70000 nbSat=44087 maxSat=44104
12.99/6.69	c flip 80000 nbSat=44130 maxSat=44141
13.58/6.98	c flip 90000 nbSat=44140 maxSat=44171
14.18/7.26	c flip 100000 nbSat=44137 maxSat=44180
14.78/7.54	c flip 110000 nbSat=44178 maxSat=44197
15.37/7.83	c flip 120000 nbSat=44161 maxSat=44217
15.77/8.09	c flip 130000 nbSat=44212 maxSat=44235
16.37/8.36	c flip 140000 nbSat=44175 maxSat=44235
16.97/8.62	c flip 150000 nbSat=44183 maxSat=44256
17.38/8.88	c flip 160000 nbSat=44219 maxSat=44267
17.97/9.14	c flip 170000 nbSat=44231 maxSat=44277
18.37/9.34	c nbDecision=10000 #clauses=47063
18.57/9.41	c flip 180000 nbSat=44273 maxSat=44309
18.97/9.67	c flip 190000 nbSat=44290 maxSat=44317
19.57/9.97	c flip 0 nbSat=42084 maxSat=44355
20.37/10.31	c flip 10000 nbSat=45313 maxSat=45317
21.17/10.73	c flip 20000 nbSat=45962 maxSat=45967
21.96/11.18	c flip 30000 nbSat=46234 maxSat=46253
22.96/11.62	c flip 40000 nbSat=46323 maxSat=46345
23.77/12.07	c flip 50000 nbSat=46457 maxSat=46462
24.76/12.50	c flip 60000 nbSat=46422 maxSat=46487
25.56/12.94	c flip 70000 nbSat=46509 maxSat=46536
26.55/13.42	c flip 80000 nbSat=46543 maxSat=46641
27.56/13.93	c flip 90000 nbSat=46566 maxSat=46641
28.55/14.48	c flip 100000 nbSat=46622 maxSat=46683
29.55/14.97	c flip 110000 nbSat=46644 maxSat=46683
30.55/15.50	c flip 120000 nbSat=46636 maxSat=46697
31.75/16.02	c flip 130000 nbSat=46629 maxSat=46705
32.75/16.57	c flip 140000 nbSat=46654 maxSat=46705
33.74/17.10	c flip 150000 nbSat=46693 maxSat=46718
34.94/17.65	c flip 160000 nbSat=46677 maxSat=46775
35.93/18.20	c flip 170000 nbSat=46730 maxSat=46775
37.14/18.72	c flip 180000 nbSat=46711 maxSat=46775
38.13/19.24	c flip 190000 nbSat=46735 maxSat=46775
39.33/19.82	c flip 0 nbSat=44765 maxSat=46777
40.52/20.46	c flip 10000 nbSat=48168 maxSat=48168
42.11/21.21	c flip 20000 nbSat=48749 maxSat=48762
43.52/21.98	c flip 30000 nbSat=48957 maxSat=48995
45.12/22.77	c flip 40000 nbSat=49114 maxSat=49126
46.91/23.67	c flip 50000 nbSat=49235 maxSat=49282
48.71/24.59	c flip 60000 nbSat=49333 maxSat=49361
50.50/25.47	c flip 70000 nbSat=49377 maxSat=49423
52.31/26.36	c flip 80000 nbSat=49452 maxSat=49456
54.10/27.27	c flip 90000 nbSat=49510 maxSat=49555
55.89/28.13	c flip 100000 nbSat=49442 maxSat=49555
57.69/29.02	c flip 110000 nbSat=49493 maxSat=49555
59.28/29.88	c flip 120000 nbSat=49431 maxSat=49555
60.48/30.47	c nbDecision=20000 #clauses=53181
61.08/30.73	c flip 130000 nbSat=49501 maxSat=49555
62.87/31.61	c flip 140000 nbSat=49540 maxSat=49556
64.66/32.50	c flip 150000 nbSat=49494 maxSat=49559
66.46/33.44	c flip 160000 nbSat=49468 maxSat=49559
68.25/34.33	c flip 170000 nbSat=49522 maxSat=49577
70.06/35.29	c flip 180000 nbSat=49565 maxSat=49582
72.06/36.23	c flip 190000 nbSat=49545 maxSat=49582
74.04/37.25	c flip 0 nbSat=49525 maxSat=49582
76.44/38.47	c flip 10000 nbSat=52648 maxSat=52660
79.42/39.96	c flip 20000 nbSat=53345 maxSat=53354
82.41/41.40	c flip 30000 nbSat=53586 maxSat=53667
85.60/43.05	c flip 40000 nbSat=53720 maxSat=53751
89.00/44.77	c flip 50000 nbSat=53832 maxSat=53843
92.59/46.56	c flip 60000 nbSat=53886 maxSat=53886
95.78/48.19	c flip 70000 nbSat=53887 maxSat=53915
98.97/49.77	c flip 80000 nbSat=53933 maxSat=53979
102.17/51.33	c flip 90000 nbSat=53947 maxSat=54005
105.35/52.97	c flip 100000 nbSat=53932 maxSat=54005
108.75/54.62	c flip 110000 nbSat=54033 maxSat=54058
112.34/56.49	c flip 120000 nbSat=53974 maxSat=54077
115.73/58.12	c flip 130000 nbSat=53975 maxSat=54077
118.93/59.71	c flip 140000 nbSat=54010 maxSat=54080
122.12/61.32	c flip 150000 nbSat=54074 maxSat=54084
123.12/61.81	c nbDecision=30000 #clauses=59403
125.11/62.87	c flip 160000 nbSat=54126 maxSat=54179
128.31/64.46	c flip 170000 nbSat=54114 maxSat=54179
131.70/66.11	c flip 180000 nbSat=54122 maxSat=54179
135.09/67.80	c flip 190000 nbSat=54156 maxSat=54179
138.49/69.59	c flip 0 nbSat=55505 maxSat=54198
142.68/71.61	c flip 10000 nbSat=58887 maxSat=58899
147.66/74.15	c flip 20000 nbSat=59464 maxSat=59481
153.65/77.12	c flip 30000 nbSat=59772 maxSat=59773
159.44/80.04	c flip 40000 nbSat=59842 maxSat=59864
165.21/82.95	c flip 50000 nbSat=59886 maxSat=59918
171.40/86.02	c flip 60000 nbSat=59978 maxSat=60026
177.78/89.22	c flip 70000 nbSat=59978 maxSat=60035
184.36/92.56	c flip 80000 nbSat=60028 maxSat=60061
190.76/95.72	c flip 90000 nbSat=59998 maxSat=60061
196.54/98.65	c flip 100000 nbSat=59981 maxSat=60061
201.33/101.08	c nbDecision=40000 #clauses=65412
202.33/101.53	c flip 110000 nbSat=60038 maxSat=60080
208.51/104.63	c flip 120000 nbSat=60008 maxSat=60099
214.70/107.78	c flip 130000 nbSat=60064 maxSat=60099
220.68/110.75	c flip 140000 nbSat=60036 maxSat=60099
226.87/113.89	c flip 150000 nbSat=60003 maxSat=60099
233.85/117.30	c flip 160000 nbSat=60067 maxSat=60099
240.45/120.65	c flip 170000 nbSat=60187 maxSat=60187
246.63/123.75	c flip 180000 nbSat=60157 maxSat=60201
253.00/126.90	c flip 190000 nbSat=60152 maxSat=60201
256.79/128.80	c nbDecision=50000 #clauses=71543
259.19/130.09	c flip 0 nbSat=66538 maxSat=60201
266.97/133.92	c flip 10000 nbSat=69742 maxSat=69742
276.35/138.62	c flip 20000 nbSat=70372 maxSat=70431
287.12/144.06	c flip 30000 nbSat=70558 maxSat=70629
297.70/149.30	c flip 40000 nbSat=70683 maxSat=70728
307.88/154.47	c flip 50000 nbSat=70846 maxSat=70864
318.06/159.58	c flip 60000 nbSat=70917 maxSat=70952
329.03/165.02	c flip 70000 nbSat=70991 maxSat=71030
332.42/166.75	c nbDecision=60000 #clauses=77789
340.02/170.57	c flip 80000 nbSat=70973 maxSat=71034
352.18/176.61	c flip 90000 nbSat=71006 maxSat=71052
363.74/182.45	c flip 100000 nbSat=70992 maxSat=71052
374.11/187.70	c flip 110000 nbSat=71005 maxSat=71052
385.70/193.40	c flip 120000 nbSat=71040 maxSat=71089
397.86/199.53	c flip 130000 nbSat=71023 maxSat=71089
409.23/205.21	c flip 140000 nbSat=71031 maxSat=71089
420.62/210.99	c flip 150000 nbSat=71055 maxSat=71103
423.42/212.39	c nbDecision=70000 #clauses=84157
432.99/217.14	c flip 160000 nbSat=71086 maxSat=71150
445.15/223.27	c flip 170000 nbSat=71079 maxSat=71150
456.92/229.19	c flip 180000 nbSat=71041 maxSat=71150
469.69/235.58	c flip 190000 nbSat=71097 maxSat=71150
482.06/241.73	c flip 0 nbSat=82341 maxSat=71151
496.03/248.72	c flip 10000 nbSat=85709 maxSat=85725
513.59/257.51	c flip 20000 nbSat=86389 maxSat=86396
529.14/265.36	c nbDecision=80000 #clauses=90342
531.94/266.71	c flip 30000 nbSat=86666 maxSat=86666
551.49/276.56	c flip 40000 nbSat=86742 maxSat=86785
570.64/286.19	c flip 50000 nbSat=86867 maxSat=86876
589.01/295.37	c flip 60000 nbSat=86887 maxSat=86918
609.37/305.57	c flip 70000 nbSat=86977 maxSat=86995
629.50/315.68	c flip 80000 nbSat=86970 maxSat=87034
648.26/325.06	c flip 90000 nbSat=86993 maxSat=87034
667.03/334.45	c flip 100000 nbSat=87005 maxSat=87065
677.80/339.86	c nbDecision=90000 #clauses=96655
684.77/343.38	c flip 110000 nbSat=86991 maxSat=87065
703.73/352.81	c flip 120000 nbSat=87025 maxSat=87086
722.87/362.45	c flip 130000 nbSat=87092 maxSat=87105
743.84/372.96	c flip 140000 nbSat=87123 maxSat=87149
766.38/384.23	c flip 150000 nbSat=87132 maxSat=87173
790.93/396.59	c flip 160000 nbSat=87149 maxSat=87173
814.46/408.34	c flip 170000 nbSat=87136 maxSat=87194
836.21/419.20	c flip 180000 nbSat=87122 maxSat=87194
839.01/420.68	c nbDecision=100000 #clauses=102889
858.56/430.41	c flip 190000 nbSat=87124 maxSat=87194
880.72/441.58	c flip 0 nbSat=99135 maxSat=87194
901.26/451.80	c flip 10000 nbSat=102597 maxSat=102599
926.60/464.59	c flip 20000 nbSat=103118 maxSat=103125
954.14/478.36	c flip 30000 nbSat=103377 maxSat=103420
983.07/492.81	c flip 40000 nbSat=103536 maxSat=103540
1011.60/507.19	c flip 50000 nbSat=103640 maxSat=103651
1023.37/513.05	c nbDecision=110000 #clauses=109204
1043.72/523.25	c flip 60000 nbSat=103666 maxSat=103702
1073.06/537.99	c flip 70000 nbSat=103657 maxSat=103733
1100.38/551.65	c flip 80000 nbSat=103749 maxSat=103793
1130.71/566.83	c flip 90000 nbSat=103774 maxSat=103820
1160.84/581.94	c flip 100000 nbSat=103797 maxSat=103824
1193.16/598.11	c flip 110000 nbSat=103800 maxSat=103847

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/node35/watcher-328265-1173109535 -o ROOT/results/node35/solver-328265-1173109535 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328265-1173109535/ornithorynque /tmp/evaluation/328265-1173109535/instance-328265-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.83 1.94 1.90 3/64 22494
/proc/meminfo: memFree=1144752/2055920 swapFree=4183856/4192956
[pid=22494] ppid=22492 vsize=23220 CPUtime=0
/proc/22494/stat : 22494 (ornithorynque) R 22492 22494 21985 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 304717197 23777280 257 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266131798153 0 0 4096 0 0 0 0 17 1 0 0
/proc/22494/statm: 5805 257 217 42 0 45 0

[startup+0.0717501 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 22494
/proc/meminfo: memFree=1144752/2055920 swapFree=4183856/4192956
[pid=22494] ppid=22492 vsize=25624 CPUtime=0.06
/proc/22494/stat : 22494 (ornithorynque) R 22492 22494 21985 0 -1 4194304 1097 0 0 0 6 0 0 0 18 0 1 0 304717197 26238976 1025 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143314018 0 0 4096 1088 0 0 0 17 1 0 0
/proc/22494/statm: 6406 1025 377 42 0 658 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 25624

[startup+0.101756 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 22494
/proc/meminfo: memFree=1144752/2055920 swapFree=4183856/4192956
[pid=22494] ppid=22492 vsize=26936 CPUtime=0.09
/proc/22494/stat : 22494 (ornithorynque) R 22492 22494 21985 0 -1 4194304 1423 0 0 0 9 0 0 0 18 0 1 0 304717197 27582464 1286 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266134262497 0 0 4096 1088 0 0 0 17 1 0 0
/proc/22494/statm: 6734 1286 377 42 0 986 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26936

[startup+0.301803 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 22494
/proc/meminfo: memFree=1144752/2055920 swapFree=4183856/4192956
[pid=22494] ppid=22492 vsize=52452 CPUtime=0.42
/proc/22494/stat : 22494 (ornithorynque) S 22492 22494 21985 0 -1 4194304 2761 0 0 0 41 1 0 0 18 0 3 0 304717197 53710848 2484 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22494/statm: 13113 2484 387 42 0 7365 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 52452

[startup+0.701883 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 22494
/proc/meminfo: memFree=1144752/2055920 swapFree=4183856/4192956
[pid=22494] ppid=22492 vsize=52584 CPUtime=1.22
/proc/22494/stat : 22494 (ornithorynque) S 22492 22494 21985 0 -1 4194304 2799 0 0 0 121 1 0 0 18 0 3 0 304717197 53846016 2522 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22494/statm: 13146 2522 387 42 0 7398 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 52584

[startup+1.50104 s]
/proc/loadavg: 1.77 1.92 1.89 3/67 22497
/proc/meminfo: memFree=1135960/2055920 swapFree=4183856/4192956
[pid=22494] ppid=22492 vsize=52848 CPUtime=2.81
/proc/22494/stat : 22494 (ornithorynque) S 22492 22494 21985 0 -1 4194304 2872 0 0 0 280 1 0 0 18 0 3 0 304717197 54116352 2595 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22494/statm: 13212 2595 387 42 0 7464 0
[pid=22494/tid=22496] ppid=22492 vsize=52848 CPUtime=1.32
/proc/22494/task/22496/stat : 22496 (ornithorynque) R 22492 22494 21985 0 -1 4194368 180 0 0 0 132 0 0 0 25 0 3 0 304717215 54116352 2595 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314334 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22494/tid=22497] ppid=22492 vsize=52848 CPUtime=1.32
/proc/22494/task/22497/stat : 22497 (ornithorynque) R 22492 22494 21985 0 -1 4194368 2 0 0 0 132 0 0 0 25 0 3 0 304717215 54116352 2595 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238103 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 52848

[startup+3.10135 s]
/proc/loadavg: 1.77 1.92 1.89 3/67 22497
/proc/meminfo: memFree=1134424/2055920 swapFree=4183856/4192956
[pid=22494] ppid=22492 vsize=54832 CPUtime=6.01
/proc/22494/stat : 22494 (ornithorynque) S 22492 22494 21985 0 -1 4194304 3262 0 0 0 599 2 0 0 18 0 3 0 304717197 56147968 2985 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22494/statm: 13708 2985 387 42 0 7960 0
[pid=22494/tid=22496] ppid=22492 vsize=54832 CPUtime=2.92
/proc/22494/task/22496/stat : 22496 (ornithorynque) R 22492 22494 21985 0 -1 4194368 325 0 0 0 292 0 0 0 25 0 3 0 304717215 56147968 2985 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238096 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22494/tid=22497] ppid=22492 vsize=54832 CPUtime=2.91
/proc/22494/task/22497/stat : 22497 (ornithorynque) R 22492 22494 21985 0 -1 4194368 247 0 0 0 291 0 0 0 25 0 3 0 304717215 56147968 2985 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283709 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 54832

[startup+6.30198 s]
/proc/loadavg: 1.79 1.92 1.89 3/67 22497
/proc/meminfo: memFree=1131032/2055920 swapFree=4183856/4192956
[pid=22494] ppid=22492 vsize=57800 CPUtime=12.39
/proc/22494/stat : 22494 (ornithorynque) S 22492 22494 21985 0 -1 4194304 3987 0 0 0 1237 2 0 0 18 0 3 0 304717197 59187200 3710 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22494/statm: 14450 3710 387 42 0 8702 0
[pid=22494/tid=22496] ppid=22492 vsize=57800 CPUtime=6.11
/proc/22494/task/22496/stat : 22496 (ornithorynque) R 22492 22494 21985 0 -1 4194368 459 0 0 0 611 0 0 0 25 0 3 0 304717215 59187200 3710 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22494/tid=22497] ppid=22492 vsize=57800 CPUtime=6.09
/proc/22494/task/22497/stat : 22497 (ornithorynque) R 22492 22494 21985 0 -1 4194368 838 0 0 0 609 0 0 0 25 0 3 0 304717215 59187200 3710 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283685 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 57800

[startup+12.7012 s]
/proc/loadavg: 1.80 1.92 1.89 3/67 22497
/proc/meminfo: memFree=1125400/2055920 swapFree=4183856/4192956
[pid=22494] ppid=22492 vsize=62948 CPUtime=25.16
/proc/22494/stat : 22494 (ornithorynque) S 22492 22494 21985 0 -1 4194304 5361 0 0 0 2513 3 0 0 18 0 3 0 304717197 64458752 5084 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22494/statm: 15737 5084 387 42 0 9989 0
[pid=22494/tid=22496] ppid=22492 vsize=62948 CPUtime=12.51
/proc/22494/task/22496/stat : 22496 (ornithorynque) R 22492 22494 21985 0 -1 4194368 735 0 0 0 1251 0 0 0 25 0 3 0 304717215 64458752 5084 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22494/tid=22497] ppid=22492 vsize=62948 CPUtime=12.47
/proc/22494/task/22497/stat : 22497 (ornithorynque) R 22492 22494 21985 0 -1 4194368 1936 0 0 0 1246 1 0 0 25 0 3 0 304717215 64458752 5084 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242170 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 62948

[startup+25.5018 s]
/proc/loadavg: 1.85 1.93 1.90 3/67 22497
/proc/meminfo: memFree=1118872/2055920 swapFree=4183856/4192956
[pid=22494] ppid=22492 vsize=70004 CPUtime=50.7
/proc/22494/stat : 22494 (ornithorynque) S 22492 22494 21985 0 -1 4194304 7011 0 0 0 5065 5 0 0 18 0 3 0 304717197 71684096 6734 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22494/statm: 17501 6734 387 42 0 11753 0
[pid=22494/tid=22496] ppid=22492 vsize=70004 CPUtime=25.31
/proc/22494/task/22496/stat : 22496 (ornithorynque) R 22492 22494 21985 0 -1 4194368 1008 0 0 0 2530 1 0 0 25 0 3 0 304717215 71684096 6734 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314320 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22494/tid=22497] ppid=22492 vsize=70004 CPUtime=25.21
/proc/22494/task/22497/stat : 22497 (ornithorynque) R 22492 22494 21985 0 -1 4194368 3313 0 0 0 2519 2 0 0 25 0 3 0 304717215 71684096 6734 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) 70004

[startup+51.1018 s]
/proc/loadavg: 1.90 1.93 1.90 3/67 22497
/proc/meminfo: memFree=1108888/2055920 swapFree=4183856/4192956
[pid=22494] ppid=22492 vsize=80372 CPUtime=101.77
/proc/22494/stat : 22494 (ornithorynque) S 22492 22494 21985 0 -1 4194304 9518 0 0 0 10169 8 0 0 18 0 3 0 304717197 82300928 9241 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22494/statm: 20093 9241 387 42 0 14345 0
[pid=22494/tid=22496] ppid=22492 vsize=80372 CPUtime=50.89
/proc/22494/task/22496/stat : 22496 (ornithorynque) R 22492 22494 21985 0 -1 4194368 2045 0 0 0 5086 3 0 0 25 0 3 0 304717215 82300928 9241 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311234 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22494/tid=22497] ppid=22492 vsize=80372 CPUtime=50.69
/proc/22494/task/22497/stat : 22497 (ornithorynque) R 22492 22494 21985 0 -1 4194368 4783 0 0 0 5066 3 0 0 25 0 3 0 304717215 82300928 9241 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 80372

[startup+102.306 s]
/proc/loadavg: 1.95 1.94 1.90 3/67 22497
/proc/meminfo: memFree=1094040/2055920 swapFree=4183856/4192956
[pid=22494] ppid=22492 vsize=96688 CPUtime=203.93
/proc/22494/stat : 22494 (ornithorynque) S 22492 22494 21985 0 -1 4194304 13285 0 0 0 20381 12 0 0 18 0 3 0 304717197 99008512 12879 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22494/statm: 24172 12879 387 42 0 18424 0
[pid=22494/tid=22496] ppid=22492 vsize=96688 CPUtime=102.09
/proc/22494/task/22496/stat : 22496 (ornithorynque) R 22492 22494 21985 0 -1 4194368 3958 0 0 0 10202 7 0 0 25 0 3 0 304717215 99008512 12879 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311279 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22494/tid=22497] ppid=22492 vsize=96688 CPUtime=101.67
/proc/22494/task/22497/stat : 22497 (ornithorynque) R 22492 22494 21985 0 -1 4194368 6637 0 0 0 10163 4 0 0 25 0 3 0 304717215 99008512 12879 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.93
Current children cumulated vsize (KiB) 96688

[startup+162.302 s]
/proc/loadavg: 1.98 1.95 1.91 3/67 22497
/proc/meminfo: memFree=1074776/2055920 swapFree=4183856/4192956
[pid=22494] ppid=22492 vsize=119040 CPUtime=323.64
/proc/22494/stat : 22494 (ornithorynque) S 22492 22494 21985 0 -1 4194304 18264 0 0 0 32347 17 0 0 18 0 3 0 304717197 121896960 17729 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22494/statm: 29760 17729 387 42 0 24012 0
[pid=22494/tid=22496] ppid=22492 vsize=119040 CPUtime=162.06
/proc/22494/task/22496/stat : 22496 (ornithorynque) R 22492 22494 21985 0 -1 4194368 5922 0 0 0 16195 11 0 0 25 0 3 0 304717215 121896960 17729 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311137 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22494/tid=22497] ppid=22492 vsize=119040 CPUtime=161.41
/proc/22494/task/22497/stat : 22497 (ornithorynque) R 22492 22494 21985 0 -1 4194368 9652 0 0 0 16136 5 0 0 25 0 3 0 304717215 121896960 17729 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.64
Current children cumulated vsize (KiB) 119040

[startup+222.303 s]
/proc/loadavg: 1.99 1.95 1.91 3/67 22497
/proc/meminfo: memFree=1068184/2055920 swapFree=4183856/4192956
[pid=22494] ppid=22492 vsize=125508 CPUtime=443.35
/proc/22494/stat : 22494 (ornithorynque) S 22492 22494 21985 0 -1 4194304 19968 0 0 0 44315 20 0 0 18 0 3 0 304717197 128520192 19351 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22494/statm: 31377 19351 387 42 0 25629 0
[pid=22494/tid=22496] ppid=22492 vsize=125508 CPUtime=222.03
/proc/22494/task/22496/stat : 22496 (ornithorynque) R 22492 22494 21985 0 -1 4194368 7626 0 0 0 22190 13 0 0 25 0 3 0 304717215 128520192 19351 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314349 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22494/tid=22497] ppid=22492 vsize=125508 CPUtime=221.14
/proc/22494/task/22497/stat : 22497 (ornithorynque) R 22492 22494 21985 0 -1 4194368 9652 0 0 0 22109 5 0 0 25 0 3 0 304717215 128520192 19351 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.35
Current children cumulated vsize (KiB) 125508

[startup+282.301 s]
/proc/loadavg: 1.99 1.96 1.91 3/67 22497
/proc/meminfo: memFree=1047576/2055920 swapFree=4183856/4192956
[pid=22494] ppid=22492 vsize=150060 CPUtime=563.06
/proc/22494/stat : 22494 (ornithorynque) S 22492 22494 21985 0 -1 4194304 25152 0 0 0 56283 23 0 0 18 0 3 0 304717197 153661440 24499 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22494/statm: 37515 24499 387 42 0 31767 0
[pid=22494/tid=22496] ppid=22492 vsize=150060 CPUtime=282.01
/proc/22494/task/22496/stat : 22496 (ornithorynque) R 22492 22494 21985 0 -1 4194368 8063 0 0 0 28187 14 0 0 25 0 3 0 304717215 153661440 24499 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311229 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22494/tid=22497] ppid=22492 vsize=150060 CPUtime=280.87
/proc/22494/task/22497/stat : 22497 (ornithorynque) R 22492 22494 21985 0 -1 4194368 14399 0 0 0 28080 7 0 0 25 0 3 0 304717215 153661440 24499 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.06
Current children cumulated vsize (KiB) 150060

[startup+342.301 s]
/proc/loadavg: 1.99 1.96 1.91 3/67 22497
/proc/meminfo: memFree=1044440/2055920 swapFree=4183856/4192956
[pid=22494] ppid=22492 vsize=153244 CPUtime=682.78
/proc/22494/stat : 22494 (ornithorynque) S 22492 22494 21985 0 -1 4194304 25929 0 0 0 68253 25 0 0 18 0 3 0 304717197 156921856 25276 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22494/statm: 38311 25276 387 42 0 32563 0
[pid=22494/tid=22496] ppid=22492 vsize=153244 CPUtime=341.99
/proc/22494/task/22496/stat : 22496 (ornithorynque) R 22492 22494 21985 0 -1 4194368 8840 0 0 0 34183 16 0 0 25 0 3 0 304717215 156921856 25276 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311267 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22494/tid=22497] ppid=22492 vsize=153244 CPUtime=340.62
/proc/22494/task/22497/stat : 22497 (ornithorynque) R 22492 22494 21985 0 -1 4194368 14399 0 0 0 34054 8 0 0 25 0 3 0 304717215 156921856 25276 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.78
Current children cumulated vsize (KiB) 153244

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 22497
/proc/meminfo: memFree=1040728/2055920 swapFree=4183856/4192956
[pid=22494] ppid=22492 vsize=156936 CPUtime=802.5
/proc/22494/stat : 22494 (ornithorynque) S 22492 22494 21985 0 -1 4194304 26855 0 0 0 80223 27 0 0 18 0 3 0 304717197 160702464 26202 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22494/statm: 39234 26202 387 42 0 33486 0
[pid=22494/tid=22496] ppid=22492 vsize=156936 CPUtime=401.96
/proc/22494/task/22496/stat : 22496 (ornithorynque) R 22492 22494 21985 0 -1 4194368 9766 0 0 0 40179 17 0 0 25 0 3 0 304717215 160702464 26202 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22494/tid=22497] ppid=22492 vsize=156936 CPUtime=400.35
/proc/22494/task/22497/stat : 22497 (ornithorynque) R 22492 22494 21985 0 -1 4194368 14399 0 0 0 40027 8 0 0 25 0 3 0 304717215 160702464 26202 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.5
Current children cumulated vsize (KiB) 156936

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 22497
/proc/meminfo: memFree=1005528/2055920 swapFree=4183856/4192956
[pid=22494] ppid=22492 vsize=200640 CPUtime=922.21
/proc/22494/stat : 22494 (ornithorynque) S 22492 22494 21985 0 -1 4194304 35739 0 0 0 92189 32 0 0 18 0 3 0 304717197 205455360 34987 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22494/statm: 50160 34987 387 42 0 44412 0
[pid=22494/tid=22496] ppid=22492 vsize=200640 CPUtime=461.94
/proc/22494/task/22496/stat : 22496 (ornithorynque) R 22492 22494 21985 0 -1 4194368 10418 0 0 0 46176 18 0 0 25 0 3 0 304717215 205455360 34987 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311294 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22494/tid=22497] ppid=22492 vsize=200640 CPUtime=460.08
/proc/22494/task/22497/stat : 22497 (ornithorynque) R 22492 22494 21985 0 -1 4194368 22631 0 0 0 45996 12 0 0 25 0 3 0 304717215 205455360 34987 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241170 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.21
Current children cumulated vsize (KiB) 200640

[startup+522.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 22497
/proc/meminfo: memFree=1005464/2055920 swapFree=4183856/4192956
[pid=22494] ppid=22492 vsize=200640 CPUtime=1041.93
/proc/22494/stat : 22494 (ornithorynque) S 22492 22494 21985 0 -1 4194304 35753 0 0 0 104161 32 0 0 18 0 3 0 304717197 205455360 35001 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22494/statm: 50160 35001 387 42 0 44412 0
[pid=22494/tid=22496] ppid=22492 vsize=200640 CPUtime=521.92
/proc/22494/task/22496/stat : 22496 (ornithorynque) R 22492 22494 21985 0 -1 4194368 10432 0 0 0 52174 18 0 0 25 0 3 0 304717215 205455360 35001 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311221 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22494/tid=22497] ppid=22492 vsize=200640 CPUtime=519.83
/proc/22494/task/22497/stat : 22497 (ornithorynque) R 22492 22494 21985 0 -1 4194368 22631 0 0 0 51971 12 0 0 25 0 3 0 304717215 205455360 35001 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.93
Current children cumulated vsize (KiB) 200640

[startup+582.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 22497
/proc/meminfo: memFree=1005400/2055920 swapFree=4183856/4192956
[pid=22494] ppid=22492 vsize=200640 CPUtime=1161.63
/proc/22494/stat : 22494 (ornithorynque) S 22492 22494 21985 0 -1 4194304 35767 0 0 0 116131 32 0 0 18 0 3 0 304717197 205455360 35015 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22494/statm: 50160 35015 387 42 0 44412 0
[pid=22494/tid=22496] ppid=22492 vsize=200640 CPUtime=581.89
/proc/22494/task/22496/stat : 22496 (ornithorynque) R 22492 22494 21985 0 -1 4194368 10446 0 0 0 58171 18 0 0 25 0 3 0 304717215 205455360 35015 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22494/tid=22497] ppid=22492 vsize=200640 CPUtime=579.55
/proc/22494/task/22497/stat : 22497 (ornithorynque) R 22492 22494 21985 0 -1 4194368 22631 0 0 0 57943 12 0 0 25 0 3 0 304717215 205455360 35015 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.63
Current children cumulated vsize (KiB) 200640



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.601 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 22497
/proc/meminfo: memFree=1005336/2055920 swapFree=4183856/4192956
[pid=22494] ppid=22492 vsize=200640 CPUtime=1200.15
/proc/22494/stat : 22494 (ornithorynque) S 22492 22494 21985 0 -1 4194304 35770 0 0 0 119983 32 0 0 18 0 3 0 304717197 205455360 35018 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22494/statm: 50160 35018 387 42 0 44412 0
[pid=22494/tid=22496] ppid=22492 vsize=200640 CPUtime=601.19
/proc/22494/task/22496/stat : 22496 (ornithorynque) R 22492 22494 21985 0 -1 4194368 10449 0 0 0 60101 18 0 0 25 0 3 0 304717215 205455360 35018 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311267 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22494/tid=22497] ppid=22492 vsize=200640 CPUtime=598.77
/proc/22494/task/22497/stat : 22497 (ornithorynque) R 22492 22494 21985 0 -1 4194368 22631 0 0 0 59865 12 0 0 25 0 3 0 304717215 205455360 35018 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.15
Current children cumulated vsize (KiB) 200640

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): 601.64
CPU time (s): 1200.2
CPU user time (s): 1199.85
CPU system time (s): 0.347947
CPU usage (%): 199.487
Max. virtual memory (cumulated for all children) (KiB): 200640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.85
system time used= 0.347947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35770
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= 77
involuntary context switches= 9247

runsolver used 0.580911 second user time and 1.63575 second system time

The end

Launcher Data (download as text)

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

IDJOB= 328265
IDBENCH= 20173
IDSOLVER= 139
FILE ID= node35/328265-1173109535

PBS_JOBID= 4013901

Free space on /tmp= 66532 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  44829169fe50d4c74609ee6e189daf0e

RANDOM SEED= 774733853

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node35.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.263
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.263
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:       1145160 kB
Buffers:         40044 kB
Cached:         800904 kB
SwapCached:       3000 kB
Active:         241200 kB
Inactive:       609196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1145160 kB
SwapTotal:     4192956 kB
SwapFree:      4183856 kB
Dirty:             992 kB
Writeback:           0 kB
Mapped:          15512 kB
Slab:            46408 kB
Committed_AS:   890592 kB
PageTables:       1412 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= 66532 MiB

End job on node35 on Mon Mar  5 15:55:39 UTC 2007