Trace number 328306

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.13 601.627

General information on the benchmark

Namerandom/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S152598520-02-SAT.cnf
MD5SUM00293343f58b96b091c585953d0e06f9
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.995848
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.00/0.06	c complete search running
0.00/0.06	c local search running
0.00/0.07	c flip 0 nbSat=14473 maxSat=0
0.12/0.12	c flip 10000 nbSat=16848 maxSat=16853
0.12/0.17	c flip 20000 nbSat=17049 maxSat=17065
0.32/0.22	c flip 30000 nbSat=17115 maxSat=17126
0.32/0.27	c flip 40000 nbSat=17145 maxSat=17159
0.52/0.31	c flip 50000 nbSat=17164 maxSat=17171
0.52/0.36	c flip 60000 nbSat=17168 maxSat=17179
0.72/0.41	c flip 70000 nbSat=17183 maxSat=17184
0.72/0.45	c flip 80000 nbSat=17174 maxSat=17184
0.92/0.50	c flip 90000 nbSat=17176 maxSat=17184
0.92/0.55	c flip 100000 nbSat=17173 maxSat=17191
0.92/0.59	c flip 110000 nbSat=17173 maxSat=17191
1.12/0.64	c flip 120000 nbSat=17174 maxSat=17191
1.32/0.70	c flip 0 nbSat=15593 maxSat=17192
1.32/0.77	c flip 10000 nbSat=18013 maxSat=18015
1.52/0.85	c flip 20000 nbSat=18109 maxSat=18124
1.72/0.92	c flip 30000 nbSat=18169 maxSat=18176
1.72/0.99	c flip 40000 nbSat=18207 maxSat=18221
1.92/1.06	c flip 50000 nbSat=18213 maxSat=18236
2.12/1.13	c flip 60000 nbSat=18221 maxSat=18247
2.32/1.20	c flip 70000 nbSat=18234 maxSat=18251
2.32/1.27	c flip 80000 nbSat=18256 maxSat=18263
2.51/1.34	c flip 90000 nbSat=18244 maxSat=18263
2.71/1.42	c flip 100000 nbSat=18255 maxSat=18271
2.71/1.49	c flip 110000 nbSat=18249 maxSat=18271
2.91/1.56	c flip 120000 nbSat=18249 maxSat=18277
3.12/1.64	c flip 0 nbSat=17191 maxSat=18277
3.32/1.75	c flip 10000 nbSat=19497 maxSat=19505
3.52/1.86	c flip 20000 nbSat=19655 maxSat=19687
3.72/1.97	c flip 30000 nbSat=19731 maxSat=19743
3.92/2.07	c flip 40000 nbSat=19742 maxSat=19773
4.12/2.17	c flip 50000 nbSat=19780 maxSat=19800
4.32/2.29	c flip 60000 nbSat=19807 maxSat=19812
4.52/2.39	c flip 70000 nbSat=19795 maxSat=19829
4.91/2.50	c flip 80000 nbSat=19812 maxSat=19833
5.11/2.61	c flip 90000 nbSat=19805 maxSat=19837
5.31/2.72	c flip 100000 nbSat=19810 maxSat=19837
5.51/2.83	c flip 110000 nbSat=19824 maxSat=19837
5.71/2.94	c flip 120000 nbSat=19828 maxSat=19838
5.91/3.06	c flip 0 nbSat=19224 maxSat=19841
6.31/3.22	c flip 10000 nbSat=21536 maxSat=21550
6.52/3.38	c flip 20000 nbSat=21736 maxSat=21742
6.91/3.54	c flip 30000 nbSat=21780 maxSat=21804
7.30/3.72	c flip 40000 nbSat=21814 maxSat=21842
7.50/3.89	c flip 50000 nbSat=21826 maxSat=21847
7.70/3.91	c nbDecision=10000 #clauses=23091
7.90/4.04	c flip 60000 nbSat=21840 maxSat=21852
8.30/4.20	c flip 70000 nbSat=21849 maxSat=21862
8.50/4.35	c flip 80000 nbSat=21835 maxSat=21864
8.91/4.52	c flip 90000 nbSat=21841 maxSat=21869
9.10/4.69	c flip 100000 nbSat=21843 maxSat=21875
9.50/4.86	c flip 110000 nbSat=21861 maxSat=21875
9.90/5.02	c flip 120000 nbSat=21861 maxSat=21883
10.30/5.22	c flip 0 nbSat=21760 maxSat=21886
10.71/5.47	c flip 10000 nbSat=23990 maxSat=24005
11.29/5.77	c flip 20000 nbSat=24155 maxSat=24196
11.89/6.03	c flip 30000 nbSat=24226 maxSat=24231
12.29/6.27	c flip 40000 nbSat=24234 maxSat=24254
12.89/6.53	c flip 50000 nbSat=24243 maxSat=24276
13.49/6.82	c flip 60000 nbSat=24246 maxSat=24276
13.88/7.06	c flip 70000 nbSat=24255 maxSat=24285
14.48/7.34	c flip 80000 nbSat=24290 maxSat=24298
15.08/7.61	c flip 90000 nbSat=24297 maxSat=24311
15.48/7.88	c flip 100000 nbSat=24287 maxSat=24311
16.08/8.11	c flip 110000 nbSat=24303 maxSat=24311
16.48/8.35	c flip 120000 nbSat=24289 maxSat=24313
17.08/8.61	c flip 0 nbSat=24840 maxSat=24313
17.87/9.00	c flip 10000 nbSat=27184 maxSat=27196
18.68/9.42	c flip 20000 nbSat=27350 maxSat=27376
19.47/9.85	c flip 30000 nbSat=27427 maxSat=27449
20.46/10.33	c flip 40000 nbSat=27458 maxSat=27479
20.66/10.41	c nbDecision=20000 #clauses=29347
21.26/10.77	c flip 50000 nbSat=27471 maxSat=27496
22.07/11.18	c flip 60000 nbSat=27517 maxSat=27524
23.06/11.66	c flip 70000 nbSat=27526 maxSat=27537
24.06/12.10	c flip 80000 nbSat=27510 maxSat=27540
24.85/12.54	c flip 90000 nbSat=27510 maxSat=27540
25.85/13.01	c flip 100000 nbSat=27534 maxSat=27551
26.65/13.47	c flip 110000 nbSat=27534 maxSat=27551
27.65/13.92	c flip 120000 nbSat=27526 maxSat=27551
28.45/14.37	c flip 0 nbSat=29712 maxSat=27551
29.64/14.92	c flip 10000 nbSat=32079 maxSat=32084
30.85/15.50	c flip 20000 nbSat=32301 maxSat=32309
32.23/16.20	c flip 30000 nbSat=32363 maxSat=32370
33.64/16.98	c flip 40000 nbSat=32382 maxSat=32390
35.43/17.84	c flip 50000 nbSat=32411 maxSat=32428
36.83/18.55	c flip 60000 nbSat=32432 maxSat=32440
37.23/18.71	c nbDecision=30000 #clauses=35571
38.42/19.31	c flip 70000 nbSat=32433 maxSat=32449
40.02/20.14	c flip 80000 nbSat=32435 maxSat=32456
41.62/20.91	c flip 90000 nbSat=32431 maxSat=32456
43.01/21.67	c flip 100000 nbSat=32433 maxSat=32456
44.81/22.53	c flip 110000 nbSat=32437 maxSat=32456
46.41/23.34	c flip 120000 nbSat=32438 maxSat=32460
48.21/24.21	c flip 0 nbSat=35782 maxSat=32460
50.00/25.16	c flip 10000 nbSat=38235 maxSat=38237
52.19/26.25	c flip 20000 nbSat=38395 maxSat=38402
54.59/27.45	c flip 30000 nbSat=38480 maxSat=38496
56.98/28.68	c flip 40000 nbSat=38510 maxSat=38528
59.39/29.82	c flip 50000 nbSat=38518 maxSat=38544
60.58/30.46	c nbDecision=40000 #clauses=41900
61.78/31.04	c flip 60000 nbSat=38548 maxSat=38555
64.17/32.28	c flip 70000 nbSat=38549 maxSat=38557
66.56/33.41	c flip 80000 nbSat=38540 maxSat=38563
69.16/34.73	c flip 90000 nbSat=38523 maxSat=38563
71.35/35.87	c flip 100000 nbSat=38557 maxSat=38564
73.94/37.15	c flip 110000 nbSat=38562 maxSat=38568
76.54/38.44	c flip 120000 nbSat=38560 maxSat=38575
79.34/39.80	c flip 0 nbSat=43196 maxSat=38577
82.33/41.30	c flip 10000 nbSat=45589 maxSat=45599
86.32/43.34	c flip 20000 nbSat=45729 maxSat=45782
87.12/43.79	c nbDecision=50000 #clauses=48288
89.92/45.14	c flip 30000 nbSat=45825 maxSat=45845
93.51/46.90	c flip 40000 nbSat=45875 maxSat=45876
96.89/48.63	c flip 50000 nbSat=45870 maxSat=45900
101.10/50.73	c flip 60000 nbSat=45852 maxSat=45900
104.88/52.64	c flip 70000 nbSat=45877 maxSat=45900
108.07/54.26	c flip 80000 nbSat=45914 maxSat=45919
111.45/55.99	c flip 90000 nbSat=45918 maxSat=45935
115.64/58.04	c flip 100000 nbSat=45911 maxSat=45938
119.43/59.95	c flip 110000 nbSat=45919 maxSat=45938
123.03/61.77	c flip 120000 nbSat=45920 maxSat=45938
126.62/63.50	c flip 0 nbSat=50977 maxSat=45940
129.62/65.07	c nbDecision=60000 #clauses=54540
130.01/65.28	c flip 10000 nbSat=53307 maxSat=53315
135.40/67.93	c flip 20000 nbSat=53497 maxSat=53507
141.39/70.91	c flip 30000 nbSat=53553 maxSat=53579
147.38/73.96	c flip 40000 nbSat=53606 maxSat=53614
153.16/76.82	c flip 50000 nbSat=53611 maxSat=53639
158.16/79.35	c flip 60000 nbSat=53624 maxSat=53647
160.55/80.58	c nbDecision=70000 #clauses=60727
163.34/81.90	c flip 70000 nbSat=53655 maxSat=53658
168.93/84.72	c flip 80000 nbSat=53634 maxSat=53663
174.11/87.36	c flip 90000 nbSat=53647 maxSat=53663
180.90/90.77	c flip 100000 nbSat=53655 maxSat=53671
186.89/93.75	c flip 110000 nbSat=53664 maxSat=53674
193.09/96.83	c flip 120000 nbSat=53669 maxSat=53678
195.67/98.11	c nbDecision=80000 #clauses=67245
198.46/99.52	c flip 0 nbSat=64703 maxSat=53682
203.84/102.23	c flip 10000 nbSat=67121 maxSat=67141
211.41/106.01	c flip 20000 nbSat=67274 maxSat=67303
219.80/110.25	c flip 30000 nbSat=67340 maxSat=67352
227.79/114.23	c flip 40000 nbSat=67369 maxSat=67392
233.77/117.24	c nbDecision=90000 #clauses=73646
235.77/118.21	c flip 50000 nbSat=67399 maxSat=67420
242.35/121.56	c flip 60000 nbSat=67379 maxSat=67423
249.74/125.28	c flip 70000 nbSat=67403 maxSat=67427
257.72/129.27	c flip 80000 nbSat=67424 maxSat=67434
265.91/133.36	c flip 90000 nbSat=67425 maxSat=67443
273.49/137.10	c flip 100000 nbSat=67426 maxSat=67451
275.09/137.90	c nbDecision=100000 #clauses=80081
282.47/141.66	c flip 110000 nbSat=67438 maxSat=67453
291.23/146.03	c flip 120000 nbSat=67431 maxSat=67453
298.81/149.81	c flip 0 nbSat=80195 maxSat=67453
307.80/154.35	c flip 10000 nbSat=82619 maxSat=82622
317.98/159.41	c flip 20000 nbSat=82780 maxSat=82789
325.96/163.40	c nbDecision=110000 #clauses=86563
327.96/164.45	c flip 30000 nbSat=82869 maxSat=82879
337.14/169.03	c flip 40000 nbSat=82848 maxSat=82885
346.31/173.60	c flip 50000 nbSat=82868 maxSat=82907
354.30/177.64	c flip 60000 nbSat=82882 maxSat=82913
362.29/181.60	c flip 70000 nbSat=82914 maxSat=82932
371.08/186.09	c flip 80000 nbSat=82910 maxSat=82934
380.43/190.73	c flip 90000 nbSat=82915 maxSat=82934
381.23/191.13	c nbDecision=120000 #clauses=93046
390.01/195.58	c flip 100000 nbSat=82918 maxSat=82935
399.19/200.11	c flip 110000 nbSat=82914 maxSat=82940
408.56/204.89	c flip 120000 nbSat=82925 maxSat=82940
416.76/208.91	c flip 0 nbSat=94078 maxSat=82940
427.53/214.39	c flip 10000 nbSat=96531 maxSat=96560
435.91/218.53	c nbDecision=130000 #clauses=99438
444.69/222.95	c flip 20000 nbSat=96721 maxSat=96752
461.85/231.55	c flip 30000 nbSat=96798 maxSat=96817
476.61/238.99	c flip 40000 nbSat=96855 maxSat=96866
493.38/247.33	c flip 50000 nbSat=96861 maxSat=96872
499.76/250.50	c nbDecision=140000 #clauses=105973
513.53/257.42	c flip 60000 nbSat=96871 maxSat=96899
534.09/267.70	c flip 70000 nbSat=96875 maxSat=96899
551.25/276.33	c flip 80000 nbSat=96895 maxSat=96907
552.05/276.79	c nbDecision=150000 #clauses=112430
571.19/286.30	c flip 90000 nbSat=96881 maxSat=96908
588.75/295.19	c flip 100000 nbSat=96886 maxSat=96908
607.11/304.31	c nbDecision=160000 #clauses=119082
607.71/304.68	c flip 110000 nbSat=96896 maxSat=96913
624.68/313.17	c flip 120000 nbSat=96891 maxSat=96913
643.25/322.42	c flip 0 nbSat=119732 maxSat=96918
656.79/329.24	c flip 10000 nbSat=122134 maxSat=122159
673.36/337.56	c flip 20000 nbSat=122346 maxSat=122357
675.75/338.77	c nbDecision=170000 #clauses=125552
692.92/347.34	c flip 30000 nbSat=122365 maxSat=122389
712.68/357.25	c flip 40000 nbSat=122406 maxSat=122414
723.26/362.50	c nbDecision=180000 #clauses=131540
732.83/367.39	c flip 50000 nbSat=122394 maxSat=122423
751.97/376.97	c flip 60000 nbSat=122442 maxSat=122452
758.16/380.05	c nbDecision=190000 #clauses=137755
772.74/387.37	c flip 70000 nbSat=122433 maxSat=122452
794.09/398.00	c nbDecision=200000 #clauses=144106
794.09/398.09	c flip 80000 nbSat=122427 maxSat=122470
813.45/407.77	c flip 90000 nbSat=122440 maxSat=122470
834.59/418.36	c flip 100000 nbSat=122454 maxSat=122470
854.94/428.59	c flip 110000 nbSat=122453 maxSat=122472
872.51/437.38	c nbDecision=210000 #clauses=150540
876.70/439.40	c flip 120000 nbSat=122457 maxSat=122473
899.78/451.04	c flip 0 nbSat=150676 maxSat=122473
918.71/460.52	c flip 10000 nbSat=152977 maxSat=152988
930.66/466.51	c nbDecision=220000 #clauses=157097
946.00/474.27	c flip 20000 nbSat=153214 maxSat=153237
975.92/489.24	c flip 30000 nbSat=153258 maxSat=153304
997.05/499.85	c nbDecision=230000 #clauses=163645
1003.62/503.10	c flip 40000 nbSat=153283 maxSat=153319
1031.92/517.39	c flip 50000 nbSat=153330 maxSat=153341
1058.05/530.43	c nbDecision=240000 #clauses=170054
1062.61/532.70	c flip 60000 nbSat=153312 maxSat=153361
1093.34/548.11	c flip 70000 nbSat=153376 maxSat=153390
1124.66/563.85	c flip 80000 nbSat=153385 maxSat=153406
1131.84/567.41	c nbDecision=250000 #clauses=176785
1156.99/580.08	c flip 90000 nbSat=153382 maxSat=153414
1184.73/593.90	c flip 100000 nbSat=153409 maxSat=153429

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/node67/watcher-328306-1173110014 -o ROOT/results/node67/solver-328306-1173110014 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328306-1173110014/ornithorynque /tmp/evaluation/328306-1173110014/instance-328306-1173110014.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.91 1.95 1.90 3/64 14972
/proc/meminfo: memFree=644472/2055920 swapFree=4183980/4192956
[pid=14972] ppid=14970 vsize=23220 CPUtime=0
/proc/14972/stat : 14972 (ornithorynque) R 14970 14972 14419 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 330959020 23777280 266 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271635746065 0 0 4096 0 0 0 0 17 1 0 0
/proc/14972/statm: 5805 266 219 42 0 45 0

