Trace number 328481

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
ornithorynque 0.1 alpha? (TO) 1200.11 601.637

General information on the benchmark

Nameindustrial/fuhs/hard/
AProVE07-26.cnf
MD5SUM0cf155110f71a43081221b427d368ee8
Bench CategoryINDUST (industrial instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables21734
Number of clauses79766
Sum of the clauses size211276
Maximum clause length225
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 236916
Number of clauses of size 338055
Number of clauses of size 43077
Number of clauses of size 5748
Number of clauses of size over 5969

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.19	c ...done
0.09/0.19	c nbVar=21734 nbClause=79766
0.19/0.22	c nbVar=21734 nbClause=79766
0.19/0.27	c complete search running
0.19/0.27	c local search running
0.19/0.29	c flip 0 nbSat=65623 maxSat=0
0.31/0.35	c flip 10000 nbSat=73375 maxSat=73375
0.51/0.43	c flip 20000 nbSat=75032 maxSat=75034
0.71/0.52	c flip 30000 nbSat=75909 maxSat=75932
0.91/0.61	c flip 40000 nbSat=76274 maxSat=76274
1.11/0.71	c flip 50000 nbSat=76467 maxSat=76478
1.31/0.81	c flip 60000 nbSat=76541 maxSat=76589
1.51/0.92	c flip 70000 nbSat=76565 maxSat=76664
1.72/1.04	c flip 80000 nbSat=76717 maxSat=76751
1.92/1.15	c flip 90000 nbSat=76643 maxSat=76754
2.11/1.26	c flip 100000 nbSat=76744 maxSat=76774
2.31/1.37	c flip 110000 nbSat=76782 maxSat=76843
2.51/1.49	c flip 120000 nbSat=76902 maxSat=76944
2.91/1.61	c flip 130000 nbSat=76892 maxSat=76958
3.11/1.72	c flip 140000 nbSat=76941 maxSat=76972
3.31/1.85	c flip 150000 nbSat=76924 maxSat=77046
3.51/1.98	c flip 160000 nbSat=76942 maxSat=77046
3.91/2.11	c flip 170000 nbSat=76956 maxSat=77085
4.11/2.24	c flip 180000 nbSat=76941 maxSat=77085
4.31/2.37	c flip 190000 nbSat=76971 maxSat=77085
4.70/2.51	c flip 200000 nbSat=76987 maxSat=77085
4.90/2.63	c flip 210000 nbSat=77029 maxSat=77099
5.10/2.76	c flip 220000 nbSat=77013 maxSat=77105
5.30/2.89	c flip 230000 nbSat=77040 maxSat=77172
5.70/3.03	c flip 240000 nbSat=76998 maxSat=77179
5.90/3.17	c flip 250000 nbSat=77099 maxSat=77179
6.11/3.30	c flip 260000 nbSat=77121 maxSat=77201
6.50/3.44	c flip 270000 nbSat=77160 maxSat=77226
6.69/3.58	c flip 280000 nbSat=77111 maxSat=77226
7.09/3.73	c flip 290000 nbSat=77180 maxSat=77236
7.29/3.88	c flip 300000 nbSat=77132 maxSat=77236
7.69/4.03	c flip 310000 nbSat=77185 maxSat=77236
7.89/4.18	c flip 320000 nbSat=77099 maxSat=77236
8.30/4.33	c flip 330000 nbSat=77144 maxSat=77236
8.50/4.42	c nbDecision=10000 #clauses=80907
8.50/4.47	c flip 340000 nbSat=77114 maxSat=77236
8.89/4.62	c flip 350000 nbSat=77221 maxSat=77236
9.09/4.78	c flip 360000 nbSat=77178 maxSat=77258
9.49/4.92	c flip 370000 nbSat=77175 maxSat=77258
9.69/5.07	c flip 380000 nbSat=77207 maxSat=77264
10.09/5.23	c flip 390000 nbSat=77164 maxSat=77273
10.29/5.38	c flip 400000 nbSat=77191 maxSat=77321
10.69/5.55	c flip 410000 nbSat=77212 maxSat=77350
11.08/5.71	c flip 420000 nbSat=77185 maxSat=77350
11.28/5.87	c flip 430000 nbSat=77297 maxSat=77350
11.48/5.97	c flip 0 nbSat=67219 maxSat=77350
11.68/6.07	c flip 10000 nbSat=74736 maxSat=77350
12.08/6.20	c flip 20000 nbSat=76446 maxSat=77350
12.28/6.35	c flip 30000 nbSat=77371 maxSat=77383
12.68/6.51	c flip 40000 nbSat=77627 maxSat=77692
12.88/6.67	c flip 50000 nbSat=77833 maxSat=77912
13.27/6.85	c flip 60000 nbSat=77983 maxSat=78085
13.67/7.02	c flip 70000 nbSat=78068 maxSat=78143
13.87/7.19	c flip 80000 nbSat=78225 maxSat=78285
14.27/7.38	c flip 90000 nbSat=78279 maxSat=78289
14.67/7.57	c flip 100000 nbSat=78243 maxSat=78395
15.08/7.78	c flip 110000 nbSat=78379 maxSat=78420
15.47/7.98	c flip 120000 nbSat=78382 maxSat=78454
15.87/8.19	c flip 130000 nbSat=78409 maxSat=78511
16.46/8.40	c flip 140000 nbSat=78457 maxSat=78542
16.86/8.61	c flip 150000 nbSat=78505 maxSat=78576
17.27/8.82	c flip 160000 nbSat=78642 maxSat=78650
17.66/9.05	c flip 170000 nbSat=78613 maxSat=78705
18.06/9.26	c flip 180000 nbSat=78593 maxSat=78705
18.46/9.49	c flip 190000 nbSat=78632 maxSat=78705
19.06/9.72	c flip 200000 nbSat=78619 maxSat=78732
19.46/9.95	c flip 210000 nbSat=78570 maxSat=78732
19.85/10.18	c flip 220000 nbSat=78670 maxSat=78732
20.45/10.41	c flip 230000 nbSat=78581 maxSat=78732
20.85/10.65	c flip 240000 nbSat=78623 maxSat=78732
21.25/10.89	c flip 250000 nbSat=78740 maxSat=78774
21.85/11.15	c flip 260000 nbSat=78782 maxSat=78868
22.25/11.40	c flip 270000 nbSat=78834 maxSat=78868
22.85/11.66	c flip 280000 nbSat=78761 maxSat=78905
23.45/11.91	c nbDecision=20000 #clauses=83677
23.45/11.96	c flip 290000 nbSat=78870 maxSat=78935
24.05/12.23	c flip 300000 nbSat=78782 maxSat=78935
24.45/12.49	c flip 310000 nbSat=78763 maxSat=78935
25.05/12.74	c flip 320000 nbSat=78809 maxSat=78935
25.65/13.02	c flip 330000 nbSat=78852 maxSat=78935
26.24/13.31	c flip 340000 nbSat=78834 maxSat=78937
26.64/13.58	c flip 350000 nbSat=78816 maxSat=78937
27.24/13.85	c flip 360000 nbSat=78860 maxSat=78937
27.84/14.12	c flip 370000 nbSat=78791 maxSat=78966
28.24/14.39	c flip 380000 nbSat=78753 maxSat=78966
28.83/14.65	c flip 390000 nbSat=78820 maxSat=78966
29.43/14.93	c flip 400000 nbSat=78892 maxSat=78966
30.03/15.21	c flip 410000 nbSat=78902 maxSat=78981
30.63/15.50	c flip 420000 nbSat=78834 maxSat=78991
31.03/15.78	c flip 430000 nbSat=78918 maxSat=78991
31.43/15.98	c flip 0 nbSat=71684 maxSat=78991
32.04/16.21	c flip 10000 nbSat=79043 maxSat=79044
32.64/16.59	c flip 20000 nbSat=80851 maxSat=80851
33.63/17.01	c flip 30000 nbSat=81570 maxSat=81580
34.43/17.50	c flip 40000 nbSat=81909 maxSat=81935
35.23/17.88	c nbDecision=30000 #clauses=86624
35.43/18.00	c flip 50000 nbSat=82116 maxSat=82188
36.63/18.51	c flip 60000 nbSat=82282 maxSat=82325
37.62/19.07	c flip 70000 nbSat=82350 maxSat=82508
38.82/19.63	c flip 80000 nbSat=82589 maxSat=82617
39.81/20.16	c flip 90000 nbSat=82545 maxSat=82682
41.01/20.75	c flip 100000 nbSat=82682 maxSat=82761
42.01/21.28	c flip 110000 nbSat=82711 maxSat=82793
43.21/21.85	c flip 120000 nbSat=82803 maxSat=82884
44.40/22.46	c flip 130000 nbSat=82803 maxSat=82926
45.61/23.04	c flip 140000 nbSat=82842 maxSat=82927
46.80/23.69	c flip 150000 nbSat=82827 maxSat=82954
48.19/24.36	c flip 160000 nbSat=82913 maxSat=83000
49.59/25.05	c flip 170000 nbSat=82888 maxSat=83000
50.98/25.73	c flip 180000 nbSat=82909 maxSat=83000
52.39/26.46	c flip 190000 nbSat=82869 maxSat=83056
53.78/27.17	c flip 200000 nbSat=82953 maxSat=83079
55.18/27.89	c flip 210000 nbSat=82998 maxSat=83108
56.78/28.61	c flip 220000 nbSat=82993 maxSat=83136
58.17/29.37	c flip 230000 nbSat=83003 maxSat=83136
59.56/30.07	c flip 240000 nbSat=83047 maxSat=83136
61.17/30.80	c flip 250000 nbSat=83070 maxSat=83172
61.17/30.82	c nbDecision=40000 #clauses=90961
62.55/31.52	c flip 260000 nbSat=83045 maxSat=83172
63.95/32.28	c flip 270000 nbSat=83077 maxSat=83184
65.36/32.96	c flip 280000 nbSat=82998 maxSat=83184
66.75/33.67	c flip 290000 nbSat=83129 maxSat=83230
68.14/34.32	c flip 300000 nbSat=83074 maxSat=83233
69.54/35.02	c flip 310000 nbSat=83128 maxSat=83233
71.13/35.82	c flip 320000 nbSat=83128 maxSat=83233
72.72/36.62	c flip 330000 nbSat=83168 maxSat=83262
73.93/37.29	c flip 340000 nbSat=83109 maxSat=83262
75.53/38.02	c flip 350000 nbSat=83068 maxSat=83262
76.92/38.71	c flip 360000 nbSat=83173 maxSat=83282
78.32/39.49	c flip 370000 nbSat=83187 maxSat=83327
79.91/40.27	c flip 380000 nbSat=83214 maxSat=83327
81.51/41.09	c flip 390000 nbSat=82996 maxSat=83337
83.11/41.87	c flip 400000 nbSat=83185 maxSat=83337
84.71/42.66	c flip 410000 nbSat=83244 maxSat=83337
86.30/43.48	c flip 420000 nbSat=83277 maxSat=83394
87.90/44.25	c flip 430000 nbSat=83129 maxSat=83405
89.09/44.85	c flip 0 nbSat=81412 maxSat=83405
91.49/46.09	c flip 10000 nbSat=88654 maxSat=88906
92.28/46.42	c nbDecision=50000 #clauses=95981
95.88/48.21	c flip 20000 nbSat=90507 maxSat=90545
99.87/50.24	c flip 30000 nbSat=91271 maxSat=91356
104.85/52.72	c flip 40000 nbSat=91553 maxSat=91597
110.63/55.67	c flip 50000 nbSat=91835 maxSat=91909
115.84/58.27	c flip 60000 nbSat=91940 maxSat=92028
120.82/60.79	c flip 70000 nbSat=92015 maxSat=92087
123.21/61.94	c nbDecision=60000 #clauses=100264
127.20/63.90	c flip 80000 nbSat=92074 maxSat=92191
133.59/67.16	c flip 90000 nbSat=92101 maxSat=92203
139.77/70.28	c flip 100000 nbSat=92212 maxSat=92314
145.16/72.96	c flip 110000 nbSat=92162 maxSat=92314
151.54/76.18	c flip 120000 nbSat=92248 maxSat=92332
157.92/79.30	c flip 130000 nbSat=92329 maxSat=92426
164.70/82.71	c flip 140000 nbSat=92323 maxSat=92485
170.90/85.82	c flip 150000 nbSat=92324 maxSat=92539
176.69/88.78	c flip 160000 nbSat=92413 maxSat=92539
183.07/91.91	c flip 170000 nbSat=92372 maxSat=92544
189.86/95.33	c flip 180000 nbSat=92452 maxSat=92623
192.45/96.61	c nbDecision=70000 #clauses=107885
196.04/98.43	c flip 190000 nbSat=92442 maxSat=92623
202.42/101.68	c flip 200000 nbSat=92465 maxSat=92639
209.40/105.13	c flip 210000 nbSat=92532 maxSat=92654
216.80/108.86	c flip 220000 nbSat=92521 maxSat=92706
223.97/112.47	c flip 230000 nbSat=92614 maxSat=92706
231.16/116.04	c flip 240000 nbSat=92566 maxSat=92725
238.95/119.99	c flip 250000 nbSat=92630 maxSat=92763
247.71/124.31	c flip 260000 nbSat=92552 maxSat=92763
255.10/128.04	c flip 270000 nbSat=92564 maxSat=92768
258.49/129.78	c nbDecision=80000 #clauses=113706
263.67/132.30	c flip 280000 nbSat=92772 maxSat=92805
271.26/136.18	c flip 290000 nbSat=92703 maxSat=92855
279.64/140.33	c flip 300000 nbSat=92693 maxSat=92855
287.82/144.43	c flip 310000 nbSat=92642 maxSat=92863
296.00/148.51	c flip 320000 nbSat=92767 maxSat=92884
304.18/152.61	c flip 330000 nbSat=92713 maxSat=92884
311.96/156.51	c flip 340000 nbSat=92678 maxSat=92913
318.14/159.66	c nbDecision=90000 #clauses=118353
319.74/160.47	c flip 350000 nbSat=92764 maxSat=92913
327.53/164.31	c flip 360000 nbSat=92766 maxSat=92929
336.29/168.75	c flip 370000 nbSat=92746 maxSat=92929
344.48/172.88	c flip 380000 nbSat=92728 maxSat=92929
352.87/177.08	c flip 390000 nbSat=92796 maxSat=92929
362.04/181.62	c flip 400000 nbSat=92785 maxSat=92962
370.43/185.83	c flip 410000 nbSat=92718 maxSat=92962
379.00/190.12	c flip 420000 nbSat=92651 maxSat=92962
381.78/191.51	c nbDecision=100000 #clauses=123292
386.98/194.11	c flip 430000 nbSat=92729 maxSat=92962
391.57/196.47	c flip 0 nbSat=109729 maxSat=92962
402.95/202.19	c flip 10000 nbSat=117331 maxSat=117521
419.51/210.41	c flip 20000 nbSat=118880 maxSat=118987
435.47/218.43	c flip 30000 nbSat=119591 maxSat=119818
447.63/224.56	c nbDecision=110000 #clauses=128441
454.22/227.82	c flip 40000 nbSat=120017 maxSat=120141
476.16/238.84	c flip 50000 nbSat=120240 maxSat=120383
489.34/245.48	c nbDecision=120000 #clauses=132809
500.92/251.25	c flip 60000 nbSat=120348 maxSat=120531
527.25/264.40	c flip 70000 nbSat=120463 maxSat=120619
541.02/271.30	c nbDecision=130000 #clauses=137337
551.80/276.76	c flip 80000 nbSat=120593 maxSat=120704
584.92/293.34	c flip 90000 nbSat=120734 maxSat=120863
597.69/299.70	c nbDecision=140000 #clauses=141157
619.63/310.78	c flip 100000 nbSat=120797 maxSat=120947
650.36/326.13	c flip 110000 nbSat=120858 maxSat=120947
652.36/327.17	c nbDecision=150000 #clauses=145048
685.48/343.76	c flip 120000 nbSat=120805 maxSat=120962
719.40/360.76	c flip 130000 nbSat=120770 maxSat=121006
733.36/367.73	c nbDecision=160000 #clauses=150012
755.71/378.94	c flip 140000 nbSat=120852 maxSat=121039
790.63/396.46	c flip 150000 nbSat=120977 maxSat=121138
823.75/413.05	c nbDecision=170000 #clauses=155216
828.55/415.42	c flip 160000 nbSat=121041 maxSat=121191
862.66/432.59	c flip 170000 nbSat=121009 maxSat=121239
898.97/450.74	c flip 180000 nbSat=121027 maxSat=121239
930.10/466.37	c flip 190000 nbSat=121020 maxSat=121239
962.82/482.77	c flip 200000 nbSat=121074 maxSat=121254
1001.53/502.10	c flip 210000 nbSat=121110 maxSat=121343
1037.44/520.11	c flip 220000 nbSat=121175 maxSat=121343
1072.76/537.82	c flip 230000 nbSat=121089 maxSat=121343
1097.50/550.28	c nbDecision=180000 #clauses=160516
1111.27/557.11	c flip 240000 nbSat=121157 maxSat=121343
1147.58/575.38	c flip 250000 nbSat=121195 maxSat=121343
1186.29/594.79	c flip 260000 nbSat=121278 maxSat=121394

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/node45/watcher-328481-1173111794 -o ROOT/results/node45/solver-328481-1173111794 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328481-1173111794/ornithorynque /tmp/evaluation/328481-1173111794/instance-328481-1173111794.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.95 1.98 3/64 15428
/proc/meminfo: memFree=737032/2055920 swapFree=4192956/4192956
[pid=15428] ppid=15426 vsize=23220 CPUtime=0
/proc/15428/stat : 15428 (ornithorynque) R 15426 15428 14551 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 37155218 23777280 263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 258936436258 0 0 4096 0 0 0 0 17 1 0 0
/proc/15428/statm: 5805 263 218 42 0 45 0

[startup+0.059579 s]
/proc/loadavg: 1.83 1.95 1.98 3/64 15428
/proc/meminfo: memFree=737032/2055920 swapFree=4192956/4192956
[pid=15428] ppid=15426 vsize=25484 CPUtime=0.05
/proc/15428/stat : 15428 (ornithorynque) R 15426 15428 14551 0 -1 4194304 1062 0 0 0 5 0 0 0 18 0 1 0 37155218 26095616 990 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 258938933985 0 0 4096 1088 0 0 0 17 1 0 0
/proc/15428/statm: 6371 990 377 42 0 623 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25484

[startup+0.101586 s]
/proc/loadavg: 1.83 1.95 1.98 3/64 15428
/proc/meminfo: memFree=737032/2055920 swapFree=4192956/4192956
[pid=15428] ppid=15426 vsize=27192 CPUtime=0.09
/proc/15428/stat : 15428 (ornithorynque) R 15426 15428 14551 0 -1 4194304 1522 0 0 0 9 0 0 0 18 0 1 0 37155218 27844608 1385 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 258938933985 0 0 4096 1088 0 0 0 17 1 0 0
/proc/15428/statm: 6798 1385 377 42 0 1050 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27192

[startup+0.301633 s]
/proc/loadavg: 1.83 1.95 1.98 3/64 15428
/proc/meminfo: memFree=737032/2055920 swapFree=4192956/4192956
[pid=15428] ppid=15426 vsize=60272 CPUtime=0.31
/proc/15428/stat : 15428 (ornithorynque) S 15426 15428 14551 0 -1 4194304 4882 0 0 0 29 2 0 0 19 0 3 0 37155218 61718528 4390 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 258947968891 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15428/statm: 15068 4390 386 42 0 9320 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 60272

[startup+0.701709 s]
/proc/loadavg: 1.83 1.95 1.98 3/64 15428
/proc/meminfo: memFree=737032/2055920 swapFree=4192956/4192956
[pid=15428] ppid=15426 vsize=60696 CPUtime=1.11
/proc/15428/stat : 15428 (ornithorynque) S 15426 15428 14551 0 -1 4194304 4990 0 0 0 109 2 0 0 19 0 3 0 37155218 62152704 4420 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 258947968891 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15428/statm: 15174 4420 387 42 0 9426 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 60696

[startup+1.50184 s]
/proc/loadavg: 1.83 1.95 1.98 3/67 15431
/proc/meminfo: memFree=720496/2055920 swapFree=4192956/4192956
[pid=15428] ppid=15426 vsize=60696 CPUtime=2.71
/proc/15428/stat : 15428 (ornithorynque) S 15426 15428 14551 0 -1 4194304 5001 0 0 0 269 2 0 0 19 0 3 0 37155218 62152704 4431 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 258947968891 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15428/statm: 15174 4431 387 42 0 9426 0
[pid=15428/tid=15430] ppid=15426 vsize=60696 CPUtime=1.22
/proc/15428/task/15430/stat : 15430 (ornithorynque) R 15426 15428 14551 0 -1 4194368 174 0 0 0 122 0 0 0 25 0 3 0 37155246 62152704 4431 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314323 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15428/tid=15431] ppid=15426 vsize=60696 CPUtime=1.21
/proc/15428/task/15431/stat : 15431 (ornithorynque) R 15426 15428 14551 0 -1 4194368 2 0 0 0 121 0 0 0 25 0 3 0 37155246 62152704 4431 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240993 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 60696

