Trace number 328299

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.526

General information on the benchmark

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

Solver Data (download as text)

0.00/0.00	c This is Ornithorynque version 0.1 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using unsigned short
0.00/0.00	c parsing...
0.00/0.04	c ...done
0.00/0.04	c nbVar=6500 nbClause=17354
0.00/0.05	c nbVar=6500 nbClause=17354
0.00/0.06	c complete search running
0.00/0.07	c local search running
0.00/0.07	c flip 0 nbSat=14516 maxSat=0
0.12/0.12	c flip 10000 nbSat=16899 maxSat=16903
0.12/0.17	c flip 20000 nbSat=17052 maxSat=17062
0.32/0.22	c flip 30000 nbSat=17099 maxSat=17101
0.32/0.27	c flip 40000 nbSat=17111 maxSat=17130
0.52/0.32	c flip 50000 nbSat=17131 maxSat=17147
0.52/0.36	c flip 60000 nbSat=17138 maxSat=17147
0.72/0.41	c flip 70000 nbSat=17127 maxSat=17151
0.72/0.46	c flip 80000 nbSat=17150 maxSat=17171
0.92/0.51	c flip 90000 nbSat=17162 maxSat=17184
0.92/0.56	c flip 100000 nbSat=17156 maxSat=17186
1.12/0.61	c flip 110000 nbSat=17163 maxSat=17188
1.12/0.66	c flip 120000 nbSat=17157 maxSat=17188
1.32/0.71	c flip 0 nbSat=15572 maxSat=17188
1.32/0.79	c flip 10000 nbSat=17903 maxSat=17905
1.52/0.86	c flip 20000 nbSat=18083 maxSat=18094
1.72/0.94	c flip 30000 nbSat=18112 maxSat=18138
1.93/1.02	c flip 40000 nbSat=18156 maxSat=18183
1.93/1.09	c flip 50000 nbSat=18176 maxSat=18189
2.12/1.17	c flip 60000 nbSat=18175 maxSat=18202
2.32/1.24	c flip 70000 nbSat=18198 maxSat=18209
2.52/1.32	c flip 80000 nbSat=18196 maxSat=18215
2.72/1.40	c flip 90000 nbSat=18209 maxSat=18215
2.72/1.48	c flip 100000 nbSat=18207 maxSat=18223
2.92/1.56	c flip 110000 nbSat=18201 maxSat=18223
3.12/1.63	c flip 120000 nbSat=18218 maxSat=18232
3.32/1.72	c flip 0 nbSat=17143 maxSat=18233
3.52/1.84	c flip 10000 nbSat=19583 maxSat=19588
3.72/1.97	c flip 20000 nbSat=19747 maxSat=19768
3.92/2.09	c flip 30000 nbSat=19793 maxSat=19814
4.32/2.21	c flip 40000 nbSat=19835 maxSat=19848
4.51/2.33	c flip 50000 nbSat=19857 maxSat=19876
4.71/2.45	c flip 60000 nbSat=19856 maxSat=19876
4.91/2.57	c flip 70000 nbSat=19878 maxSat=19883
5.31/2.70	c flip 80000 nbSat=19873 maxSat=19885
5.51/2.82	c flip 90000 nbSat=19870 maxSat=19887
5.71/2.95	c flip 100000 nbSat=19880 maxSat=19895
5.91/3.08	c flip 110000 nbSat=19883 maxSat=19901
6.31/3.22	c flip 120000 nbSat=19884 maxSat=19901
6.51/3.36	c flip 0 nbSat=19258 maxSat=19902
6.90/3.56	c flip 10000 nbSat=21648 maxSat=21662
7.31/3.77	c flip 20000 nbSat=21795 maxSat=21821
7.71/3.96	c flip 30000 nbSat=21855 maxSat=21877
8.11/4.15	c flip 40000 nbSat=21879 maxSat=21889
8.11/4.17	c nbDecision=10000 #clauses=23094
8.51/4.35	c flip 50000 nbSat=21874 maxSat=21890
8.90/4.53	c flip 60000 nbSat=21876 maxSat=21903
9.30/4.73	c flip 70000 nbSat=21896 maxSat=21922
9.70/4.93	c flip 80000 nbSat=21907 maxSat=21926
10.10/5.13	c flip 90000 nbSat=21908 maxSat=21926
10.50/5.33	c flip 100000 nbSat=21917 maxSat=21929
10.91/5.50	c flip 110000 nbSat=21911 maxSat=21930
11.10/5.68	c flip 120000 nbSat=21922 maxSat=21947
11.50/5.89	c flip 0 nbSat=22157 maxSat=21948
12.10/6.17	c flip 10000 nbSat=24533 maxSat=24541
12.70/6.44	c flip 20000 nbSat=24678 maxSat=24691
13.29/6.70	c flip 30000 nbSat=24759 maxSat=24761
13.69/6.98	c flip 40000 nbSat=24779 maxSat=24795
14.29/7.24	c flip 50000 nbSat=24799 maxSat=24817
14.69/7.49	c flip 60000 nbSat=24798 maxSat=24817
15.29/7.76	c flip 70000 nbSat=24792 maxSat=24817
15.89/8.03	c flip 80000 nbSat=24808 maxSat=24817
16.29/8.29	c flip 90000 nbSat=24814 maxSat=24825
16.89/8.56	c flip 100000 nbSat=24795 maxSat=24825
17.49/8.86	c flip 110000 nbSat=24809 maxSat=24825
18.08/9.16	c flip 120000 nbSat=24806 maxSat=24825
18.88/9.50	c flip 0 nbSat=24998 maxSat=24834
19.68/9.93	c flip 10000 nbSat=27270 maxSat=27271
20.47/10.37	c flip 20000 nbSat=27440 maxSat=27469
21.46/10.83	c flip 30000 nbSat=27528 maxSat=27532
22.26/11.26	c flip 40000 nbSat=27534 maxSat=27553
22.46/11.34	c nbDecision=20000 #clauses=29259
23.27/11.70	c flip 50000 nbSat=27549 maxSat=27565
24.07/12.15	c flip 60000 nbSat=27572 maxSat=27586
25.06/12.60	c flip 70000 nbSat=27577 maxSat=27592
25.86/13.04	c flip 80000 nbSat=27586 maxSat=27599
26.66/13.49	c flip 90000 nbSat=27589 maxSat=27599
27.66/13.97	c flip 100000 nbSat=27576 maxSat=27605
28.65/14.47	c flip 110000 nbSat=27592 maxSat=27605
29.65/14.93	c flip 120000 nbSat=27562 maxSat=27605
30.46/15.38	c flip 0 nbSat=29327 maxSat=27605
31.84/16.08	c flip 10000 nbSat=31688 maxSat=31694
33.44/16.82	c flip 20000 nbSat=31810 maxSat=31847
35.04/17.62	c flip 30000 nbSat=31899 maxSat=31923
36.43/18.39	c flip 40000 nbSat=31924 maxSat=31942
38.23/19.20	c flip 50000 nbSat=31950 maxSat=31963
39.62/19.99	c flip 60000 nbSat=31950 maxSat=31963
41.22/20.76	c flip 70000 nbSat=31961 maxSat=31974
43.03/21.63	c flip 80000 nbSat=31958 maxSat=31980
44.63/22.40	c nbDecision=30000 #clauses=35621
44.63/22.41	c flip 90000 nbSat=31968 maxSat=31990
46.22/23.28	c flip 100000 nbSat=31977 maxSat=32000
48.02/24.16	c flip 110000 nbSat=31986 maxSat=32001
49.61/24.94	c flip 120000 nbSat=31983 maxSat=32006
51.21/25.76	c flip 0 nbSat=34040 maxSat=32006
53.20/26.73	c flip 10000 nbSat=36470 maxSat=36484
55.40/27.88	c flip 20000 nbSat=36644 maxSat=36664
57.39/28.89	c flip 30000 nbSat=36696 maxSat=36718
59.39/29.83	c flip 40000 nbSat=36722 maxSat=36735
61.39/30.84	c flip 50000 nbSat=36741 maxSat=36749
63.18/31.77	c flip 60000 nbSat=36730 maxSat=36759
65.37/32.86	c flip 70000 nbSat=36728 maxSat=36761
67.37/33.90	c flip 80000 nbSat=36747 maxSat=36763
69.37/34.85	c flip 90000 nbSat=36756 maxSat=36777
71.16/35.77	c flip 100000 nbSat=36766 maxSat=36777
73.16/36.72	c flip 110000 nbSat=36758 maxSat=36785
75.14/37.78	c flip 120000 nbSat=36764 maxSat=36785
77.34/38.88	c flip 0 nbSat=38644 maxSat=36785
78.94/39.62	c nbDecision=40000 #clauses=41913
79.93/40.13	c flip 10000 nbSat=41036 maxSat=41039
83.13/41.71	c flip 20000 nbSat=41205 maxSat=41208
86.12/43.29	c flip 30000 nbSat=41255 maxSat=41270
89.31/44.82	c flip 40000 nbSat=41264 maxSat=41290
92.30/46.38	c flip 50000 nbSat=41285 maxSat=41315
95.51/47.93	c flip 60000 nbSat=41304 maxSat=41315
98.10/49.23	c flip 70000 nbSat=41304 maxSat=41329
100.90/50.61	c flip 80000 nbSat=41329 maxSat=41339
104.08/52.21	c flip 90000 nbSat=41320 maxSat=41341
106.88/53.68	c flip 100000 nbSat=41316 maxSat=41341
108.67/54.54	c nbDecision=50000 #clauses=48060
109.68/55.02	c flip 110000 nbSat=41313 maxSat=41341
112.46/56.42	c flip 120000 nbSat=41324 maxSat=41344
115.06/57.70	c flip 0 nbSat=46177 maxSat=41348
118.64/59.54	c flip 10000 nbSat=48599 maxSat=48625
123.43/61.90	c flip 20000 nbSat=48772 maxSat=48784
128.62/64.51	c flip 30000 nbSat=48780 maxSat=48811
134.81/67.62	c flip 40000 nbSat=48834 maxSat=48859
140.40/70.48	c flip 50000 nbSat=48868 maxSat=48873
144.39/72.49	c nbDecision=60000 #clauses=54535
146.58/73.54	c flip 60000 nbSat=48867 maxSat=48877
152.57/76.51	c flip 70000 nbSat=48864 maxSat=48880
158.56/79.56	c flip 80000 nbSat=48863 maxSat=48884
164.94/82.76	c flip 90000 nbSat=48853 maxSat=48887
170.93/85.71	c flip 100000 nbSat=48873 maxSat=48890
176.91/88.74	c flip 110000 nbSat=48873 maxSat=48896
182.90/91.80	c flip 120000 nbSat=48865 maxSat=48896
189.68/95.10	c flip 0 nbSat=57467 maxSat=48900
194.87/97.70	c flip 10000 nbSat=59939 maxSat=59952
195.07/97.81	c nbDecision=70000 #clauses=61166
201.06/100.89	c flip 20000 nbSat=60133 maxSat=60138
207.24/103.93	c flip 30000 nbSat=60192 maxSat=60196
212.23/106.48	c flip 40000 nbSat=60184 maxSat=60202
217.61/109.11	c flip 50000 nbSat=60197 maxSat=60210
222.40/111.58	c flip 60000 nbSat=60227 maxSat=60241
228.00/114.36	c flip 70000 nbSat=60232 maxSat=60257
233.58/117.15	c flip 80000 nbSat=60244 maxSat=60265
238.77/119.72	c flip 90000 nbSat=60242 maxSat=60265
244.16/122.43	c flip 100000 nbSat=60249 maxSat=60269
245.36/123.03	c nbDecision=80000 #clauses=67605
250.55/125.67	c flip 110000 nbSat=60258 maxSat=60272
256.92/128.83	c flip 120000 nbSat=60270 maxSat=60287
262.31/131.50	c flip 0 nbSat=66864 maxSat=60290
268.89/134.87	c flip 10000 nbSat=69243 maxSat=69246
278.08/139.42	c flip 20000 nbSat=69421 maxSat=69423
287.46/144.17	c flip 30000 nbSat=69459 maxSat=69478
297.03/148.98	c flip 40000 nbSat=69509 maxSat=69516
306.01/153.46	c flip 50000 nbSat=69531 maxSat=69542
314.59/157.75	c flip 60000 nbSat=69542 maxSat=69557
323.97/162.49	c flip 70000 nbSat=69551 maxSat=69563
332.75/166.80	c flip 80000 nbSat=69544 maxSat=69567
341.33/171.13	c flip 90000 nbSat=69561 maxSat=69568
350.91/175.97	c flip 100000 nbSat=69563 maxSat=69576
352.30/176.67	c nbDecision=90000 #clauses=74172
360.69/180.87	c flip 110000 nbSat=69562 maxSat=69576
370.27/185.63	c flip 120000 nbSat=69557 maxSat=69577
379.45/190.28	c flip 0 nbSat=74448 maxSat=69582
387.83/194.42	c flip 10000 nbSat=76852 maxSat=76855
399.00/200.03	c flip 20000 nbSat=77013 maxSat=77044
407.78/204.49	c nbDecision=100000 #clauses=80652
410.97/206.08	c flip 30000 nbSat=77047 maxSat=77082
423.55/212.35	c flip 40000 nbSat=77060 maxSat=77094
435.71/218.40	c flip 50000 nbSat=77101 maxSat=77118
448.69/224.97	c flip 60000 nbSat=77104 maxSat=77125
461.25/231.21	c nbDecision=110000 #clauses=87277
462.25/231.71	c flip 70000 nbSat=77113 maxSat=77129
476.82/239.02	c flip 80000 nbSat=77121 maxSat=77135
491.19/246.24	c flip 90000 nbSat=77128 maxSat=77142
504.95/253.15	c flip 100000 nbSat=77126 maxSat=77142
519.93/260.68	c flip 110000 nbSat=77127 maxSat=77145
533.49/267.46	c nbDecision=120000 #clauses=93751
534.49/267.97	c flip 120000 nbSat=77131 maxSat=77148
549.85/275.65	c flip 0 nbSat=92620 maxSat=77153
560.43/280.96	c flip 10000 nbSat=94966 maxSat=94988
575.00/288.22	c flip 20000 nbSat=95158 maxSat=95166
590.36/295.99	c flip 30000 nbSat=95177 maxSat=95191
602.73/302.12	c nbDecision=130000 #clauses=100532
606.73/304.17	c flip 40000 nbSat=95191 maxSat=95217
622.48/312.09	c flip 50000 nbSat=95230 maxSat=95238
639.44/320.58	c flip 60000 nbSat=95234 maxSat=95244
656.61/329.13	c flip 70000 nbSat=95263 maxSat=95269
673.96/337.81	c flip 80000 nbSat=95239 maxSat=95277
681.94/341.89	c nbDecision=140000 #clauses=107247
691.73/346.71	c flip 90000 nbSat=95258 maxSat=95277
709.08/355.40	c flip 100000 nbSat=95261 maxSat=95279
726.25/364.07	c flip 110000 nbSat=95245 maxSat=95279
744.02/372.98	c flip 120000 nbSat=95253 maxSat=95279
761.97/381.98	c flip 0 nbSat=110897 maxSat=95283
762.56/382.27	c nbDecision=150000 #clauses=113865
776.53/389.23	c flip 10000 nbSat=113361 maxSat=113363
794.89/398.48	c flip 20000 nbSat=113485 maxSat=113506
816.83/409.42	c flip 30000 nbSat=113548 maxSat=113554
838.99/420.59	c flip 40000 nbSat=113578 maxSat=113582
850.76/426.49	c nbDecision=160000 #clauses=120488
862.54/432.34	c flip 50000 nbSat=113578 maxSat=113608
884.48/443.32	c flip 60000 nbSat=113592 maxSat=113608
906.23/454.22	c flip 70000 nbSat=113605 maxSat=113625
925.19/463.78	c flip 80000 nbSat=113600 maxSat=113625
940.15/471.20	c nbDecision=170000 #clauses=127081
942.74/472.55	c flip 90000 nbSat=113593 maxSat=113630
958.32/480.39	c flip 100000 nbSat=113597 maxSat=113630
973.87/488.10	c flip 110000 nbSat=113614 maxSat=113638
989.04/495.78	c flip 120000 nbSat=113608 maxSat=113638
1005.40/503.96	c flip 0 nbSat=128072 maxSat=113642
1024.17/513.36	c flip 10000 nbSat=130537 maxSat=130537
1049.11/525.81	c flip 20000 nbSat=130763 maxSat=130765
1063.46/533.05	c nbDecision=180000 #clauses=133693
1074.64/538.66	c flip 30000 nbSat=130777 maxSat=130803
1097.79/550.20	c flip 40000 nbSat=130801 maxSat=130837
1122.93/562.85	c flip 50000 nbSat=130831 maxSat=130847
1146.47/574.70	c flip 60000 nbSat=130820 maxSat=130855
1173.42/588.15	c flip 70000 nbSat=130842 maxSat=130860
1180.40/591.66	c nbDecision=190000 #clauses=140358
1194.92/598.90	c flip 80000 nbSat=130841 maxSat=130860

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/node18/watcher-328299-1173109864 -o ROOT/results/node18/solver-328299-1173109864 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328299-1173109864/ornithorynque /tmp/evaluation/328299-1173109864/instance-328299-1173109864.cnf 

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