[startup+0.103135 s]
/proc/loadavg: 1.91 1.95 1.90 3/64 14972
/proc/meminfo: memFree=644472/2055920 swapFree=4183980/4192956
[pid=14972] ppid=14970 vsize=48060 CPUtime=0.12
/proc/14972/stat : 14972 (ornithorynque) S 14970 14972 14419 0 -1 4194304 1553 0 0 0 12 0 0 0 18 0 3 0 330959020 49213440 1449 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14972/statm: 12015 1449 387 42 0 6267 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 48060

[startup+0.201145 s]
/proc/loadavg: 1.91 1.95 1.90 3/64 14972
/proc/meminfo: memFree=644472/2055920 swapFree=4183980/4192956
[pid=14972] ppid=14970 vsize=48060 CPUtime=0.32
/proc/14972/stat : 14972 (ornithorynque) S 14970 14972 14419 0 -1 4194304 1555 0 0 0 32 0 0 0 18 0 3 0 330959020 49213440 1451 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14972/statm: 12015 1451 387 42 0 6267 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 48060

[startup+0.30115 s]
/proc/loadavg: 1.91 1.95 1.90 3/64 14972
/proc/meminfo: memFree=644472/2055920 swapFree=4183980/4192956
[pid=14972] ppid=14970 vsize=48060 CPUtime=0.52
/proc/14972/stat : 14972 (ornithorynque) S 14970 14972 14419 0 -1 4194304 1561 0 0 0 52 0 0 0 18 0 3 0 330959020 49213440 1457 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14972/statm: 12015 1457 387 42 0 6267 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 48060

