Trace number 328301

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.21 601.634

General information on the benchmark

Namerandom/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S384567560-10-UNKNOWN.cnf
MD5SUMdfe30801aa981fb55bfdd2dd7062d61d
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 variables6490
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.06	c local search running
0.00/0.07	c flip 0 nbSat=14537 maxSat=0
0.12/0.12	c flip 10000 nbSat=16853 maxSat=16867
0.12/0.17	c flip 20000 nbSat=17075 maxSat=17090
0.32/0.22	c flip 30000 nbSat=17135 maxSat=17144
0.32/0.27	c flip 40000 nbSat=17160 maxSat=17165
0.52/0.32	c flip 50000 nbSat=17158 maxSat=17170
0.52/0.37	c flip 60000 nbSat=17164 maxSat=17173
0.72/0.41	c flip 70000 nbSat=17177 maxSat=17188
0.72/0.46	c flip 80000 nbSat=17168 maxSat=17192
0.92/0.51	c flip 90000 nbSat=17187 maxSat=17192
0.92/0.56	c flip 100000 nbSat=17183 maxSat=17192
1.12/0.61	c flip 110000 nbSat=17184 maxSat=17195
1.12/0.66	c flip 120000 nbSat=17191 maxSat=17195
1.32/0.71	c flip 0 nbSat=15649 maxSat=17206
1.52/0.80	c flip 10000 nbSat=17987 maxSat=18010
1.52/0.88	c flip 20000 nbSat=18170 maxSat=18182
1.72/0.96	c flip 30000 nbSat=18211 maxSat=18227
1.92/1.04	c flip 40000 nbSat=18223 maxSat=18242
2.12/1.13	c flip 50000 nbSat=18253 maxSat=18274
2.32/1.20	c flip 60000 nbSat=18265 maxSat=18274
2.32/1.28	c flip 70000 nbSat=18245 maxSat=18278
2.52/1.36	c flip 80000 nbSat=18264 maxSat=18287
2.72/1.44	c flip 90000 nbSat=18259 maxSat=18289
2.92/1.53	c flip 100000 nbSat=18271 maxSat=18292
3.11/1.62	c flip 110000 nbSat=18278 maxSat=18296
3.11/1.69	c flip 120000 nbSat=18285 maxSat=18308
3.31/1.78	c flip 0 nbSat=17436 maxSat=18327
3.72/1.92	c flip 10000 nbSat=19789 maxSat=19798
3.92/2.04	c flip 20000 nbSat=19954 maxSat=19975
4.13/2.18	c flip 30000 nbSat=20017 maxSat=20054
4.52/2.31	c flip 40000 nbSat=20058 maxSat=20078
4.72/2.44	c flip 50000 nbSat=20064 maxSat=20088
4.92/2.56	c flip 60000 nbSat=20111 maxSat=20111
5.12/2.68	c flip 70000 nbSat=20100 maxSat=20116
5.52/2.80	c flip 80000 nbSat=20101 maxSat=20122
5.72/2.93	c flip 90000 nbSat=20114 maxSat=20123
5.92/3.05	c flip 100000 nbSat=20103 maxSat=20123
6.12/3.18	c flip 110000 nbSat=20107 maxSat=20129
6.52/3.31	c flip 120000 nbSat=20112 maxSat=20129
6.71/3.46	c flip 0 nbSat=19758 maxSat=20135
7.11/3.65	c flip 10000 nbSat=22150 maxSat=22155
7.51/3.87	c flip 20000 nbSat=22316 maxSat=22327
7.90/4.08	c flip 30000 nbSat=22373 maxSat=22378
8.10/4.13	c nbDecision=10000 #clauses=23454
8.51/4.31	c flip 40000 nbSat=22389 maxSat=22410
8.90/4.54	c flip 50000 nbSat=22415 maxSat=22419
9.30/4.77	c flip 60000 nbSat=22396 maxSat=22422
9.90/5.01	c flip 70000 nbSat=22407 maxSat=22430
10.30/5.24	c flip 80000 nbSat=22408 maxSat=22432
10.90/5.50	c flip 90000 nbSat=22424 maxSat=22441
11.29/5.74	c flip 100000 nbSat=22449 maxSat=22450
11.70/5.98	c flip 110000 nbSat=22451 maxSat=22458
12.30/6.23	c flip 120000 nbSat=22439 maxSat=22465
12.91/6.53	c flip 0 nbSat=23073 maxSat=22466
13.49/6.85	c flip 10000 nbSat=25352 maxSat=25357
14.29/7.26	c flip 20000 nbSat=25558 maxSat=25571
15.10/7.69	c flip 30000 nbSat=25617 maxSat=25631
16.09/8.12	c flip 40000 nbSat=25626 maxSat=25663
16.89/8.55	c flip 50000 nbSat=25653 maxSat=25673
17.88/9.01	c flip 60000 nbSat=25674 maxSat=25683
18.68/9.50	c flip 70000 nbSat=25693 maxSat=25702
19.69/9.97	c flip 80000 nbSat=25677 maxSat=25702
20.68/10.43	c flip 90000 nbSat=25699 maxSat=25711
21.68/10.91	c flip 100000 nbSat=25713 maxSat=25724
22.67/11.40	c flip 110000 nbSat=25700 maxSat=25724
23.47/11.83	c nbDecision=20000 #clauses=29730
23.47/11.88	c flip 120000 nbSat=25708 maxSat=25724
24.67/12.41	c flip 0 nbSat=27312 maxSat=25726
25.67/12.93	c flip 10000 nbSat=29590 maxSat=29625
26.86/13.50	c flip 20000 nbSat=29820 maxSat=29835
28.06/14.18	c flip 30000 nbSat=29855 maxSat=29891
29.46/14.83	c flip 40000 nbSat=29904 maxSat=29923
30.85/15.51	c flip 50000 nbSat=29895 maxSat=29927
32.25/16.20	c flip 60000 nbSat=29912 maxSat=29942
33.44/16.84	c flip 70000 nbSat=29937 maxSat=29952
34.64/17.42	c flip 80000 nbSat=29957 maxSat=29964
35.63/17.95	c flip 90000 nbSat=29949 maxSat=29964
36.64/18.47	c flip 100000 nbSat=29919 maxSat=29968
37.83/19.00	c flip 110000 nbSat=29953 maxSat=29968
38.83/19.52	c flip 120000 nbSat=29959 maxSat=29972
39.83/20.07	c flip 0 nbSat=32548 maxSat=29982
41.63/20.95	c flip 10000 nbSat=34823 maxSat=34826
43.42/21.85	c nbDecision=30000 #clauses=36147
43.63/21.99	c flip 20000 nbSat=35018 maxSat=35027
46.02/23.17	c flip 30000 nbSat=35067 maxSat=35079
48.40/24.35	c flip 40000 nbSat=35083 maxSat=35121
50.60/25.49	c flip 50000 nbSat=35090 maxSat=35121
52.79/26.58	c flip 60000 nbSat=35093 maxSat=35122
55.19/27.71	c flip 70000 nbSat=35119 maxSat=35132
57.39/28.80	c flip 80000 nbSat=35119 maxSat=35140
59.20/29.77	c flip 90000 nbSat=35118 maxSat=35140
61.19/30.78	c flip 100000 nbSat=35137 maxSat=35145
63.18/31.78	c flip 110000 nbSat=35106 maxSat=35150
65.18/32.70	c flip 120000 nbSat=35121 maxSat=35150
66.97/33.61	c nbDecision=40000 #clauses=42304
67.17/33.71	c flip 0 nbSat=39487 maxSat=35150
69.56/34.95	c flip 10000 nbSat=41832 maxSat=41851
72.95/36.66	c flip 20000 nbSat=42022 maxSat=42035
76.34/38.39	c flip 30000 nbSat=42065 maxSat=42077
79.73/40.07	c flip 40000 nbSat=42083 maxSat=42115
83.13/41.75	c flip 50000 nbSat=42086 maxSat=42117
85.92/43.19	c flip 60000 nbSat=42103 maxSat=42133
89.51/44.93	c flip 70000 nbSat=42129 maxSat=42148
92.30/46.39	c nbDecision=50000 #clauses=48816
93.10/46.72	c flip 80000 nbSat=42126 maxSat=42158
96.50/48.42	c flip 90000 nbSat=42144 maxSat=42158
99.49/49.96	c flip 100000 nbSat=42161 maxSat=42172
102.89/51.63	c flip 110000 nbSat=42140 maxSat=42176
106.07/53.23	c flip 120000 nbSat=42141 maxSat=42176
109.27/54.88	c flip 0 nbSat=49680 maxSat=42176
112.86/56.63	c flip 10000 nbSat=52030 maxSat=52030
118.26/59.36	c flip 20000 nbSat=52262 maxSat=52271
124.04/62.24	c flip 30000 nbSat=52297 maxSat=52308
124.04/62.28	c nbDecision=60000 #clauses=55386
129.42/64.94	c flip 40000 nbSat=52286 maxSat=52330
134.60/67.57	c flip 50000 nbSat=52314 maxSat=52341
139.59/70.09	c flip 60000 nbSat=52334 maxSat=52359
145.58/73.04	c flip 70000 nbSat=52333 maxSat=52361
150.96/75.80	c flip 80000 nbSat=52350 maxSat=52361
156.75/78.61	c flip 90000 nbSat=52357 maxSat=52369
161.74/81.17	c flip 100000 nbSat=52362 maxSat=52385
164.92/82.76	c nbDecision=70000 #clauses=62154
166.91/83.74	c flip 110000 nbSat=52365 maxSat=52388
172.10/86.36	c flip 120000 nbSat=52370 maxSat=52389
177.70/89.13	c flip 0 nbSat=60909 maxSat=52389
184.09/92.32	c flip 10000 nbSat=63300 maxSat=63314
191.06/95.82	c flip 20000 nbSat=63453 maxSat=63479
198.65/99.68	c flip 30000 nbSat=63482 maxSat=63516
206.04/103.37	c flip 40000 nbSat=63529 maxSat=63549
213.01/106.86	c flip 50000 nbSat=63518 maxSat=63552
215.21/108.00	c nbDecision=80000 #clauses=68801
219.20/109.99	c flip 60000 nbSat=63560 maxSat=63580
226.57/113.69	c flip 70000 nbSat=63557 maxSat=63580
233.76/117.27	c flip 80000 nbSat=63563 maxSat=63580
241.15/120.97	c flip 90000 nbSat=63566 maxSat=63592
249.33/125.04	c flip 100000 nbSat=63589 maxSat=63601
256.71/128.74	c flip 110000 nbSat=63589 maxSat=63602
262.89/131.90	c flip 120000 nbSat=63574 maxSat=63602
267.88/134.35	c nbDecision=90000 #clauses=75692
270.07/135.46	c flip 0 nbSat=73072 maxSat=63602
278.25/139.59	c flip 10000 nbSat=75438 maxSat=75442
289.02/144.91	c flip 20000 nbSat=75632 maxSat=75661
298.21/149.51	c flip 30000 nbSat=75708 maxSat=75725
308.18/154.54	c flip 40000 nbSat=75754 maxSat=75762
319.36/160.18	c flip 50000 nbSat=75731 maxSat=75762
320.95/160.96	c nbDecision=100000 #clauses=82330
327.54/164.22	c flip 60000 nbSat=75768 maxSat=75774
337.92/169.42	c flip 70000 nbSat=75752 maxSat=75783
347.48/174.23	c flip 80000 nbSat=75771 maxSat=75786
357.46/179.24	c flip 90000 nbSat=75770 maxSat=75787
366.45/183.75	c flip 100000 nbSat=75771 maxSat=75801
373.42/187.27	c nbDecision=110000 #clauses=88819
377.22/189.19	c flip 110000 nbSat=75782 maxSat=75802
387.60/194.39	c flip 120000 nbSat=75800 maxSat=75812
397.97/199.58	c flip 0 nbSat=88177 maxSat=75812
408.73/204.95	c flip 10000 nbSat=90551 maxSat=90565
419.71/210.45	c flip 20000 nbSat=90721 maxSat=90726
430.88/216.02	c flip 30000 nbSat=90743 maxSat=90765
442.25/221.75	c flip 40000 nbSat=90765 maxSat=90789
444.85/223.02	c nbDecision=120000 #clauses=95434
455.62/228.42	c flip 50000 nbSat=90792 maxSat=90808
468.79/235.03	c flip 60000 nbSat=90818 maxSat=90826
483.16/242.22	c flip 70000 nbSat=90825 maxSat=90838
495.93/248.69	c flip 80000 nbSat=90821 maxSat=90843
510.50/255.95	c flip 90000 nbSat=90825 maxSat=90843
510.70/256.04	c nbDecision=130000 #clauses=102262
524.46/262.94	c flip 100000 nbSat=90813 maxSat=90843
538.22/269.89	c flip 110000 nbSat=90837 maxSat=90843
552.19/276.86	c flip 120000 nbSat=90828 maxSat=90846
565.77/283.64	c flip 0 nbSat=105188 maxSat=90846
572.35/286.96	c nbDecision=140000 #clauses=108890
578.13/289.83	c flip 10000 nbSat=107582 maxSat=107595
594.29/297.98	c flip 20000 nbSat=107723 maxSat=107748
613.64/307.68	c flip 30000 nbSat=107826 maxSat=107838
627.42/314.55	c nbDecision=150000 #clauses=115375
631.61/316.67	c flip 40000 nbSat=107845 maxSat=107862
650.76/326.28	c flip 50000 nbSat=107863 maxSat=107873
669.12/335.43	c flip 60000 nbSat=107847 maxSat=107878
688.07/344.91	c flip 70000 nbSat=107868 maxSat=107883
689.86/345.83	c nbDecision=160000 #clauses=122135
706.42/354.16	c flip 80000 nbSat=107886 maxSat=107894
723.58/362.73	c flip 90000 nbSat=107882 maxSat=107908
745.33/373.60	c flip 100000 nbSat=107889 maxSat=107908
751.52/376.74	c nbDecision=170000 #clauses=128734
769.47/385.77	c flip 110000 nbSat=107880 maxSat=107908
794.42/398.24	c flip 120000 nbSat=107897 maxSat=107914
815.96/409.06	c nbDecision=180000 #clauses=135284
816.55/409.34	c flip 0 nbSat=132453 maxSat=107914
834.92/418.58	c flip 10000 nbSat=134795 maxSat=134811
857.27/429.74	c flip 20000 nbSat=134985 maxSat=134985
881.61/441.90	c flip 30000 nbSat=135052 maxSat=135068
884.59/443.48	c nbDecision=190000 #clauses=141769
904.94/453.68	c flip 40000 nbSat=135079 maxSat=135091
927.10/464.76	c flip 50000 nbSat=135068 maxSat=135091
951.24/476.86	c flip 60000 nbSat=135089 maxSat=135112
958.62/480.58	c nbDecision=200000 #clauses=148213
975.37/488.91	c flip 70000 nbSat=135096 maxSat=135117
996.14/499.37	c flip 80000 nbSat=135065 maxSat=135117
1016.88/509.78	c flip 90000 nbSat=135110 maxSat=135131
1034.44/518.59	c nbDecision=210000 #clauses=154760
1037.85/520.23	c flip 100000 nbSat=135103 maxSat=135141
1058.59/530.68	c flip 110000 nbSat=135107 maxSat=135141
1079.13/540.95	c flip 120000 nbSat=135105 maxSat=135141
1100.68/551.75	c flip 0 nbSat=157455 maxSat=135141
1115.25/559.04	c nbDecision=220000 #clauses=161496
1123.44/563.12	c flip 10000 nbSat=159769 maxSat=159784
1151.16/577.04	c flip 20000 nbSat=160035 maxSat=160058
1181.29/592.11	c flip 30000 nbSat=160115 maxSat=160142

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/node12/watcher-328301-1173109864 -o ROOT/results/node12/solver-328301-1173109864 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328301-1173109864/ornithorynque /tmp/evaluation/328301-1173109864/instance-328301-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.89 1.98 1.91 3/77 18583
/proc/meminfo: memFree=1523496/2055920 swapFree=4156600/4192956
[pid=18583] ppid=18581 vsize=23220 CPUtime=0
/proc/18583/stat : 18583 (ornithorynque) R 18581 18583 18074 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 330940894 23777280 267 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252426882321 0 0 4096 0 0 0 0 17 1 0 0
/proc/18583/statm: 5805 267 220 42 0 45 0

