Trace number 328261

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.12 601.533

General information on the benchmark

Namerandom/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S421554531-04.cnf
MD5SUMc5fd209011b2a02c2f80e5fa7741ee6e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark106.83
Satisfiable
(Un)Satisfiability was proved
Number of variables10000
Number of clauses42000
Sum of the clauses size126000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 342000
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.09/0.11	c ...done
0.09/0.11	c nbVar=10000 nbClause=42000
0.09/0.13	c nbVar=10000 nbClause=42000
0.09/0.17	c complete search running
0.09/0.17	c local search running
0.09/0.18	c flip 0 nbSat=36697 maxSat=0
0.22/0.27	c flip 10000 nbSat=40040 maxSat=40056
0.42/0.35	c flip 20000 nbSat=40606 maxSat=40608
0.62/0.43	c flip 30000 nbSat=40876 maxSat=40928
0.82/0.51	c flip 40000 nbSat=41051 maxSat=41070
0.82/0.59	c flip 50000 nbSat=41129 maxSat=41135
1.02/0.67	c flip 60000 nbSat=41139 maxSat=41172
1.22/0.75	c flip 70000 nbSat=41225 maxSat=41230
1.42/0.83	c flip 80000 nbSat=41207 maxSat=41257
1.62/0.91	c flip 90000 nbSat=41232 maxSat=41272
1.62/0.99	c flip 100000 nbSat=41296 maxSat=41333
1.83/1.07	c flip 110000 nbSat=41375 maxSat=41379
2.03/1.14	c flip 120000 nbSat=41355 maxSat=41439
2.22/1.22	c flip 130000 nbSat=41397 maxSat=41441
2.22/1.29	c flip 140000 nbSat=41387 maxSat=41441
2.42/1.37	c flip 150000 nbSat=41363 maxSat=41441
2.62/1.44	c flip 160000 nbSat=41366 maxSat=41441
2.82/1.52	c flip 170000 nbSat=41363 maxSat=41441
2.82/1.59	c flip 180000 nbSat=41368 maxSat=41441
3.02/1.67	c flip 190000 nbSat=41355 maxSat=41441
3.21/1.77	c flip 0 nbSat=37713 maxSat=41441
3.61/1.91	c flip 10000 nbSat=41165 maxSat=41441
3.81/2.05	c flip 20000 nbSat=41770 maxSat=41791
4.02/2.19	c flip 30000 nbSat=41995 maxSat=42015
4.41/2.34	c flip 40000 nbSat=42095 maxSat=42097
4.61/2.48	c flip 50000 nbSat=42187 maxSat=42212
5.01/2.62	c flip 60000 nbSat=42271 maxSat=42300
5.21/2.77	c flip 70000 nbSat=42307 maxSat=42340
5.61/2.91	c flip 80000 nbSat=42318 maxSat=42361
5.81/3.06	c flip 90000 nbSat=42286 maxSat=42378
6.01/3.20	c flip 100000 nbSat=42357 maxSat=42408
6.41/3.34	c flip 110000 nbSat=42350 maxSat=42408
6.60/3.49	c flip 120000 nbSat=42343 maxSat=42443
7.01/3.64	c flip 130000 nbSat=42421 maxSat=42447
7.21/3.78	c flip 140000 nbSat=42483 maxSat=42526
7.61/3.93	c flip 150000 nbSat=42462 maxSat=42526
7.81/4.07	c flip 160000 nbSat=42491 maxSat=42528
8.21/4.22	c flip 170000 nbSat=42470 maxSat=42532
8.41/4.37	c flip 180000 nbSat=42532 maxSat=42564
8.80/4.52	c flip 190000 nbSat=42533 maxSat=42581
9.20/4.70	c flip 0 nbSat=39386 maxSat=42581
9.60/4.95	c flip 10000 nbSat=42807 maxSat=42820
10.19/5.22	c flip 20000 nbSat=43459 maxSat=43495
10.79/5.52	c flip 30000 nbSat=43694 maxSat=43706
11.39/5.85	c flip 40000 nbSat=43786 maxSat=43836
11.98/6.18	c flip 50000 nbSat=43825 maxSat=43883
12.58/6.48	c flip 60000 nbSat=43952 maxSat=43967
13.18/6.77	c flip 70000 nbSat=43933 maxSat=43981
13.78/7.05	c flip 80000 nbSat=43967 maxSat=43981
14.38/7.32	c flip 90000 nbSat=43971 maxSat=43997
14.78/7.59	c flip 100000 nbSat=44019 maxSat=44058
15.38/7.88	c flip 110000 nbSat=44045 maxSat=44094
16.17/8.21	c flip 120000 nbSat=44033 maxSat=44094
16.77/8.50	c flip 130000 nbSat=44095 maxSat=44122
17.17/8.79	c flip 140000 nbSat=44078 maxSat=44153
17.77/9.08	c flip 150000 nbSat=44075 maxSat=44153
18.37/9.36	c flip 160000 nbSat=44121 maxSat=44153
18.96/9.64	c flip 170000 nbSat=44098 maxSat=44153
19.57/9.94	c flip 180000 nbSat=44063 maxSat=44153
20.16/10.22	c flip 190000 nbSat=44136 maxSat=44162
20.16/10.26	c nbDecision=10000 #clauses=47163
20.76/10.55	c flip 0 nbSat=41944 maxSat=44167
21.56/10.92	c flip 10000 nbSat=45359 maxSat=45361
22.35/11.34	c flip 20000 nbSat=45920 maxSat=45934
23.35/11.81	c flip 30000 nbSat=46128 maxSat=46168
24.34/12.35	c flip 40000 nbSat=46283 maxSat=46309
25.34/12.89	c flip 50000 nbSat=46366 maxSat=46405
26.35/13.37	c flip 60000 nbSat=46471 maxSat=46499
27.34/13.82	c flip 70000 nbSat=46515 maxSat=46556
28.35/14.33	c flip 80000 nbSat=46517 maxSat=46595
29.34/14.83	c flip 90000 nbSat=46588 maxSat=46624
30.34/15.35	c flip 100000 nbSat=46592 maxSat=46656
31.33/15.86	c flip 110000 nbSat=46650 maxSat=46661
32.33/16.39	c flip 120000 nbSat=46617 maxSat=46685
33.32/16.87	c flip 130000 nbSat=46665 maxSat=46698
34.33/17.39	c flip 140000 nbSat=46684 maxSat=46732
35.33/17.89	c flip 150000 nbSat=46626 maxSat=46732
36.33/18.39	c flip 160000 nbSat=46602 maxSat=46732
37.32/18.87	c flip 170000 nbSat=46642 maxSat=46732
38.32/19.37	c flip 180000 nbSat=46601 maxSat=46732
39.32/19.88	c flip 190000 nbSat=46650 maxSat=46732
40.51/20.46	c flip 0 nbSat=45255 maxSat=46732
41.91/21.13	c flip 10000 nbSat=48518 maxSat=48518
43.31/21.84	c flip 20000 nbSat=49086 maxSat=49099
44.90/22.61	c flip 30000 nbSat=49424 maxSat=49475
46.50/23.46	c flip 40000 nbSat=49614 maxSat=49626
48.29/24.38	c flip 50000 nbSat=49631 maxSat=49732
50.30/25.31	c flip 60000 nbSat=49704 maxSat=49744
51.89/26.18	c flip 70000 nbSat=49730 maxSat=49790
53.88/27.11	c flip 80000 nbSat=49775 maxSat=49790
55.48/27.98	c flip 90000 nbSat=49722 maxSat=49793
57.28/28.87	c flip 100000 nbSat=49725 maxSat=49793
59.27/29.82	c flip 110000 nbSat=49750 maxSat=49793
61.27/30.83	c flip 120000 nbSat=49783 maxSat=49826
63.06/31.72	c flip 130000 nbSat=49764 maxSat=49830
63.27/31.83	c nbDecision=20000 #clauses=53219
64.86/32.68	c flip 140000 nbSat=49818 maxSat=49852
66.86/33.64	c flip 150000 nbSat=49824 maxSat=49888
68.65/34.53	c flip 160000 nbSat=49833 maxSat=49888
70.65/35.54	c flip 170000 nbSat=49808 maxSat=49888
72.64/36.51	c flip 180000 nbSat=49844 maxSat=49888
74.45/37.46	c flip 190000 nbSat=49795 maxSat=49888
76.64/38.52	c flip 0 nbSat=49214 maxSat=49888
78.84/39.69	c flip 10000 nbSat=52582 maxSat=52597
81.42/40.95	c flip 20000 nbSat=53205 maxSat=53222
83.82/42.17	c flip 30000 nbSat=53472 maxSat=53474
86.61/43.51	c flip 40000 nbSat=53629 maxSat=53639
89.41/44.92	c flip 50000 nbSat=53668 maxSat=53700
92.40/46.40	c flip 60000 nbSat=53674 maxSat=53732
95.20/47.86	c flip 70000 nbSat=53785 maxSat=53787
97.79/49.15	c flip 80000 nbSat=53784 maxSat=53829
100.38/50.43	c flip 90000 nbSat=53776 maxSat=53873
102.98/51.76	c flip 100000 nbSat=53853 maxSat=53873
105.96/53.25	c flip 110000 nbSat=53868 maxSat=53907
108.95/54.77	c flip 120000 nbSat=53890 maxSat=53907
112.14/56.36	c flip 130000 nbSat=53929 maxSat=53964
115.14/57.86	c flip 140000 nbSat=53941 maxSat=53981
118.33/59.48	c flip 150000 nbSat=53914 maxSat=53981
121.72/61.19	c flip 160000 nbSat=53917 maxSat=53981
125.11/62.85	c flip 170000 nbSat=53943 maxSat=53987
125.71/63.18	c nbDecision=30000 #clauses=59174
128.31/64.46	c flip 180000 nbSat=53938 maxSat=53987
131.69/66.10	c flip 190000 nbSat=53939 maxSat=53987
135.10/67.81	c flip 0 nbSat=54978 maxSat=54015
138.89/69.77	c flip 10000 nbSat=58290 maxSat=58293
144.28/72.41	c flip 20000 nbSat=58850 maxSat=58866
149.27/74.95	c flip 30000 nbSat=59013 maxSat=59051
154.86/77.73	c flip 40000 nbSat=59150 maxSat=59171
160.85/80.77	c flip 50000 nbSat=59228 maxSat=59271
166.44/83.55	c flip 60000 nbSat=59333 maxSat=59344
172.22/86.42	c flip 70000 nbSat=59397 maxSat=59405
177.80/89.27	c flip 80000 nbSat=59363 maxSat=59419
184.00/92.34	c flip 90000 nbSat=59443 maxSat=59473
189.58/95.12	c flip 100000 nbSat=59392 maxSat=59479
195.36/98.05	c flip 110000 nbSat=59387 maxSat=59479
201.54/101.15	c flip 120000 nbSat=59389 maxSat=59479
207.73/104.23	c flip 130000 nbSat=59377 maxSat=59479
210.72/105.72	c nbDecision=40000 #clauses=65280
214.11/107.42	c flip 140000 nbSat=59427 maxSat=59479
220.30/110.51	c flip 150000 nbSat=59414 maxSat=59479
226.09/113.43	c flip 160000 nbSat=59425 maxSat=59479
231.87/116.30	c flip 170000 nbSat=59396 maxSat=59479
237.66/119.25	c flip 180000 nbSat=59418 maxSat=59479
244.05/122.48	c flip 190000 nbSat=59462 maxSat=59511
250.83/125.85	c flip 0 nbSat=62722 maxSat=59515
258.02/129.45	c flip 10000 nbSat=66081 maxSat=66082
265.81/133.34	c flip 20000 nbSat=66623 maxSat=66628
273.79/137.35	c flip 30000 nbSat=66897 maxSat=66901
282.36/141.60	c flip 40000 nbSat=67024 maxSat=67072
291.33/146.15	c flip 50000 nbSat=67133 maxSat=67148
301.71/151.30	c flip 60000 nbSat=67147 maxSat=67222
306.70/153.88	c nbDecision=50000 #clauses=71337
311.89/156.49	c flip 70000 nbSat=67232 maxSat=67268
322.27/161.64	c flip 80000 nbSat=67235 maxSat=67292
332.05/166.55	c flip 90000 nbSat=67214 maxSat=67292
342.04/171.52	c flip 100000 nbSat=67234 maxSat=67292
352.41/176.75	c flip 110000 nbSat=67259 maxSat=67292
362.59/181.84	c flip 120000 nbSat=67269 maxSat=67305
372.35/186.72	c flip 130000 nbSat=67293 maxSat=67334
382.92/192.02	c flip 140000 nbSat=67352 maxSat=67371
393.30/197.22	c flip 150000 nbSat=67349 maxSat=67380
403.28/202.26	c flip 160000 nbSat=67395 maxSat=67439
413.46/207.31	c flip 170000 nbSat=67348 maxSat=67439
419.65/210.41	c nbDecision=60000 #clauses=77553
423.04/212.17	c flip 180000 nbSat=67402 maxSat=67439
433.02/217.14	c flip 190000 nbSat=67303 maxSat=67439
443.79/222.51	c flip 0 nbSat=73255 maxSat=67439
453.58/227.40	c flip 10000 nbSat=76537 maxSat=76537
466.54/233.92	c flip 20000 nbSat=77195 maxSat=77210
481.50/241.44	c flip 30000 nbSat=77471 maxSat=77497
496.07/248.77	c flip 40000 nbSat=77559 maxSat=77633
511.05/256.20	c flip 50000 nbSat=77660 maxSat=77703
526.21/263.88	c flip 60000 nbSat=77744 maxSat=77746
540.78/271.10	c flip 70000 nbSat=77740 maxSat=77773
556.94/279.24	c flip 80000 nbSat=77796 maxSat=77812
562.92/282.21	c nbDecision=70000 #clauses=83585
571.30/286.43	c flip 90000 nbSat=77774 maxSat=77822
586.06/293.82	c flip 100000 nbSat=77774 maxSat=77829
601.43/301.52	c flip 110000 nbSat=77783 maxSat=77877
617.80/309.80	c flip 120000 nbSat=77894 maxSat=77915
635.16/318.45	c flip 130000 nbSat=77851 maxSat=77943
651.12/326.40	c flip 140000 nbSat=77869 maxSat=77945
666.88/334.31	c flip 150000 nbSat=77877 maxSat=77945
683.25/342.55	c flip 160000 nbSat=77881 maxSat=77945
700.01/350.97	c flip 170000 nbSat=77888 maxSat=77945
712.99/357.42	c nbDecision=80000 #clauses=89872
716.57/359.28	c flip 180000 nbSat=77870 maxSat=77945
732.14/367.06	c flip 190000 nbSat=77912 maxSat=77945
748.69/375.35	c flip 0 nbSat=86131 maxSat=77981
764.06/383.08	c flip 10000 nbSat=89408 maxSat=89414
783.42/392.79	c flip 20000 nbSat=89946 maxSat=89956
803.77/402.93	c flip 30000 nbSat=90188 maxSat=90234
824.72/413.42	c flip 40000 nbSat=90347 maxSat=90368
846.67/424.47	c flip 50000 nbSat=90443 maxSat=90460
868.62/435.46	c flip 60000 nbSat=90545 maxSat=90563
878.41/440.34	c nbDecision=90000 #clauses=95959
890.58/446.49	c flip 70000 nbSat=90600 maxSat=90612
913.52/457.96	c flip 80000 nbSat=90561 maxSat=90638
939.65/471.08	c flip 90000 nbSat=90610 maxSat=90678
963.22/482.81	c flip 100000 nbSat=90673 maxSat=90689
988.35/495.46	c flip 110000 nbSat=90631 maxSat=90721
1013.90/508.27	c flip 120000 nbSat=90685 maxSat=90721
1036.03/519.35	c nbDecision=100000 #clauses=101980
1041.03/521.89	c flip 130000 nbSat=90662 maxSat=90722
1068.17/535.42	c flip 140000 nbSat=90610 maxSat=90722
1096.10/549.40	c flip 150000 nbSat=90725 maxSat=90739
1123.64/563.22	c flip 160000 nbSat=90642 maxSat=90739
1130.03/566.40	c nbDecision=110000 #clauses=107885
1148.38/575.69	c flip 170000 nbSat=90662 maxSat=90739
1173.73/588.37	c flip 180000 nbSat=90711 maxSat=90739

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/node68/watcher-328261-1173109495 -o ROOT/results/node68/solver-328261-1173109495 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328261-1173109495/ornithorynque /tmp/evaluation/328261-1173109495/instance-328261-1173109495.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.97 1.91 3/64 19986
/proc/meminfo: memFree=1324896/2055920 swapFree=4183224/4192956
[pid=19986] ppid=19984 vsize=23220 CPUtime=0
/proc/19986/stat : 19986 (ornithorynque) R 19984 19986 19477 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 330907102 23777280 266 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257411812625 0 0 4096 0 0 0 0 17 1 0 0
/proc/19986/statm: 5805 266 219 42 0 45 0