[startup+0.701196 s]
/proc/loadavg: 1.91 1.95 1.90 3/64 14972
/proc/meminfo: memFree=644472/2055920 swapFree=4183980/4192956
[pid=14972] ppid=14970 vsize=49508 CPUtime=1.32
/proc/14972/stat : 14972 (ornithorynque) S 14970 14972 14419 0 -1 4194304 1669 0 0 0 132 0 0 0 18 0 3 0 330959020 50696192 1565 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14972/statm: 12377 1565 387 42 0 6629 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 49508

[startup+1.50127 s]
/proc/loadavg: 1.91 1.95 1.90 3/67 14975
/proc/meminfo: memFree=639392/2055920 swapFree=4183980/4192956
[pid=14972] ppid=14970 vsize=49508 CPUtime=2.91
/proc/14972/stat : 14972 (ornithorynque) S 14970 14972 14419 0 -1 4194304 1762 0 0 0 291 0 0 0 18 0 3 0 330959020 50696192 1658 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14972/statm: 12377 1658 387 42 0 6629 0
[pid=14972/tid=14974] ppid=14970 vsize=49508 CPUtime=1.42
/proc/14972/task/14974/stat : 14974 (ornithorynque) R 14970 14972 14419 0 -1 4194368 174 0 0 0 142 0 0 0 25 0 3 0 330959027 50696192 1658 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14972/tid=14975] ppid=14970 vsize=49508 CPUtime=1.42
/proc/14972/task/14975/stat : 14975 (ornithorynque) R 14970 14972 14419 0 -1 4194368 65 0 0 0 142 0 0 0 24 0 3 0 330959027 50696192 1658 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) 49508

