Trace number 328303

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.16 601.624

General information on the benchmark

Namerandom/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S211365596-08-UNSAT.cnf
MD5SUMe2ad6b729e129f6e94a5430009297576
Bench CategoryRANDOM (random 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 variables6495
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.06/0.06	c complete search running
0.06/0.06	c local search running
0.06/0.07	c flip 0 nbSat=14569 maxSat=0
0.12/0.12	c flip 10000 nbSat=16827 maxSat=16830
0.12/0.17	c flip 20000 nbSat=17011 maxSat=17027
0.32/0.22	c flip 30000 nbSat=17086 maxSat=17096
0.32/0.27	c flip 40000 nbSat=17110 maxSat=17123
0.52/0.32	c flip 50000 nbSat=17130 maxSat=17152
0.52/0.36	c flip 60000 nbSat=17128 maxSat=17161
0.72/0.41	c flip 70000 nbSat=17143 maxSat=17177
0.72/0.46	c flip 80000 nbSat=17144 maxSat=17177
0.92/0.51	c flip 90000 nbSat=17158 maxSat=17177
0.92/0.56	c flip 100000 nbSat=17168 maxSat=17182
1.12/0.60	c flip 110000 nbSat=17163 maxSat=17186
1.12/0.65	c flip 120000 nbSat=17163 maxSat=17186
1.32/0.71	c flip 0 nbSat=15641 maxSat=17189
1.32/0.78	c flip 10000 nbSat=17987 maxSat=17987
1.52/0.86	c flip 20000 nbSat=18145 maxSat=18164
1.72/0.92	c flip 30000 nbSat=18218 maxSat=18223
1.72/0.99	c flip 40000 nbSat=18245 maxSat=18254
1.93/1.06	c flip 50000 nbSat=18271 maxSat=18280
2.12/1.13	c flip 60000 nbSat=18273 maxSat=18282
2.32/1.20	c flip 70000 nbSat=18270 maxSat=18287
2.32/1.27	c flip 80000 nbSat=18266 maxSat=18290
2.52/1.34	c flip 90000 nbSat=18281 maxSat=18300
2.72/1.41	c flip 100000 nbSat=18273 maxSat=18300
2.72/1.48	c flip 110000 nbSat=18275 maxSat=18300
2.91/1.55	c flip 120000 nbSat=18296 maxSat=18301
3.11/1.63	c flip 0 nbSat=17200 maxSat=18307
3.31/1.73	c flip 10000 nbSat=19476 maxSat=19480
3.51/1.83	c flip 20000 nbSat=19710 maxSat=19727
3.71/1.94	c flip 30000 nbSat=19762 maxSat=19780
3.91/2.05	c flip 40000 nbSat=19768 maxSat=19791
4.12/2.16	c flip 50000 nbSat=19815 maxSat=19830
4.31/2.27	c flip 60000 nbSat=19786 maxSat=19835
4.51/2.38	c flip 70000 nbSat=19802 maxSat=19835
4.71/2.49	c flip 80000 nbSat=19818 maxSat=19841
5.12/2.60	c flip 90000 nbSat=19823 maxSat=19841
5.32/2.71	c flip 100000 nbSat=19840 maxSat=19849
5.52/2.82	c flip 110000 nbSat=19839 maxSat=19849
5.71/2.93	c flip 120000 nbSat=19838 maxSat=19854
5.91/3.05	c flip 0 nbSat=19232 maxSat=19854
6.31/3.21	c flip 10000 nbSat=21520 maxSat=21530
6.51/3.38	c flip 20000 nbSat=21700 maxSat=21753
6.90/3.55	c flip 30000 nbSat=21797 maxSat=21810
7.10/3.61	c nbDecision=10000 #clauses=22934
7.30/3.72	c flip 40000 nbSat=21825 maxSat=21832
7.70/3.92	c flip 50000 nbSat=21838 maxSat=21854
8.09/4.10	c flip 60000 nbSat=21866 maxSat=21879
8.29/4.26	c flip 70000 nbSat=21853 maxSat=21879
8.70/4.45	c flip 80000 nbSat=21866 maxSat=21880
9.09/4.63	c flip 90000 nbSat=21851 maxSat=21883
9.49/4.82	c flip 100000 nbSat=21864 maxSat=21888
9.89/5.00	c flip 110000 nbSat=21852 maxSat=21892
10.09/5.19	c flip 120000 nbSat=21865 maxSat=21892
10.49/5.39	c flip 0 nbSat=22369 maxSat=21895
11.08/5.64	c flip 10000 nbSat=24665 maxSat=24676
11.69/5.90	c flip 20000 nbSat=24845 maxSat=24860
12.09/6.19	c flip 30000 nbSat=24902 maxSat=24930
12.69/6.48	c flip 40000 nbSat=24928 maxSat=24956
13.29/6.79	c flip 50000 nbSat=24959 maxSat=24987
13.88/7.07	c flip 60000 nbSat=24995 maxSat=25008
14.48/7.36	c flip 70000 nbSat=24989 maxSat=25018
15.09/7.67	c flip 80000 nbSat=25005 maxSat=25025
15.68/7.97	c flip 90000 nbSat=24991 maxSat=25030
16.28/8.29	c flip 100000 nbSat=24994 maxSat=25030
16.88/8.59	c flip 110000 nbSat=24997 maxSat=25030
17.48/8.86	c flip 120000 nbSat=24993 maxSat=25030
17.68/8.96	c nbDecision=20000 #clauses=29143
18.08/9.19	c flip 0 nbSat=26449 maxSat=25030
18.87/9.55	c flip 10000 nbSat=28800 maxSat=28831
19.87/10.02	c flip 20000 nbSat=29014 maxSat=29023
20.67/10.50	c flip 30000 nbSat=29059 maxSat=29088
21.67/10.99	c flip 40000 nbSat=29075 maxSat=29109
22.86/11.50	c flip 50000 nbSat=29104 maxSat=29127
23.86/12.07	c flip 60000 nbSat=29140 maxSat=29149
25.05/12.62	c flip 70000 nbSat=29124 maxSat=29149
26.06/13.20	c flip 80000 nbSat=29146 maxSat=29154
27.25/13.70	c flip 90000 nbSat=29144 maxSat=29157
28.25/14.22	c flip 100000 nbSat=29128 maxSat=29157
29.25/14.76	c flip 110000 nbSat=29155 maxSat=29169
30.45/15.32	c flip 120000 nbSat=29153 maxSat=29174
31.44/15.89	c flip 0 nbSat=32233 maxSat=29176
32.85/16.58	c flip 10000 nbSat=34576 maxSat=34580
33.04/16.61	c nbDecision=30000 #clauses=35602
34.84/17.51	c flip 20000 nbSat=34716 maxSat=34746
36.83/18.55	c flip 30000 nbSat=34801 maxSat=34815
38.83/19.53	c flip 40000 nbSat=34829 maxSat=34836
40.82/20.58	c flip 50000 nbSat=34850 maxSat=34867
43.01/21.62	c flip 60000 nbSat=34875 maxSat=34887
45.01/22.63	c flip 70000 nbSat=34866 maxSat=34888
47.00/23.65	c flip 80000 nbSat=34872 maxSat=34896
48.99/24.61	c flip 90000 nbSat=34884 maxSat=34900
50.99/25.62	c flip 100000 nbSat=34871 maxSat=34901
52.98/26.66	c flip 110000 nbSat=34897 maxSat=34911
52.98/26.67	c nbDecision=40000 #clauses=41921
55.18/27.74	c flip 120000 nbSat=34895 maxSat=34917
57.38/28.83	c flip 0 nbSat=40271 maxSat=34917
59.57/29.90	c flip 10000 nbSat=42576 maxSat=42577
62.16/31.28	c flip 20000 nbSat=42729 maxSat=42743
65.17/32.73	c flip 30000 nbSat=42800 maxSat=42811
68.36/34.39	c flip 40000 nbSat=42815 maxSat=42852
71.95/36.19	c flip 50000 nbSat=42862 maxSat=42881
76.55/38.44	c flip 60000 nbSat=42871 maxSat=42896
80.33/40.38	c flip 70000 nbSat=42879 maxSat=42904
81.33/40.82	c nbDecision=50000 #clauses=48582
84.12/42.29	c flip 80000 nbSat=42895 maxSat=42923
87.53/43.98	c flip 90000 nbSat=42917 maxSat=42931
90.91/45.60	c flip 100000 nbSat=42913 maxSat=42933
94.31/47.39	c flip 110000 nbSat=42910 maxSat=42935
97.29/48.83	c flip 120000 nbSat=42917 maxSat=42935
100.48/50.46	c flip 0 nbSat=49962 maxSat=42935
103.88/52.15	c flip 10000 nbSat=52268 maxSat=52303
108.67/54.56	c flip 20000 nbSat=52533 maxSat=52550
110.66/55.60	c nbDecision=60000 #clauses=55184
114.85/57.65	c flip 30000 nbSat=52571 maxSat=52610
120.64/60.53	c flip 40000 nbSat=52632 maxSat=52644
126.82/63.63	c flip 50000 nbSat=52646 maxSat=52671
133.81/67.11	c flip 60000 nbSat=52645 maxSat=52673
140.59/70.51	c flip 70000 nbSat=52631 maxSat=52673
146.58/73.58	c flip 80000 nbSat=52664 maxSat=52684
148.98/74.74	c nbDecision=70000 #clauses=61892
153.76/77.12	c flip 90000 nbSat=52658 maxSat=52691
159.75/80.19	c flip 100000 nbSat=52637 maxSat=52691
165.94/83.24	c flip 110000 nbSat=52660 maxSat=52691
171.32/85.97	c flip 120000 nbSat=52662 maxSat=52691
176.72/88.61	c flip 0 nbSat=62994 maxSat=52691
182.51/91.52	c flip 10000 nbSat=65341 maxSat=65351
189.88/95.30	c flip 20000 nbSat=65492 maxSat=65499
198.46/99.51	c flip 30000 nbSat=65561 maxSat=65579
202.65/101.65	c nbDecision=80000 #clauses=68925
206.05/103.39	c flip 40000 nbSat=65577 maxSat=65614
213.02/106.84	c flip 50000 nbSat=65594 maxSat=65633
220.21/110.46	c flip 60000 nbSat=65629 maxSat=65660
228.20/114.41	c flip 70000 nbSat=65657 maxSat=65670
234.97/117.89	c flip 80000 nbSat=65647 maxSat=65676
243.75/122.20	c flip 90000 nbSat=65659 maxSat=65677
250.34/125.57	c nbDecision=90000 #clauses=75669
252.14/126.47	c flip 100000 nbSat=65669 maxSat=65679
260.52/130.61	c flip 110000 nbSat=65669 maxSat=65689
270.10/135.48	c flip 120000 nbSat=65662 maxSat=65696
280.47/140.61	c flip 0 nbSat=75233 maxSat=65697
287.85/144.38	c flip 10000 nbSat=77571 maxSat=77587
297.23/149.02	c flip 20000 nbSat=77767 maxSat=77791
308.41/154.61	c flip 30000 nbSat=77847 maxSat=77865
319.18/160.00	c flip 40000 nbSat=77878 maxSat=77889
329.55/165.29	c flip 50000 nbSat=77889 maxSat=77918
342.52/171.76	c flip 60000 nbSat=77928 maxSat=77939
355.70/178.32	c flip 70000 nbSat=77937 maxSat=77950
368.68/184.84	c flip 80000 nbSat=77928 maxSat=77950
382.23/191.67	c flip 90000 nbSat=77927 maxSat=77950
396.20/198.67	c flip 100000 nbSat=77934 maxSat=77960
410.56/205.85	c flip 110000 nbSat=77908 maxSat=77960
422.74/211.97	c flip 120000 nbSat=77938 maxSat=77960
435.71/218.47	c flip 0 nbSat=75186 maxSat=77960
443.10/222.20	c flip 10000 nbSat=77571 maxSat=77960
453.27/227.27	c flip 20000 nbSat=77778 maxSat=77960
462.46/231.89	c flip 30000 nbSat=77830 maxSat=77960
471.84/236.59	c flip 40000 nbSat=77837 maxSat=77960
482.61/241.90	c flip 50000 nbSat=77863 maxSat=77960
493.58/247.50	c flip 60000 nbSat=77913 maxSat=77960
507.74/254.58	c flip 70000 nbSat=77902 maxSat=77960
520.91/261.15	c flip 80000 nbSat=77908 maxSat=77960
533.88/267.62	c flip 90000 nbSat=77912 maxSat=77960
546.66/274.09	c flip 100000 nbSat=77924 maxSat=77962
560.22/280.89	c flip 110000 nbSat=77910 maxSat=77962
572.99/287.25	c flip 120000 nbSat=77951 maxSat=77962
587.75/294.69	c flip 0 nbSat=75233 maxSat=77975
594.94/298.28	c flip 10000 nbSat=77598 maxSat=77975
605.12/303.34	c flip 20000 nbSat=77751 maxSat=77975
616.10/308.87	c flip 30000 nbSat=77774 maxSat=77975
627.87/314.76	c flip 40000 nbSat=77823 maxSat=77975
640.44/321.02	c flip 50000 nbSat=77851 maxSat=77975
652.41/327.09	c flip 60000 nbSat=77891 maxSat=77975
664.99/333.36	c flip 70000 nbSat=77879 maxSat=77975
678.75/340.20	c flip 80000 nbSat=77890 maxSat=77975
691.13/346.47	c flip 90000 nbSat=77898 maxSat=77975
704.10/352.99	c flip 100000 nbSat=77900 maxSat=77975
718.47/360.15	c flip 110000 nbSat=77920 maxSat=77975
730.25/366.10	c flip 120000 nbSat=77923 maxSat=77975
741.42/371.66	c flip 0 nbSat=75248 maxSat=77975
748.60/375.28	c flip 10000 nbSat=77624 maxSat=77975
757.58/379.78	c flip 20000 nbSat=77809 maxSat=77975
767.55/384.74	c flip 30000 nbSat=77849 maxSat=77975
776.93/389.44	c flip 40000 nbSat=77860 maxSat=77975
788.30/395.18	c flip 50000 nbSat=77874 maxSat=77975
799.48/400.77	c flip 60000 nbSat=77882 maxSat=77975
809.66/405.83	c flip 70000 nbSat=77916 maxSat=77975
819.64/410.89	c flip 80000 nbSat=77921 maxSat=77975
829.62/415.85	c flip 90000 nbSat=77938 maxSat=77975
838.79/420.49	c flip 100000 nbSat=77943 maxSat=77975
849.97/426.01	c flip 110000 nbSat=77923 maxSat=77975
862.33/432.25	c flip 120000 nbSat=77918 maxSat=77975
873.31/437.78	c flip 0 nbSat=75278 maxSat=77975
880.89/441.52	c flip 10000 nbSat=77566 maxSat=77975
890.87/446.58	c flip 20000 nbSat=77788 maxSat=77975
902.05/452.13	c flip 30000 nbSat=77837 maxSat=77975
913.03/457.68	c flip 40000 nbSat=77886 maxSat=77975
923.40/462.88	c flip 50000 nbSat=77888 maxSat=77975
933.37/467.84	c flip 60000 nbSat=77894 maxSat=77975
944.34/473.33	c flip 70000 nbSat=77894 maxSat=77975
956.51/479.40	c flip 80000 nbSat=77926 maxSat=77975
967.70/485.05	c flip 90000 nbSat=77927 maxSat=77975
979.46/490.95	c flip 100000 nbSat=77903 maxSat=77975
990.84/496.68	c flip 110000 nbSat=77911 maxSat=77975
1002.56/502.56	c flip 120000 nbSat=77929 maxSat=77975
1012.71/507.70	c flip 0 nbSat=75224 maxSat=77975
1019.89/511.22	c flip 10000 nbSat=77594 maxSat=77975
1029.85/516.28	c flip 20000 nbSat=77789 maxSat=77975
1041.60/522.14	c flip 30000 nbSat=77836 maxSat=77975
1053.37/528.04	c flip 40000 nbSat=77869 maxSat=77975
1064.53/533.68	c flip 50000 nbSat=77897 maxSat=77975
1076.30/539.55	c flip 60000 nbSat=77909 maxSat=77975
1088.48/545.68	c flip 70000 nbSat=77930 maxSat=77975
1102.02/552.46	c flip 80000 nbSat=77878 maxSat=77975
1113.57/558.20	c flip 90000 nbSat=77901 maxSat=77975
1125.53/564.24	c flip 100000 nbSat=77906 maxSat=77975
1138.29/570.66	c flip 110000 nbSat=77926 maxSat=77975
1150.66/576.86	c flip 120000 nbSat=77932 maxSat=77975
1162.84/582.99	c flip 0 nbSat=75306 maxSat=77975
1170.39/586.76	c flip 10000 nbSat=77620 maxSat=77975
1180.16/591.63	c flip 20000 nbSat=77788 maxSat=77975
1189.95/596.56	c flip 30000 nbSat=77847 maxSat=77975
1199.72/601.43	c flip 40000 nbSat=77884 maxSat=77975

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

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


[startup+0 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 16502
/proc/meminfo: memFree=1249424/2055920 swapFree=4192812/4192956
[pid=16502] ppid=16500 vsize=23220 CPUtime=0
/proc/16502/stat : 16502 (ornithorynque) R 16500 16502 15951 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 36971285 23777280 262 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208714896496 0 0 4096 0 0 0 0 17 1 0 0
/proc/16502/statm: 5805 263 218 42 0 45 0

[startup+0.067692 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 16502
/proc/meminfo: memFree=1249424/2055920 swapFree=4192812/4192956
[pid=16502] ppid=16500 vsize=27308 CPUtime=0.06
/proc/16502/stat : 16502 (ornithorynque) R 16500 16502 15951 0 -1 4194304 1510 0 0 0 6 0 0 0 18 0 1 0 36971285 27963392 1406 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208717386465 0 0 4096 1088 0 0 0 17 1 0 0
/proc/16502/statm: 6827 1407 382 42 0 1079 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 27308

[startup+0.101703 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 16502
/proc/meminfo: memFree=1249424/2055920 swapFree=4192812/4192956
[pid=16502] ppid=16500 vsize=48064 CPUtime=0.12
/proc/16502/stat : 16502 (ornithorynque) S 16500 16502 15951 0 -1 4194304 1553 0 0 0 12 0 0 0 18 0 3 0 36971285 49217536 1449 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16502/statm: 12016 1449 387 42 0 6268 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 48064

[startup+0.30172 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 16502
/proc/meminfo: memFree=1249424/2055920 swapFree=4192812/4192956
[pid=16502] ppid=16500 vsize=48064 CPUtime=0.52
/proc/16502/stat : 16502 (ornithorynque) S 16500 16502 15951 0 -1 4194304 1561 0 0 0 52 0 0 0 18 0 3 0 36971285 49217536 1457 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16502/statm: 12016 1457 387 42 0 6268 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 48064

[startup+0.701761 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 16502
/proc/meminfo: memFree=1249424/2055920 swapFree=4192812/4192956
[pid=16502] ppid=16500 vsize=48196 CPUtime=1.32
/proc/16502/stat : 16502 (ornithorynque) S 16500 16502 15951 0 -1 4194304 1600 0 0 0 132 0 0 0 18 0 3 0 36971285 49352704 1496 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16502/statm: 12049 1496 387 42 0 6301 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 48196

[startup+1.50185 s]
/proc/loadavg: 1.83 1.94 1.90 3/67 16505
/proc/meminfo: memFree=1244408/2055920 swapFree=4192812/4192956
[pid=16502] ppid=16500 vsize=50384 CPUtime=2.91
/proc/16502/stat : 16502 (ornithorynque) S 16500 16502 15951 0 -1 4194304 1760 0 0 0 291 0 0 0 18 0 3 0 36971285 51593216 1656 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16502/statm: 12596 1656 387 42 0 6848 0
[pid=16502/tid=16504] ppid=16500 vsize=50384 CPUtime=1.42
/proc/16502/task/16504/stat : 16504 (ornithorynque) R 16500 16502 15951 0 -1 4194368 172 0 0 0 142 0 0 0 25 0 3 0 36971292 51593216 1656 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4312231 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16502/tid=16505] ppid=16500 vsize=50384 CPUtime=1.42
/proc/16502/task/16505/stat : 16505 (ornithorynque) R 16500 16502 15951 0 -1 4194368 66 0 0 0 142 0 0 0 25 0 3 0 36971292 51593216 1656 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241035 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 50384

[startup+3.10203 s]
/proc/loadavg: 1.83 1.94 1.90 3/67 16505
/proc/meminfo: memFree=1243512/2055920 swapFree=4192812/4192956
[pid=16502] ppid=16500 vsize=50384 CPUtime=6.11
/proc/16502/stat : 16502 (ornithorynque) S 16500 16502 15951 0 -1 4194304 2075 0 0 0 610 1 0 0 18 0 3 0 36971285 51593216 1971 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16502/statm: 12596 1971 387 42 0 6848 0
[pid=16502/tid=16504] ppid=16500 vsize=50384 CPUtime=3.02
/proc/16502/task/16504/stat : 16504 (ornithorynque) R 16500 16502 15951 0 -1 4194368 328 0 0 0 302 0 0 0 25 0 3 0 36971292 51593216 1971 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314355 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16502/tid=16505] ppid=16500 vsize=50384 CPUtime=3.01
/proc/16502/task/16505/stat : 16505 (ornithorynque) R 16500 16502 15951 0 -1 4194368 225 0 0 0 301 0 0 0 25 0 3 0 36971292 51593216 1971 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241125 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 50384

[startup+6.30237 s]
/proc/loadavg: 1.85 1.94 1.90 3/67 16505
/proc/meminfo: memFree=1241208/2055920 swapFree=4192812/4192956
[pid=16502] ppid=16500 vsize=52432 CPUtime=12.49
/proc/16502/stat : 16502 (ornithorynque) S 16500 16502 15951 0 -1 4194304 2510 0 0 0 1247 2 0 0 18 0 3 0 36971285 53690368 2406 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16502/statm: 13108 2406 387 42 0 7360 0
[pid=16502/tid=16504] ppid=16500 vsize=52432 CPUtime=6.22
/proc/16502/task/16504/stat : 16504 (ornithorynque) R 16500 16502 15951 0 -1 4194368 602 0 0 0 621 1 0 0 25 0 3 0 36971292 53690368 2406 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16502/tid=16505] ppid=16500 vsize=52432 CPUtime=6.19
/proc/16502/task/16505/stat : 16505 (ornithorynque) R 16500 16502 15951 0 -1 4194368 386 0 0 0 619 0 0 0 25 0 3 0 36971292 53690368 2406 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242128 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 52432

[startup+12.7011 s]
/proc/loadavg: 1.86 1.94 1.90 3/67 16505
/proc/meminfo: memFree=1238456/2055920 swapFree=4192812/4192956
[pid=16502] ppid=16500 vsize=55504 CPUtime=25.25
/proc/16502/stat : 16502 (ornithorynque) S 16500 16502 15951 0 -1 4194304 3157 0 0 0 2523 2 0 0 18 0 3 0 36971285 56836096 3053 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16502/statm: 13876 3053 387 42 0 8128 0
[pid=16502/tid=16504] ppid=16500 vsize=55504 CPUtime=12.61
/proc/16502/task/16504/stat : 16504 (ornithorynque) R 16500 16502 15951 0 -1 4194368 1033 0 0 0 1260 1 0 0 25 0 3 0 36971292 56836096 3053 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16502/tid=16505] ppid=16500 vsize=55504 CPUtime=12.56
/proc/16502/task/16505/stat : 16505 (ornithorynque) R 16500 16502 15951 0 -1 4194368 602 0 0 0 1256 0 0 0 25 0 3 0 36971292 56836096 3053 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241190 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 55504

[startup+25.5014 s]
/proc/loadavg: 1.89 1.94 1.90 3/67 16505
/proc/meminfo: memFree=1234552/2055920 swapFree=4192812/4192956
[pid=16502] ppid=16500 vsize=59156 CPUtime=50.79
/proc/16502/stat : 16502 (ornithorynque) S 16500 16502 15951 0 -1 4194304 4275 0 0 0 5076 3 0 0 18 0 3 0 36971285 60575744 4007 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16502/statm: 14789 4007 387 42 0 9041 0
[pid=16502/tid=16504] ppid=16500 vsize=59156 CPUtime=25.41
/proc/16502/task/16504/stat : 16504 (ornithorynque) R 16500 16502 15951 0 -1 4194368 1770 0 0 0 2539 2 0 0 25 0 3 0 36971292 60575744 4007 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4289862 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16502/tid=16505] ppid=16500 vsize=59156 CPUtime=25.3
/proc/16502/task/16505/stat : 16505 (ornithorynque) R 16500 16502 15951 0 -1 4194368 983 0 0 0 2530 0 0 0 25 0 3 0 36971292 60575744 4007 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241654 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 59156

[startup+51.1012 s]
/proc/loadavg: 1.93 1.94 1.90 3/67 16505
/proc/meminfo: memFree=1227192/2055920 swapFree=4192812/4192956
[pid=16502] ppid=16500 vsize=67348 CPUtime=101.88
/proc/16502/stat : 16502 (ornithorynque) S 16500 16502 15951 0 -1 4194304 6124 0 0 0 10181 7 0 0 18 0 3 0 36971285 68964352 5856 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16502/statm: 16837 5856 387 42 0 11089 0
[pid=16502/tid=16504] ppid=16500 vsize=67348 CPUtime=51.01
/proc/16502/task/16504/stat : 16504 (ornithorynque) R 16500 16502 15951 0 -1 4194368 2674 0 0 0 5096 5 0 0 25 0 3 0 36971292 68964352 5856 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16502/tid=16505] ppid=16500 vsize=67348 CPUtime=50.79
/proc/16502/task/16505/stat : 16505 (ornithorynque) R 16500 16502 15951 0 -1 4194368 1928 0 0 0 5078 1 0 0 25 0 3 0 36971292 68964352 5856 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283709 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 67348

