Trace number 328308

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.15 601.632

General information on the benchmark

Namerandom/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S549070267-05-SAT.cnf
MD5SUM4819d89b7aa2a4346ffa426a3f09fe5c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.942855
Satisfiable
(Un)Satisfiability was proved
Number of variables6494
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.01	c This is Ornithorynque version 0.1 alpha
0.00/0.01	c (c) roussel@cril.univ-artois.fr
0.00/0.01	c using unsigned short
0.00/0.01	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.05/0.06	c complete search running
0.05/0.06	c local search running
0.05/0.07	c flip 0 nbSat=14512 maxSat=0
0.12/0.12	c flip 10000 nbSat=16905 maxSat=16909
0.12/0.17	c flip 20000 nbSat=17087 maxSat=17107
0.32/0.22	c flip 30000 nbSat=17133 maxSat=17137
0.32/0.27	c flip 40000 nbSat=17144 maxSat=17164
0.52/0.31	c flip 50000 nbSat=17150 maxSat=17177
0.52/0.36	c flip 60000 nbSat=17154 maxSat=17177
0.72/0.41	c flip 70000 nbSat=17177 maxSat=17184
0.72/0.46	c flip 80000 nbSat=17165 maxSat=17192
0.92/0.50	c flip 90000 nbSat=17176 maxSat=17192
0.92/0.55	c flip 100000 nbSat=17173 maxSat=17197
1.12/0.60	c flip 110000 nbSat=17181 maxSat=17197
1.12/0.65	c flip 120000 nbSat=17177 maxSat=17197
1.32/0.70	c flip 0 nbSat=15548 maxSat=17197
1.32/0.78	c flip 10000 nbSat=17924 maxSat=17938
1.52/0.85	c flip 20000 nbSat=18068 maxSat=18094
1.72/0.93	c flip 30000 nbSat=18139 maxSat=18156
1.92/1.00	c flip 40000 nbSat=18171 maxSat=18180
1.92/1.07	c flip 50000 nbSat=18199 maxSat=18199
2.12/1.14	c flip 60000 nbSat=18194 maxSat=18217
2.31/1.21	c flip 70000 nbSat=18201 maxSat=18227
2.31/1.28	c flip 80000 nbSat=18229 maxSat=18230
2.51/1.35	c flip 90000 nbSat=18229 maxSat=18242
2.71/1.43	c flip 100000 nbSat=18211 maxSat=18247
2.91/1.50	c flip 110000 nbSat=18221 maxSat=18248
2.91/1.57	c flip 120000 nbSat=18226 maxSat=18248
3.11/1.66	c flip 0 nbSat=17132 maxSat=18248
3.31/1.77	c flip 10000 nbSat=19457 maxSat=19467
3.51/1.89	c flip 20000 nbSat=19633 maxSat=19656
3.91/2.02	c flip 30000 nbSat=19695 maxSat=19711
4.11/2.14	c flip 40000 nbSat=19718 maxSat=19747
4.31/2.25	c flip 50000 nbSat=19741 maxSat=19772
4.51/2.36	c flip 60000 nbSat=19745 maxSat=19773
4.71/2.47	c flip 70000 nbSat=19766 maxSat=19784
4.91/2.59	c flip 80000 nbSat=19774 maxSat=19789
5.31/2.70	c flip 90000 nbSat=19778 maxSat=19789
5.51/2.82	c flip 100000 nbSat=19767 maxSat=19795
5.71/2.94	c flip 110000 nbSat=19769 maxSat=19795
5.91/3.05	c flip 120000 nbSat=19791 maxSat=19799
6.11/3.18	c flip 0 nbSat=19329 maxSat=19808
6.52/3.37	c flip 10000 nbSat=21656 maxSat=21687
6.91/3.56	c flip 20000 nbSat=21812 maxSat=21830
7.31/3.76	c flip 30000 nbSat=21881 maxSat=21908
7.51/3.89	c nbDecision=10000 #clauses=23120
7.71/3.97	c flip 40000 nbSat=21912 maxSat=21929
8.11/4.18	c flip 50000 nbSat=21927 maxSat=21943
8.71/4.41	c flip 60000 nbSat=21930 maxSat=21949
9.10/4.62	c flip 70000 nbSat=21916 maxSat=21949
9.50/4.85	c flip 80000 nbSat=21935 maxSat=21949
9.90/5.07	c flip 90000 nbSat=21944 maxSat=21965
10.30/5.29	c flip 100000 nbSat=21956 maxSat=21973
10.91/5.53	c flip 110000 nbSat=21953 maxSat=21978
11.30/5.77	c flip 120000 nbSat=21962 maxSat=21978
11.90/6.03	c flip 0 nbSat=22496 maxSat=21978
12.50/6.31	c flip 10000 nbSat=24814 maxSat=24851
13.10/6.67	c flip 20000 nbSat=24990 maxSat=25010
13.89/7.00	c flip 30000 nbSat=25052 maxSat=25059
14.49/7.32	c flip 40000 nbSat=25071 maxSat=25090
15.09/7.66	c flip 50000 nbSat=25108 maxSat=25118
15.89/8.01	c flip 60000 nbSat=25122 maxSat=25141
16.49/8.38	c flip 70000 nbSat=25117 maxSat=25142
17.29/8.74	c flip 80000 nbSat=25124 maxSat=25142
18.08/9.12	c flip 90000 nbSat=25131 maxSat=25144
18.88/9.51	c flip 100000 nbSat=25147 maxSat=25157
19.49/9.86	c flip 110000 nbSat=25135 maxSat=25166
20.08/10.19	c flip 120000 nbSat=25154 maxSat=25166
20.48/10.39	c nbDecision=20000 #clauses=29449
20.88/10.58	c flip 0 nbSat=26740 maxSat=25166
22.07/11.11	c flip 10000 nbSat=29078 maxSat=29089
23.27/11.75	c flip 20000 nbSat=29244 maxSat=29248
24.47/12.32	c flip 30000 nbSat=29308 maxSat=29323
25.67/12.93	c flip 40000 nbSat=29338 maxSat=29351
26.66/13.49	c flip 50000 nbSat=29342 maxSat=29368
27.86/14.00	c flip 60000 nbSat=29368 maxSat=29377
28.86/14.52	c flip 70000 nbSat=29368 maxSat=29383
29.66/14.97	c flip 80000 nbSat=29373 maxSat=29387
30.67/15.42	c flip 90000 nbSat=29381 maxSat=29391
31.66/15.90	c flip 100000 nbSat=29375 maxSat=29405
32.66/16.47	c flip 110000 nbSat=29397 maxSat=29406
33.65/16.94	c flip 120000 nbSat=29375 maxSat=29408
34.65/17.47	c flip 0 nbSat=31835 maxSat=29409
36.24/18.26	c flip 10000 nbSat=34171 maxSat=34193
38.04/19.11	c nbDecision=30000 #clauses=35778
38.44/19.32	c flip 20000 nbSat=34335 maxSat=34360
40.83/20.54	c flip 30000 nbSat=34371 maxSat=34393
43.22/21.70	c flip 40000 nbSat=34429 maxSat=34436
45.42/22.86	c flip 50000 nbSat=34457 maxSat=34462
47.82/24.08	c flip 60000 nbSat=34462 maxSat=34479
50.22/25.23	c flip 70000 nbSat=34476 maxSat=34483
52.41/26.33	c flip 80000 nbSat=34477 maxSat=34488
54.60/27.46	c flip 90000 nbSat=34491 maxSat=34498
56.59/28.44	c flip 100000 nbSat=34481 maxSat=34502
58.39/29.38	c flip 110000 nbSat=34503 maxSat=34504
60.58/30.40	c flip 120000 nbSat=34489 maxSat=34508
60.78/30.52	c nbDecision=40000 #clauses=42219
62.78/31.56	c flip 0 nbSat=39819 maxSat=34514
65.38/32.84	c flip 10000 nbSat=42209 maxSat=42213
68.36/34.35	c flip 20000 nbSat=42386 maxSat=42414
71.76/36.06	c flip 30000 nbSat=42456 maxSat=42469
75.75/38.04	c flip 40000 nbSat=42438 maxSat=42478
78.95/39.70	c flip 50000 nbSat=42487 maxSat=42507
82.73/41.54	c flip 60000 nbSat=42496 maxSat=42516
86.12/43.23	c flip 70000 nbSat=42499 maxSat=42529
89.12/44.78	c flip 80000 nbSat=42513 maxSat=42534
92.30/46.30	c flip 90000 nbSat=42505 maxSat=42535
92.70/46.50	c nbDecision=50000 #clauses=48662
95.30/47.85	c flip 100000 nbSat=42522 maxSat=42535
98.50/49.42	c flip 110000 nbSat=42526 maxSat=42544
101.49/50.96	c flip 120000 nbSat=42533 maxSat=42557
104.48/52.40	c flip 0 nbSat=48184 maxSat=42562
108.27/54.35	c flip 10000 nbSat=50488 maxSat=50517
113.06/56.79	c flip 20000 nbSat=50646 maxSat=50680
117.65/59.08	c flip 30000 nbSat=50758 maxSat=50775
123.24/61.88	c flip 40000 nbSat=50766 maxSat=50785
129.24/64.82	c flip 50000 nbSat=50784 maxSat=50804
130.83/65.61	c nbDecision=60000 #clauses=55237
135.02/67.71	c flip 60000 nbSat=50808 maxSat=50816
141.60/71.02	c flip 70000 nbSat=50816 maxSat=50824
147.18/73.88	c flip 80000 nbSat=50836 maxSat=50837
152.77/76.69	c flip 90000 nbSat=50808 maxSat=50845
157.77/79.15	c flip 100000 nbSat=50832 maxSat=50853
162.75/81.61	c flip 110000 nbSat=50849 maxSat=50865
168.14/84.31	c flip 120000 nbSat=50846 maxSat=50865
170.92/85.75	c nbDecision=70000 #clauses=61476
175.12/87.87	c flip 0 nbSat=59409 maxSat=50868
181.10/90.83	c flip 10000 nbSat=61819 maxSat=61829
188.09/94.34	c flip 20000 nbSat=62029 maxSat=62037
194.07/97.34	c flip 30000 nbSat=62046 maxSat=62069
201.06/100.82	c flip 40000 nbSat=62089 maxSat=62107
202.26/101.46	c nbDecision=80000 #clauses=67976
207.65/104.10	c flip 50000 nbSat=62080 maxSat=62111
214.23/107.42	c flip 60000 nbSat=62115 maxSat=62117
221.02/110.87	c flip 70000 nbSat=62120 maxSat=62136
228.21/114.40	c flip 80000 nbSat=62105 maxSat=62142
234.39/117.52	c flip 90000 nbSat=62139 maxSat=62152
240.17/120.40	c flip 100000 nbSat=62123 maxSat=62164
242.16/121.44	c nbDecision=90000 #clauses=74503
246.35/123.54	c flip 110000 nbSat=62137 maxSat=62164
252.54/126.67	c flip 120000 nbSat=62132 maxSat=62165
259.52/130.10	c flip 0 nbSat=74803 maxSat=62165
266.91/133.80	c flip 10000 nbSat=77212 maxSat=77212
275.89/138.39	c flip 20000 nbSat=77429 maxSat=77448
278.88/139.84	c nbDecision=100000 #clauses=80756
288.06/144.42	c flip 30000 nbSat=77460 maxSat=77480
298.84/149.85	c flip 40000 nbSat=77479 maxSat=77498
308.22/154.53	c flip 50000 nbSat=77482 maxSat=77513
318.60/159.72	c flip 60000 nbSat=77522 maxSat=77532
329.17/165.06	c nbDecision=110000 #clauses=87370
329.96/165.40	c flip 70000 nbSat=77521 maxSat=77533
342.15/171.53	c flip 80000 nbSat=77525 maxSat=77537
353.32/177.19	c flip 90000 nbSat=77528 maxSat=77540
363.09/182.04	c flip 100000 nbSat=77507 maxSat=77541
372.27/186.68	c flip 110000 nbSat=77508 maxSat=77541
381.66/191.34	c flip 120000 nbSat=77516 maxSat=77541
390.23/195.65	c flip 0 nbSat=87799 maxSat=77547
401.01/201.01	c flip 10000 nbSat=90105 maxSat=90107
412.78/206.93	c flip 20000 nbSat=90299 maxSat=90322
420.36/210.72	c nbDecision=120000 #clauses=94178
427.54/214.30	c flip 30000 nbSat=90363 maxSat=90382
443.70/222.44	c flip 40000 nbSat=90397 maxSat=90414
461.06/231.19	c flip 50000 nbSat=90410 maxSat=90434
476.63/238.94	c flip 60000 nbSat=90404 maxSat=90449
482.82/242.04	c nbDecision=130000 #clauses=100932
491.40/246.35	c flip 70000 nbSat=90460 maxSat=90472
505.97/253.64	c flip 80000 nbSat=90473 maxSat=90487
521.73/261.56	c flip 90000 nbSat=90482 maxSat=90495
538.68/270.06	c flip 100000 nbSat=90480 maxSat=90495
542.27/271.82	c nbDecision=140000 #clauses=107376
552.45/276.95	c flip 110000 nbSat=90486 maxSat=90501
567.42/284.40	c flip 120000 nbSat=90483 maxSat=90516
582.19/291.83	c flip 0 nbSat=107757 maxSat=90516
595.17/298.32	c flip 10000 nbSat=110031 maxSat=110045
612.13/306.85	c flip 20000 nbSat=110233 maxSat=110243
627.28/314.46	c nbDecision=150000 #clauses=113953
629.68/315.68	c flip 30000 nbSat=110272 maxSat=110293
646.83/324.26	c flip 40000 nbSat=110299 maxSat=110319
663.61/332.69	c flip 50000 nbSat=110313 maxSat=110334
682.76/342.26	c flip 60000 nbSat=110317 maxSat=110344
698.52/350.14	c nbDecision=160000 #clauses=120457
703.31/352.55	c flip 70000 nbSat=110348 maxSat=110362
723.46/362.62	c flip 80000 nbSat=110337 maxSat=110362
743.82/372.88	c flip 90000 nbSat=110339 maxSat=110362
762.58/382.21	c flip 100000 nbSat=110334 maxSat=110362
772.16/387.09	c nbDecision=170000 #clauses=127146
781.73/391.87	c flip 110000 nbSat=110344 maxSat=110364
800.48/401.24	c flip 120000 nbSat=110346 maxSat=110370
819.64/410.84	c flip 0 nbSat=128553 maxSat=110370
838.21/420.16	c flip 10000 nbSat=130916 maxSat=130926
853.97/428.04	c nbDecision=180000 #clauses=133986
863.95/433.01	c flip 20000 nbSat=131071 maxSat=131092
888.60/445.48	c flip 30000 nbSat=131141 maxSat=131173
914.11/458.26	c flip 40000 nbSat=131193 maxSat=131214
940.63/471.53	c flip 50000 nbSat=131186 maxSat=131214
945.21/473.81	c nbDecision=190000 #clauses=140559
965.35/483.98	c flip 60000 nbSat=131219 maxSat=131233
991.23/496.93	c flip 70000 nbSat=131242 maxSat=131257
1017.76/510.24	c flip 80000 nbSat=131250 maxSat=131266
1026.54/514.70	c nbDecision=200000 #clauses=147163
1043.27/523.04	c flip 90000 nbSat=131251 maxSat=131267
1069.40/536.12	c flip 100000 nbSat=131247 maxSat=131271
1094.54/548.73	c flip 110000 nbSat=131262 maxSat=131275
1109.71/556.31	c nbDecision=210000 #clauses=153797
1119.29/561.17	c flip 120000 nbSat=131252 maxSat=131275
1142.84/573.00	c flip 0 nbSat=153648 maxSat=131275
1165.98/584.59	c flip 10000 nbSat=156011 maxSat=156028
1192.52/597.85	c flip 20000 nbSat=156199 maxSat=156235

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/node55/watcher-328308-1173110024 -o ROOT/results/node55/solver-328308-1173110024 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328308-1173110024/ornithorynque /tmp/evaluation/328308-1173110024/instance-328308-1173110024.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 18236
/proc/meminfo: memFree=1050200/2055920 swapFree=4183804/4192956
[pid=18236] ppid=18234 vsize=23220 CPUtime=0
/proc/18236/stat : 18236 (ornithorynque) R 18234 18236 17683 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 330958869 23777280 266 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 248758963473 0 0 4096 0 0 0 0 17 1 0 0
/proc/18236/statm: 5805 266 219 42 0 45 0