[startup+3.10145 s]
/proc/loadavg: 1.91 1.95 1.90 3/67 14975
/proc/meminfo: memFree=638496/2055920 swapFree=4183980/4192956
[pid=14972] ppid=14970 vsize=50168 CPUtime=6.11
/proc/14972/stat : 14972 (ornithorynque) S 14970 14972 14419 0 -1 4194304 2100 0 0 0 610 1 0 0 18 0 3 0 330959020 51372032 1996 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14972/statm: 12542 1996 387 42 0 6794 0
[pid=14972/tid=14974] ppid=14970 vsize=50168 CPUtime=3.02
/proc/14972/task/14974/stat : 14974 (ornithorynque) R 14970 14972 14419 0 -1 4194368 327 0 0 0 302 0 0 0 25 0 3 0 330959027 51372032 1996 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311226 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14972/tid=14975] ppid=14970 vsize=50168 CPUtime=3.02
/proc/14972/task/14975/stat : 14975 (ornithorynque) R 14970 14972 14419 0 -1 4194368 250 0 0 0 302 0 0 0 25 0 3 0 330959027 51372032 1996 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241510 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 50168

[startup+6.30278 s]
/proc/loadavg: 1.92 1.95 1.90 3/67 14975
/proc/meminfo: memFree=636456/2055920 swapFree=4183980/4192956
[pid=14972] ppid=14970 vsize=51728 CPUtime=12.49
/proc/14972/stat : 14972 (ornithorynque) S 14970 14972 14419 0 -1 4194304 2471 0 0 0 1247 2 0 0 18 0 3 0 330959020 52969472 2367 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14972/statm: 12932 2367 387 42 0 7184 0
[pid=14972/tid=14974] ppid=14970 vsize=51728 CPUtime=6.22
/proc/14972/task/14974/stat : 14974 (ornithorynque) R 14970 14972 14419 0 -1 4194368 566 0 0 0 622 0 0 0 25 0 3 0 330959027 52969472 2367 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311456 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14972/tid=14975] ppid=14970 vsize=51728 CPUtime=6.19
/proc/14972/task/14975/stat : 14975 (ornithorynque) R 14970 14972 14419 0 -1 4194368 382 0 0 0 619 0 0 0 25 0 3 0 330959027 52969472 2367 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 51728