[startup+3.10214 s]
/proc/loadavg: 1.83 1.95 1.98 3/67 15431
/proc/meminfo: memFree=720368/2055920 swapFree=4192956/4192956
[pid=15428] ppid=15426 vsize=60900 CPUtime=5.9
/proc/15428/stat : 15428 (ornithorynque) S 15426 15428 14551 0 -1 4194304 5051 0 0 0 588 2 0 0 19 0 3 0 37155218 62361600 4481 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 258947968891 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15428/statm: 15225 4481 387 42 0 9477 0
[pid=15428/tid=15430] ppid=15426 vsize=60900 CPUtime=2.82
/proc/15428/task/15430/stat : 15430 (ornithorynque) R 15426 15428 14551 0 -1 4194368 224 0 0 0 282 0 0 0 25 0 3 0 37155246 62361600 4481 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15428/tid=15431] ppid=15426 vsize=60900 CPUtime=2.81
/proc/15428/task/15431/stat : 15431 (ornithorynque) R 15426 15428 14551 0 -1 4194368 2 0 0 0 281 0 0 0 25 0 3 0 37155246 62361600 4481 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283709 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 60900

[startup+6.30173 s]
/proc/loadavg: 1.85 1.95 1.98 3/67 15431
/proc/meminfo: memFree=720048/2055920 swapFree=4192956/4192956
[pid=15428] ppid=15426 vsize=63516 CPUtime=12.28
/proc/15428/stat : 15428 (ornithorynque) S 15426 15428 14551 0 -1 4194304 5385 0 0 0 1225 3 0 0 19 0 3 0 37155218 65040384 4776 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 258947968891 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15428/statm: 15879 4776 387 42 0 10131 0
[pid=15428/tid=15430] ppid=15426 vsize=63516 CPUtime=6.02
/proc/15428/task/15430/stat : 15430 (ornithorynque) R 15426 15428 14551 0 -1 4194368 323 0 0 0 602 0 0 0 25 0 3 0 37155246 65040384 4776 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15428/tid=15431] ppid=15426 vsize=63516 CPUtime=5.98
/proc/15428/task/15431/stat : 15431 (ornithorynque) R 15426 15428 14551 0 -1 4194368 237 0 0 0 598 0 0 0 19 0 3 0 37155246 65040384 4776 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283762 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 63516