[startup+0.0433089 s]
/proc/loadavg: 1.83 1.97 1.91 3/64 19986
/proc/meminfo: memFree=1324896/2055920 swapFree=4183224/4192956
[pid=19986] ppid=19984 vsize=24624 CPUtime=0.03
/proc/19986/stat : 19986 (ornithorynque) R 19984 19986 19477 0 -1 4194304 815 0 0 0 3 0 0 0 18 0 1 0 330907102 25214976 776 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257414304481 0 0 4096 1088 0 0 0 17 1 0 0
/proc/19986/statm: 6156 776 377 42 0 408 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 24624

[startup+0.101315 s]
/proc/loadavg: 1.83 1.97 1.91 3/64 19986
/proc/meminfo: memFree=1324896/2055920 swapFree=4183224/4192956
[pid=19986] ppid=19984 vsize=26856 CPUtime=0.09
/proc/19986/stat : 19986 (ornithorynque) R 19984 19986 19477 0 -1 4194304 1421 0 0 0 9 0 0 0 18 0 1 0 330907102 27500544 1284 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257414304481 0 0 4096 1088 0 0 0 17 1 0 0
/proc/19986/statm: 6714 1285 377 42 0 966 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26856

[startup+0.301341 s]
/proc/loadavg: 1.83 1.97 1.91 3/64 19986
/proc/meminfo: memFree=1324896/2055920 swapFree=4183224/4192956
[pid=19986] ppid=19984 vsize=52384 CPUtime=0.42
/proc/19986/stat : 19986 (ornithorynque) S 19984 19986 19477 0 -1 4194304 2757 0 0 0 41 1 0 0 18 0 3 0 330907102 53641216 2480 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/19986/statm: 13096 2480 387 42 0 7348 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 52384