[startup+12.7014 s]
/proc/loadavg: 1.93 1.95 1.90 3/67 14975
/proc/meminfo: memFree=634024/2055920 swapFree=4183980/4192956
[pid=14972] ppid=14970 vsize=54456 CPUtime=25.25
/proc/14972/stat : 14972 (ornithorynque) S 14970 14972 14419 0 -1 4194304 3022 0 0 0 2522 3 0 0 18 0 3 0 330959020 55762944 2918 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14972/statm: 13614 2918 387 42 0 7866 0
[pid=14972/tid=14974] ppid=14970 vsize=54456 CPUtime=12.61
/proc/14972/task/14974/stat : 14974 (ornithorynque) R 14970 14972 14419 0 -1 4194368 959 0 0 0 1260 1 0 0 25 0 3 0 330959027 55762944 2918 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14972/tid=14975] ppid=14970 vsize=54456 CPUtime=12.55
/proc/14972/task/14975/stat : 14975 (ornithorynque) R 14970 14972 14419 0 -1 4194368 540 0 0 0 1255 0 0 0 25 0 3 0 330959027 55762944 2918 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241026 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 54456

[startup+25.5018 s]
/proc/loadavg: 1.94 1.96 1.91 3/67 14975
/proc/meminfo: memFree=629288/2055920 swapFree=4183980/4192956
[pid=14972] ppid=14970 vsize=59760 CPUtime=50.79
/proc/14972/stat : 14972 (ornithorynque) S 14970 14972 14419 0 -1 4194304 4359 0 0 0 5075 4 0 0 18 0 3 0 330959020 61194240 4091 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14972/statm: 14940 4091 387 42 0 9192 0
[pid=14972/tid=14974] ppid=14970 vsize=59760 CPUtime=25.41
/proc/14972/task/14974/stat : 14974 (ornithorynque) R 14970 14972 14419 0 -1 4194368 1643 0 0 0 2539 2 0 0 25 0 3 0 330959027 61194240 4091 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238096 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14972/tid=14975] ppid=14970 vsize=59760 CPUtime=25.3
/proc/14972/task/14975/stat : 14975 (ornithorynque) R 14970 14972 14419 0 -1 4194368 1193 0 0 0 2530 0 0 0 25 0 3 0 330959027 61194240 4091 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 59760