[startup+102.306 s]
/proc/loadavg: 1.97 1.95 1.91 3/67 16505
/proc/meminfo: memFree=1218296/2055920 swapFree=4192812/4192956
[pid=16502] ppid=16500 vsize=77964 CPUtime=204.05
/proc/16502/stat : 16502 (ornithorynque) S 16500 16502 15951 0 -1 4194304 8579 0 0 0 20395 10 0 0 18 0 3 0 36971285 79835136 7985 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16502/statm: 19491 7985 387 42 0 13743 0
[pid=16502/tid=16504] ppid=16500 vsize=77964 CPUtime=102.2
/proc/16502/task/16504/stat : 16504 (ornithorynque) R 16500 16502 15951 0 -1 4194368 4221 0 0 0 10212 8 0 0 25 0 3 0 36971292 79835136 7985 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16502/tid=16505] ppid=16500 vsize=77964 CPUtime=101.77
/proc/16502/task/16505/stat : 16505 (ornithorynque) R 16500 16502 15951 0 -1 4194368 2836 0 0 0 10176 1 0 0 25 0 3 0 36971292 79835136 7985 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241026 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.05
Current children cumulated vsize (KiB) 77964

[startup+162.301 s]
/proc/loadavg: 1.99 1.95 1.91 3/67 16505
/proc/meminfo: memFree=1212792/2055920 swapFree=4192812/4192956
[pid=16502] ppid=16500 vsize=83512 CPUtime=323.77
/proc/16502/stat : 16502 (ornithorynque) S 16500 16502 15951 0 -1 4194304 9986 0 0 0 32365 12 0 0 18 0 3 0 36971285 85516288 9392 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16502/statm: 20878 9392 387 42 0 15130 0
[pid=16502/tid=16504] ppid=16500 vsize=83512 CPUtime=162.17
/proc/16502/task/16504/stat : 16504 (ornithorynque) R 16500 16502 15951 0 -1 4194368 4981 0 0 0 16208 9 0 0 25 0 3 0 36971292 85516288 9392 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242944 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16502/tid=16505] ppid=16500 vsize=83512 CPUtime=161.52
/proc/16502/task/16505/stat : 16505 (ornithorynque) R 16500 16502 15951 0 -1 4194368 3483 0 0 0 16150 2 0 0 25 0 3 0 36971292 85516288 9392 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241190 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.77
Current children cumulated vsize (KiB) 83512