[startup+0 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 14160
/proc/meminfo: memFree=1234976/2055920 swapFree=4153516/4192956
[pid=14160] ppid=14158 vsize=23220 CPUtime=0
/proc/14160/stat : 14160 (ornithorynque) R 14158 14160 13651 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 330940956 23777280 267 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227846163729 0 0 4096 0 0 0 0 17 1 0 0
/proc/14160/statm: 5805 267 220 42 0 45 0

[startup+0.085096 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 14160
/proc/meminfo: memFree=1234976/2055920 swapFree=4153516/4192956
[pid=14160] ppid=14158 vsize=48096 CPUtime=0.09
/proc/14160/stat : 14160 (ornithorynque) S 14158 14160 13651 0 -1 4194304 1519 0 0 0 9 0 0 0 18 0 3 0 330940956 49250304 1448 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227857690491 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14160/statm: 12024 1448 387 42 0 6276 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 48096

[startup+0.101099 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 14160
/proc/meminfo: memFree=1234976/2055920 swapFree=4153516/4192956
[pid=14160] ppid=14158 vsize=48096 CPUtime=0.12
/proc/14160/stat : 14160 (ornithorynque) S 14158 14160 13651 0 -1 4194304 1519 0 0 0 12 0 0 0 18 0 3 0 330940956 49250304 1448 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227857690491 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14160/statm: 12024 1448 387 42 0 6276 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 48096

[startup+0.301116 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 14160
/proc/meminfo: memFree=1234976/2055920 swapFree=4153516/4192956
[pid=14160] ppid=14158 vsize=48096 CPUtime=0.52
/proc/14160/stat : 14160 (ornithorynque) S 14158 14160 13651 0 -1 4194304 1529 0 0 0 52 0 0 0 18 0 3 0 330940956 49250304 1458 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227857690491 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14160/statm: 12024 1458 387 42 0 6276 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 48096

[startup+0.701153 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 14160
/proc/meminfo: memFree=1234976/2055920 swapFree=4153516/4192956
[pid=14160] ppid=14158 vsize=48212 CPUtime=1.32
/proc/14160/stat : 14160 (ornithorynque) S 14158 14160 13651 0 -1 4194304 1572 0 0 0 132 0 0 0 18 0 3 0 330940956 49369088 1501 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227857690491 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14160/statm: 12053 1501 387 42 0 6305 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 48212

[startup+1.50123 s]
/proc/loadavg: 1.83 1.94 1.90 3/80 14163
/proc/meminfo: memFree=1229896/2055920 swapFree=4153516/4192956
[pid=14160] ppid=14158 vsize=49544 CPUtime=2.92
/proc/14160/stat : 14160 (ornithorynque) S 14158 14160 13651 0 -1 4194304 1744 0 0 0 292 0 0 0 18 0 3 0 330940956 50733056 1673 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227857690491 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14160/statm: 12386 1673 387 42 0 6638 0
[pid=14160/tid=14162] ppid=14158 vsize=49544 CPUtime=1.42
/proc/14160/task/14162/stat : 14162 (ornithorynque) R 14158 14160 13651 0 -1 4194368 182 0 0 0 142 0 0 0 25 0 3 0 330940963 50733056 1673 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311675 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14160/tid=14163] ppid=14158 vsize=49544 CPUtime=1.42
/proc/14160/task/14163/stat : 14163 (ornithorynque) R 14158 14160 13651 0 -1 4194368 73 0 0 0 142 0 0 0 24 0 3 0 330940963 50733056 1673 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285958 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 49544

[startup+3.10139 s]
/proc/loadavg: 1.83 1.94 1.90 3/80 14163
/proc/meminfo: memFree=1228872/2055920 swapFree=4153516/4192956
[pid=14160] ppid=14158 vsize=50832 CPUtime=6.11
/proc/14160/stat : 14160 (ornithorynque) S 14158 14160 13651 0 -1 4194304 1999 0 0 0 611 0 0 0 18 0 3 0 330940956 52051968 1928 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227857690491 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14160/statm: 12708 1928 387 42 0 6960 0
[pid=14160/tid=14162] ppid=14158 vsize=50832 CPUtime=3.02
/proc/14160/task/14162/stat : 14162 (ornithorynque) R 14158 14160 13651 0 -1 4194368 347 0 0 0 302 0 0 0 25 0 3 0 330940963 52051968 1928 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227848655585 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14160/tid=14163] ppid=14158 vsize=50832 CPUtime=3.02
/proc/14160/task/14163/stat : 14163 (ornithorynque) R 14158 14160 13651 0 -1 4194368 163 0 0 0 302 0 0 0 25 0 3 0 330940963 52051968 1928 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241403 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 50832

[startup+6.3027 s]
/proc/loadavg: 1.85 1.94 1.90 3/80 14163
/proc/meminfo: memFree=1227080/2055920 swapFree=4153516/4192956
[pid=14160] ppid=14158 vsize=53180 CPUtime=12.5
/proc/14160/stat : 14160 (ornithorynque) S 14158 14160 13651 0 -1 4194304 2603 0 0 0 1249 1 0 0 18 0 3 0 330940956 54456320 2532 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227857690491 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14160/statm: 13295 2532 387 42 0 7547 0
[pid=14160/tid=14162] ppid=14158 vsize=53180 CPUtime=6.22
/proc/14160/task/14162/stat : 14162 (ornithorynque) R 14158 14160 13651 0 -1 4194368 605 0 0 0 622 0 0 0 25 0 3 0 330940963 54456320 2532 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242944 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14160/tid=14163] ppid=14158 vsize=53180 CPUtime=6.2
/proc/14160/task/14163/stat : 14163 (ornithorynque) R 14158 14160 13651 0 -1 4194368 509 0 0 0 620 0 0 0 20 0 3 0 330940963 54456320 2532 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285958 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 53180

[startup+12.7013 s]
/proc/loadavg: 1.86 1.94 1.90 3/80 14163
/proc/meminfo: memFree=1223688/2055920 swapFree=4153516/4192956
[pid=14160] ppid=14158 vsize=54876 CPUtime=25.26
/proc/14160/stat : 14160 (ornithorynque) S 14158 14160 13651 0 -1 4194304 3208 0 0 0 2524 2 0 0 18 0 3 0 330940956 56193024 3137 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227857690491 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14160/statm: 13719 3137 387 42 0 7971 0
[pid=14160/tid=14162] ppid=14158 vsize=54876 CPUtime=12.62
/proc/14160/task/14162/stat : 14162 (ornithorynque) R 14158 14160 13651 0 -1 4194368 1014 0 0 0 1261 1 0 0 25 0 3 0 330940963 56193024 3137 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14160/tid=14163] ppid=14158 vsize=54876 CPUtime=12.57
/proc/14160/task/14163/stat : 14163 (ornithorynque) R 14158 14160 13651 0 -1 4194368 705 0 0 0 1257 0 0 0 25 0 3 0 330940963 56193024 3137 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 54876

[startup+25.5016 s]
/proc/loadavg: 1.89 1.94 1.90 3/80 14163
/proc/meminfo: memFree=1220168/2055920 swapFree=4153516/4192956
[pid=14160] ppid=14158 vsize=58684 CPUtime=50.81
/proc/14160/stat : 14160 (ornithorynque) S 14158 14160 13651 0 -1 4194304 4150 0 0 0 5078 3 0 0 18 0 3 0 330940956 60092416 3980 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227857690491 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14160/statm: 14671 3980 387 42 0 8923 0
[pid=14160/tid=14162] ppid=14158 vsize=58684 CPUtime=25.41
/proc/14160/task/14162/stat : 14162 (ornithorynque) R 14158 14160 13651 0 -1 4194368 1652 0 0 0 2539 2 0 0 25 0 3 0 330940963 60092416 3980 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242954 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14160/tid=14163] ppid=14158 vsize=58684 CPUtime=25.31
/proc/14160/task/14163/stat : 14163 (ornithorynque) R 14158 14160 13651 0 -1 4194368 1009 0 0 0 2531 0 0 0 25 0 3 0 330940963 60092416 3980 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 58684