[startup+12.7029 s]
/proc/loadavg: 1.86 1.95 1.98 3/67 15431
/proc/meminfo: memFree=717744/2055920 swapFree=4192956/4192956
[pid=15428] ppid=15426 vsize=64540 CPUtime=25.05
/proc/15428/stat : 15428 (ornithorynque) S 15426 15428 14551 0 -1 4194304 5721 0 0 0 2502 3 0 0 19 0 3 0 37155218 66088960 5112 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 258947968891 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15428/statm: 16135 5112 387 42 0 10387 0
[pid=15428/tid=15430] ppid=15426 vsize=64540 CPUtime=12.41
/proc/15428/task/15430/stat : 15430 (ornithorynque) R 15426 15428 14551 0 -1 4194368 659 0 0 0 1241 0 0 0 25 0 3 0 37155246 66088960 5112 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4290009 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15428/tid=15431] ppid=15426 vsize=64540 CPUtime=12.35
/proc/15428/task/15431/stat : 15431 (ornithorynque) R 15426 15428 14551 0 -1 4194368 237 0 0 0 1235 0 0 0 25 0 3 0 37155246 66088960 5112 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.05
Current children cumulated vsize (KiB) 64540

[startup+25.5012 s]
/proc/loadavg: 1.89 1.95 1.98 3/67 15431
/proc/meminfo: memFree=712112/2055920 swapFree=4192956/4192956
[pid=15428] ppid=15426 vsize=69660 CPUtime=50.58
/proc/15428/stat : 15428 (ornithorynque) S 15426 15428 14551 0 -1 4194304 7166 0 0 0 5054 4 0 0 19 0 3 0 37155218 71331840 6557 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 258947968891 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15428/statm: 17415 6557 387 42 0 11667 0
[pid=15428/tid=15430] ppid=15426 vsize=69660 CPUtime=25.21
/proc/15428/task/15430/stat : 15430 (ornithorynque) R 15426 15428 14551 0 -1 4194368 1525 0 0 0 2520 1 0 0 25 0 3 0 37155246 71331840 6557 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311068 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15428/tid=15431] ppid=15426 vsize=69660 CPUtime=25.09
/proc/15428/task/15431/stat : 15431 (ornithorynque) R 15426 15428 14551 0 -1 4194368 816 0 0 0 2509 0 0 0 25 0 3 0 37155246 71331840 6557 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241176 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 69660