[startup+0.0644041 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 18236
/proc/meminfo: memFree=1050200/2055920 swapFree=4183804/4192956
[pid=18236] ppid=18234 vsize=27224 CPUtime=0.05
/proc/18236/stat : 18236 (ornithorynque) R 18234 18236 17683 0 -1 4194304 1487 0 0 0 5 0 0 0 18 0 1 0 330958869 27877376 1382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 248761455329 0 0 4096 1088 0 0 0 17 1 0 0
/proc/18236/statm: 6806 1382 382 42 0 1058 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 27224

[startup+0.101413 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 18236
/proc/meminfo: memFree=1050200/2055920 swapFree=4183804/4192956
[pid=18236] ppid=18234 vsize=48108 CPUtime=0.12
/proc/18236/stat : 18236 (ornithorynque) S 18234 18236 17683 0 -1 4194304 1554 0 0 0 12 0 0 0 18 0 3 0 330958869 49262592 1449 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 248770490235 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18236/statm: 12027 1449 387 42 0 6279 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 48108

[startup+0.301428 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 18236
/proc/meminfo: memFree=1050200/2055920 swapFree=4183804/4192956
[pid=18236] ppid=18234 vsize=48108 CPUtime=0.52
/proc/18236/stat : 18236 (ornithorynque) S 18234 18236 17683 0 -1 4194304 1560 0 0 0 52 0 0 0 18 0 3 0 330958869 49262592 1455 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 248770490235 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18236/statm: 12027 1455 387 42 0 6279 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 48108

[startup+0.701469 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 18236
/proc/meminfo: memFree=1050200/2055920 swapFree=4183804/4192956
[pid=18236] ppid=18234 vsize=49416 CPUtime=1.32
/proc/18236/stat : 18236 (ornithorynque) S 18234 18236 17683 0 -1 4194304 1644 0 0 0 132 0 0 0 18 0 3 0 330958869 50601984 1539 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 248770490235 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18236/statm: 12354 1539 387 42 0 6606 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 49416

[startup+1.50154 s]
/proc/loadavg: 1.83 1.94 1.90 3/67 18239
/proc/meminfo: memFree=1045184/2055920 swapFree=4183804/4192956
[pid=18236] ppid=18234 vsize=49808 CPUtime=2.91
/proc/18236/stat : 18236 (ornithorynque) S 18234 18236 17683 0 -1 4194304 1760 0 0 0 291 0 0 0 18 0 3 0 330958869 51003392 1655 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 248770490235 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18236/statm: 12452 1655 387 42 0 6704 0
[pid=18236/tid=18238] ppid=18234 vsize=49808 CPUtime=1.42
/proc/18236/task/18238/stat : 18238 (ornithorynque) R 18234 18236 17683 0 -1 4194368 162 0 0 0 142 0 0 0 25 0 3 0 330958876 51003392 1655 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311518 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18236/tid=18239] ppid=18234 vsize=49808 CPUtime=1.42
/proc/18236/task/18239/stat : 18239 (ornithorynque) R 18234 18236 17683 0 -1 4194368 75 0 0 0 142 0 0 0 24 0 3 0 330958876 51003392 1655 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285958 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 49808

[startup+3.1017 s]
/proc/loadavg: 1.83 1.94 1.90 3/67 18239
/proc/meminfo: memFree=1044160/2055920 swapFree=4183804/4192956
[pid=18236] ppid=18234 vsize=50204 CPUtime=6.11
/proc/18236/stat : 18236 (ornithorynque) S 18234 18236 17683 0 -1 4194304 2045 0 0 0 610 1 0 0 18 0 3 0 330958869 51408896 1940 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 248770490235 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18236/statm: 12551 1940 387 42 0 6803 0
[pid=18236/tid=18238] ppid=18234 vsize=50204 CPUtime=3.02
/proc/18236/task/18238/stat : 18238 (ornithorynque) R 18234 18236 17683 0 -1 4194368 333 0 0 0 302 0 0 0 25 0 3 0 330958876 51408896 1940 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18236/tid=18239] ppid=18234 vsize=50204 CPUtime=3.01
/proc/18236/task/18239/stat : 18239 (ornithorynque) R 18234 18236 17683 0 -1 4194368 189 0 0 0 301 0 0 0 25 0 3 0 330958876 51408896 1940 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242557 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 50204

[startup+6.30301 s]
/proc/loadavg: 1.85 1.94 1.90 3/67 18239
/proc/meminfo: memFree=1042240/2055920 swapFree=4183804/4192956
[pid=18236] ppid=18234 vsize=53564 CPUtime=12.5
/proc/18236/stat : 18236 (ornithorynque) S 18234 18236 17683 0 -1 4194304 2783 0 0 0 1249 1 0 0 18 0 3 0 330958869 54849536 2678 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 248770490235 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18236/statm: 13391 2678 387 42 0 7643 0
[pid=18236/tid=18238] ppid=18234 vsize=53564 CPUtime=6.22
/proc/18236/task/18238/stat : 18238 (ornithorynque) R 18234 18236 17683 0 -1 4194368 560 0 0 0 622 0 0 0 25 0 3 0 330958876 54849536 2678 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242898 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18236/tid=18239] ppid=18234 vsize=53564 CPUtime=6.2
/proc/18236/task/18239/stat : 18239 (ornithorynque) R 18234 18236 17683 0 -1 4194368 700 0 0 0 620 0 0 0 18 0 3 0 330958876 54849536 2678 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241190 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 53564

[startup+12.7016 s]
/proc/loadavg: 1.86 1.94 1.90 3/67 18239
/proc/meminfo: memFree=1037832/2055920 swapFree=4183804/4192956
[pid=18236] ppid=18234 vsize=56344 CPUtime=25.27
/proc/18236/stat : 18236 (ornithorynque) S 18234 18236 17683 0 -1 4194304 3470 0 0 0 2526 1 0 0 18 0 3 0 330958869 57696256 3365 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 248770490235 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18236/statm: 14086 3365 387 42 0 8338 0
[pid=18236/tid=18238] ppid=18234 vsize=56344 CPUtime=12.62
/proc/18236/task/18238/stat : 18238 (ornithorynque) R 18234 18236 17683 0 -1 4194368 783 0 0 0 1262 0 0 0 25 0 3 0 330958876 57696256 3365 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311185 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18236/tid=18239] ppid=18234 vsize=56344 CPUtime=12.57
/proc/18236/task/18239/stat : 18239 (ornithorynque) R 18234 18236 17683 0 -1 4194368 1164 0 0 0 1257 0 0 0 25 0 3 0 330958876 57696256 3365 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241168 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 56344