[startup+222.302 s]
/proc/loadavg: 1.99 1.96 1.91 3/67 16505
/proc/meminfo: memFree=1212728/2055920 swapFree=4192812/4192956
[pid=16502] ppid=16500 vsize=83512 CPUtime=443.49
/proc/16502/stat : 16502 (ornithorynque) S 16500 16502 15951 0 -1 4194304 9986 0 0 0 44337 12 0 0 18 0 3 0 36971285 85516288 9392 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16502/statm: 20878 9392 387 42 0 15130 0
[pid=16502/tid=16504] ppid=16500 vsize=83512 CPUtime=222.15
/proc/16502/task/16504/stat : 16504 (ornithorynque) R 16500 16502 15951 0 -1 4194368 4981 0 0 0 22206 9 0 0 25 0 3 0 36971292 85516288 9392 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242879 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16502/tid=16505] ppid=16500 vsize=83512 CPUtime=221.26
/proc/16502/task/16505/stat : 16505 (ornithorynque) R 16500 16502 15951 0 -1 4194368 3483 0 0 0 22124 2 0 0 25 0 3 0 36971292 85516288 9392 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241411 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.49
Current children cumulated vsize (KiB) 83512

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 16505
/proc/meminfo: memFree=1212664/2055920 swapFree=4192812/4192956
[pid=16502] ppid=16500 vsize=83512 CPUtime=563.21
/proc/16502/stat : 16502 (ornithorynque) S 16500 16502 15951 0 -1 4194304 9987 0 0 0 56309 12 0 0 18 0 3 0 36971285 85516288 9393 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16502/statm: 20878 9393 387 42 0 15130 0
[pid=16502/tid=16504] ppid=16500 vsize=83512 CPUtime=282.14
/proc/16502/task/16504/stat : 16504 (ornithorynque) R 16500 16502 15951 0 -1 4194368 4982 0 0 0 28205 9 0 0 25 0 3 0 36971292 85516288 9393 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242931 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16502/tid=16505] ppid=16500 vsize=83512 CPUtime=281
/proc/16502/task/16505/stat : 16505 (ornithorynque) R 16500 16502 15951 0 -1 4194368 3483 0 0 0 28098 2 0 0 25 0 3 0 36971292 85516288 9393 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242482 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.21
Current children cumulated vsize (KiB) 83512

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 16505
/proc/meminfo: memFree=1212600/2055920 swapFree=4192812/4192956
[pid=16502] ppid=16500 vsize=83512 CPUtime=682.94
/proc/16502/stat : 16502 (ornithorynque) S 16500 16502 15951 0 -1 4194304 9987 0 0 0 68282 12 0 0 18 0 3 0 36971285 85516288 9393 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16502/statm: 20878 9393 387 42 0 15130 0
[pid=16502/tid=16504] ppid=16500 vsize=83512 CPUtime=342.13
/proc/16502/task/16504/stat : 16504 (ornithorynque) R 16500 16502 15951 0 -1 4194368 4982 0 0 0 34203 10 0 0 25 0 3 0 36971292 85516288 9393 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242944 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16502/tid=16505] ppid=16500 vsize=83512 CPUtime=340.74
/proc/16502/task/16505/stat : 16505 (ornithorynque) R 16500 16502 15951 0 -1 4194368 3483 0 0 0 34072 2 0 0 25 0 3 0 36971292 85516288 9393 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.94
Current children cumulated vsize (KiB) 83512

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 16505
/proc/meminfo: memFree=1212536/2055920 swapFree=4192812/4192956
[pid=16502] ppid=16500 vsize=83512 CPUtime=802.68
/proc/16502/stat : 16502 (ornithorynque) S 16500 16502 15951 0 -1 4194304 9987 0 0 0 80255 13 0 0 18 0 3 0 36971285 85516288 9393 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16502/statm: 20878 9393 387 42 0 15130 0
[pid=16502/tid=16504] ppid=16500 vsize=83512 CPUtime=402.11
/proc/16502/task/16504/stat : 16504 (ornithorynque) R 16500 16502 15951 0 -1 4194368 4982 0 0 0 40201 10 0 0 25 0 3 0 36971292 85516288 9393 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242950 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16502/tid=16505] ppid=16500 vsize=83512 CPUtime=400.49
/proc/16502/task/16505/stat : 16505 (ornithorynque) R 16500 16502 15951 0 -1 4194368 3483 0 0 0 40047 2 0 0 25 0 3 0 36971292 85516288 9393 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.68
Current children cumulated vsize (KiB) 83512