[startup+0.701377 s]
/proc/loadavg: 1.83 1.97 1.91 3/64 19986
/proc/meminfo: memFree=1324896/2055920 swapFree=4183224/4192956
[pid=19986] ppid=19984 vsize=52516 CPUtime=1.22
/proc/19986/stat : 19986 (ornithorynque) S 19984 19986 19477 0 -1 4194304 2791 0 0 0 121 1 0 0 18 0 3 0 330907102 53776384 2514 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/19986/statm: 13129 2514 387 42 0 7381 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 52516

[startup+1.50145 s]
/proc/loadavg: 1.83 1.97 1.91 3/67 19989
/proc/meminfo: memFree=1316040/2055920 swapFree=4183224/4192956
[pid=19986] ppid=19984 vsize=52908 CPUtime=2.82
/proc/19986/stat : 19986 (ornithorynque) S 19984 19986 19477 0 -1 4194304 2876 0 0 0 281 1 0 0 18 0 3 0 330907102 54177792 2599 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/19986/statm: 13227 2599 387 42 0 7479 0
[pid=19986/tid=19988] ppid=19984 vsize=52908 CPUtime=1.32
/proc/19986/task/19988/stat : 19988 (ornithorynque) R 19984 19986 19477 0 -1 4194368 187 0 0 0 132 0 0 0 25 0 3 0 330907119 54177792 2599 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257414304481 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=19986/tid=19989] ppid=19984 vsize=52908 CPUtime=1.32
/proc/19986/task/19989/stat : 19989 (ornithorynque) R 19984 19986 19477 0 -1 4194368 2 0 0 0 132 0 0 0 25 0 3 0 330907119 54177792 2599 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241162 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 52908