[startup+25.5019 s]
/proc/loadavg: 1.89 1.94 1.90 3/67 18239
/proc/meminfo: memFree=1033736/2055920 swapFree=4183804/4192956
[pid=18236] ppid=18234 vsize=60820 CPUtime=50.81
/proc/18236/stat : 18236 (ornithorynque) S 18234 18236 17683 0 -1 4194304 4681 0 0 0 5078 3 0 0 18 0 3 0 330958869 62279680 4412 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 248770490235 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18236/statm: 15205 4412 387 42 0 9457 0
[pid=18236/tid=18238] ppid=18234 vsize=60820 CPUtime=25.41
/proc/18236/task/18238/stat : 18238 (ornithorynque) R 18234 18236 17683 0 -1 4194368 1509 0 0 0 2540 1 0 0 25 0 3 0 330958876 62279680 4412 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4310956 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18236/tid=18239] ppid=18234 vsize=60820 CPUtime=25.31
/proc/18236/task/18239/stat : 18239 (ornithorynque) R 18234 18236 17683 0 -1 4194368 1649 0 0 0 2531 0 0 0 25 0 3 0 330958876 62279680 4412 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 60820

[startup+51.1013 s]
/proc/loadavg: 1.93 1.94 1.90 3/67 18239
/proc/meminfo: memFree=1027592/2055920 swapFree=4183804/4192956
[pid=18236] ppid=18234 vsize=67456 CPUtime=101.89
/proc/18236/stat : 18236 (ornithorynque) S 18234 18236 17683 0 -1 4194304 6230 0 0 0 10183 6 0 0 18 0 3 0 330958869 69074944 5961 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 248770490235 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18236/statm: 16864 5961 387 42 0 11116 0
[pid=18236/tid=18238] ppid=18234 vsize=67456 CPUtime=51
/proc/18236/task/18238/stat : 18238 (ornithorynque) R 18234 18236 17683 0 -1 4194368 2474 0 0 0 5097 3 0 0 25 0 3 0 330958876 69074944 5961 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18236/tid=18239] ppid=18234 vsize=67456 CPUtime=50.8
/proc/18236/task/18239/stat : 18239 (ornithorynque) R 18234 18236 17683 0 -1 4194368 2233 0 0 0 5079 1 0 0 25 0 3 0 330958876 69074944 5961 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242332 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 67456