[startup+0.0780919 s]
/proc/loadavg: 1.89 1.98 1.91 3/77 18583
/proc/meminfo: memFree=1523496/2055920 swapFree=4156600/4192956
[pid=18583] ppid=18581 vsize=48076 CPUtime=0.07
/proc/18583/stat : 18583 (ornithorynque) S 18581 18583 18074 0 -1 4194304 1553 0 0 0 7 0 0 0 18 0 3 0 330940894 49229824 1449 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18583/statm: 12019 1449 387 42 0 6271 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 48076

[startup+0.101098 s]
/proc/loadavg: 1.89 1.98 1.91 3/77 18583
/proc/meminfo: memFree=1523496/2055920 swapFree=4156600/4192956
[pid=18583] ppid=18581 vsize=48076 CPUtime=0.12
/proc/18583/stat : 18583 (ornithorynque) S 18581 18583 18074 0 -1 4194304 1553 0 0 0 12 0 0 0 18 0 3 0 330940894 49229824 1449 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18583/statm: 12019 1449 387 42 0 6271 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 48076

[startup+0.30113 s]
/proc/loadavg: 1.89 1.98 1.91 3/77 18583
/proc/meminfo: memFree=1523496/2055920 swapFree=4156600/4192956
[pid=18583] ppid=18581 vsize=48076 CPUtime=0.52
/proc/18583/stat : 18583 (ornithorynque) S 18581 18583 18074 0 -1 4194304 1558 0 0 0 52 0 0 0 18 0 3 0 330940894 49229824 1454 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18583/statm: 12019 1454 387 42 0 6271 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 48076