[startup+51.102 s]
/proc/loadavg: 1.93 1.94 1.90 3/80 14163
/proc/meminfo: memFree=1214408/2055920 swapFree=4153516/4192956
[pid=14160] ppid=14158 vsize=64556 CPUtime=101.89
/proc/14160/stat : 14160 (ornithorynque) S 14158 14160 13651 0 -1 4194304 5662 0 0 0 10183 6 0 0 18 0 3 0 330940956 66105344 5427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227857690491 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14160/statm: 16139 5427 387 42 0 10391 0
[pid=14160/tid=14162] ppid=14158 vsize=64556 CPUtime=51.01
/proc/14160/task/14162/stat : 14162 (ornithorynque) R 14158 14160 13651 0 -1 4194368 2494 0 0 0 5096 5 0 0 25 0 3 0 330940963 66105344 5427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14160/tid=14163] ppid=14158 vsize=64556 CPUtime=50.8
/proc/14160/task/14163/stat : 14163 (ornithorynque) R 14158 14160 13651 0 -1 4194368 1679 0 0 0 5080 0 0 0 25 0 3 0 330940963 66105344 5427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242170 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 64556

[startup+102.306 s]
/proc/loadavg: 1.97 1.95 1.91 3/80 14163
/proc/meminfo: memFree=1204296/2055920 swapFree=4153516/4192956
[pid=14160] ppid=14158 vsize=75840 CPUtime=204.06
/proc/14160/stat : 14160 (ornithorynque) S 14158 14160 13651 0 -1 4194304 8146 0 0 0 20396 10 0 0 18 0 3 0 330940956 77660160 7911 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227857690491 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14160/statm: 18960 7911 387 42 0 13212 0
[pid=14160/tid=14162] ppid=14158 vsize=75840 CPUtime=102.19
/proc/14160/task/14162/stat : 14162 (ornithorynque) R 14158 14160 13651 0 -1 4194368 3826 0 0 0 10211 8 0 0 25 0 3 0 330940963 77660160 7911 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311229 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14160/tid=14163] ppid=14158 vsize=75840 CPUtime=101.79
/proc/14160/task/14163/stat : 14163 (ornithorynque) R 14158 14160 13651 0 -1 4194368 2831 0 0 0 10178 1 0 0 25 0 3 0 330940963 77660160 7911 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240896 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 75840