[startup+102.305 s]
/proc/loadavg: 1.97 1.95 1.91 3/67 18239
/proc/meminfo: memFree=1016584/2055920 swapFree=4183804/4192956
[pid=18236] ppid=18234 vsize=79032 CPUtime=204.06
/proc/18236/stat : 18236 (ornithorynque) S 18234 18236 17683 0 -1 4194304 9035 0 0 0 20397 9 0 0 18 0 3 0 330958869 80928768 8637 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 248770490235 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18236/statm: 19758 8637 387 42 0 14010 0
[pid=18236/tid=18238] ppid=18234 vsize=79032 CPUtime=102.19
/proc/18236/task/18238/stat : 18238 (ornithorynque) R 18234 18236 17683 0 -1 4194368 4039 0 0 0 10214 5 0 0 25 0 3 0 330958876 80928768 8637 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18236/tid=18239] ppid=18234 vsize=79032 CPUtime=101.78
/proc/18236/task/18239/stat : 18239 (ornithorynque) R 18234 18236 17683 0 -1 4194368 3473 0 0 0 10176 2 0 0 25 0 3 0 330958876 80928768 8637 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 79032

[startup+162.302 s]
/proc/loadavg: 1.99 1.95 1.91 3/67 18239
/proc/meminfo: memFree=1005960/2055920 swapFree=4183804/4192956
[pid=18236] ppid=18234 vsize=90908 CPUtime=323.78
/proc/18236/stat : 18236 (ornithorynque) S 18234 18236 17683 0 -1 4194304 11951 0 0 0 32366 12 0 0 18 0 3 0 330958869 93089792 11325 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 248770490235 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18236/statm: 22727 11325 387 42 0 16979 0
[pid=18236/tid=18238] ppid=18234 vsize=90908 CPUtime=162.17
/proc/18236/task/18238/stat : 18238 (ornithorynque) R 18234 18236 17683 0 -1 4194368 5731 0 0 0 16209 8 0 0 25 0 3 0 330958876 93089792 11325 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311432 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18236/tid=18239] ppid=18234 vsize=90908 CPUtime=161.53
/proc/18236/task/18239/stat : 18239 (ornithorynque) R 18234 18236 17683 0 -1 4194368 4697 0 0 0 16150 3 0 0 25 0 3 0 330958876 93089792 11325 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.78
Current children cumulated vsize (KiB) 90908