[startup+3.10259 s]
/proc/loadavg: 1.85 1.97 1.91 3/67 19989
/proc/meminfo: memFree=1314184/2055920 swapFree=4183224/4192956
[pid=19986] ppid=19984 vsize=54892 CPUtime=6.01
/proc/19986/stat : 19986 (ornithorynque) S 19984 19986 19477 0 -1 4194304 3321 0 0 0 600 1 0 0 18 0 3 0 330907102 56209408 3044 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/19986/statm: 13723 3044 387 42 0 7975 0
[pid=19986/tid=19988] ppid=19984 vsize=54892 CPUtime=2.92
/proc/19986/task/19988/stat : 19988 (ornithorynque) R 19984 19986 19477 0 -1 4194368 309 0 0 0 292 0 0 0 25 0 3 0 330907119 56209408 3044 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=19986/tid=19989] ppid=19984 vsize=54892 CPUtime=2.91
/proc/19986/task/19989/stat : 19989 (ornithorynque) R 19984 19986 19477 0 -1 4194368 325 0 0 0 291 0 0 0 25 0 3 0 330907119 56209408 3044 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285990 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 54892

[startup+6.30188 s]
/proc/loadavg: 1.85 1.97 1.91 3/67 19989
/proc/meminfo: memFree=1310800/2055920 swapFree=4183224/4192956
[pid=19986] ppid=19984 vsize=58028 CPUtime=12.38
/proc/19986/stat : 19986 (ornithorynque) S 19984 19986 19477 0 -1 4194304 4150 0 0 0 1236 2 0 0 18 0 3 0 330907102 59420672 3873 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/19986/statm: 14507 3873 387 42 0 8759 0
[pid=19986/tid=19988] ppid=19984 vsize=58028 CPUtime=6.12
/proc/19986/task/19988/stat : 19988 (ornithorynque) R 19984 19986 19477 0 -1 4194368 602 0 0 0 611 1 0 0 25 0 3 0 330907119 59420672 3873 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=19986/tid=19989] ppid=19984 vsize=58028 CPUtime=6.09
/proc/19986/task/19989/stat : 19989 (ornithorynque) R 19984 19986 19477 0 -1 4194368 861 0 0 0 609 0 0 0 25 0 3 0 330907119 59420672 3873 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283762 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 58028