[startup+0.701201 s]
/proc/loadavg: 1.89 1.98 1.91 3/77 18583
/proc/meminfo: memFree=1523496/2055920 swapFree=4156600/4192956
[pid=18583] ppid=18581 vsize=48204 CPUtime=1.32
/proc/18583/stat : 18583 (ornithorynque) S 18581 18583 18074 0 -1 4194304 1605 0 0 0 132 0 0 0 18 0 3 0 330940894 49360896 1501 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18583/statm: 12051 1501 387 42 0 6303 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 48204

[startup+1.50235 s]
/proc/loadavg: 1.89 1.98 1.91 3/80 18586
/proc/meminfo: memFree=1518480/2055920 swapFree=4156600/4192956
[pid=18583] ppid=18581 vsize=49660 CPUtime=2.92
/proc/18583/stat : 18583 (ornithorynque) S 18581 18583 18074 0 -1 4194304 1748 0 0 0 292 0 0 0 18 0 3 0 330940894 50851840 1644 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18583/statm: 12415 1644 387 42 0 6667 0
[pid=18583/tid=18585] ppid=18581 vsize=49660 CPUtime=1.43
/proc/18583/task/18585/stat : 18585 (ornithorynque) R 18581 18583 18074 0 -1 4194368 153 0 0 0 143 0 0 0 25 0 3 0 330940901 50851840 1644 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314320 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18583/tid=18586] ppid=18581 vsize=49660 CPUtime=1.42
/proc/18583/task/18586/stat : 18586 (ornithorynque) R 18581 18583 18074 0 -1 4194368 75 0 0 0 142 0 0 0 24 0 3 0 330940901 50851840 1644 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238075 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 49660