[startup+222.302 s]
/proc/loadavg: 1.99 1.96 1.91 3/67 18239
/proc/meminfo: memFree=998408/2055920 swapFree=4183804/4192956
[pid=18236] ppid=18234 vsize=99084 CPUtime=443.5
/proc/18236/stat : 18236 (ornithorynque) S 18234 18236 17683 0 -1 4194304 13868 0 0 0 44335 15 0 0 18 0 3 0 330958869 101462016 13176 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 248770490235 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18236/statm: 24771 13176 387 42 0 19023 0
[pid=18236/tid=18238] ppid=18234 vsize=99084 CPUtime=222.15
/proc/18236/task/18238/stat : 18238 (ornithorynque) R 18234 18236 17683 0 -1 4194368 6706 0 0 0 22205 10 0 0 25 0 3 0 330958876 101462016 13176 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4312023 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18236/tid=18239] ppid=18234 vsize=99084 CPUtime=221.26
/proc/18236/task/18239/stat : 18239 (ornithorynque) R 18234 18236 17683 0 -1 4194368 5639 0 0 0 22123 3 0 0 25 0 3 0 330958876 101462016 13176 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241190 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.5
Current children cumulated vsize (KiB) 99084

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 18239
/proc/meminfo: memFree=993544/2055920 swapFree=4183804/4192956
[pid=18236] ppid=18234 vsize=103312 CPUtime=563.23
/proc/18236/stat : 18236 (ornithorynque) S 18234 18236 17683 0 -1 4194304 15067 0 0 0 56305 18 0 0 18 0 3 0 330958869 105791488 14375 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 248770490235 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18236/statm: 25828 14375 387 42 0 20080 0
[pid=18236/tid=18238] ppid=18234 vsize=103312 CPUtime=282.14
/proc/18236/task/18238/stat : 18238 (ornithorynque) R 18234 18236 17683 0 -1 4194368 7905 0 0 0 28201 13 0 0 25 0 3 0 330958876 105791488 14375 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18236/tid=18239] ppid=18234 vsize=103312 CPUtime=281.01
/proc/18236/task/18239/stat : 18239 (ornithorynque) R 18234 18236 17683 0 -1 4194368 5639 0 0 0 28098 3 0 0 25 0 3 0 330958876 105791488 14375 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283709 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.23
Current children cumulated vsize (KiB) 103312

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 18239
/proc/meminfo: memFree=984072/2055920 swapFree=4183804/4192956
[pid=18236] ppid=18234 vsize=114268 CPUtime=682.95
/proc/18236/stat : 18236 (ornithorynque) S 18234 18236 17683 0 -1 4194304 17691 0 0 0 68275 20 0 0 18 0 3 0 330958869 117010432 16735 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 248770490235 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18236/statm: 28567 16735 387 42 0 22819 0
[pid=18236/tid=18238] ppid=18234 vsize=114268 CPUtime=342.13
/proc/18236/task/18238/stat : 18238 (ornithorynque) R 18234 18236 17683 0 -1 4194368 8908 0 0 0 34197 16 0 0 25 0 3 0 330958876 117010432 16735 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18236/tid=18239] ppid=18234 vsize=114268 CPUtime=340.75
/proc/18236/task/18239/stat : 18239 (ornithorynque) R 18234 18236 17683 0 -1 4194368 7260 0 0 0 34072 3 0 0 25 0 3 0 330958876 117010432 16735 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.95
Current children cumulated vsize (KiB) 114268

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 18239
/proc/meminfo: memFree=979848/2055920 swapFree=4183804/4192956
[pid=18236] ppid=18234 vsize=118496 CPUtime=802.67
/proc/18236/stat : 18236 (ornithorynque) S 18234 18236 17683 0 -1 4194304 18741 0 0 0 80244 23 0 0 18 0 3 0 330958869 121339904 17785 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 248770490235 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18236/statm: 29624 17785 387 42 0 23876 0
[pid=18236/tid=18238] ppid=18234 vsize=118496 CPUtime=402.11
/proc/18236/task/18238/stat : 18238 (ornithorynque) R 18234 18236 17683 0 -1 4194368 9958 0 0 0 40193 18 0 0 25 0 3 0 330958876 121339904 17785 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311174 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18236/tid=18239] ppid=18234 vsize=118496 CPUtime=400.49
/proc/18236/task/18239/stat : 18239 (ornithorynque) R 18234 18236 17683 0 -1 4194368 7260 0 0 0 40045 4 0 0 25 0 3 0 330958876 121339904 17785 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242595 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.67
Current children cumulated vsize (KiB) 118496