[startup+12.7025 s]
/proc/loadavg: 1.87 1.97 1.91 3/67 19989
/proc/meminfo: memFree=1305360/2055920 swapFree=4183224/4192956
[pid=19986] ppid=19984 vsize=63308 CPUtime=25.14
/proc/19986/stat : 19986 (ornithorynque) S 19984 19986 19477 0 -1 4194304 5460 0 0 0 2511 3 0 0 18 0 3 0 330907102 64827392 5183 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/19986/statm: 15827 5183 387 42 0 10079 0
[pid=19986/tid=19988] ppid=19984 vsize=63308 CPUtime=12.51
/proc/19986/task/19988/stat : 19988 (ornithorynque) R 19984 19986 19477 0 -1 4194368 1108 0 0 0 1250 1 0 0 25 0 3 0 330907119 64827392 5183 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=19986/tid=19989] ppid=19984 vsize=63308 CPUtime=12.45
/proc/19986/task/19989/stat : 19989 (ornithorynque) R 19984 19986 19477 0 -1 4194368 1665 0 0 0 1244 1 0 0 25 0 3 0 330907119 64827392 5183 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242179 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 63308

[startup+25.5017 s]
/proc/loadavg: 1.89 1.97 1.91 3/67 19989
/proc/meminfo: memFree=1298384/2055920 swapFree=4183224/4192956
[pid=19986] ppid=19984 vsize=70456 CPUtime=50.69
/proc/19986/stat : 19986 (ornithorynque) S 19984 19986 19477 0 -1 4194304 7185 0 0 0 5063 6 0 0 18 0 3 0 330907102 72146944 6908 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/19986/statm: 17614 6908 387 42 0 11866 0
[pid=19986/tid=19988] ppid=19984 vsize=70456 CPUtime=25.31
/proc/19986/task/19988/stat : 19988 (ornithorynque) R 19984 19986 19477 0 -1 4194368 1858 0 0 0 2528 3 0 0 25 0 3 0 330907119 72146944 6908 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311145 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=19986/tid=19989] ppid=19984 vsize=70456 CPUtime=25.2
/proc/19986/task/19989/stat : 19989 (ornithorynque) R 19984 19986 19477 0 -1 4194368 2640 0 0 0 2519 1 0 0 25 0 3 0 330907119 72146944 6908 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242179 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 70456