[startup+3.10163 s]
/proc/loadavg: 1.89 1.98 1.91 3/80 18586
/proc/meminfo: memFree=1517328/2055920 swapFree=4156600/4192956
[pid=18583] ppid=18581 vsize=50584 CPUtime=6.12
/proc/18583/stat : 18583 (ornithorynque) S 18581 18583 18074 0 -1 4194304 2048 0 0 0 611 1 0 0 18 0 3 0 330940894 51798016 1944 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18583/statm: 12646 1944 387 42 0 6898 0
[pid=18583/tid=18585] ppid=18581 vsize=50584 CPUtime=3.02
/proc/18583/task/18585/stat : 18585 (ornithorynque) R 18581 18583 18074 0 -1 4194368 309 0 0 0 302 0 0 0 25 0 3 0 330940901 51798016 1944 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18583/tid=18586] ppid=18581 vsize=50584 CPUtime=3.02
/proc/18583/task/18586/stat : 18586 (ornithorynque) R 18581 18583 18074 0 -1 4194368 219 0 0 0 302 0 0 0 25 0 3 0 330940901 51798016 1944 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240942 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 50584

[startup+6.30221 s]
/proc/loadavg: 1.90 1.98 1.91 3/80 18586
/proc/meminfo: memFree=1515600/2055920 swapFree=4156600/4192956
[pid=18583] ppid=18581 vsize=52024 CPUtime=12.5
/proc/18583/stat : 18583 (ornithorynque) S 18581 18583 18074 0 -1 4194304 2423 0 0 0 1248 2 0 0 18 0 3 0 330940894 53272576 2319 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18583/statm: 13006 2319 387 42 0 7258 0
[pid=18583/tid=18585] ppid=18581 vsize=52024 CPUtime=6.22
/proc/18583/task/18585/stat : 18585 (ornithorynque) R 18581 18583 18074 0 -1 4194368 547 0 0 0 622 0 0 0 25 0 3 0 330940901 53272576 2319 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18583/tid=18586] ppid=18581 vsize=52024 CPUtime=6.2
/proc/18583/task/18586/stat : 18586 (ornithorynque) R 18581 18583 18074 0 -1 4194368 356 0 0 0 620 0 0 0 25 0 3 0 330940901 53272576 2319 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 52024

