Trace number 328268

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.24 601.638

General information on the benchmark

Namerandom/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1912540524-08.cnf
MD5SUM212d58fdb9f521fd5d4f36dd91409295
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark504.341
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.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.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=36720 maxSat=0
0.22/0.27	c flip 10000 nbSat=40056 maxSat=40086
0.42/0.35	c flip 20000 nbSat=40615 maxSat=40642
0.62/0.43	c flip 30000 nbSat=40770 maxSat=40784
0.82/0.52	c flip 40000 nbSat=40947 maxSat=41001
1.02/0.60	c flip 50000 nbSat=41061 maxSat=41079
1.02/0.68	c flip 60000 nbSat=41199 maxSat=41213
1.22/0.75	c flip 70000 nbSat=41220 maxSat=41257
1.42/0.83	c flip 80000 nbSat=41265 maxSat=41297
1.62/0.91	c flip 90000 nbSat=41208 maxSat=41297
1.62/0.99	c flip 100000 nbSat=41215 maxSat=41297
1.82/1.07	c flip 110000 nbSat=41308 maxSat=41328
2.02/1.15	c flip 120000 nbSat=41360 maxSat=41383
2.21/1.22	c flip 130000 nbSat=41370 maxSat=41420
2.41/1.30	c flip 140000 nbSat=41369 maxSat=41420
2.41/1.37	c flip 150000 nbSat=41428 maxSat=41466
2.61/1.45	c flip 160000 nbSat=41460 maxSat=41466
2.81/1.52	c flip 170000 nbSat=41367 maxSat=41466
3.01/1.60	c flip 180000 nbSat=41360 maxSat=41467
3.01/1.67	c flip 190000 nbSat=41365 maxSat=41467
3.21/1.77	c flip 0 nbSat=37702 maxSat=41467
3.61/1.91	c flip 10000 nbSat=40955 maxSat=41467
3.81/2.04	c flip 20000 nbSat=41574 maxSat=41596
4.02/2.18	c flip 30000 nbSat=41765 maxSat=41821
4.41/2.31	c flip 40000 nbSat=41960 maxSat=42010
4.61/2.45	c flip 50000 nbSat=42103 maxSat=42137
4.81/2.58	c flip 60000 nbSat=42156 maxSat=42166
5.21/2.72	c flip 70000 nbSat=42181 maxSat=42228
5.41/2.85	c flip 80000 nbSat=42239 maxSat=42294
5.61/2.98	c flip 90000 nbSat=42248 maxSat=42331
6.01/3.12	c flip 100000 nbSat=42274 maxSat=42331
6.21/3.26	c flip 110000 nbSat=42291 maxSat=42362
6.41/3.40	c flip 120000 nbSat=42279 maxSat=42362
6.80/3.53	c flip 130000 nbSat=42339 maxSat=42366
7.00/3.67	c flip 140000 nbSat=42325 maxSat=42378
7.40/3.80	c flip 150000 nbSat=42361 maxSat=42392
7.60/3.94	c flip 160000 nbSat=42379 maxSat=42413
7.80/4.07	c flip 170000 nbSat=42308 maxSat=42416
8.20/4.20	c flip 180000 nbSat=42335 maxSat=42416
8.41/4.33	c flip 190000 nbSat=42356 maxSat=42416
8.61/4.50	c flip 0 nbSat=39510 maxSat=42418
9.20/4.71	c flip 10000 nbSat=42754 maxSat=42757
9.60/4.94	c flip 20000 nbSat=43406 maxSat=43419
10.00/5.15	c flip 30000 nbSat=43686 maxSat=43716
10.40/5.38	c flip 40000 nbSat=43811 maxSat=43851
10.99/5.61	c flip 50000 nbSat=43923 maxSat=43924
11.39/5.84	c flip 60000 nbSat=43893 maxSat=43953
11.79/6.07	c flip 70000 nbSat=43887 maxSat=43965
12.40/6.30	c flip 80000 nbSat=43940 maxSat=43976
12.80/6.54	c flip 90000 nbSat=44021 maxSat=44028
13.19/6.77	c flip 100000 nbSat=44020 maxSat=44074
13.79/7.00	c flip 110000 nbSat=44041 maxSat=44099
14.19/7.22	c flip 120000 nbSat=44065 maxSat=44099
14.59/7.45	c flip 130000 nbSat=44088 maxSat=44129
14.99/7.69	c flip 140000 nbSat=44073 maxSat=44129
15.58/7.93	c flip 150000 nbSat=44107 maxSat=44145
15.98/8.17	c flip 160000 nbSat=44133 maxSat=44160
16.59/8.41	c flip 170000 nbSat=44163 maxSat=44182
16.59/8.45	c nbDecision=10000 #clauses=47027
16.98/8.64	c flip 180000 nbSat=44121 maxSat=44205
17.39/8.88	c flip 190000 nbSat=44143 maxSat=44205
17.98/9.16	c flip 0 nbSat=42105 maxSat=44205
18.78/9.51	c flip 10000 nbSat=45472 maxSat=45481
19.38/9.89	c flip 20000 nbSat=45991 maxSat=46003
20.37/10.30	c flip 30000 nbSat=46258 maxSat=46280
21.17/10.70	c flip 40000 nbSat=46365 maxSat=46392
21.97/11.10	c flip 50000 nbSat=46468 maxSat=46484
22.77/11.51	c flip 60000 nbSat=46575 maxSat=46603
23.57/11.92	c flip 70000 nbSat=46676 maxSat=46741
24.36/12.37	c flip 80000 nbSat=46677 maxSat=46741
25.36/12.82	c flip 90000 nbSat=46725 maxSat=46763
26.17/13.25	c flip 100000 nbSat=46757 maxSat=46794
26.96/13.65	c flip 110000 nbSat=46755 maxSat=46829
27.76/14.03	c flip 120000 nbSat=46802 maxSat=46837
28.55/14.44	c flip 130000 nbSat=46756 maxSat=46837
29.35/14.84	c flip 140000 nbSat=46793 maxSat=46837
30.16/15.29	c flip 150000 nbSat=46727 maxSat=46837
31.16/15.72	c flip 160000 nbSat=46696 maxSat=46837
31.96/16.13	c flip 170000 nbSat=46717 maxSat=46837
32.76/16.50	c flip 180000 nbSat=46727 maxSat=46837
33.35/16.89	c flip 190000 nbSat=46752 maxSat=46837
34.35/17.36	c flip 0 nbSat=45536 maxSat=46846
35.55/17.94	c flip 10000 nbSat=49007 maxSat=49016
36.75/18.57	c flip 20000 nbSat=49577 maxSat=49591
38.14/19.22	c flip 30000 nbSat=49808 maxSat=49813
39.54/19.92	c flip 40000 nbSat=49982 maxSat=49995
40.94/20.64	c flip 50000 nbSat=50092 maxSat=50116
42.33/21.35	c flip 60000 nbSat=50045 maxSat=50132
43.74/22.09	c flip 70000 nbSat=50032 maxSat=50132
45.33/22.81	c flip 80000 nbSat=50165 maxSat=50181
45.33/22.82	c nbDecision=20000 #clauses=52936
46.72/23.50	c flip 90000 nbSat=50168 maxSat=50219
47.93/24.14	c flip 100000 nbSat=50182 maxSat=50249
49.32/24.81	c flip 110000 nbSat=50168 maxSat=50249
50.51/25.46	c flip 120000 nbSat=50224 maxSat=50255
52.11/26.20	c flip 130000 nbSat=50247 maxSat=50267
53.51/26.97	c flip 140000 nbSat=50273 maxSat=50313
54.90/27.69	c flip 150000 nbSat=50257 maxSat=50313
56.50/28.42	c flip 160000 nbSat=50274 maxSat=50313
57.90/29.17	c flip 170000 nbSat=50248 maxSat=50334
59.49/29.91	c flip 180000 nbSat=50280 maxSat=50334
60.89/30.65	c flip 190000 nbSat=50250 maxSat=50334
62.48/31.46	c flip 0 nbSat=50529 maxSat=50334
64.68/32.56	c flip 10000 nbSat=53791 maxSat=53825
67.07/33.70	c flip 20000 nbSat=54379 maxSat=54421
69.48/34.95	c flip 30000 nbSat=54657 maxSat=54698
72.07/36.25	c flip 40000 nbSat=54791 maxSat=54825
74.66/37.54	c flip 50000 nbSat=54868 maxSat=54942
77.46/38.96	c flip 60000 nbSat=54927 maxSat=54971
80.03/40.29	c flip 70000 nbSat=54938 maxSat=54971
82.82/41.68	c flip 80000 nbSat=54953 maxSat=54998
84.22/42.35	c nbDecision=30000 #clauses=58991
85.42/42.94	c flip 90000 nbSat=55056 maxSat=55064
88.21/44.32	c flip 100000 nbSat=55076 maxSat=55092
90.80/45.60	c flip 110000 nbSat=55057 maxSat=55096
93.59/47.01	c flip 120000 nbSat=55031 maxSat=55096
96.19/48.38	c flip 130000 nbSat=55144 maxSat=55146
99.18/49.82	c flip 140000 nbSat=55050 maxSat=55164
101.98/51.27	c flip 150000 nbSat=55089 maxSat=55164
104.78/52.69	c flip 160000 nbSat=55066 maxSat=55164
107.77/54.15	c flip 170000 nbSat=55101 maxSat=55164
110.76/55.66	c flip 180000 nbSat=55111 maxSat=55180
113.76/57.17	c flip 190000 nbSat=55188 maxSat=55208
117.14/58.82	c flip 0 nbSat=57643 maxSat=55208
121.54/61.00	c flip 10000 nbSat=60940 maxSat=60956
126.94/63.72	c flip 20000 nbSat=61556 maxSat=61560
131.72/66.11	c flip 30000 nbSat=61730 maxSat=61753
134.91/67.80	c nbDecision=40000 #clauses=65062
136.91/68.73	c flip 40000 nbSat=61992 maxSat=62012
142.10/71.30	c flip 50000 nbSat=62051 maxSat=62079
147.48/74.04	c flip 60000 nbSat=62076 maxSat=62092
152.87/76.71	c flip 70000 nbSat=62141 maxSat=62174
158.46/79.58	c flip 80000 nbSat=62159 maxSat=62192
164.45/82.53	c flip 90000 nbSat=62134 maxSat=62208
170.41/85.55	c flip 100000 nbSat=62221 maxSat=62243
176.60/88.62	c flip 110000 nbSat=62160 maxSat=62243
182.38/91.54	c flip 120000 nbSat=62191 maxSat=62243
188.17/94.47	c flip 130000 nbSat=62208 maxSat=62244
194.56/97.64	c nbDecision=50000 #clauses=71008
194.76/97.74	c flip 140000 nbSat=62279 maxSat=62282
200.55/100.69	c flip 150000 nbSat=62205 maxSat=62296
206.14/103.48	c flip 160000 nbSat=62254 maxSat=62296
211.93/106.39	c flip 170000 nbSat=62233 maxSat=62296
218.11/109.49	c flip 180000 nbSat=62256 maxSat=62328
224.09/112.43	c flip 190000 nbSat=62272 maxSat=62328
230.29/115.50	c flip 0 nbSat=68575 maxSat=62328
238.07/119.47	c flip 10000 nbSat=71815 maxSat=71816
246.65/123.72	c flip 20000 nbSat=72467 maxSat=72467
255.23/128.06	c flip 30000 nbSat=72691 maxSat=72708
263.99/132.42	c flip 40000 nbSat=72834 maxSat=72878
273.37/137.10	c flip 50000 nbSat=72970 maxSat=72998
277.16/139.09	c nbDecision=60000 #clauses=77115
283.35/142.14	c flip 60000 nbSat=72936 maxSat=73004
292.93/146.92	c flip 70000 nbSat=72991 maxSat=73014
301.71/151.35	c flip 80000 nbSat=73055 maxSat=73070
311.09/156.09	c flip 90000 nbSat=73090 maxSat=73151
321.67/161.35	c flip 100000 nbSat=73119 maxSat=73176
332.44/166.72	c flip 110000 nbSat=73111 maxSat=73176
343.02/172.02	c flip 120000 nbSat=73125 maxSat=73178
352.20/176.67	c flip 130000 nbSat=73148 maxSat=73188
355.98/178.57	c nbDecision=70000 #clauses=82967
360.97/181.00	c flip 140000 nbSat=73195 maxSat=73222
369.94/185.57	c flip 150000 nbSat=73224 maxSat=73247
379.33/190.29	c flip 160000 nbSat=73193 maxSat=73247
389.51/195.31	c flip 170000 nbSat=73176 maxSat=73247
399.88/200.53	c flip 180000 nbSat=73177 maxSat=73247
410.26/205.72	c flip 190000 nbSat=73198 maxSat=73248
421.43/211.31	c flip 0 nbSat=81736 maxSat=73248
432.61/216.93	c flip 10000 nbSat=84993 maxSat=85023
446.17/223.71	c flip 20000 nbSat=85601 maxSat=85625
451.95/226.69	c nbDecision=80000 #clauses=88915
460.93/231.19	c flip 30000 nbSat=85917 maxSat=85929
476.50/238.99	c flip 40000 nbSat=86043 maxSat=86103
491.86/246.61	c flip 50000 nbSat=86125 maxSat=86148
508.43/254.94	c flip 60000 nbSat=86180 maxSat=86235
524.20/262.82	c flip 70000 nbSat=86298 maxSat=86329
539.55/270.52	c flip 80000 nbSat=86247 maxSat=86345
555.12/278.31	c flip 90000 nbSat=86273 maxSat=86345
571.88/286.75	c flip 100000 nbSat=86247 maxSat=86345
578.66/290.16	c nbDecision=90000 #clauses=95186
588.44/295.00	c flip 110000 nbSat=86273 maxSat=86345
604.20/302.93	c flip 120000 nbSat=86263 maxSat=86360
618.77/310.26	c flip 130000 nbSat=86302 maxSat=86360
636.91/319.34	c flip 140000 nbSat=86355 maxSat=86372
654.47/328.19	c flip 150000 nbSat=86357 maxSat=86415
672.04/336.94	c flip 160000 nbSat=86378 maxSat=86415
688.60/345.21	c flip 170000 nbSat=86389 maxSat=86426
705.17/353.50	c flip 180000 nbSat=86398 maxSat=86444
719.33/360.67	c nbDecision=100000 #clauses=101496
721.11/361.59	c flip 190000 nbSat=86381 maxSat=86444
738.87/370.42	c flip 0 nbSat=97319 maxSat=86459
758.03/380.05	c flip 10000 nbSat=100561 maxSat=100561
778.80/390.48	c flip 20000 nbSat=101111 maxSat=101111
800.74/401.50	c flip 30000 nbSat=101309 maxSat=101324
823.48/412.89	c flip 40000 nbSat=101521 maxSat=101547
848.43/425.30	c flip 50000 nbSat=101564 maxSat=101597
861.20/431.80	c nbDecision=110000 #clauses=107889
872.57/437.45	c flip 60000 nbSat=101645 maxSat=101697
896.31/449.30	c flip 70000 nbSat=101753 maxSat=101754
918.86/460.62	c flip 80000 nbSat=101779 maxSat=101808
943.20/472.87	c flip 90000 nbSat=101810 maxSat=101811
967.94/485.24	c flip 100000 nbSat=101814 maxSat=101852
990.68/496.65	c flip 110000 nbSat=101767 maxSat=101862
1013.84/508.22	c flip 120000 nbSat=101794 maxSat=101862
1028.60/515.66	c nbDecision=120000 #clauses=114073
1038.38/520.52	c flip 130000 nbSat=101834 maxSat=101868
1063.32/533.05	c flip 140000 nbSat=101864 maxSat=101893
1086.46/544.67	c flip 150000 nbSat=101891 maxSat=101903
1109.41/556.14	c flip 160000 nbSat=101890 maxSat=101958
1133.35/568.11	c flip 170000 nbSat=101852 maxSat=101958
1159.28/581.12	c flip 180000 nbSat=101870 maxSat=101958
1183.43/593.29	c flip 190000 nbSat=101854 maxSat=101958

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/node43/watcher-328268-1173109557 -o ROOT/results/node43/solver-328268-1173109557 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328268-1173109557/ornithorynque /tmp/evaluation/328268-1173109557/instance-328268-1173109557.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.99 1.97 1.91 3/64 23579
/proc/meminfo: memFree=1352512/2055920 swapFree=4184040/4192956
[pid=23579] ppid=23577 vsize=23220 CPUtime=0
/proc/23579/stat : 23579 (ornithorynque) R 23577 23579 23070 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 330911771 23777280 266 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216846601489 0 0 4096 0 0 0 0 17 1 0 0
/proc/23579/statm: 5805 266 219 42 0 45 0