[startup+462.302 s]
/proc/loadavg: 2.11 2.00 1.92 3/73 18347
/proc/meminfo: memFree=969616/2055920 swapFree=4183804/4192956
[pid=18236] ppid=18234 vsize=130780 CPUtime=922.26
/proc/18236/stat : 18236 (ornithorynque) S 18234 18236 17683 0 -1 4194304 21755 0 0 0 92194 32 0 0 18 0 3 0 330958869 133918720 19964 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 248770490235 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18236/statm: 32695 19964 387 42 0 26947 0
[pid=18236/tid=18238] ppid=18234 vsize=130780 CPUtime=461.97
/proc/18236/task/18238/stat : 18238 (ornithorynque) R 18234 18236 17683 0 -1 4194368 11129 0 0 0 46177 20 0 0 25 0 3 0 330958876 133918720 19964 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242950 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18236/tid=18239] ppid=18234 vsize=130780 CPUtime=460.21
/proc/18236/task/18239/stat : 18239 (ornithorynque) R 18234 18236 17683 0 -1 4194368 9103 0 0 0 46010 11 0 0 25 0 3 0 330958876 133918720 19964 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.26
Current children cumulated vsize (KiB) 130780

[startup+522.302 s]
/proc/loadavg: 2.04 2.00 1.92 3/73 18417
/proc/meminfo: memFree=966104/2055920 swapFree=4183804/4192956
[pid=18236] ppid=18234 vsize=134876 CPUtime=1041.87
/proc/18236/stat : 18236 (ornithorynque) S 18234 18236 17683 0 -1 4194304 22664 0 0 0 104142 45 0 0 18 0 3 0 330958869 138113024 20873 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 248770490235 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18236/statm: 33719 20873 387 42 0 27971 0
[pid=18236/tid=18238] ppid=18234 vsize=134876 CPUtime=521.86
/proc/18236/task/18238/stat : 18238 (ornithorynque) R 18234 18236 17683 0 -1 4194368 12038 0 0 0 52164 22 0 0 25 0 3 0 330958876 138113024 20873 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18236/tid=18239] ppid=18234 vsize=134876 CPUtime=519.93
/proc/18236/task/18239/stat : 18239 (ornithorynque) R 18234 18236 17683 0 -1 4194368 9103 0 0 0 51972 21 0 0 25 0 3 0 330958876 138113024 20873 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240896 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.87
Current children cumulated vsize (KiB) 134876