[startup+162.302 s]
/proc/loadavg: 1.99 1.95 1.91 3/80 14163
/proc/meminfo: memFree=1198088/2055920 swapFree=4153516/4192956
[pid=14160] ppid=14158 vsize=82928 CPUtime=323.77
/proc/14160/stat : 14160 (ornithorynque) S 14158 14160 13651 0 -1 4194304 10007 0 0 0 32365 12 0 0 18 0 3 0 330940956 84918272 9446 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227857690491 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14160/statm: 20732 9446 387 42 0 14984 0
[pid=14160/tid=14162] ppid=14158 vsize=82928 CPUtime=162.17
/proc/14160/task/14162/stat : 14162 (ornithorynque) R 14158 14160 13651 0 -1 4194368 5009 0 0 0 16207 10 0 0 25 0 3 0 330940963 84918272 9446 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242898 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14160/tid=14163] ppid=14158 vsize=82928 CPUtime=161.52
/proc/14160/task/14163/stat : 14163 (ornithorynque) R 14158 14160 13651 0 -1 4194368 3509 0 0 0 16151 1 0 0 25 0 3 0 330940963 84918272 9446 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242225 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.77
Current children cumulated vsize (KiB) 82928

[startup+222.302 s]
/proc/loadavg: 1.99 1.96 1.91 3/80 14163
/proc/meminfo: memFree=1191944/2055920 swapFree=4153516/4192956
[pid=14160] ppid=14158 vsize=89572 CPUtime=443.49
/proc/14160/stat : 14160 (ornithorynque) S 14158 14160 13651 0 -1 4194304 11551 0 0 0 44334 15 0 0 18 0 3 0 330940956 91721728 10990 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227857690491 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14160/statm: 22393 10990 387 42 0 16645 0
[pid=14160/tid=14162] ppid=14158 vsize=89572 CPUtime=222.16
/proc/14160/task/14162/stat : 14162 (ornithorynque) R 14158 14160 13651 0 -1 4194368 6059 0 0 0 22203 13 0 0 25 0 3 0 330940963 91721728 10990 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14160/tid=14163] ppid=14158 vsize=89572 CPUtime=221.25
/proc/14160/task/14163/stat : 14163 (ornithorynque) R 14158 14160 13651 0 -1 4194368 4003 0 0 0 22124 1 0 0 25 0 3 0 330940963 91721728 10990 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.49
Current children cumulated vsize (KiB) 89572

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 14163
/proc/meminfo: memFree=1183304/2055920 swapFree=4153516/4192956
[pid=14160] ppid=14158 vsize=98888 CPUtime=563.23
/proc/14160/stat : 14160 (ornithorynque) S 14158 14160 13651 0 -1 4194304 13758 0 0 0 56305 18 0 0 18 0 3 0 330940956 101261312 13164 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227857690491 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14160/statm: 24722 13164 387 42 0 18974 0
[pid=14160/tid=14162] ppid=14158 vsize=98888 CPUtime=282.14
/proc/14160/task/14162/stat : 14162 (ornithorynque) R 14158 14160 13651 0 -1 4194368 7076 0 0 0 28199 15 0 0 25 0 3 0 330940963 101261312 13164 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14160/tid=14163] ppid=14158 vsize=98888 CPUtime=281
/proc/14160/task/14163/stat : 14163 (ornithorynque) R 14158 14160 13651 0 -1 4194368 5193 0 0 0 28098 2 0 0 25 0 3 0 330940963 101261312 13164 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.23
Current children cumulated vsize (KiB) 98888

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 14163
/proc/meminfo: memFree=1179528/2055920 swapFree=4153516/4192956
[pid=14160] ppid=14158 vsize=103116 CPUtime=682.94
/proc/14160/stat : 14160 (ornithorynque) S 14158 14160 13651 0 -1 4194304 14692 0 0 0 68274 20 0 0 18 0 3 0 330940956 105590784 14098 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227857690491 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14160/statm: 25779 14098 387 42 0 20031 0
[pid=14160/tid=14162] ppid=14158 vsize=103116 CPUtime=342.13
/proc/14160/task/14162/stat : 14162 (ornithorynque) R 14158 14160 13651 0 -1 4194368 8010 0 0 0 34195 18 0 0 25 0 3 0 330940963 105590784 14098 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311226 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14160/tid=14163] ppid=14158 vsize=103116 CPUtime=340.74
/proc/14160/task/14163/stat : 14163 (ornithorynque) R 14158 14160 13651 0 -1 4194368 5193 0 0 0 34072 2 0 0 25 0 3 0 330940963 105590784 14098 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242213 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.94
Current children cumulated vsize (KiB) 103116

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 14163
/proc/meminfo: memFree=1171336/2055920 swapFree=4153516/4192956
[pid=14160] ppid=14158 vsize=111556 CPUtime=802.67
/proc/14160/stat : 14160 (ornithorynque) S 14158 14160 13651 0 -1 4194304 16882 0 0 0 80243 24 0 0 18 0 3 0 330940956 114233344 16123 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227857690491 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14160/statm: 27889 16123 387 42 0 22141 0
[pid=14160/tid=14162] ppid=14158 vsize=111556 CPUtime=402.11
/proc/14160/task/14162/stat : 14162 (ornithorynque) R 14158 14160 13651 0 -1 4194368 8905 0 0 0 40191 20 0 0 25 0 3 0 330940963 114233344 16123 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14160/tid=14163] ppid=14158 vsize=111556 CPUtime=400.48
/proc/14160/task/14163/stat : 14163 (ornithorynque) R 14158 14160 13651 0 -1 4194368 6488 0 0 0 40045 3 0 0 25 0 3 0 330940963 114233344 16123 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283786 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.67
Current children cumulated vsize (KiB) 111556