[startup+0.054959 s]
/proc/loadavg: 1.99 1.97 1.91 3/64 23579
/proc/meminfo: memFree=1352512/2055920 swapFree=4184040/4192956
[pid=23579] ppid=23577 vsize=25204 CPUtime=0.04
/proc/23579/stat : 23579 (ornithorynque) R 23577 23579 23070 0 -1 4194304 950 0 0 0 4 0 0 0 18 0 1 0 330911771 25808896 878 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858144866 0 0 4096 1088 0 0 0 17 1 0 0
/proc/23579/statm: 6301 878 377 42 0 553 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 25204

[startup+0.101965 s]
/proc/loadavg: 1.99 1.97 1.91 3/64 23579
/proc/meminfo: memFree=1352512/2055920 swapFree=4184040/4192956
[pid=23579] ppid=23577 vsize=26912 CPUtime=0.09
/proc/23579/stat : 23579 (ornithorynque) R 23577 23579 23070 0 -1 4194304 1425 0 0 0 9 0 0 0 18 0 1 0 330911771 27557888 1288 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216849093345 0 0 4096 1088 0 0 0 17 1 0 0
/proc/23579/statm: 6728 1288 377 42 0 980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26912

[startup+0.302006 s]
/proc/loadavg: 1.99 1.97 1.91 3/64 23579
/proc/meminfo: memFree=1352512/2055920 swapFree=4184040/4192956
[pid=23579] ppid=23577 vsize=52476 CPUtime=0.42
/proc/23579/stat : 23579 (ornithorynque) S 23577 23579 23070 0 -1 4194304 2761 0 0 0 41 1 0 0 18 0 3 0 330911771 53735424 2484 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23579/statm: 13119 2484 387 42 0 7371 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 52476