[startup+51.1019 s]
/proc/loadavg: 1.93 1.97 1.91 3/67 19989
/proc/meminfo: memFree=1288912/2055920 swapFree=4183224/4192956
[pid=19986] ppid=19984 vsize=81584 CPUtime=101.77
/proc/19986/stat : 19986 (ornithorynque) S 19984 19986 19477 0 -1 4194304 9545 0 0 0 10169 8 0 0 18 0 3 0 330907102 83542016 9268 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/19986/statm: 20396 9268 387 42 0 14648 0
[pid=19986/tid=19988] ppid=19984 vsize=81584 CPUtime=50.91
/proc/19986/task/19988/stat : 19988 (ornithorynque) R 19984 19986 19477 0 -1 4194368 2423 0 0 0 5086 5 0 0 25 0 3 0 330907119 83542016 9268 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311123 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=19986/tid=19989] ppid=19984 vsize=81584 CPUtime=50.69
/proc/19986/task/19989/stat : 19989 (ornithorynque) R 19984 19986 19477 0 -1 4194368 4435 0 0 0 5067 2 0 0 25 0 3 0 330907119 83542016 9268 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 81584

[startup+102.306 s]
/proc/loadavg: 1.97 1.97 1.91 3/67 19989
/proc/meminfo: memFree=1276752/2055920 swapFree=4183224/4192956
[pid=19986] ppid=19984 vsize=94924 CPUtime=203.94
/proc/19986/stat : 19986 (ornithorynque) S 19984 19986 19477 0 -1 4194304 12544 0 0 0 20384 10 0 0 18 0 3 0 330907102 97202176 12267 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/19986/statm: 23731 12267 387 42 0 17983 0
[pid=19986/tid=19988] ppid=19984 vsize=94924 CPUtime=102.09
/proc/19986/task/19988/stat : 19988 (ornithorynque) R 19984 19986 19477 0 -1 4194368 2720 0 0 0 10204 5 0 0 25 0 3 0 330907119 97202176 12267 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=19986/tid=19989] ppid=19984 vsize=94924 CPUtime=101.66
/proc/19986/task/19989/stat : 19989 (ornithorynque) R 19984 19986 19477 0 -1 4194368 7137 0 0 0 10163 3 0 0 25 0 3 0 330907119 97202176 12267 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.94
Current children cumulated vsize (KiB) 94924

[startup+162.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 19989
/proc/meminfo: memFree=1264720/2055920 swapFree=4183224/4192956
[pid=19986] ppid=19984 vsize=108760 CPUtime=323.66
/proc/19986/stat : 19986 (ornithorynque) S 19984 19986 19477 0 -1 4194304 15807 0 0 0 32354 12 0 0 18 0 3 0 330907102 111370240 15272 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/19986/statm: 27190 15272 387 42 0 21442 0
[pid=19986/tid=19988] ppid=19984 vsize=108760 CPUtime=162.07
/proc/19986/task/19988/stat : 19988 (ornithorynque) R 19984 19986 19477 0 -1 4194368 3442 0 0 0 16201 6 0 0 25 0 3 0 330907119 111370240 15272 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=19986/tid=19989] ppid=19984 vsize=108760 CPUtime=161.4
/proc/19986/task/19989/stat : 19989 (ornithorynque) R 19984 19986 19477 0 -1 4194368 9678 0 0 0 16136 4 0 0 25 0 3 0 330907119 111370240 15272 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242647 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.66
Current children cumulated vsize (KiB) 108760