[startup+462.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 16505
/proc/meminfo: memFree=1212792/2055920 swapFree=4192812/4192956
[pid=16502] ppid=16500 vsize=83512 CPUtime=922.4
/proc/16502/stat : 16502 (ornithorynque) S 16500 16502 15951 0 -1 4194304 9987 0 0 0 92227 13 0 0 18 0 3 0 36971285 85516288 9393 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16502/statm: 20878 9393 387 42 0 15130 0
[pid=16502/tid=16504] ppid=16500 vsize=83512 CPUtime=462.09
/proc/16502/task/16504/stat : 16504 (ornithorynque) R 16500 16502 15951 0 -1 4194368 4982 0 0 0 46199 10 0 0 25 0 3 0 36971292 85516288 9393 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242944 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16502/tid=16505] ppid=16500 vsize=83512 CPUtime=460.23
/proc/16502/task/16505/stat : 16505 (ornithorynque) R 16500 16502 15951 0 -1 4194368 3483 0 0 0 46021 2 0 0 25 0 3 0 36971292 85516288 9393 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241565 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.4
Current children cumulated vsize (KiB) 83512

[startup+522.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 16607
/proc/meminfo: memFree=1211176/2055920 swapFree=4192812/4192956
[pid=16502] ppid=16500 vsize=83512 CPUtime=1042
/proc/16502/stat : 16502 (ornithorynque) S 16500 16502 15951 0 -1 4194304 9987 0 0 0 104180 20 0 0 18 0 3 0 36971285 85516288 9393 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16502/statm: 20878 9393 387 42 0 15130 0
[pid=16502/tid=16504] ppid=16500 vsize=83512 CPUtime=521.98
/proc/16502/task/16504/stat : 16504 (ornithorynque) R 16500 16502 15951 0 -1 4194368 4982 0 0 0 52188 10 0 0 25 0 3 0 36971292 85516288 9393 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242869 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16502/tid=16505] ppid=16500 vsize=83512 CPUtime=519.94
/proc/16502/task/16505/stat : 16505 (ornithorynque) R 16500 16502 15951 0 -1 4194368 3483 0 0 0 51985 9 0 0 25 0 3 0 36971292 85516288 9393 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238103 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042
Current children cumulated vsize (KiB) 83512