[startup+0.701072 s]
/proc/loadavg: 1.99 1.97 1.91 3/64 23579
/proc/meminfo: memFree=1352512/2055920 swapFree=4184040/4192956
[pid=23579] ppid=23577 vsize=52608 CPUtime=1.22
/proc/23579/stat : 23579 (ornithorynque) S 23577 23579 23070 0 -1 4194304 2803 0 0 0 121 1 0 0 18 0 3 0 330911771 53870592 2526 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23579/statm: 13152 2526 387 42 0 7404 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 52608

[startup+1.5012 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 23582
/proc/meminfo: memFree=1343656/2055920 swapFree=4184040/4192956
[pid=23579] ppid=23577 vsize=52868 CPUtime=2.81
/proc/23579/stat : 23579 (ornithorynque) S 23577 23579 23070 0 -1 4194304 2873 0 0 0 280 1 0 0 18 0 3 0 330911771 54136832 2596 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23579/statm: 13217 2596 387 42 0 7469 0
[pid=23579/tid=23581] ppid=23577 vsize=52868 CPUtime=1.32
/proc/23579/task/23581/stat : 23581 (ornithorynque) R 23577 23579 23070 0 -1 4194368 183 0 0 0 132 0 0 0 25 0 3 0 330911789 54136832 2596 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23579/tid=23582] ppid=23577 vsize=52868 CPUtime=1.32
/proc/23579/task/23582/stat : 23582 (ornithorynque) R 23577 23579 23070 0 -1 4194368 2 0 0 0 132 0 0 0 25 0 3 0 330911789 54136832 2596 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285203 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 52868