[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 19989
/proc/meminfo: memFree=1259856/2055920 swapFree=4183224/4192956
[pid=19986] ppid=19984 vsize=113524 CPUtime=443.39
/proc/19986/stat : 19986 (ornithorynque) S 19984 19986 19477 0 -1 4194304 17008 0 0 0 44325 14 0 0 18 0 3 0 330907102 116248576 16473 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/19986/statm: 28381 16473 387 42 0 22633 0
[pid=19986/tid=19988] ppid=19984 vsize=113524 CPUtime=222.06
/proc/19986/task/19988/stat : 19988 (ornithorynque) R 19984 19986 19477 0 -1 4194368 4643 0 0 0 22198 8 0 0 25 0 3 0 330907119 116248576 16473 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311137 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=19986/tid=19989] ppid=19984 vsize=113524 CPUtime=221.15
/proc/19986/task/19989/stat : 19989 (ornithorynque) R 19984 19986 19477 0 -1 4194368 9678 0 0 0 22111 4 0 0 25 0 3 0 330907119 116248576 16473 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.39
Current children cumulated vsize (KiB) 113524

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 19989
/proc/meminfo: memFree=1245520/2055920 swapFree=4183224/4192956
[pid=19986] ppid=19984 vsize=130652 CPUtime=563.12
/proc/19986/stat : 19986 (ornithorynque) S 19984 19986 19477 0 -1 4194304 20608 0 0 0 56296 16 0 0 18 0 3 0 330907102 133787648 20073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/19986/statm: 32663 20073 387 42 0 26915 0
[pid=19986/tid=19988] ppid=19984 vsize=130652 CPUtime=282.04
/proc/19986/task/19988/stat : 19988 (ornithorynque) R 19984 19986 19477 0 -1 4194368 5362 0 0 0 28196 8 0 0 25 0 3 0 330907119 133787648 20073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311279 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=19986/tid=19989] ppid=19984 vsize=130652 CPUtime=280.9
/proc/19986/task/19989/stat : 19989 (ornithorynque) R 19984 19986 19477 0 -1 4194368 12559 0 0 0 28084 6 0 0 25 0 3 0 330907119 133787648 20073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.12
Current children cumulated vsize (KiB) 130652

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 19989
/proc/meminfo: memFree=1241616/2055920 swapFree=4183224/4192956
[pid=19986] ppid=19984 vsize=134808 CPUtime=682.85
/proc/19986/stat : 19986 (ornithorynque) S 19984 19986 19477 0 -1 4194304 21662 0 0 0 68267 18 0 0 18 0 3 0 330907102 138043392 21045 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/19986/statm: 33702 21045 387 42 0 27954 0
[pid=19986/tid=19988] ppid=19984 vsize=134808 CPUtime=342.02
/proc/19986/task/19988/stat : 19988 (ornithorynque) R 19984 19986 19477 0 -1 4194368 6416 0 0 0 34192 10 0 0 25 0 3 0 330907119 138043392 21045 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=19986/tid=19989] ppid=19984 vsize=134808 CPUtime=340.64
/proc/19986/task/19989/stat : 19989 (ornithorynque) R 19984 19986 19477 0 -1 4194368 12559 0 0 0 34058 6 0 0 25 0 3 0 330907119 138043392 21045 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241583 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.85
Current children cumulated vsize (KiB) 134808

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 19989
/proc/meminfo: memFree=1223120/2055920 swapFree=4183224/4192956
[pid=19986] ppid=19984 vsize=157728 CPUtime=802.58
/proc/19986/stat : 19986 (ornithorynque) S 19984 19986 19477 0 -1 4194304 26315 0 0 0 80237 21 0 0 18 0 3 0 330907102 161513472 25659 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/19986/statm: 39432 25659 387 42 0 33684 0
[pid=19986/tid=19988] ppid=19984 vsize=157728 CPUtime=402.01
/proc/19986/task/19988/stat : 19988 (ornithorynque) R 19984 19986 19477 0 -1 4194368 7008 0 0 0 40190 11 0 0 25 0 3 0 330907119 161513472 25659 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238100 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=19986/tid=19989] ppid=19984 vsize=157728 CPUtime=400.38
/proc/19986/task/19989/stat : 19989 (ornithorynque) R 19984 19986 19477 0 -1 4194368 16620 0 0 0 40030 8 0 0 25 0 3 0 330907119 161513472 25659 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.58
Current children cumulated vsize (KiB) 157728

[startup+462.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 19989
/proc/meminfo: memFree=1220688/2055920 swapFree=4183224/4192956
[pid=19986] ppid=19984 vsize=160104 CPUtime=922.3
/proc/19986/stat : 19986 (ornithorynque) S 19984 19986 19477 0 -1 4194304 26923 0 0 0 92208 22 0 0 18 0 3 0 330907102 163946496 26267 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/19986/statm: 40026 26267 387 42 0 34278 0
[pid=19986/tid=19988] ppid=19984 vsize=160104 CPUtime=461.99
/proc/19986/task/19988/stat : 19988 (ornithorynque) R 19984 19986 19477 0 -1 4194368 7616 0 0 0 46187 12 0 0 25 0 3 0 330907119 163946496 26267 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311229 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=19986/tid=19989] ppid=19984 vsize=160104 CPUtime=460.12
/proc/19986/task/19989/stat : 19989 (ornithorynque) R 19984 19986 19477 0 -1 4194368 16620 0 0 0 46004 8 0 0 25 0 3 0 330907119 163946496 26267 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.3
Current children cumulated vsize (KiB) 160104

[startup+522.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 19989
/proc/meminfo: memFree=1216528/2055920 swapFree=4183224/4192956
[pid=19986] ppid=19984 vsize=164296 CPUtime=1042.03
/proc/19986/stat : 19986 (ornithorynque) S 19984 19986 19477 0 -1 4194304 27972 0 0 0 104179 24 0 0 18 0 3 0 330907102 168239104 27316 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/19986/statm: 41074 27316 387 42 0 35326 0
[pid=19986/tid=19988] ppid=19984 vsize=164296 CPUtime=521.97
/proc/19986/task/19988/stat : 19988 (ornithorynque) R 19984 19986 19477 0 -1 4194368 8665 0 0 0 52184 13 0 0 25 0 3 0 330907119 168239104 27316 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=19986/tid=19989] ppid=19984 vsize=164296 CPUtime=519.87
/proc/19986/task/19989/stat : 19989 (ornithorynque) R 19984 19986 19477 0 -1 4194368 16620 0 0 0 51978 9 0 0 25 0 3 0 330907119 168239104 27316 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.03
Current children cumulated vsize (KiB) 164296