[startup+462.302 s]
/proc/loadavg: 2.07 1.99 1.91 3/80 14163
/proc/meminfo: memFree=1168008/2055920 swapFree=4153516/4192956
[pid=14160] ppid=14158 vsize=114892 CPUtime=922.4
/proc/14160/stat : 14160 (ornithorynque) S 14158 14160 13651 0 -1 4194304 17703 0 0 0 92214 26 0 0 18 0 3 0 330940956 117649408 16944 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227857690491 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14160/statm: 28723 16944 387 42 0 22975 0
[pid=14160/tid=14162] ppid=14158 vsize=114892 CPUtime=462.09
/proc/14160/task/14162/stat : 14162 (ornithorynque) R 14158 14160 13651 0 -1 4194368 9726 0 0 0 46187 22 0 0 25 0 3 0 330940963 117649408 16944 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14160/tid=14163] ppid=14158 vsize=114892 CPUtime=460.23
/proc/14160/task/14163/stat : 14163 (ornithorynque) R 14158 14160 13651 0 -1 4194368 6488 0 0 0 46020 3 0 0 25 0 3 0 330940963 117649408 16944 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.4
Current children cumulated vsize (KiB) 114892

[startup+522.301 s]
/proc/loadavg: 2.03 1.99 1.91 3/80 14163
/proc/meminfo: memFree=1161544/2055920 swapFree=4153516/4192956
[pid=14160] ppid=14158 vsize=123780 CPUtime=1042.12
/proc/14160/stat : 14160 (ornithorynque) S 14158 14160 13651 0 -1 4194304 19815 0 0 0 104184 28 0 0 18 0 3 0 330940956 126750720 18578 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227857690491 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14160/statm: 30945 18578 387 42 0 25197 0
[pid=14160/tid=14162] ppid=14158 vsize=123780 CPUtime=522.07
/proc/14160/task/14162/stat : 14162 (ornithorynque) R 14158 14160 13651 0 -1 4194368 10681 0 0 0 52184 23 0 0 25 0 3 0 330940963 126750720 18578 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14160/tid=14163] ppid=14158 vsize=123780 CPUtime=519.96
/proc/14160/task/14163/stat : 14163 (ornithorynque) R 14158 14160 13651 0 -1 4194368 7645 0 0 0 51993 3 0 0 25 0 3 0 330940963 126750720 18578 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242482 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.12
Current children cumulated vsize (KiB) 123780