[startup+3.10147 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 23582
/proc/meminfo: memFree=1342056/2055920 swapFree=4184040/4192956
[pid=23579] ppid=23577 vsize=54456 CPUtime=6.01
/proc/23579/stat : 23579 (ornithorynque) S 23577 23579 23070 0 -1 4194304 3258 0 0 0 600 1 0 0 18 0 3 0 330911771 55762944 2981 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23579/statm: 13614 2981 387 42 0 7866 0
[pid=23579/tid=23581] ppid=23577 vsize=54456 CPUtime=2.92
/proc/23579/task/23581/stat : 23581 (ornithorynque) R 23577 23579 23070 0 -1 4194368 290 0 0 0 292 0 0 0 25 0 3 0 330911789 55762944 2981 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311151 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23579/tid=23582] ppid=23577 vsize=54456 CPUtime=2.91
/proc/23579/task/23582/stat : 23582 (ornithorynque) R 23577 23579 23070 0 -1 4194368 280 0 0 0 291 0 0 0 25 0 3 0 330911789 55762944 2981 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285886 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 54456

[startup+6.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 23582
/proc/meminfo: memFree=1339560/2055920 swapFree=4184040/4192956
[pid=23579] ppid=23577 vsize=57292 CPUtime=12.4
/proc/23579/stat : 23579 (ornithorynque) S 23577 23579 23070 0 -1 4194304 3880 0 0 0 1238 2 0 0 18 0 3 0 330911771 58667008 3603 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23579/statm: 14323 3603 387 42 0 8575 0
[pid=23579/tid=23581] ppid=23577 vsize=57292 CPUtime=6.12
/proc/23579/task/23581/stat : 23581 (ornithorynque) R 23577 23579 23070 0 -1 4194368 502 0 0 0 612 0 0 0 25 0 3 0 330911789 58667008 3603 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314358 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23579/tid=23582] ppid=23577 vsize=57292 CPUtime=6.1
/proc/23579/task/23582/stat : 23582 (ornithorynque) R 23577 23579 23070 0 -1 4194368 690 0 0 0 610 0 0 0 25 0 3 0 330911789 58667008 3603 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4286006 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 57292