[startup+51.1019 s]
/proc/loadavg: 1.93 1.95 1.98 3/67 15431
/proc/meminfo: memFree=696240/2055920 swapFree=4192956/4192956
[pid=15428] ppid=15426 vsize=87068 CPUtime=101.67
/proc/15428/stat : 15428 (ornithorynque) S 15426 15428 14551 0 -1 4194304 11153 0 0 0 10158 9 0 0 19 0 3 0 37155218 89157632 10544 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 258947968891 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15428/statm: 21767 10544 387 42 0 16019 0
[pid=15428/tid=15430] ppid=15426 vsize=87068 CPUtime=50.8
/proc/15428/task/15430/stat : 15430 (ornithorynque) R 15426 15428 14551 0 -1 4194368 3209 0 0 0 5076 4 0 0 25 0 3 0 37155246 89157632 10544 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311226 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15428/tid=15431] ppid=15426 vsize=87068 CPUtime=50.58
/proc/15428/task/15431/stat : 15431 (ornithorynque) R 15426 15428 14551 0 -1 4194368 3119 0 0 0 5056 2 0 0 25 0 3 0 37155246 89157632 10544 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241176 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 87068

[startup+102.305 s]
/proc/loadavg: 2.01 1.97 1.99 3/67 15431
/proc/meminfo: memFree=689136/2055920 swapFree=4192956/4192956
[pid=15428] ppid=15426 vsize=93212 CPUtime=203.82
/proc/15428/stat : 15428 (ornithorynque) S 15426 15428 14551 0 -1 4194304 12869 0 0 0 20370 12 0 0 19 0 3 0 37155218 95449088 12260 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 258947968891 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15428/statm: 23303 12260 387 42 0 17555 0
[pid=15428/tid=15430] ppid=15426 vsize=93212 CPUtime=101.98
/proc/15428/task/15430/stat : 15430 (ornithorynque) R 15426 15428 14551 0 -1 4194368 4925 0 0 0 10191 7 0 0 25 0 3 0 37155246 95449088 12260 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311255 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15428/tid=15431] ppid=15426 vsize=93212 CPUtime=101.55
/proc/15428/task/15431/stat : 15431 (ornithorynque) R 15426 15428 14551 0 -1 4194368 3119 0 0 0 10153 2 0 0 25 0 3 0 37155246 95449088 12260 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241636 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.82
Current children cumulated vsize (KiB) 93212