[startup+582.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 16683
/proc/meminfo: memFree=1211256/2055920 swapFree=4192812/4192956
[pid=16502] ppid=16500 vsize=83512 CPUtime=1161.64
/proc/16502/stat : 16502 (ornithorynque) S 16500 16502 15951 0 -1 4194304 9989 0 0 0 116135 29 0 0 18 0 3 0 36971285 85516288 9395 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16502/statm: 20878 9395 387 42 0 15130 0
[pid=16502/tid=16504] ppid=16500 vsize=83512 CPUtime=581.89
/proc/16502/task/16504/stat : 16504 (ornithorynque) R 16500 16502 15951 0 -1 4194368 4984 0 0 0 58179 10 0 0 25 0 3 0 36971292 85516288 9395 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242861 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16502/tid=16505] ppid=16500 vsize=83512 CPUtime=579.67
/proc/16502/task/16505/stat : 16505 (ornithorynque) R 16500 16502 15951 0 -1 4194368 3483 0 0 0 57949 18 0 0 25 0 3 0 36971292 85516288 9395 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.64
Current children cumulated vsize (KiB) 83512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.602 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 16703
/proc/meminfo: memFree=1212336/2055920 swapFree=4192812/4192956
[pid=16502] ppid=16500 vsize=83512 CPUtime=1200.12
/proc/16502/stat : 16502 (ornithorynque) S 16500 16502 15951 0 -1 4194304 9989 0 0 0 119980 32 0 0 18 0 3 0 36971285 85516288 9395 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16502/statm: 20878 9395 387 42 0 15130 0
[pid=16502/tid=16504] ppid=16500 vsize=83512 CPUtime=601.16
/proc/16502/task/16504/stat : 16504 (ornithorynque) R 16500 16502 15951 0 -1 4194368 4984 0 0 0 60106 10 0 0 25 0 3 0 36971292 85516288 9395 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242898 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16502/tid=16505] ppid=16500 vsize=83512 CPUtime=598.89
/proc/16502/task/16505/stat : 16505 (ornithorynque) R 16500 16502 15951 0 -1 4194368 3483 0 0 0 59867 22 0 0 25 0 3 0 36971292 85516288 9395 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.12
Current children cumulated vsize (KiB) 83512

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.624
CPU time (s): 1200.16
CPU user time (s): 1199.82
CPU system time (s): 0.334949
CPU usage (%): 199.486
Max. virtual memory (cumulated for all children) (KiB): 83512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.82
system time used= 0.334949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9989
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= 16
involuntary context switches= 9597

runsolver used 0.683896 second user time and 1.53077 second system time

The end

Launcher Data (download as text)

Begin job on node47 on Mon Mar  5 15:52:41 UTC 2007

IDJOB= 328303
IDBENCH= 20211
IDSOLVER= 139
FILE ID= node47/328303-1173109961

PBS_JOBID= 4013889

Free space on /tmp= 66564 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  e2ad6b729e129f6e94a5430009297576

RANDOM SEED= 701167785

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node47.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.225
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.225
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:       1249896 kB
Buffers:         29944 kB
Cached:         698540 kB
SwapCached:          0 kB
Active:          73140 kB
Inactive:       670748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1249896 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:             532 kB
Writeback:           0 kB
Mapped:          25588 kB
Slab:            48132 kB
Committed_AS:   119328 kB
PageTables:       1452 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= 66564 MiB

End job on node47 on Mon Mar  5 16:02:45 UTC 2007