[startup+12.7011 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 23582
/proc/meminfo: memFree=1334832/2055920 swapFree=4184040/4192956
[pid=23579] ppid=23577 vsize=62224 CPUtime=25.16
/proc/23579/stat : 23579 (ornithorynque) S 23577 23579 23070 0 -1 4194304 5017 0 0 0 2513 3 0 0 18 0 3 0 330911771 63717376 4740 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23579/statm: 15556 4740 387 42 0 9808 0
[pid=23579/tid=23581] ppid=23577 vsize=62224 CPUtime=12.52
/proc/23579/task/23581/stat : 23581 (ornithorynque) R 23577 23579 23070 0 -1 4194368 904 0 0 0 1251 1 0 0 25 0 3 0 330911789 63717376 4740 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311518 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23579/tid=23582] ppid=23577 vsize=62224 CPUtime=12.47
/proc/23579/task/23582/stat : 23582 (ornithorynque) R 23577 23579 23070 0 -1 4194368 1425 0 0 0 1246 1 0 0 25 0 3 0 330911789 63717376 4740 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283709 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 62224

[startup+25.5012 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 23582
/proc/meminfo: memFree=1327920/2055920 swapFree=4184040/4192956
[pid=23579] ppid=23577 vsize=69028 CPUtime=50.71
/proc/23579/stat : 23579 (ornithorynque) S 23577 23579 23070 0 -1 4194304 6722 0 0 0 5066 5 0 0 18 0 3 0 330911771 70684672 6445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23579/statm: 17257 6445 387 42 0 11509 0
[pid=23579/tid=23581] ppid=23577 vsize=69028 CPUtime=25.31
/proc/23579/task/23581/stat : 23581 (ornithorynque) R 23577 23579 23070 0 -1 4194368 1283 0 0 0 2530 1 0 0 25 0 3 0 330911789 70684672 6445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311137 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23579/tid=23582] ppid=23577 vsize=69028 CPUtime=25.21
/proc/23579/task/23582/stat : 23582 (ornithorynque) R 23577 23579 23070 0 -1 4194368 2751 0 0 0 2520 1 0 0 25 0 3 0 330911789 70684672 6445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241561 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 69028