[startup+12.7014 s]
/proc/loadavg: 1.91 1.98 1.91 3/80 18586
/proc/meminfo: memFree=1513360/2055920 swapFree=4156600/4192956
[pid=18583] ppid=18581 vsize=54724 CPUtime=25.27
/proc/18583/stat : 18583 (ornithorynque) S 18581 18583 18074 0 -1 4194304 3187 0 0 0 2525 2 0 0 18 0 3 0 330940894 56037376 3083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18583/statm: 13681 3083 387 42 0 7933 0
[pid=18583/tid=18585] ppid=18581 vsize=54724 CPUtime=12.61
/proc/18583/task/18585/stat : 18585 (ornithorynque) R 18581 18583 18074 0 -1 4194368 728 0 0 0 1261 0 0 0 19 0 3 0 330940901 56037376 3083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311068 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18583/tid=18586] ppid=18581 vsize=54724 CPUtime=12.57
/proc/18583/task/18586/stat : 18586 (ornithorynque) R 18581 18583 18074 0 -1 4194368 939 0 0 0 1257 0 0 0 18 0 3 0 330940901 56037376 3083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283692 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 54724

[startup+25.5017 s]
/proc/loadavg: 1.93 1.98 1.91 3/80 18586
/proc/meminfo: memFree=1509008/2055920 swapFree=4156600/4192956
[pid=18583] ppid=18581 vsize=58724 CPUtime=50.8
/proc/18583/stat : 18583 (ornithorynque) S 18581 18583 18074 0 -1 4194304 4172 0 0 0 5077 3 0 0 18 0 3 0 330940894 60133376 3904 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18583/statm: 14681 3904 387 42 0 8933 0
[pid=18583/tid=18585] ppid=18581 vsize=58724 CPUtime=25.41
/proc/18583/task/18585/stat : 18585 (ornithorynque) R 18581 18583 18074 0 -1 4194368 1330 0 0 0 2540 1 0 0 25 0 3 0 330940901 60133376 3904 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311492 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18583/tid=18586] ppid=18581 vsize=58724 CPUtime=25.32
/proc/18583/task/18586/stat : 18586 (ornithorynque) R 18581 18583 18074 0 -1 4194368 1322 0 0 0 2531 1 0 0 25 0 3 0 330940901 60133376 3904 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242557 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 58724