[startup+162.302 s]
/proc/loadavg: 2.00 1.97 1.99 3/67 15431
/proc/meminfo: memFree=680240/2055920 swapFree=4192956/4192956
[pid=15428] ppid=15426 vsize=102428 CPUtime=323.54
/proc/15428/stat : 15428 (ornithorynque) S 15426 15428 14551 0 -1 4194304 15130 0 0 0 32337 17 0 0 19 0 3 0 37155218 104886272 14521 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 258947968891 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15428/statm: 25607 14521 387 42 0 19859 0
[pid=15428/tid=15430] ppid=15426 vsize=102428 CPUtime=161.96
/proc/15428/task/15430/stat : 15430 (ornithorynque) R 15426 15428 14551 0 -1 4194368 7186 0 0 0 16185 11 0 0 25 0 3 0 37155246 104886272 14521 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242873 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15428/tid=15431] ppid=15426 vsize=102428 CPUtime=161.29
/proc/15428/task/15431/stat : 15431 (ornithorynque) R 15426 15428 14551 0 -1 4194368 3119 0 0 0 16127 2 0 0 25 0 3 0 37155246 104886272 14521 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.54
Current children cumulated vsize (KiB) 102428

[startup+222.302 s]
/proc/loadavg: 2.00 1.97 1.99 3/67 15431
/proc/meminfo: memFree=646448/2055920 swapFree=4192956/4192956
[pid=15428] ppid=15426 vsize=140928 CPUtime=443.24
/proc/15428/stat : 15428 (ornithorynque) S 15426 15428 14551 0 -1 4194304 23573 0 0 0 44300 24 0 0 19 0 3 0 37155218 144310272 22898 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 258947968891 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15428/statm: 35232 22898 387 42 0 29484 0
[pid=15428/tid=15430] ppid=15426 vsize=140928 CPUtime=221.94
/proc/15428/task/15430/stat : 15430 (ornithorynque) R 15426 15428 14551 0 -1 4194368 9637 0 0 0 22179 15 0 0 25 0 3 0 37155246 144310272 22898 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311481 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15428/tid=15431] ppid=15426 vsize=140928 CPUtime=221.03
/proc/15428/task/15431/stat : 15431 (ornithorynque) R 15426 15428 14551 0 -1 4194368 9111 0 0 0 22097 6 0 0 25 0 3 0 37155246 144310272 22898 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.24
Current children cumulated vsize (KiB) 140928