[startup+51.1014 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 23582
/proc/meminfo: memFree=1316080/2055920 swapFree=4184040/4192956
[pid=23579] ppid=23577 vsize=81336 CPUtime=101.78
/proc/23579/stat : 23579 (ornithorynque) S 23577 23579 23070 0 -1 4194304 9693 0 0 0 10170 8 0 0 18 0 3 0 330911771 83288064 9416 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23579/statm: 20334 9416 387 42 0 14586 0
[pid=23579/tid=23581] ppid=23577 vsize=81336 CPUtime=50.9
/proc/23579/task/23581/stat : 23581 (ornithorynque) R 23577 23579 23070 0 -1 4194368 2552 0 0 0 5087 3 0 0 25 0 3 0 330911789 83288064 9416 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238103 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23579/tid=23582] ppid=23577 vsize=81336 CPUtime=50.7
/proc/23579/task/23582/stat : 23582 (ornithorynque) R 23577 23579 23070 0 -1 4194368 4453 0 0 0 5068 2 0 0 25 0 3 0 330911789 83288064 9416 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 81336

[startup+102.306 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 23582
/proc/meminfo: memFree=1303600/2055920 swapFree=4184040/4192956
[pid=23579] ppid=23577 vsize=95832 CPUtime=203.95
/proc/23579/stat : 23579 (ornithorynque) S 23577 23579 23070 0 -1 4194304 12872 0 0 0 20385 10 0 0 18 0 3 0 330911771 98131968 12466 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23579/statm: 23958 12466 387 42 0 18210 0
[pid=23579/tid=23581] ppid=23577 vsize=95832 CPUtime=102.09
/proc/23579/task/23581/stat : 23581 (ornithorynque) R 23577 23579 23070 0 -1 4194368 3888 0 0 0 10204 5 0 0 25 0 3 0 330911789 98131968 12466 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23579/tid=23582] ppid=23577 vsize=95832 CPUtime=101.68
/proc/23579/task/23582/stat : 23582 (ornithorynque) R 23577 23579 23070 0 -1 4194368 6296 0 0 0 10165 3 0 0 25 0 3 0 330911789 98131968 12466 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.95
Current children cumulated vsize (KiB) 95832

[startup+162.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 23582
/proc/meminfo: memFree=1282544/2055920 swapFree=4184040/4192956
[pid=23579] ppid=23577 vsize=119768 CPUtime=323.66
/proc/23579/stat : 23579 (ornithorynque) S 23577 23579 23070 0 -1 4194304 18260 0 0 0 32353 13 0 0 18 0 3 0 330911771 122642432 17725 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23579/statm: 29942 17725 387 42 0 24194 0
[pid=23579/tid=23581] ppid=23577 vsize=119768 CPUtime=162.07
/proc/23579/task/23581/stat : 23581 (ornithorynque) R 23577 23579 23070 0 -1 4194368 5506 0 0 0 16200 7 0 0 25 0 3 0 330911789 122642432 17725 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23579/tid=23582] ppid=23577 vsize=119768 CPUtime=161.42
/proc/23579/task/23582/stat : 23582 (ornithorynque) R 23577 23579 23070 0 -1 4194368 10066 0 0 0 16137 5 0 0 25 0 3 0 330911789 122642432 17725 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.66
Current children cumulated vsize (KiB) 119768