[startup+51.1013 s]
/proc/loadavg: 1.95 1.98 1.91 3/80 18586
/proc/meminfo: memFree=1503888/2055920 swapFree=4156600/4192956
[pid=18583] ppid=18581 vsize=64232 CPUtime=101.88
/proc/18583/stat : 18583 (ornithorynque) S 18581 18583 18074 0 -1 4194304 5468 0 0 0 10183 5 0 0 18 0 3 0 330940894 65773568 5200 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18583/statm: 16058 5200 387 42 0 10310 0
[pid=18583/tid=18585] ppid=18581 vsize=64232 CPUtime=51.01
/proc/18583/task/18585/stat : 18585 (ornithorynque) R 18581 18583 18074 0 -1 4194368 2293 0 0 0 5098 3 0 0 25 0 3 0 330940901 65773568 5200 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311028 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18583/tid=18586] ppid=18581 vsize=64232 CPUtime=50.8
/proc/18583/task/18586/stat : 18586 (ornithorynque) R 18581 18583 18074 0 -1 4194368 1655 0 0 0 5079 1 0 0 25 0 3 0 330940901 65773568 5200 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285958 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 64232

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.91 3/80 18586
/proc/meminfo: memFree=1493520/2055920 swapFree=4156600/4192956
[pid=18583] ppid=18581 vsize=75856 CPUtime=204.04
/proc/18583/stat : 18583 (ornithorynque) S 18581 18583 18074 0 -1 4194304 8140 0 0 0 20397 7 0 0 18 0 3 0 330940894 77676544 7743 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18583/statm: 18964 7743 387 42 0 13216 0
[pid=18583/tid=18585] ppid=18581 vsize=75856 CPUtime=101.99
/proc/18583/task/18585/stat : 18585 (ornithorynque) R 18581 18583 18074 0 -1 4194368 3523 0 0 0 10196 3 0 0 25 0 3 0 330940901 77676544 7743 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=18583/tid=18586] ppid=18581 vsize=75856 CPUtime=101.97
/proc/18583/task/18586/stat : 18586 (ornithorynque) R 18581 18583 18074 0 -1 4194368 3097 0 0 0 10195 2 0 0 25 0 3 0 330940901 77676544 7743 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 204.04
Current children cumulated vsize (KiB) 75856

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/80 18586
/proc/meminfo: memFree=1485776/2055920 swapFree=4156600/4192956
[pid=18583] ppid=18581 vsize=83996 CPUtime=323.74
/proc/18583/stat : 18583 (ornithorynque) S 18581 18583 18074 0 -1 4194304 10293 0 0 0 32365 9 0 0 18 0 3 0 330940894 86011904 9666 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18583/statm: 20999 9666 387 42 0 15251 0
[pid=18583/tid=18585] ppid=18581 vsize=83996 CPUtime=161.72
/proc/18583/task/18585/stat : 18585 (ornithorynque) R 18581 18583 18074 0 -1 4194368 4828 0 0 0 16167 5 0 0 25 0 3 0 330940901 86011904 9666 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=18583/tid=18586] ppid=18581 vsize=83996 CPUtime=161.95
/proc/18583/task/18586/stat : 18586 (ornithorynque) R 18581 18583 18074 0 -1 4194368 3945 0 0 0 16192 3 0 0 25 0 3 0 330940901 86011904 9666 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241016 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.74
Current children cumulated vsize (KiB) 83996

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/80 18586
/proc/meminfo: memFree=1477776/2055920 swapFree=4156600/4192956
[pid=18583] ppid=18581 vsize=93064 CPUtime=443.44
/proc/18583/stat : 18583 (ornithorynque) S 18581 18583 18074 0 -1 4194304 12469 0 0 0 44334 10 0 0 18 0 3 0 330940894 95297536 11677 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18583/statm: 23266 11677 387 42 0 17518 0
[pid=18583/tid=18585] ppid=18581 vsize=93064 CPUtime=221.44
/proc/18583/task/18585/stat : 18585 (ornithorynque) R 18581 18583 18074 0 -1 4194368 5887 0 0 0 22139 5 0 0 25 0 3 0 330940901 95297536 11677 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=18583/tid=18586] ppid=18581 vsize=93064 CPUtime=221.92
/proc/18583/task/18586/stat : 18586 (ornithorynque) R 18581 18583 18074 0 -1 4194368 5062 0 0 0 22188 4 0 0 25 0 3 0 330940901 95297536 11677 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.44
Current children cumulated vsize (KiB) 93064