[startup+582.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 19989
/proc/meminfo: memFree=1211536/2055920 swapFree=4183224/4192956
[pid=19986] ppid=19984 vsize=169168 CPUtime=1161.75
/proc/19986/stat : 19986 (ornithorynque) S 19984 19986 19477 0 -1 4194304 29200 0 0 0 116150 25 0 0 18 0 3 0 330907102 173228032 28544 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/19986/statm: 42292 28544 387 42 0 36544 0
[pid=19986/tid=19988] ppid=19984 vsize=169168 CPUtime=581.96
/proc/19986/task/19988/stat : 19988 (ornithorynque) R 19984 19986 19477 0 -1 4194368 9893 0 0 0 58181 15 0 0 25 0 3 0 330907119 173228032 28544 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=19986/tid=19989] ppid=19984 vsize=169168 CPUtime=579.61
/proc/19986/task/19989/stat : 19989 (ornithorynque) R 19984 19986 19477 0 -1 4194368 16620 0 0 0 57952 9 0 0 25 0 3 0 330907119 173228032 28544 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.75
Current children cumulated vsize (KiB) 169168



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.503 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 19989
/proc/meminfo: memFree=1210128/2055920 swapFree=4183224/4192956
[pid=19986] ppid=19984 vsize=170484 CPUtime=1200.08
/proc/19986/stat : 19986 (ornithorynque) S 19984 19986 19477 0 -1 4194304 29538 0 0 0 119982 26 0 0 18 0 3 0 330907102 174575616 28882 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/19986/statm: 42621 28882 387 42 0 36873 0
[pid=19986/tid=19988] ppid=19984 vsize=170484 CPUtime=601.17
/proc/19986/task/19988/stat : 19988 (ornithorynque) R 19984 19986 19477 0 -1 4194368 10231 0 0 0 60101 16 0 0 25 0 3 0 330907119 174575616 28882 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311267 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=19986/tid=19989] ppid=19984 vsize=170484 CPUtime=598.73
/proc/19986/task/19989/stat : 19989 (ornithorynque) R 19984 19986 19477 0 -1 4194368 16620 0 0 0 59864 9 0 0 25 0 3 0 330907119 174575616 28882 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 170484

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

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

[startup+601.503 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 19989
/proc/meminfo: memFree=1210128/2055920 swapFree=4183224/4192956
[pid=19986] ppid=19984 vsize=170484 CPUtime=1200.08
/proc/19986/stat : 19986 (ornithorynque) S 19984 19986 19477 0 -1 4194304 29538 0 0 0 119982 26 0 0 18 0 3 0 330907102 174575616 28882 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/19986/statm: 42621 28882 387 42 0 36873 0
[pid=19986/tid=19988] ppid=19984 vsize=170484 CPUtime=601.17
/proc/19986/task/19988/stat : 19988 (ornithorynque) R 19984 19986 19477 0 -1 4194368 10231 0 0 0 60101 16 0 0 25 0 3 0 330907119 174575616 28882 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311267 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=19986/tid=19989] ppid=19984 vsize=170484 CPUtime=598.73
/proc/19986/task/19989/stat : 19989 (ornithorynque) R 19984 19986 19477 0 -1 4194368 16620 0 0 0 59864 9 0 0 25 0 3 0 330907119 174575616 28882 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 170484

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.533
CPU time (s): 1200.12
CPU user time (s): 1199.83
CPU system time (s): 0.281957
CPU usage (%): 199.51
Max. virtual memory (cumulated for all children) (KiB): 170484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.83
system time used= 0.281957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29538
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= 68
involuntary context switches= 9265

runsolver used 0.564914 second user time and 1.65175 second system time

The end

Launcher Data (download as text)

Begin job on node68 on Mon Mar  5 15:44:55 UTC 2007

IDJOB= 328261
IDBENCH= 20169
IDSOLVER= 139
FILE ID= node68/328261-1173109495

PBS_JOBID= 4013910

Free space on /tmp= 66446 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/3SAT/v10000/unif-k3-r4.2-v10000-c42000-S421554531-04.cnf
COMMAND LINE= /tmp/evaluation/328261-1173109495/ornithorynque /tmp/evaluation/328261-1173109495/instance-328261-1173109495.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node68/watcher-328261-1173109495 -o ROOT/results/node68/solver-328261-1173109495 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328261-1173109495/ornithorynque /tmp/evaluation/328261-1173109495/instance-328261-1173109495.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  c5fd209011b2a02c2f80e5fa7741ee6e

RANDOM SEED= 702094243

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node68.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.234
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.234
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:       1325240 kB
Buffers:         40684 kB
Cached:         600208 kB
SwapCached:       3680 kB
Active:         193848 kB
Inactive:       456556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1325240 kB
SwapTotal:     4192956 kB
SwapFree:      4183224 kB
Dirty:            1008 kB
Writeback:           0 kB
Mapped:          15536 kB
Slab:            66388 kB
Committed_AS:   826932 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= 66446 MiB

End job on node68 on Mon Mar  5 15:54:58 UTC 2007