[startup+282.303 s]
/proc/loadavg: 2.00 1.97 1.99 3/67 15431
/proc/meminfo: memFree=636720/2055920 swapFree=4192956/4192956
[pid=15428] ppid=15426 vsize=151168 CPUtime=562.96
/proc/15428/stat : 15428 (ornithorynque) S 15426 15428 14551 0 -1 4194304 26292 0 0 0 56267 29 0 0 19 0 3 0 37155218 154796032 25360 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 258947968891 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15428/statm: 37792 25360 387 42 0 32044 0
[pid=15428/tid=15430] ppid=15426 vsize=151168 CPUtime=281.91
/proc/15428/task/15430/stat : 15430 (ornithorynque) R 15426 15428 14551 0 -1 4194368 12356 0 0 0 28171 20 0 0 25 0 3 0 37155246 154796032 25360 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15428/tid=15431] ppid=15426 vsize=151168 CPUtime=280.77
/proc/15428/task/15431/stat : 15431 (ornithorynque) R 15426 15428 14551 0 -1 4194368 9111 0 0 0 28071 6 0 0 25 0 3 0 37155246 154796032 25360 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241636 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.96
Current children cumulated vsize (KiB) 151168

[startup+342.302 s]
/proc/loadavg: 2.00 1.97 1.99 3/67 15431
/proc/meminfo: memFree=629168/2055920 swapFree=4192956/4192956
[pid=15428] ppid=15426 vsize=158336 CPUtime=682.69
/proc/15428/stat : 15428 (ornithorynque) S 15426 15428 14551 0 -1 4194304 28122 0 0 0 68237 32 0 0 19 0 3 0 37155218 162136064 27190 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 258947968891 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15428/statm: 39584 27190 387 42 0 33836 0
[pid=15428/tid=15430] ppid=15426 vsize=158336 CPUtime=341.89
/proc/15428/task/15430/stat : 15430 (ornithorynque) R 15426 15428 14551 0 -1 4194368 14186 0 0 0 34166 23 0 0 25 0 3 0 37155246 162136064 27190 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311226 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15428/tid=15431] ppid=15426 vsize=158336 CPUtime=340.51
/proc/15428/task/15431/stat : 15431 (ornithorynque) R 15426 15428 14551 0 -1 4194368 9111 0 0 0 34045 6 0 0 25 0 3 0 37155246 162136064 27190 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241651 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.69
Current children cumulated vsize (KiB) 158336