[startup+282.302 s]
/proc/loadavg: 1.99 1.98 1.91 3/80 18586
/proc/meminfo: memFree=1473680/2055920 swapFree=4156600/4192956
[pid=18583] ppid=18581 vsize=97332 CPUtime=563.17
/proc/18583/stat : 18583 (ornithorynque) S 18581 18583 18074 0 -1 4194304 13534 0 0 0 56304 13 0 0 18 0 3 0 330940894 99667968 12741 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18583/statm: 24333 12741 387 42 0 18585 0
[pid=18583/tid=18585] ppid=18581 vsize=97332 CPUtime=281.19
/proc/18583/task/18585/stat : 18585 (ornithorynque) R 18581 18583 18074 0 -1 4194368 6952 0 0 0 28112 7 0 0 25 0 3 0 330940901 99667968 12741 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=18583/tid=18586] ppid=18581 vsize=97332 CPUtime=281.9
/proc/18583/task/18586/stat : 18586 (ornithorynque) R 18581 18583 18074 0 -1 4194368 5062 0 0 0 28186 4 0 0 25 0 3 0 330940901 99667968 12741 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283786 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.17
Current children cumulated vsize (KiB) 97332

[startup+342.303 s]
/proc/loadavg: 1.99 1.98 1.91 3/80 18586
/proc/meminfo: memFree=1466256/2055920 swapFree=4156600/4192956
[pid=18583] ppid=18581 vsize=105372 CPUtime=682.88
/proc/18583/stat : 18583 (ornithorynque) S 18581 18583 18074 0 -1 4194304 15616 0 0 0 68273 15 0 0 18 0 3 0 330940894 107900928 14580 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18583/statm: 26343 14580 387 42 0 20595 0
[pid=18583/tid=18585] ppid=18581 vsize=105372 CPUtime=340.92
/proc/18583/task/18585/stat : 18585 (ornithorynque) R 18581 18583 18074 0 -1 4194368 7934 0 0 0 34084 8 0 0 25 0 3 0 330940901 107900928 14580 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311151 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=18583/tid=18586] ppid=18581 vsize=105372 CPUtime=341.88
/proc/18583/task/18586/stat : 18586 (ornithorynque) R 18581 18583 18074 0 -1 4194368 6162 0 0 0 34183 5 0 0 25 0 3 0 330940901 107900928 14580 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283714 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.88
Current children cumulated vsize (KiB) 105372

[startup+402.302 s]
/proc/loadavg: 1.99 1.98 1.91 3/80 18586
/proc/meminfo: memFree=1462352/2055920 swapFree=4156600/4192956
[pid=18583] ppid=18581 vsize=110496 CPUtime=802.59
/proc/18583/stat : 18583 (ornithorynque) S 18581 18583 18074 0 -1 4194304 16875 0 0 0 80242 17 0 0 18 0 3 0 330940894 113147904 15582 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18583/statm: 27624 15582 387 42 0 21876 0
[pid=18583/tid=18585] ppid=18581 vsize=110496 CPUtime=400.66
/proc/18583/task/18585/stat : 18585 (ornithorynque) R 18581 18583 18074 0 -1 4194368 9193 0 0 0 40056 10 0 0 25 0 3 0 330940901 113147904 15582 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=18583/tid=18586] ppid=18581 vsize=110496 CPUtime=401.86
/proc/18583/task/18586/stat : 18586 (ornithorynque) R 18581 18583 18074 0 -1 4194368 6162 0 0 0 40180 6 0 0 25 0 3 0 330940901 113147904 15582 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 802.59
Current children cumulated vsize (KiB) 110496

[startup+462.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/80 18586
/proc/meminfo: memFree=1453072/2055920 swapFree=4156600/4192956
[pid=18583] ppid=18581 vsize=121900 CPUtime=922.31
/proc/18583/stat : 18583 (ornithorynque) S 18581 18583 18074 0 -1 4194304 19874 0 0 0 92211 20 0 0 18 0 3 0 330940894 124825600 17859 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18583/statm: 30475 17859 387 42 0 24727 0
[pid=18583/tid=18585] ppid=18581 vsize=121900 CPUtime=460.39
/proc/18583/task/18585/stat : 18585 (ornithorynque) R 18581 18583 18074 0 -1 4194368 10160 0 0 0 46028 11 0 0 25 0 3 0 330940901 124825600 17859 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=18583/tid=18586] ppid=18581 vsize=121900 CPUtime=461.83
/proc/18583/task/18586/stat : 18586 (ornithorynque) R 18581 18583 18074 0 -1 4194368 8194 0 0 0 46176 7 0 0 25 0 3 0 330940901 124825600 17859 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 922.31
Current children cumulated vsize (KiB) 121900