[startup+222.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 23582
/proc/meminfo: memFree=1266800/2055920 swapFree=4184040/4192956
[pid=23579] ppid=23577 vsize=137084 CPUtime=443.37
/proc/23579/stat : 23579 (ornithorynque) S 23577 23579 23070 0 -1 4194304 22307 0 0 0 44321 16 0 0 18 0 3 0 330911771 140374016 21653 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23579/statm: 34271 21653 387 42 0 28523 0
[pid=23579/tid=23581] ppid=23577 vsize=137084 CPUtime=222.05
/proc/23579/task/23581/stat : 23581 (ornithorynque) R 23577 23579 23070 0 -1 4194368 6740 0 0 0 22196 9 0 0 25 0 3 0 330911789 140374016 21653 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311518 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23579/tid=23582] ppid=23577 vsize=137084 CPUtime=221.15
/proc/23579/task/23582/stat : 23582 (ornithorynque) R 23577 23579 23070 0 -1 4194368 12879 0 0 0 22110 5 0 0 25 0 3 0 330911789 140374016 21653 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.37
Current children cumulated vsize (KiB) 137084

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 23582
/proc/meminfo: memFree=1262000/2055920 swapFree=4184040/4192956
[pid=23579] ppid=23577 vsize=141828 CPUtime=563.1
/proc/23579/stat : 23579 (ornithorynque) S 23577 23579 23070 0 -1 4194304 23495 0 0 0 56292 18 0 0 18 0 3 0 330911771 145231872 22841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23579/statm: 35457 22841 387 42 0 29709 0
[pid=23579/tid=23581] ppid=23577 vsize=141828 CPUtime=282.02
/proc/23579/task/23581/stat : 23581 (ornithorynque) R 23577 23579 23070 0 -1 4194368 7928 0 0 0 28192 10 0 0 25 0 3 0 330911789 145231872 22841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23579/tid=23582] ppid=23577 vsize=141828 CPUtime=280.89
/proc/23579/task/23582/stat : 23582 (ornithorynque) R 23577 23579 23070 0 -1 4194368 12879 0 0 0 28083 6 0 0 25 0 3 0 330911789 145231872 22841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.1
Current children cumulated vsize (KiB) 141828

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 23582
/proc/meminfo: memFree=1257584/2055920 swapFree=4184040/4192956
[pid=23579] ppid=23577 vsize=146176 CPUtime=682.81
/proc/23579/stat : 23579 (ornithorynque) S 23577 23579 23070 0 -1 4194304 24591 0 0 0 68262 19 0 0 18 0 3 0 330911771 149684224 23937 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23579/statm: 36544 23937 387 42 0 30796 0
[pid=23579/tid=23581] ppid=23577 vsize=146176 CPUtime=342
/proc/23579/task/23581/stat : 23581 (ornithorynque) R 23577 23579 23070 0 -1 4194368 9024 0 0 0 34189 11 0 0 25 0 3 0 330911789 149684224 23937 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311137 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23579/tid=23582] ppid=23577 vsize=146176 CPUtime=340.63
/proc/23579/task/23582/stat : 23582 (ornithorynque) R 23577 23579 23070 0 -1 4194368 12879 0 0 0 34057 6 0 0 25 0 3 0 330911789 149684224 23937 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.81
Current children cumulated vsize (KiB) 146176

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 23582
/proc/meminfo: memFree=1234736/2055920 swapFree=4184040/4192956
[pid=23579] ppid=23577 vsize=175848 CPUtime=802.53
/proc/23579/stat : 23579 (ornithorynque) S 23577 23579 23070 0 -1 4194304 30340 0 0 0 80230 23 0 0 18 0 3 0 330911771 180068352 29653 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23579/statm: 43962 29653 387 42 0 38214 0
[pid=23579/tid=23581] ppid=23577 vsize=175848 CPUtime=401.98
/proc/23579/task/23581/stat : 23581 (ornithorynque) R 23577 23579 23070 0 -1 4194368 9627 0 0 0 40186 12 0 0 25 0 3 0 330911789 180068352 29653 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23579/tid=23582] ppid=23577 vsize=175848 CPUtime=400.36
/proc/23579/task/23582/stat : 23582 (ornithorynque) R 23577 23579 23070 0 -1 4194368 18025 0 0 0 40028 8 0 0 25 0 3 0 330911789 180068352 29653 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.53
Current children cumulated vsize (KiB) 175848

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 23582
/proc/meminfo: memFree=1233840/2055920 swapFree=4184040/4192956
[pid=23579] ppid=23577 vsize=176768 CPUtime=922.24
/proc/23579/stat : 23579 (ornithorynque) S 23577 23579 23070 0 -1 4194304 30561 0 0 0 92201 23 0 0 18 0 3 0 330911771 181010432 29874 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23579/statm: 44192 29874 387 42 0 38444 0
[pid=23579/tid=23581] ppid=23577 vsize=176768 CPUtime=461.96
/proc/23579/task/23581/stat : 23581 (ornithorynque) R 23577 23579 23070 0 -1 4194368 9848 0 0 0 46183 13 0 0 25 0 3 0 330911789 181010432 29874 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311163 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23579/tid=23582] ppid=23577 vsize=176768 CPUtime=460.1
/proc/23579/task/23582/stat : 23582 (ornithorynque) R 23577 23579 23070 0 -1 4194368 18025 0 0 0 46002 8 0 0 25 0 3 0 330911789 181010432 29874 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.24
Current children cumulated vsize (KiB) 176768