[startup+51.1014 s]
/proc/loadavg: 1.96 1.96 1.91 3/67 14975
/proc/meminfo: memFree=624104/2055920 swapFree=4183980/4192956
[pid=14972] ppid=14970 vsize=65324 CPUtime=101.89
/proc/14972/stat : 14972 (ornithorynque) S 14970 14972 14419 0 -1 4194304 5669 0 0 0 10182 7 0 0 18 0 3 0 330959020 66891776 5401 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14972/statm: 16331 5401 387 42 0 10583 0
[pid=14972/tid=14974] ppid=14970 vsize=65324 CPUtime=51.01
/proc/14972/task/14974/stat : 14974 (ornithorynque) R 14970 14972 14419 0 -1 4194368 2581 0 0 0 5096 5 0 0 25 0 3 0 330959027 66891776 5401 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311432 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14972/tid=14975] ppid=14970 vsize=65324 CPUtime=50.8
/proc/14972/task/14975/stat : 14975 (ornithorynque) R 14970 14972 14419 0 -1 4194368 1565 0 0 0 5079 1 0 0 25 0 3 0 330959027 66891776 5401 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283714 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 65324

[startup+102.302 s]
/proc/loadavg: 1.98 1.96 1.91 3/67 14975
/proc/meminfo: memFree=614376/2055920 swapFree=4183980/4192956
[pid=14972] ppid=14970 vsize=75624 CPUtime=204.04
/proc/14972/stat : 14972 (ornithorynque) S 14970 14972 14419 0 -1 4194304 8330 0 0 0 20395 9 0 0 18 0 3 0 330959020 77438976 7804 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14972/statm: 18906 7804 387 42 0 13158 0
[pid=14972/tid=14974] ppid=14970 vsize=75624 CPUtime=102.19
/proc/14972/task/14974/stat : 14974 (ornithorynque) R 14970 14972 14419 0 -1 4194368 3971 0 0 0 10213 6 0 0 25 0 3 0 330959027 77438976 7804 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14972/tid=14975] ppid=14970 vsize=75624 CPUtime=101.76
/proc/14972/task/14975/stat : 14975 (ornithorynque) R 14970 14972 14419 0 -1 4194368 2836 0 0 0 10175 1 0 0 25 0 3 0 330959027 77438976 7804 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241539 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.04
Current children cumulated vsize (KiB) 75624

[startup+162.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 14975
/proc/meminfo: memFree=605608/2055920 swapFree=4183980/4192956
[pid=14972] ppid=14970 vsize=84680 CPUtime=323.77
/proc/14972/stat : 14972 (ornithorynque) S 14970 14972 14419 0 -1 4194304 10586 0 0 0 32365 12 0 0 18 0 3 0 330959020 86712320 9992 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14972/statm: 21170 9992 387 42 0 15422 0
[pid=14972/tid=14974] ppid=14970 vsize=84680 CPUtime=162.18
/proc/14972/task/14974/stat : 14974 (ornithorynque) R 14970 14972 14419 0 -1 4194368 5378 0 0 0 16209 9 0 0 25 0 3 0 330959027 86712320 9992 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14972/tid=14975] ppid=14970 vsize=84680 CPUtime=161.5
/proc/14972/task/14975/stat : 14975 (ornithorynque) R 14970 14972 14419 0 -1 4194368 3685 0 0 0 16149 1 0 0 25 0 3 0 330959027 86712320 9992 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241648 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.77
Current children cumulated vsize (KiB) 84680