[startup+582.301 s]
/proc/loadavg: 2.01 1.99 1.91 3/80 14163
/proc/meminfo: memFree=1159240/2055920 swapFree=4153516/4192956
[pid=14160] ppid=14158 vsize=126368 CPUtime=1161.84
/proc/14160/stat : 14160 (ornithorynque) S 14158 14160 13651 0 -1 4194304 20508 0 0 0 116154 30 0 0 18 0 3 0 330940956 129400832 19136 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227857690491 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14160/statm: 31592 19136 387 42 0 25844 0
[pid=14160/tid=14162] ppid=14158 vsize=126368 CPUtime=582.06
/proc/14160/task/14162/stat : 14162 (ornithorynque) R 14158 14160 13651 0 -1 4194368 11374 0 0 0 58181 25 0 0 25 0 3 0 330940963 129400832 19136 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311182 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14160/tid=14163] ppid=14158 vsize=126368 CPUtime=579.7
/proc/14160/task/14163/stat : 14163 (ornithorynque) R 14158 14160 13651 0 -1 4194368 7645 0 0 0 57966 4 0 0 25 0 3 0 330940963 129400832 19136 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241035 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.84
Current children cumulated vsize (KiB) 126368



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.501 s]
/proc/loadavg: 2.00 1.99 1.91 3/86 14227
/proc/meminfo: memFree=1157000/2055920 swapFree=4153516/4192956
[pid=14160] ppid=14158 vsize=126500 CPUtime=1200.07
/proc/14160/stat : 14160 (ornithorynque) S 14158 14160 13651 0 -1 4194304 20713 0 0 0 119975 32 0 0 18 0 3 0 330940956 129536000 19341 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227857690491 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14160/statm: 31625 19341 387 42 0 25877 0
[pid=14160/tid=14162] ppid=14158 vsize=126500 CPUtime=601.2
/proc/14160/task/14162/stat : 14162 (ornithorynque) R 14158 14160 13651 0 -1 4194368 11579 0 0 0 60094 26 0 0 25 0 3 0 330940963 129536000 19341 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14160/tid=14163] ppid=14158 vsize=126500 CPUtime=598.8
/proc/14160/task/14163/stat : 14163 (ornithorynque) R 14158 14160 13651 0 -1 4194368 7645 0 0 0 59874 6 0 0 25 0 3 0 330940963 129536000 19341 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 126500

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

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