[startup+402.302 s]
/proc/loadavg: 2.00 1.97 1.99 3/67 15431
/proc/meminfo: memFree=622064/2055920 swapFree=4192956/4192956
[pid=15428] ppid=15426 vsize=165504 CPUtime=802.4
/proc/15428/stat : 15428 (ornithorynque) S 15426 15428 14551 0 -1 4194304 29911 0 0 0 80206 34 0 0 19 0 3 0 37155218 169476096 28979 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 258947968891 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15428/statm: 41376 28979 387 42 0 35628 0
[pid=15428/tid=15430] ppid=15426 vsize=165504 CPUtime=401.86
/proc/15428/task/15430/stat : 15430 (ornithorynque) R 15426 15428 14551 0 -1 4194368 15975 0 0 0 40162 24 0 0 25 0 3 0 37155246 169476096 28979 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15428/tid=15431] ppid=15426 vsize=165504 CPUtime=400.24
/proc/15428/task/15431/stat : 15431 (ornithorynque) R 15426 15428 14551 0 -1 4194368 9111 0 0 0 40018 6 0 0 25 0 3 0 37155246 169476096 28979 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240983 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.4
Current children cumulated vsize (KiB) 165504

[startup+462.301 s]
/proc/loadavg: 2.00 1.97 1.99 3/67 15431
/proc/meminfo: memFree=617712/2055920 swapFree=4192956/4192956
[pid=15428] ppid=15426 vsize=170624 CPUtime=922.12
/proc/15428/stat : 15428 (ornithorynque) S 15426 15428 14551 0 -1 4194304 31031 0 0 0 92176 36 0 0 19 0 3 0 37155218 174718976 30099 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 258947968891 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15428/statm: 42656 30099 387 42 0 36908 0
[pid=15428/tid=15430] ppid=15426 vsize=170624 CPUtime=461.84
/proc/15428/task/15430/stat : 15430 (ornithorynque) R 15426 15428 14551 0 -1 4194368 17095 0 0 0 46158 26 0 0 25 0 3 0 37155246 174718976 30099 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242963 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15428/tid=15431] ppid=15426 vsize=170624 CPUtime=459.98
/proc/15428/task/15431/stat : 15431 (ornithorynque) R 15426 15428 14551 0 -1 4194368 9111 0 0 0 45992 6 0 0 25 0 3 0 37155246 174718976 30099 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.12
Current children cumulated vsize (KiB) 170624