[startup+222.305 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 14975
/proc/meminfo: memFree=598248/2055920 swapFree=4183980/4192956
[pid=14972] ppid=14970 vsize=93020 CPUtime=443.5
/proc/14972/stat : 14972 (ornithorynque) S 14970 14972 14419 0 -1 4194304 12467 0 0 0 44335 15 0 0 18 0 3 0 330959020 95252480 11807 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14972/statm: 23255 11807 387 42 0 17507 0
[pid=14972/tid=14974] ppid=14970 vsize=93020 CPUtime=222.17
/proc/14972/task/14974/stat : 14974 (ornithorynque) R 14970 14972 14419 0 -1 4194368 6498 0 0 0 22205 12 0 0 25 0 3 0 330959027 95252480 11807 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4312032 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14972/tid=14975] ppid=14970 vsize=93020 CPUtime=221.25
/proc/14972/task/14975/stat : 14975 (ornithorynque) R 14970 14972 14419 0 -1 4194368 4446 0 0 0 22124 1 0 0 25 0 3 0 330959027 95252480 11807 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240896 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.5
Current children cumulated vsize (KiB) 93020

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 14975
/proc/meminfo: memFree=594024/2055920 swapFree=4183980/4192956
[pid=14972] ppid=14970 vsize=97248 CPUtime=563.21
/proc/14972/stat : 14972 (ornithorynque) S 14970 14972 14419 0 -1 4194304 13520 0 0 0 56303 18 0 0 18 0 3 0 330959020 99581952 12860 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14972/statm: 24312 12860 387 42 0 18564 0
[pid=14972/tid=14974] ppid=14970 vsize=97248 CPUtime=282.15
/proc/14972/task/14974/stat : 14974 (ornithorynque) R 14970 14972 14419 0 -1 4194368 7551 0 0 0 28200 15 0 0 25 0 3 0 330959027 99581952 12860 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311101 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14972/tid=14975] ppid=14970 vsize=97248 CPUtime=280.99
/proc/14972/task/14975/stat : 14975 (ornithorynque) R 14970 14972 14419 0 -1 4194368 4446 0 0 0 28097 2 0 0 25 0 3 0 330959027 99581952 12860 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.21
Current children cumulated vsize (KiB) 97248

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 14975
/proc/meminfo: memFree=584808/2055920 swapFree=4183980/4192956
[pid=14972] ppid=14970 vsize=108016 CPUtime=682.94
/proc/14972/stat : 14972 (ornithorynque) S 14970 14972 14419 0 -1 4194304 15974 0 0 0 68273 21 0 0 18 0 3 0 330959020 110608384 15167 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14972/statm: 27004 15167 387 42 0 21256 0
[pid=14972/tid=14974] ppid=14970 vsize=108016 CPUtime=342.13
/proc/14972/task/14974/stat : 14974 (ornithorynque) R 14970 14972 14419 0 -1 4194368 8681 0 0 0 34196 17 0 0 25 0 3 0 330959027 110608384 15167 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14972/tid=14975] ppid=14970 vsize=108016 CPUtime=340.73
/proc/14972/task/14975/stat : 14975 (ornithorynque) R 14970 14972 14419 0 -1 4194368 5770 0 0 0 34071 2 0 0 25 0 3 0 330959027 110608384 15167 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.94
Current children cumulated vsize (KiB) 108016

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 14975
/proc/meminfo: memFree=579368/2055920 swapFree=4183980/4192956
[pid=14972] ppid=14970 vsize=114832 CPUtime=802.68
/proc/14972/stat : 14972 (ornithorynque) S 14970 14972 14419 0 -1 4194304 17739 0 0 0 80243 25 0 0 18 0 3 0 330959020 117587968 16540 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14972/statm: 28708 16540 387 42 0 22960 0
[pid=14972/tid=14974] ppid=14970 vsize=114832 CPUtime=402.12
/proc/14972/task/14974/stat : 14974 (ornithorynque) R 14970 14972 14419 0 -1 4194368 10446 0 0 0 40191 21 0 0 25 0 3 0 330959027 117587968 16540 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14972/tid=14975] ppid=14970 vsize=114832 CPUtime=400.47
/proc/14972/task/14975/stat : 14975 (ornithorynque) R 14970 14972 14419 0 -1 4194368 5770 0 0 0 40045 2 0 0 25 0 3 0 330959027 117587968 16540 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242187 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.68
Current children cumulated vsize (KiB) 114832

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 15049
/proc/meminfo: memFree=568352/2055920 swapFree=4183980/4192956
[pid=14972] ppid=14970 vsize=126228 CPUtime=922.29
/proc/14972/stat : 14972 (ornithorynque) S 14970 14972 14419 0 -1 4194304 20484 0 0 0 92198 31 0 0 18 0 3 0 330959020 129257472 18929 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14972/statm: 31557 18929 387 42 0 25809 0
[pid=14972/tid=14974] ppid=14970 vsize=126228 CPUtime=462.02
/proc/14972/task/14974/stat : 14974 (ornithorynque) R 14970 14972 14419 0 -1 4194368 11233 0 0 0 46179 23 0 0 25 0 3 0 330959027 129257472 18929 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242869 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14972/tid=14975] ppid=14970 vsize=126228 CPUtime=460.2
/proc/14972/task/14975/stat : 14975 (ornithorynque) R 14970 14972 14419 0 -1 4194368 7728 0 0 0 46013 7 0 0 25 0 3 0 330959027 129257472 18929 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241190 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.29
Current children cumulated vsize (KiB) 126228

[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 15147
/proc/meminfo: memFree=564456/2055920 swapFree=4183980/4192956
[pid=14972] ppid=14970 vsize=129300 CPUtime=1041.89
/proc/14972/stat : 14972 (ornithorynque) S 14970 14972 14419 0 -1 4194304 21458 0 0 0 104145 44 0 0 18 0 3 0 330959020 132403200 19903 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14972/statm: 32325 19903 387 42 0 26577 0
[pid=14972/tid=14974] ppid=14970 vsize=129300 CPUtime=521.88
/proc/14972/task/14974/stat : 14974 (ornithorynque) R 14970 14972 14419 0 -1 4194368 12207 0 0 0 52163 25 0 0 25 0 3 0 330959027 132403200 19903 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14972/tid=14975] ppid=14970 vsize=129300 CPUtime=519.92
/proc/14972/task/14975/stat : 14975 (ornithorynque) R 14970 14972 14419 0 -1 4194368 7728 0 0 0 51975 17 0 0 25 0 3 0 330959027 132403200 19903 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242432 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.89
Current children cumulated vsize (KiB) 129300