[startup+601.501 s]
/proc/loadavg: 2.00 1.99 1.91 3/86 14227
/proc/meminfo: memFree=1157000/2055920 swapFree=4153516/4192956
[pid=14160] ppid=14158 vsize=126500 CPUtime=1200.07
/proc/14160/stat : 14160 (ornithorynque) S 14158 14160 13651 0 -1 4194304 20713 0 0 0 119975 32 0 0 18 0 3 0 330940956 129536000 19341 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227857690491 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14160/statm: 31625 19341 387 42 0 25877 0
[pid=14160/tid=14162] ppid=14158 vsize=126500 CPUtime=601.2
/proc/14160/task/14162/stat : 14162 (ornithorynque) R 14158 14160 13651 0 -1 4194368 11579 0 0 0 60094 26 0 0 25 0 3 0 330940963 129536000 19341 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14160/tid=14163] ppid=14158 vsize=126500 CPUtime=598.8
/proc/14160/task/14163/stat : 14163 (ornithorynque) R 14158 14160 13651 0 -1 4194368 7645 0 0 0 59874 6 0 0 25 0 3 0 330940963 129536000 19341 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 126500

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.526
CPU time (s): 1200.11
CPU user time (s): 1199.77
CPU system time (s): 0.340948
CPU usage (%): 199.511
Max. virtual memory (cumulated for all children) (KiB): 126500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.77
system time used= 0.340948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20713
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= 23035

runsolver used 0.539917 second user time and 1.67575 second system time

The end

Launcher Data (download as text)

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

IDJOB= 328299
IDBENCH= 20207
IDSOLVER= 139
FILE ID= node18/328299-1173109864

PBS_JOBID= 4013941

Free space on /tmp= 66561 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  2436f6f433943d85ff751898805eafae

RANDOM SEED= 670701623

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node18.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.236
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.236
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:       1235384 kB
Buffers:         48568 kB
Cached:         678600 kB
SwapCached:       2472 kB
Active:         387756 kB
Inactive:       362248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1235384 kB
SwapTotal:     4192956 kB
SwapFree:      4153516 kB
Dirty:             604 kB
Writeback:           0 kB
Mapped:          30684 kB
Slab:            56124 kB
Committed_AS:  1161504 kB
PageTables:       1668 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= 66561 MiB

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