[startup+522.301 s]
/proc/loadavg: 2.00 1.97 1.99 3/67 15431
/proc/meminfo: memFree=617648/2055920 swapFree=4192956/4192956
[pid=15428] ppid=15426 vsize=170624 CPUtime=1041.83
/proc/15428/stat : 15428 (ornithorynque) S 15426 15428 14551 0 -1 4194304 31031 0 0 0 104147 36 0 0 19 0 3 0 37155218 174718976 30099 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 258947968891 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15428/statm: 42656 30099 387 42 0 36908 0
[pid=15428/tid=15430] ppid=15426 vsize=170624 CPUtime=521.82
/proc/15428/task/15430/stat : 15430 (ornithorynque) R 15426 15428 14551 0 -1 4194368 17095 0 0 0 52156 26 0 0 25 0 3 0 37155246 174718976 30099 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242954 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15428/tid=15431] ppid=15426 vsize=170624 CPUtime=519.72
/proc/15428/task/15431/stat : 15431 (ornithorynque) R 15426 15428 14551 0 -1 4194368 9111 0 0 0 51966 6 0 0 25 0 3 0 37155246 174718976 30099 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241651 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.83
Current children cumulated vsize (KiB) 170624

[startup+582.302 s]
/proc/loadavg: 2.00 1.97 1.99 3/67 15431
/proc/meminfo: memFree=614832/2055920 swapFree=4192956/4192956
[pid=15428] ppid=15426 vsize=173296 CPUtime=1161.55
/proc/15428/stat : 15428 (ornithorynque) S 15426 15428 14551 0 -1 4194304 31874 0 0 0 116117 38 0 0 19 0 3 0 37155218 177455104 30786 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 258947968891 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15428/statm: 43324 30786 387 42 0 37576 0
[pid=15428/tid=15430] ppid=15426 vsize=173296 CPUtime=581.8
/proc/15428/task/15430/stat : 15430 (ornithorynque) R 15426 15428 14551 0 -1 4194368 17938 0 0 0 58152 28 0 0 25 0 3 0 37155246 177455104 30786 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242903 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15428/tid=15431] ppid=15426 vsize=173296 CPUtime=579.45
/proc/15428/task/15431/stat : 15431 (ornithorynque) R 15426 15428 14551 0 -1 4194368 9111 0 0 0 57939 6 0 0 25 0 3 0 37155246 177455104 30786 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283709 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.55
Current children cumulated vsize (KiB) 173296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.603 s]
/proc/loadavg: 2.00 1.97 1.99 3/67 15431
/proc/meminfo: memFree=614768/2055920 swapFree=4192956/4192956
[pid=15428] ppid=15426 vsize=173296 CPUtime=1200.07
/proc/15428/stat : 15428 (ornithorynque) S 15426 15428 14551 0 -1 4194304 31898 0 0 0 119969 38 0 0 19 0 3 0 37155218 177455104 30810 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 258947968891 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15428/statm: 43324 30810 387 42 0 37576 0
[pid=15428/tid=15430] ppid=15426 vsize=173296 CPUtime=601.1
/proc/15428/task/15430/stat : 15430 (ornithorynque) R 15426 15428 14551 0 -1 4194368 17962 0 0 0 60082 28 0 0 25 0 3 0 37155246 177455104 30810 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242861 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15428/tid=15431] ppid=15426 vsize=173296 CPUtime=598.68
/proc/15428/task/15431/stat : 15431 (ornithorynque) R 15426 15428 14551 0 -1 4194368 9111 0 0 0 59862 6 0 0 25 0 3 0 37155246 177455104 30810 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242179 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 173296

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.637
CPU time (s): 1200.11
CPU user time (s): 1199.71
CPU system time (s): 0.400939
CPU usage (%): 199.475
Max. virtual memory (cumulated for all children) (KiB): 173296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.71
system time used= 0.400939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31898
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= 29
involuntary context switches= 9316

runsolver used 0.553915 second user time and 1.66575 second system time

The end

Launcher Data (download as text)

Begin job on node45 on Mon Mar  5 16:23:15 UTC 2007

IDJOB= 328481
IDBENCH= 20403
IDSOLVER= 139
FILE ID= node45/328481-1173111794

PBS_JOBID= 4013890

Free space on /tmp= 66545 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/industrial/fuhs/hard/AProVE07-26.cnf
COMMAND LINE= /tmp/evaluation/328481-1173111794/ornithorynque /tmp/evaluation/328481-1173111794/instance-328481-1173111794.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node45/watcher-328481-1173111794 -o ROOT/results/node45/solver-328481-1173111794 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328481-1173111794/ornithorynque /tmp/evaluation/328481-1173111794/instance-328481-1173111794.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  0cf155110f71a43081221b427d368ee8

RANDOM SEED= 875407381

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node45.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.265
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.265
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:        737504 kB
Buffers:         43100 kB
Cached:        1177024 kB
SwapCached:          0 kB
Active:         214068 kB
Inactive:      1022932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        737504 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1616 kB
Writeback:           0 kB
Mapped:          27024 kB
Slab:            67568 kB
Committed_AS:    97488 kB
PageTables:       1396 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= 66545 MiB

End job on node45 on Mon Mar  5 16:33:18 UTC 2007