[startup+582.301 s]
/proc/loadavg: 2.01 2.00 1.92 3/67 18437
/proc/meminfo: memFree=956744/2055920 swapFree=4183804/4192956
[pid=18236] ppid=18234 vsize=145616 CPUtime=1161.58
/proc/18236/stat : 18236 (ornithorynque) S 18234 18236 17683 0 -1 4194304 25542 0 0 0 116111 47 0 0 18 0 3 0 330958869 149110784 23488 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 248770490235 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18236/statm: 36404 23488 387 42 0 30656 0
[pid=18236/tid=18238] ppid=18234 vsize=145616 CPUtime=581.84
/proc/18236/task/18238/stat : 18238 (ornithorynque) R 18234 18236 17683 0 -1 4194368 12988 0 0 0 58160 24 0 0 25 0 3 0 330958876 149110784 23488 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311226 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18236/tid=18239] ppid=18234 vsize=145616 CPUtime=579.66
/proc/18236/task/18239/stat : 18239 (ornithorynque) R 18234 18236 17683 0 -1 4194368 11031 0 0 0 57944 22 0 0 25 0 3 0 330958876 149110784 23488 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241176 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.58
Current children cumulated vsize (KiB) 145616



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.601 s]
/proc/loadavg: 2.01 2.00 1.92 3/67 18437
/proc/meminfo: memFree=955464/2055920 swapFree=4183804/4192956
[pid=18236] ppid=18234 vsize=146640 CPUtime=1200.11
/proc/18236/stat : 18236 (ornithorynque) S 18234 18236 17683 0 -1 4194304 25845 0 0 0 119963 48 0 0 18 0 3 0 330958869 150159360 23791 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 248770490235 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18236/statm: 36660 23791 387 42 0 30912 0
[pid=18236/tid=18238] ppid=18234 vsize=146640 CPUtime=601.15
/proc/18236/task/18238/stat : 18238 (ornithorynque) R 18234 18236 17683 0 -1 4194368 13291 0 0 0 60090 25 0 0 25 0 3 0 330958876 150159360 23791 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18236/tid=18239] ppid=18234 vsize=146640 CPUtime=598.89
/proc/18236/task/18239/stat : 18239 (ornithorynque) R 18234 18236 17683 0 -1 4194368 11031 0 0 0 59867 22 0 0 25 0 3 0 330958876 150159360 23791 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4284334 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.11
Current children cumulated vsize (KiB) 146640

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.632
CPU time (s): 1200.15
CPU user time (s): 1199.65
CPU system time (s): 0.501923
CPU usage (%): 199.483
Max. virtual memory (cumulated for all children) (KiB): 146640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.65
system time used= 0.501923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25845
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= 73
involuntary context switches= 9617

runsolver used 0.436933 second user time and 1.77773 second system time

The end

Launcher Data (download as text)

Begin job on node55 on Mon Mar  5 15:53:44 UTC 2007

IDJOB= 328308
IDBENCH= 20216
IDSOLVER= 139
FILE ID= node55/328308-1173110024

PBS_JOBID= 4013894

Free space on /tmp= 66509 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  4819d89b7aa2a4346ffa426a3f09fe5c

RANDOM SEED= 328557602

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node55.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.247
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.247
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:       1050616 kB
Buffers:         34636 kB
Cached:         886656 kB
SwapCached:       3100 kB
Active:          28392 kB
Inactive:       902412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1050616 kB
SwapTotal:     4192956 kB
SwapFree:      4183804 kB
Dirty:             536 kB
Writeback:           0 kB
Mapped:          15624 kB
Slab:            60560 kB
Committed_AS:   952592 kB
PageTables:       1380 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= 66509 MiB

End job on node55 on Mon Mar  5 16:03:48 UTC 2007