[startup+582.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 15173
/proc/meminfo: memFree=561832/2055920 swapFree=4183980/4192956
[pid=14972] ppid=14970 vsize=133396 CPUtime=1161.57
/proc/14972/stat : 14972 (ornithorynque) S 14970 14972 14419 0 -1 4194304 22389 0 0 0 116110 47 0 0 18 0 3 0 330959020 136597504 20834 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14972/statm: 33349 20834 387 42 0 27601 0
[pid=14972/tid=14974] ppid=14970 vsize=133396 CPUtime=581.84
/proc/14972/task/14974/stat : 14974 (ornithorynque) R 14970 14972 14419 0 -1 4194368 13138 0 0 0 58156 28 0 0 25 0 3 0 330959027 136597504 20834 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4289062 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14972/tid=14975] ppid=14970 vsize=133396 CPUtime=579.66
/proc/14972/task/14975/stat : 14975 (ornithorynque) R 14970 14972 14419 0 -1 4194368 7728 0 0 0 57948 18 0 0 25 0 3 0 330959027 136597504 20834 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241172 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.57
Current children cumulated vsize (KiB) 133396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.601 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 15173
/proc/meminfo: memFree=560744/2055920 swapFree=4183980/4192956
[pid=14972] ppid=14970 vsize=134420 CPUtime=1200.09
/proc/14972/stat : 14972 (ornithorynque) S 14970 14972 14419 0 -1 4194304 22658 0 0 0 119961 48 0 0 18 0 3 0 330959020 137646080 21103 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14972/statm: 33605 21103 387 42 0 27857 0
[pid=14972/tid=14974] ppid=14970 vsize=134420 CPUtime=601.14
/proc/14972/task/14974/stat : 14974 (ornithorynque) R 14970 14972 14419 0 -1 4194368 13407 0 0 0 60085 29 0 0 25 0 3 0 330959027 137646080 21103 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311145 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14972/tid=14975] ppid=14970 vsize=134420 CPUtime=598.87
/proc/14972/task/14975/stat : 14975 (ornithorynque) R 14970 14972 14419 0 -1 4194368 7728 0 0 0 59869 18 0 0 25 0 3 0 330959027 137646080 21103 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283718 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 134420

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

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

[startup+601.601 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 15173
/proc/meminfo: memFree=560744/2055920 swapFree=4183980/4192956
[pid=14972] ppid=14970 vsize=134420 CPUtime=1200.09
/proc/14972/stat : 14972 (ornithorynque) S 14970 14972 14419 0 -1 4194304 22658 0 0 0 119961 48 0 0 18 0 3 0 330959020 137646080 21103 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14972/statm: 33605 21103 387 42 0 27857 0
[pid=14972/tid=14974] ppid=14970 vsize=134420 CPUtime=601.14
/proc/14972/task/14974/stat : 14974 (ornithorynque) R 14970 14972 14419 0 -1 4194368 13407 0 0 0 60085 29 0 0 25 0 3 0 330959027 137646080 21103 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311145 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14972/tid=14975] ppid=14970 vsize=134420 CPUtime=598.87
/proc/14972/task/14975/stat : 14975 (ornithorynque) R 14970 14972 14419 0 -1 4194368 7728 0 0 0 59869 18 0 0 25 0 3 0 330959027 137646080 21103 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283718 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 134420

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.627
CPU time (s): 1200.13
CPU user time (s): 1199.63
CPU system time (s): 0.502923
CPU usage (%): 199.481
Max. virtual memory (cumulated for all children) (KiB): 134420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.63
system time used= 0.502923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22658
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= 18
involuntary context switches= 9550

runsolver used 0.422935 second user time and 1.78973 second system time

The end

Launcher Data (download as text)

Begin job on node67 on Mon Mar  5 15:53:34 UTC 2007

IDJOB= 328306
IDBENCH= 20214
IDSOLVER= 139
FILE ID= node67/328306-1173110014

PBS_JOBID= 4013893

Free space on /tmp= 66549 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  00293343f58b96b091c585953d0e06f9

RANDOM SEED= 868796231

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node67.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        644944 kB
Buffers:         49908 kB
Cached:        1263192 kB
SwapCached:       3312 kB
Active:         813784 kB
Inactive:       509296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        644944 kB
SwapTotal:     4192956 kB
SwapFree:      4183980 kB
Dirty:             592 kB
Writeback:           0 kB
Mapped:          15612 kB
Slab:            73876 kB
Committed_AS:   874612 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= 66549 MiB

End job on node67 on Mon Mar  5 16:03:38 UTC 2007