[startup+522.302 s]
/proc/loadavg: 1.99 1.98 1.91 3/80 18586
/proc/meminfo: memFree=1449872/2055920 swapFree=4156600/4192956
[pid=18583] ppid=18581 vsize=124908 CPUtime=1042.02
/proc/18583/stat : 18583 (ornithorynque) S 18581 18583 18074 0 -1 4194304 20680 0 0 0 104181 21 0 0 18 0 3 0 330940894 127905792 18665 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18583/statm: 31227 18665 387 42 0 25479 0
[pid=18583/tid=18585] ppid=18581 vsize=124908 CPUtime=520.14
/proc/18583/task/18585/stat : 18585 (ornithorynque) R 18581 18583 18074 0 -1 4194368 10966 0 0 0 52001 13 0 0 25 0 3 0 330940901 127905792 18665 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=18583/tid=18586] ppid=18581 vsize=124908 CPUtime=521.81
/proc/18583/task/18586/stat : 18586 (ornithorynque) R 18581 18583 18074 0 -1 4194368 8194 0 0 0 52174 7 0 0 25 0 3 0 330940901 127905792 18665 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242583 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1042.02
Current children cumulated vsize (KiB) 124908

[startup+582.302 s]
/proc/loadavg: 1.99 1.98 1.91 3/80 18586
/proc/meminfo: memFree=1440976/2055920 swapFree=4156600/4192956
[pid=18583] ppid=18581 vsize=136188 CPUtime=1161.73
/proc/18583/stat : 18583 (ornithorynque) S 18581 18583 18074 0 -1 4194304 23608 0 0 0 116149 24 0 0 18 0 3 0 330940894 139456512 20872 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18583/statm: 34047 20872 387 42 0 28299 0
[pid=18583/tid=18585] ppid=18581 vsize=136188 CPUtime=579.86
/proc/18583/task/18585/stat : 18585 (ornithorynque) R 18581 18583 18074 0 -1 4194368 11761 0 0 0 57972 14 0 0 25 0 3 0 330940901 139456512 20872 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=18583/tid=18586] ppid=18581 vsize=136188 CPUtime=581.79
/proc/18583/task/18586/stat : 18586 (ornithorynque) R 18581 18583 18074 0 -1 4194368 10327 0 0 0 58170 9 0 0 25 0 3 0 330940901 139456512 20872 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1161.73
Current children cumulated vsize (KiB) 136188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.602 s]
/proc/loadavg: 1.99 1.98 1.91 3/86 18650
/proc/meminfo: memFree=1438544/2055920 swapFree=4156600/4192956
[pid=18583] ppid=18581 vsize=137100 CPUtime=1200.17
/proc/18583/stat : 18583 (ornithorynque) S 18581 18583 18074 0 -1 4194304 23824 0 0 0 119989 28 0 0 18 0 3 0 330940894 140390400 21088 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18583/statm: 34275 21088 387 42 0 28527 0
[pid=18583/tid=18585] ppid=18581 vsize=137100 CPUtime=599.06
/proc/18583/task/18585/stat : 18585 (ornithorynque) R 18581 18583 18074 0 -1 4194368 11977 0 0 0 59888 18 0 0 25 0 3 0 330940901 140390400 21088 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=18583/tid=18586] ppid=18581 vsize=137100 CPUtime=601.03
/proc/18583/task/18586/stat : 18586 (ornithorynque) R 18581 18583 18074 0 -1 4194368 10327 0 0 0 60094 9 0 0 25 0 3 0 330940901 140390400 21088 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.17
Current children cumulated vsize (KiB) 137100

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.634
CPU time (s): 1200.21
CPU user time (s): 1199.91
CPU system time (s): 0.302953
CPU usage (%): 199.492
Max. virtual memory (cumulated for all children) (KiB): 137100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.91
system time used= 0.302953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23824
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= 121
involuntary context switches= 22948

runsolver used 0.597909 second user time and 1.61675 second system time

The end

Launcher Data (download as text)

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

IDJOB= 328301
IDBENCH= 20209
IDSOLVER= 139
FILE ID= node12/328301-1173109864

PBS_JOBID= 4013944

Free space on /tmp= 66478 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  dfe30801aa981fb55bfdd2dd7062d61d

RANDOM SEED= 49757569

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node12.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.285
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.285
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:       1523968 kB
Buffers:         41620 kB
Cached:         404316 kB
SwapCached:      14832 kB
Active:         147264 kB
Inactive:       321424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1523968 kB
SwapTotal:     4192956 kB
SwapFree:      4156600 kB
Dirty:             596 kB
Writeback:           0 kB
Mapped:          29868 kB
Slab:            48860 kB
Committed_AS:  1550404 kB
PageTables:       1692 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= 66478 MiB

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