[startup+522.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 23582
/proc/meminfo: memFree=1229424/2055920 swapFree=4184040/4192956
[pid=23579] ppid=23577 vsize=181124 CPUtime=1041.97
/proc/23579/stat : 23579 (ornithorynque) S 23577 23579 23070 0 -1 4194304 31648 0 0 0 104173 24 0 0 18 0 3 0 330911771 185470976 30961 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23579/statm: 45281 30961 387 42 0 39533 0
[pid=23579/tid=23581] ppid=23577 vsize=181124 CPUtime=521.94
/proc/23579/task/23581/stat : 23581 (ornithorynque) R 23577 23579 23070 0 -1 4194368 10935 0 0 0 52181 13 0 0 25 0 3 0 330911789 185470976 30961 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311238 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23579/tid=23582] ppid=23577 vsize=181124 CPUtime=519.84
/proc/23579/task/23582/stat : 23582 (ornithorynque) R 23577 23579 23070 0 -1 4194368 18025 0 0 0 51976 8 0 0 25 0 3 0 330911789 185470976 30961 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240896 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.97
Current children cumulated vsize (KiB) 181124

[startup+582.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 23582
/proc/meminfo: memFree=1225456/2055920 swapFree=4184040/4192956
[pid=23579] ppid=23577 vsize=184832 CPUtime=1161.69
/proc/23579/stat : 23579 (ornithorynque) S 23577 23579 23070 0 -1 4194304 32610 0 0 0 116143 26 0 0 18 0 3 0 330911771 189267968 31923 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23579/statm: 46208 31923 387 42 0 40460 0
[pid=23579/tid=23581] ppid=23577 vsize=184832 CPUtime=581.92
/proc/23579/task/23581/stat : 23581 (ornithorynque) R 23577 23579 23070 0 -1 4194368 11897 0 0 0 58177 15 0 0 25 0 3 0 330911789 189267968 31923 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23579/tid=23582] ppid=23577 vsize=184832 CPUtime=579.58
/proc/23579/task/23582/stat : 23582 (ornithorynque) R 23577 23579 23070 0 -1 4194368 18025 0 0 0 57949 9 0 0 25 0 3 0 330911789 189267968 31923 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.69
Current children cumulated vsize (KiB) 184832



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.602 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 23582
/proc/meminfo: memFree=1224496/2055920 swapFree=4184040/4192956
[pid=23579] ppid=23577 vsize=185888 CPUtime=1200.2
/proc/23579/stat : 23579 (ornithorynque) S 23577 23579 23070 0 -1 4194304 32836 0 0 0 119994 26 0 0 18 0 3 0 330911771 190349312 32149 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23579/statm: 46472 32149 387 42 0 40724 0
[pid=23579/tid=23581] ppid=23577 vsize=185888 CPUtime=601.22
/proc/23579/task/23581/stat : 23581 (ornithorynque) R 23577 23579 23070 0 -1 4194368 12123 0 0 0 60107 15 0 0 25 0 3 0 330911789 190349312 32149 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23579/tid=23582] ppid=23577 vsize=185888 CPUtime=598.8
/proc/23579/task/23582/stat : 23582 (ornithorynque) R 23577 23579 23070 0 -1 4194368 18025 0 0 0 59871 9 0 0 25 0 3 0 330911789 190349312 32149 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.2
Current children cumulated vsize (KiB) 185888

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.638
CPU time (s): 1200.24
CPU user time (s): 1199.96
CPU system time (s): 0.282956
CPU usage (%): 199.496
Max. virtual memory (cumulated for all children) (KiB): 185888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.96
system time used= 0.282956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32836
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= 125
involuntary context switches= 9265

runsolver used 0.442932 second user time and 1.76473 second system time

The end

Launcher Data (download as text)

Begin job on node43 on Mon Mar  5 15:45:57 UTC 2007

IDJOB= 328268
IDBENCH= 20176
IDSOLVER= 139
FILE ID= node43/328268-1173109557

PBS_JOBID= 4013915

Free space on /tmp= 66513 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  212d58fdb9f521fd5d4f36dd91409295

RANDOM SEED= 45924104

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node43.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.281
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.281
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:       1352920 kB
Buffers:         26428 kB
Cached:         599524 kB
SwapCached:       2912 kB
Active:          91456 kB
Inactive:       544076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1352920 kB
SwapTotal:     4192956 kB
SwapFree:      4184040 kB
Dirty:            1056 kB
Writeback:           0 kB
Mapped:          15572 kB
Slab:            53532 kB
Committed_AS:   785148 kB
PageTables:       1392 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= 66513 MiB

End job on node43 on Mon Mar  5 15:56:01 UTC 2007