Trace number 328287

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.17 601.641

General information on the benchmark

Namerandom/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S295096144-05.cnf
MD5SUMcde497b3d0f6b21ffcb2bc97cd2a2b18
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables13000
Number of clauses54600
Sum of the clauses size163800
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 354600
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.09/0.14	c ...done
0.09/0.14	c nbVar=13000 nbClause=54600
0.09/0.18	c nbVar=13000 nbClause=54600
0.19/0.23	c complete search running
0.19/0.23	c local search running
0.19/0.24	c flip 0 nbSat=47793 maxSat=0
0.36/0.34	c flip 10000 nbSat=51754 maxSat=51760
0.56/0.44	c flip 20000 nbSat=52642 maxSat=52644
0.76/0.53	c flip 30000 nbSat=53000 maxSat=53009
0.95/0.62	c flip 40000 nbSat=53218 maxSat=53250
1.15/0.71	c flip 50000 nbSat=53320 maxSat=53343
1.35/0.80	c flip 60000 nbSat=53354 maxSat=53402
1.35/0.89	c flip 70000 nbSat=53483 maxSat=53486
1.55/0.98	c flip 80000 nbSat=53512 maxSat=53556
1.76/1.07	c flip 90000 nbSat=53553 maxSat=53597
1.96/1.16	c flip 100000 nbSat=53573 maxSat=53613
2.15/1.24	c flip 110000 nbSat=53628 maxSat=53633
2.35/1.33	c flip 120000 nbSat=53616 maxSat=53667
2.55/1.41	c flip 130000 nbSat=53685 maxSat=53710
2.55/1.50	c flip 140000 nbSat=53698 maxSat=53730
2.75/1.58	c flip 150000 nbSat=53702 maxSat=53732
2.95/1.67	c flip 160000 nbSat=53689 maxSat=53758
3.15/1.75	c flip 170000 nbSat=53694 maxSat=53758
3.35/1.83	c flip 180000 nbSat=53753 maxSat=53822
3.55/1.92	c flip 190000 nbSat=53762 maxSat=53822
3.75/2.00	c flip 200000 nbSat=53739 maxSat=53822
3.75/2.08	c flip 210000 nbSat=53708 maxSat=53822
3.95/2.17	c flip 220000 nbSat=53770 maxSat=53822
4.15/2.26	c flip 230000 nbSat=53807 maxSat=53847
4.34/2.34	c flip 240000 nbSat=53807 maxSat=53864
4.54/2.42	c flip 250000 nbSat=53759 maxSat=53864
4.74/2.53	c flip 0 nbSat=48877 maxSat=53864
4.95/2.67	c flip 10000 nbSat=52839 maxSat=53864
5.35/2.81	c flip 20000 nbSat=53633 maxSat=53864
5.55/2.96	c flip 30000 nbSat=54060 maxSat=54081
5.95/3.11	c flip 40000 nbSat=54177 maxSat=54261
6.15/3.27	c flip 50000 nbSat=54292 maxSat=54329
6.54/3.42	c flip 60000 nbSat=54405 maxSat=54437
6.74/3.57	c flip 70000 nbSat=54457 maxSat=54503
7.14/3.72	c flip 80000 nbSat=54606 maxSat=54610
7.34/3.87	c flip 90000 nbSat=54576 maxSat=54629
7.74/4.02	c flip 100000 nbSat=54644 maxSat=54688
7.94/4.17	c flip 110000 nbSat=54730 maxSat=54757
8.35/4.33	c flip 120000 nbSat=54729 maxSat=54789
8.55/4.48	c flip 130000 nbSat=54723 maxSat=54789
8.94/4.63	c flip 140000 nbSat=54780 maxSat=54807
9.14/4.78	c flip 150000 nbSat=54817 maxSat=54852
9.54/4.93	c flip 160000 nbSat=54791 maxSat=54852
9.74/5.07	c flip 170000 nbSat=54789 maxSat=54852
10.14/5.22	c flip 180000 nbSat=54758 maxSat=54852
10.34/5.37	c flip 190000 nbSat=54768 maxSat=54852
10.74/5.52	c flip 200000 nbSat=54819 maxSat=54852
10.93/5.67	c flip 210000 nbSat=54835 maxSat=54863
11.33/5.82	c flip 220000 nbSat=54853 maxSat=54904
11.53/5.97	c flip 230000 nbSat=54863 maxSat=54904
11.93/6.12	c flip 240000 nbSat=54829 maxSat=54904
12.13/6.28	c flip 250000 nbSat=54828 maxSat=54904
12.53/6.47	c flip 0 nbSat=50717 maxSat=54912
13.12/6.70	c flip 10000 nbSat=54515 maxSat=54912
13.52/6.93	c flip 20000 nbSat=55484 maxSat=55484
13.93/7.18	c flip 30000 nbSat=55866 maxSat=55875
14.53/7.42	c flip 40000 nbSat=56035 maxSat=56077
14.93/7.69	c flip 50000 nbSat=56227 maxSat=56227
15.52/7.96	c flip 60000 nbSat=56323 maxSat=56351
16.12/8.22	c flip 70000 nbSat=56346 maxSat=56429
16.52/8.47	c flip 80000 nbSat=56422 maxSat=56439
17.12/8.74	c flip 90000 nbSat=56525 maxSat=56525
17.71/9.02	c flip 100000 nbSat=56481 maxSat=56534
18.11/9.28	c flip 110000 nbSat=56545 maxSat=56580
18.71/9.56	c flip 120000 nbSat=56531 maxSat=56580
19.32/9.85	c flip 130000 nbSat=56591 maxSat=56616
19.91/10.14	c flip 140000 nbSat=56564 maxSat=56621
20.51/10.43	c flip 150000 nbSat=56600 maxSat=56646
21.10/10.72	c flip 160000 nbSat=56681 maxSat=56725
21.71/11.03	c flip 170000 nbSat=56670 maxSat=56751
22.30/11.33	c flip 180000 nbSat=56746 maxSat=56779
22.90/11.62	c flip 190000 nbSat=56689 maxSat=56779
23.50/11.91	c flip 200000 nbSat=56698 maxSat=56779
24.10/12.21	c flip 210000 nbSat=56656 maxSat=56779
24.30/12.38	c nbDecision=10000 #clauses=59688
24.70/12.50	c flip 220000 nbSat=56707 maxSat=56779
25.10/12.80	c flip 230000 nbSat=56687 maxSat=56779
25.70/13.08	c flip 240000 nbSat=56744 maxSat=56779
26.29/13.36	c flip 250000 nbSat=56732 maxSat=56797
26.89/13.69	c flip 0 nbSat=53103 maxSat=56797
27.69/14.06	c flip 10000 nbSat=57200 maxSat=57214
28.68/14.50	c flip 20000 nbSat=58088 maxSat=58099
29.48/14.97	c flip 30000 nbSat=58316 maxSat=58344
30.48/15.45	c flip 40000 nbSat=58624 maxSat=58642
31.48/15.94	c flip 50000 nbSat=58771 maxSat=58780
32.48/16.44	c flip 60000 nbSat=58838 maxSat=58906
33.47/16.94	c flip 70000 nbSat=58940 maxSat=58989
34.47/17.46	c flip 80000 nbSat=58997 maxSat=59028
35.47/17.98	c flip 90000 nbSat=59017 maxSat=59062
36.46/18.49	c flip 100000 nbSat=59048 maxSat=59096
37.66/19.02	c flip 110000 nbSat=59122 maxSat=59134
38.66/19.55	c flip 120000 nbSat=59161 maxSat=59193
39.65/20.09	c flip 130000 nbSat=59145 maxSat=59195
40.83/20.61	c flip 140000 nbSat=59182 maxSat=59234
41.83/21.11	c flip 150000 nbSat=59205 maxSat=59234
42.83/21.61	c flip 160000 nbSat=59163 maxSat=59234
43.83/22.12	c flip 170000 nbSat=59209 maxSat=59237
44.83/22.67	c flip 180000 nbSat=59245 maxSat=59282
45.83/23.19	c flip 190000 nbSat=59205 maxSat=59289
47.02/23.74	c flip 200000 nbSat=59205 maxSat=59289
48.22/24.30	c flip 210000 nbSat=59212 maxSat=59289
49.22/24.87	c flip 220000 nbSat=59239 maxSat=59289
50.41/25.41	c flip 230000 nbSat=59252 maxSat=59289
51.41/25.95	c flip 240000 nbSat=59238 maxSat=59297
52.41/26.49	c flip 250000 nbSat=59253 maxSat=59297
53.61/27.07	c flip 0 nbSat=56649 maxSat=59311
55.01/27.70	c flip 10000 nbSat=60413 maxSat=60419
56.40/28.43	c flip 20000 nbSat=61367 maxSat=61390
58.00/29.26	c flip 30000 nbSat=61778 maxSat=61780
59.79/30.10	c flip 40000 nbSat=61923 maxSat=61952
61.39/30.99	c flip 50000 nbSat=62111 maxSat=62187
63.19/31.85	c flip 60000 nbSat=62282 maxSat=62298
64.98/32.71	c flip 70000 nbSat=62323 maxSat=62338
66.78/33.70	c flip 80000 nbSat=62431 maxSat=62455
68.78/34.67	c flip 90000 nbSat=62446 maxSat=62471
70.77/35.60	c flip 100000 nbSat=62454 maxSat=62528
72.37/36.48	c flip 110000 nbSat=62464 maxSat=62528
73.96/37.20	c nbDecision=20000 #clauses=65619
74.37/37.43	c flip 120000 nbSat=62484 maxSat=62528
76.37/38.46	c flip 130000 nbSat=62589 maxSat=62603
78.56/39.51	c flip 140000 nbSat=62620 maxSat=62628
80.55/40.53	c flip 150000 nbSat=62565 maxSat=62642
82.54/41.56	c flip 160000 nbSat=62602 maxSat=62642
84.53/42.58	c flip 170000 nbSat=62625 maxSat=62664
86.73/43.62	c flip 180000 nbSat=62607 maxSat=62667
88.72/44.62	c flip 190000 nbSat=62609 maxSat=62691
90.52/45.55	c flip 200000 nbSat=62585 maxSat=62691
92.31/46.47	c flip 210000 nbSat=62641 maxSat=62691
94.12/47.38	c flip 220000 nbSat=62627 maxSat=62691
96.12/48.37	c flip 230000 nbSat=62594 maxSat=62691
98.11/49.35	c flip 240000 nbSat=62687 maxSat=62717
99.90/50.27	c flip 250000 nbSat=62671 maxSat=62719
102.09/51.39	c flip 0 nbSat=61421 maxSat=62722
104.90/52.71	c flip 10000 nbSat=65265 maxSat=65267
107.68/54.14	c flip 20000 nbSat=66271 maxSat=66313
110.68/55.68	c flip 30000 nbSat=66602 maxSat=66632
113.88/57.27	c flip 40000 nbSat=66757 maxSat=66847
117.46/59.04	c flip 50000 nbSat=66975 maxSat=66996
121.24/60.94	c flip 60000 nbSat=67013 maxSat=67040
125.03/62.80	c flip 70000 nbSat=67118 maxSat=67145
128.63/64.64	c flip 80000 nbSat=67199 maxSat=67268
132.61/66.60	c flip 90000 nbSat=67232 maxSat=67282
136.41/68.50	c flip 100000 nbSat=67315 maxSat=67321
140.01/70.39	c flip 110000 nbSat=67298 maxSat=67329
143.80/72.29	c flip 120000 nbSat=67326 maxSat=67342
144.20/72.45	c nbDecision=30000 #clauses=71721
147.39/74.09	c flip 130000 nbSat=67268 maxSat=67356
151.38/76.02	c flip 140000 nbSat=67343 maxSat=67401
155.37/78.10	c flip 150000 nbSat=67431 maxSat=67433
159.76/80.28	c flip 160000 nbSat=67399 maxSat=67457
163.95/82.32	c flip 170000 nbSat=67351 maxSat=67457
167.74/84.22	c flip 180000 nbSat=67402 maxSat=67462
171.73/86.24	c flip 190000 nbSat=67475 maxSat=67496
175.51/88.16	c flip 200000 nbSat=67440 maxSat=67496
179.51/90.13	c flip 210000 nbSat=67476 maxSat=67496
183.70/92.24	c flip 220000 nbSat=67458 maxSat=67498
187.89/94.38	c flip 230000 nbSat=67423 maxSat=67498
192.07/96.46	c flip 240000 nbSat=67411 maxSat=67498
196.27/98.59	c flip 250000 nbSat=67457 maxSat=67506
201.06/100.93	c flip 0 nbSat=70058 maxSat=67519
206.05/103.41	c flip 10000 nbSat=74156 maxSat=74158
209.65/105.21	c nbDecision=40000 #clauses=77887
211.84/106.37	c flip 20000 nbSat=75040 maxSat=75056
218.42/109.65	c flip 30000 nbSat=75373 maxSat=75432
226.00/113.46	c flip 40000 nbSat=75611 maxSat=75623
233.98/117.42	c flip 50000 nbSat=75743 maxSat=75790
242.17/121.59	c flip 60000 nbSat=75771 maxSat=75849
250.75/125.83	c flip 70000 nbSat=75840 maxSat=75905
259.32/130.17	c flip 80000 nbSat=75962 maxSat=75969
268.09/134.55	c flip 90000 nbSat=75921 maxSat=75975
276.48/138.74	c flip 100000 nbSat=76008 maxSat=76034
284.67/142.89	c flip 110000 nbSat=76032 maxSat=76072
292.44/146.76	c flip 120000 nbSat=76090 maxSat=76109
296.83/148.98	c nbDecision=50000 #clauses=83999
300.23/150.70	c flip 130000 nbSat=76078 maxSat=76139
308.60/154.87	c flip 140000 nbSat=76142 maxSat=76172
316.39/158.79	c flip 150000 nbSat=76098 maxSat=76172
324.38/162.71	c flip 160000 nbSat=76083 maxSat=76172
331.75/166.46	c flip 170000 nbSat=76152 maxSat=76194
339.54/170.32	c flip 180000 nbSat=76162 maxSat=76204
347.92/174.52	c flip 190000 nbSat=76211 maxSat=76213
356.29/178.77	c flip 200000 nbSat=76193 maxSat=76238
364.67/182.95	c flip 210000 nbSat=76161 maxSat=76238
373.05/187.17	c flip 220000 nbSat=76177 maxSat=76238
381.04/191.17	c flip 230000 nbSat=76193 maxSat=76238
389.62/195.44	c flip 240000 nbSat=76131 maxSat=76238
396.19/198.72	c nbDecision=60000 #clauses=89950
398.39/199.89	c flip 250000 nbSat=76136 maxSat=76238
407.57/204.42	c flip 0 nbSat=83735 maxSat=76248
416.15/208.74	c flip 10000 nbSat=87662 maxSat=87668
427.13/214.21	c flip 20000 nbSat=88528 maxSat=88528
440.10/220.71	c flip 30000 nbSat=88928 maxSat=88932
453.07/227.27	c flip 40000 nbSat=89125 maxSat=89142
467.04/234.25	c flip 50000 nbSat=89268 maxSat=89323
481.80/241.67	c flip 60000 nbSat=89420 maxSat=89439
495.57/248.58	c flip 70000 nbSat=89427 maxSat=89485
509.93/255.76	c flip 80000 nbSat=89528 maxSat=89542
523.90/262.79	c flip 90000 nbSat=89540 maxSat=89568
531.09/266.39	c nbDecision=70000 #clauses=96168
539.26/270.48	c flip 100000 nbSat=89533 maxSat=89582
554.83/278.29	c flip 110000 nbSat=89577 maxSat=89610
570.20/285.98	c flip 120000 nbSat=89603 maxSat=89660
587.34/294.53	c flip 130000 nbSat=89651 maxSat=89677
604.11/302.94	c flip 140000 nbSat=89618 maxSat=89704
621.46/311.69	c flip 150000 nbSat=89645 maxSat=89704
638.63/320.24	c flip 160000 nbSat=89654 maxSat=89704
654.79/328.39	c flip 170000 nbSat=89652 maxSat=89704
672.14/337.04	c flip 180000 nbSat=89674 maxSat=89723
687.91/344.95	c flip 190000 nbSat=89662 maxSat=89723
702.87/352.46	c nbDecision=80000 #clauses=102566
703.87/352.96	c flip 200000 nbSat=89694 maxSat=89742
719.64/360.85	c flip 210000 nbSat=89631 maxSat=89747
734.60/368.32	c flip 220000 nbSat=89736 maxSat=89747
749.37/375.73	c flip 230000 nbSat=89688 maxSat=89758
765.33/383.79	c flip 240000 nbSat=89705 maxSat=89762
780.30/391.23	c flip 250000 nbSat=89705 maxSat=89762
796.07/399.10	c flip 0 nbSat=99964 maxSat=89773
810.42/406.38	c flip 10000 nbSat=103941 maxSat=103955
829.39/415.88	c flip 20000 nbSat=104643 maxSat=104654
847.74/425.05	c nbDecision=90000 #clauses=108800
848.54/425.46	c flip 30000 nbSat=105041 maxSat=105082
870.08/436.25	c flip 40000 nbSat=105322 maxSat=105327
891.83/447.12	c flip 50000 nbSat=105384 maxSat=105398
913.58/458.07	c flip 60000 nbSat=105555 maxSat=105557
936.74/469.69	c flip 70000 nbSat=105528 maxSat=105607
958.68/480.68	c flip 80000 nbSat=105583 maxSat=105623
980.24/491.49	c flip 90000 nbSat=105707 maxSat=105712
1003.78/503.24	c flip 100000 nbSat=105748 maxSat=105783
1008.97/505.80	c nbDecision=100000 #clauses=115139
1025.92/514.30	c flip 110000 nbSat=105779 maxSat=105814
1049.46/526.16	c flip 120000 nbSat=105830 maxSat=105833
1073.40/538.16	c flip 130000 nbSat=105774 maxSat=105838
1096.97/549.91	c flip 140000 nbSat=105803 maxSat=105838
1120.10/561.52	c flip 150000 nbSat=105814 maxSat=105847
1144.45/573.71	c flip 160000 nbSat=105816 maxSat=105857
1169.39/586.26	c flip 170000 nbSat=105899 maxSat=105904
1179.36/591.25	c nbDecision=110000 #clauses=121425
1192.74/597.99	c flip 180000 nbSat=105892 maxSat=105915

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/node10/watcher-328287-1173109814 -o ROOT/results/node10/solver-328287-1173109814 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328287-1173109814/ornithorynque /tmp/evaluation/328287-1173109814/instance-328287-1173109814.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.96 1.90 3/77 18535
/proc/meminfo: memFree=1607224/2055920 swapFree=4168812/4192956
[pid=18535] ppid=18533 vsize=23220 CPUtime=0
/proc/18535/stat : 18535 (ornithorynque) R 18533 18535 18026 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 330936421 23777280 266 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214917221649 0 0 4096 0 0 0 0 17 1 0 0
/proc/18535/statm: 5805 267 220 42 0 45 0

[startup+0.082615 s]
/proc/loadavg: 1.83 1.96 1.90 3/77 18535
/proc/meminfo: memFree=1607224/2055920 swapFree=4168812/4192956
[pid=18535] ppid=18533 vsize=26036 CPUtime=0.07
/proc/18535/stat : 18535 (ornithorynque) R 18533 18535 18026 0 -1 4194304 1187 0 0 0 7 0 0 0 18 0 1 0 330936421 26660864 1115 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214919713505 0 0 4096 1088 0 0 0 17 1 0 0
/proc/18535/statm: 6509 1115 377 42 0 761 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 26036

[startup+0.101616 s]
/proc/loadavg: 1.83 1.96 1.90 3/77 18535
/proc/meminfo: memFree=1607224/2055920 swapFree=4168812/4192956
[pid=18535] ppid=18533 vsize=26952 CPUtime=0.09
/proc/18535/stat : 18535 (ornithorynque) R 18533 18535 18026 0 -1 4194304 1414 0 0 0 9 0 0 0 18 0 1 0 330936421 27598848 1277 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928765026 0 0 4096 1088 0 0 0 17 1 0 0
/proc/18535/statm: 6738 1278 377 42 0 990 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26952

[startup+0.301654 s]
/proc/loadavg: 1.83 1.96 1.90 3/77 18535
/proc/meminfo: memFree=1607224/2055920 swapFree=4168812/4192956
[pid=18535] ppid=18533 vsize=54704 CPUtime=0.36
/proc/18535/stat : 18535 (ornithorynque) S 18533 18535 18026 0 -1 4194304 3362 0 0 0 35 1 0 0 19 0 3 0 330936421 56016896 3074 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 13676 3074 387 42 0 7928 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 54704

[startup+0.701708 s]
/proc/loadavg: 1.83 1.96 1.90 3/77 18535
/proc/meminfo: memFree=1607224/2055920 swapFree=4168812/4192956
[pid=18535] ppid=18533 vsize=54832 CPUtime=1.15
/proc/18535/stat : 18535 (ornithorynque) S 18533 18535 18026 0 -1 4194304 3399 0 0 0 114 1 0 0 19 0 3 0 330936421 56147968 3111 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 13708 3111 387 42 0 7960 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 54832

[startup+1.50181 s]
/proc/loadavg: 1.83 1.96 1.90 3/80 18538
/proc/meminfo: memFree=1596064/2055920 swapFree=4168812/4192956
[pid=18535] ppid=18533 vsize=55096 CPUtime=2.75
/proc/18535/stat : 18535 (ornithorynque) S 18533 18535 18026 0 -1 4194304 3467 0 0 0 274 1 0 0 19 0 3 0 330936421 56418304 3179 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 13774 3179 387 42 0 8026 0
[pid=18535/tid=18537] ppid=18533 vsize=55096 CPUtime=1.26
/proc/18535/task/18537/stat : 18537 (ornithorynque) R 18533 18535 18026 0 -1 4194368 177 0 0 0 126 0 0 0 25 0 3 0 330936444 56418304 3179 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314367 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18535/tid=18538] ppid=18533 vsize=55096 CPUtime=1.26
/proc/18535/task/18538/stat : 18538 (ornithorynque) R 18533 18535 18026 0 -1 4194368 2 0 0 0 126 0 0 0 25 0 3 0 330936444 56418304 3179 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 55096

[startup+3.10103 s]
/proc/loadavg: 1.83 1.96 1.90 3/80 18538
/proc/meminfo: memFree=1595552/2055920 swapFree=4168812/4192956
[pid=18535] ppid=18533 vsize=57656 CPUtime=5.95
/proc/18535/stat : 18535 (ornithorynque) S 18533 18535 18026 0 -1 4194304 3881 0 0 0 593 2 0 0 19 0 3 0 330936421 59039744 3593 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 14414 3593 387 42 0 8666 0
[pid=18535/tid=18537] ppid=18533 vsize=57656 CPUtime=2.86
/proc/18535/task/18537/stat : 18537 (ornithorynque) R 18533 18535 18026 0 -1 4194368 280 0 0 0 286 0 0 0 21 0 3 0 330936444 59039744 3593 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311221 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18535/tid=18538] ppid=18533 vsize=57656 CPUtime=2.85
/proc/18535/task/18538/stat : 18538 (ornithorynque) R 18533 18535 18026 0 -1 4194368 313 0 0 0 285 0 0 0 22 0 3 0 330936444 59039744 3593 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 57656

[startup+6.30246 s]
/proc/loadavg: 1.85 1.96 1.90 3/80 18538
/proc/meminfo: memFree=1593248/2055920 swapFree=4168812/4192956
[pid=18535] ppid=18533 vsize=58680 CPUtime=12.33
/proc/18535/stat : 18535 (ornithorynque) S 18533 18535 18026 0 -1 4194304 4153 0 0 0 1231 2 0 0 19 0 3 0 330936421 60088320 3865 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 14670 3865 387 42 0 8922 0
[pid=18535/tid=18537] ppid=18533 vsize=58680 CPUtime=6.06
/proc/18535/task/18537/stat : 18537 (ornithorynque) R 18533 18535 18026 0 -1 4194368 552 0 0 0 606 0 0 0 25 0 3 0 330936444 60088320 3865 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4289862 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18535/tid=18538] ppid=18533 vsize=58680 CPUtime=6.03
/proc/18535/task/18538/stat : 18538 (ornithorynque) R 18533 18535 18026 0 -1 4194368 313 0 0 0 603 0 0 0 25 0 3 0 330936444 60088320 3865 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283786 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 58680

[startup+12.7013 s]
/proc/loadavg: 1.86 1.96 1.90 3/80 18538
/proc/meminfo: memFree=1588960/2055920 swapFree=4168812/4192956
[pid=18535] ppid=18533 vsize=62840 CPUtime=25.1
/proc/18535/stat : 18535 (ornithorynque) S 18533 18535 18026 0 -1 4194304 5210 0 0 0 2506 4 0 0 19 0 3 0 330936421 64348160 4922 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 15710 4922 387 42 0 9962 0
[pid=18535/tid=18537] ppid=18533 vsize=62840 CPUtime=12.46
/proc/18535/task/18537/stat : 18537 (ornithorynque) R 18533 18535 18026 0 -1 4194368 1074 0 0 0 1244 2 0 0 25 0 3 0 330936444 64348160 4922 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18535/tid=18538] ppid=18533 vsize=62840 CPUtime=12.4
/proc/18535/task/18538/stat : 18538 (ornithorynque) R 18533 18535 18026 0 -1 4194368 848 0 0 0 1240 0 0 0 25 0 3 0 330936444 64348160 4922 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285981 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 62840

[startup+25.5011 s]
/proc/loadavg: 1.89 1.96 1.91 3/80 18538
/proc/meminfo: memFree=1581728/2055920 swapFree=4168812/4192956
[pid=18535] ppid=18533 vsize=69800 CPUtime=50.61
/proc/18535/stat : 18535 (ornithorynque) S 18533 18535 18026 0 -1 4194304 6961 0 0 0 5055 6 0 0 19 0 3 0 330936421 71475200 6673 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 17450 6673 387 42 0 11702 0
[pid=18535/tid=18537] ppid=18533 vsize=69800 CPUtime=25.25
/proc/18535/task/18537/stat : 18537 (ornithorynque) R 18533 18535 18026 0 -1 4194368 1885 0 0 0 2521 4 0 0 25 0 3 0 330936444 71475200 6673 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18535/tid=18538] ppid=18533 vsize=69800 CPUtime=25.12
/proc/18535/task/18538/stat : 18538 (ornithorynque) R 18533 18535 18026 0 -1 4194368 1788 0 0 0 2511 1 0 0 25 0 3 0 330936444 71475200 6673 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 69800

[startup+51.1015 s]
/proc/loadavg: 1.93 1.96 1.91 3/80 18538
/proc/meminfo: memFree=1571104/2055920 swapFree=4168812/4192956
[pid=18535] ppid=18533 vsize=80952 CPUtime=101.7
/proc/18535/stat : 18535 (ornithorynque) S 18533 18535 18026 0 -1 4194304 9755 0 0 0 10159 11 0 0 19 0 3 0 330936421 82894848 9338 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 20238 9338 387 42 0 14490 0
[pid=18535/tid=18537] ppid=18533 vsize=80952 CPUtime=50.84
/proc/18535/task/18537/stat : 18537 (ornithorynque) R 18533 18535 18026 0 -1 4194368 3319 0 0 0 5077 7 0 0 25 0 3 0 330936444 82894848 9338 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311262 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18535/tid=18538] ppid=18533 vsize=80952 CPUtime=50.61
/proc/18535/task/18538/stat : 18538 (ornithorynque) R 18533 18535 18026 0 -1 4194368 3148 0 0 0 5059 2 0 0 25 0 3 0 330936444 82894848 9338 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241190 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 80952

[startup+102.305 s]
/proc/loadavg: 1.97 1.97 1.91 3/80 18538
/proc/meminfo: memFree=1543072/2055920 swapFree=4168812/4192956
[pid=18535] ppid=18533 vsize=112264 CPUtime=203.86
/proc/18535/stat : 18535 (ornithorynque) S 18533 18535 18026 0 -1 4194304 16831 0 0 0 20370 16 0 0 19 0 3 0 330936421 114958336 16285 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 28066 16285 387 42 0 22318 0
[pid=18535/tid=18537] ppid=18533 vsize=112264 CPUtime=102.03
/proc/18535/task/18537/stat : 18537 (ornithorynque) R 18533 18535 18026 0 -1 4194368 5503 0 0 0 10192 11 0 0 25 0 3 0 330936444 114958336 16285 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4313902 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18535/tid=18538] ppid=18533 vsize=112264 CPUtime=101.59
/proc/18535/task/18538/stat : 18538 (ornithorynque) R 18533 18535 18026 0 -1 4194368 8040 0 0 0 10156 3 0 0 25 0 3 0 330936444 114958336 16285 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 112264

[startup+162.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 18538
/proc/meminfo: memFree=1536160/2055920 swapFree=4168812/4192956
[pid=18535] ppid=18533 vsize=119432 CPUtime=323.57
/proc/18535/stat : 18535 (ornithorynque) S 18533 18535 18026 0 -1 4194304 18534 0 0 0 32337 20 0 0 19 0 3 0 330936421 122298368 17988 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 29858 17988 387 42 0 24110 0
[pid=18535/tid=18537] ppid=18533 vsize=119432 CPUtime=162
/proc/18535/task/18537/stat : 18537 (ornithorynque) R 18533 18535 18026 0 -1 4194368 7206 0 0 0 16186 14 0 0 25 0 3 0 330936444 122298368 17988 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311262 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18535/tid=18538] ppid=18533 vsize=119432 CPUtime=161.32
/proc/18535/task/18538/stat : 18538 (ornithorynque) R 18533 18535 18026 0 -1 4194368 8040 0 0 0 16129 3 0 0 25 0 3 0 330936444 122298368 17988 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.57
Current children cumulated vsize (KiB) 119432

[startup+222.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 18538
/proc/meminfo: memFree=1516448/2055920 swapFree=4168812/4192956
[pid=18535] ppid=18533 vsize=141516 CPUtime=443.28
/proc/18535/stat : 18535 (ornithorynque) S 18533 18535 18026 0 -1 4194304 23460 0 0 0 44302 26 0 0 19 0 3 0 330936421 144912384 22914 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 35379 22914 387 42 0 29631 0
[pid=18535/tid=18537] ppid=18533 vsize=141516 CPUtime=221.99
/proc/18535/task/18537/stat : 18537 (ornithorynque) R 18533 18535 18026 0 -1 4194368 8488 0 0 0 22181 18 0 0 25 0 3 0 330936444 144912384 22914 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18535/tid=18538] ppid=18533 vsize=141516 CPUtime=221.05
/proc/18535/task/18538/stat : 18538 (ornithorynque) R 18533 18535 18026 0 -1 4194368 11684 0 0 0 22099 6 0 0 25 0 3 0 330936444 144912384 22914 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.28
Current children cumulated vsize (KiB) 141516

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 18538
/proc/meminfo: memFree=1511904/2055920 swapFree=4168812/4192956
[pid=18535] ppid=18533 vsize=145612 CPUtime=563.01
/proc/18535/stat : 18535 (ornithorynque) S 18533 18535 18026 0 -1 4194304 24597 0 0 0 56273 28 0 0 19 0 3 0 330936421 149106688 24051 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 36403 24051 387 42 0 30655 0
[pid=18535/tid=18537] ppid=18533 vsize=145612 CPUtime=281.97
/proc/18535/task/18537/stat : 18537 (ornithorynque) R 18533 18535 18026 0 -1 4194368 9625 0 0 0 28177 20 0 0 25 0 3 0 330936444 149106688 24051 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18535/tid=18538] ppid=18533 vsize=145612 CPUtime=280.8
/proc/18535/task/18538/stat : 18538 (ornithorynque) R 18533 18535 18026 0 -1 4194368 11684 0 0 0 28074 6 0 0 25 0 3 0 330936444 149106688 24051 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241705 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.01
Current children cumulated vsize (KiB) 145612

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 18538
/proc/meminfo: memFree=1507424/2055920 swapFree=4168812/4192956
[pid=18535] ppid=18533 vsize=150732 CPUtime=682.72
/proc/18535/stat : 18535 (ornithorynque) S 18533 18535 18026 0 -1 4194304 25698 0 0 0 68242 30 0 0 19 0 3 0 330936421 154349568 25152 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 37683 25152 387 42 0 31935 0
[pid=18535/tid=18537] ppid=18533 vsize=150732 CPUtime=341.95
/proc/18535/task/18537/stat : 18537 (ornithorynque) R 18533 18535 18026 0 -1 4194368 10726 0 0 0 34173 22 0 0 25 0 3 0 330936444 154349568 25152 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18535/tid=18538] ppid=18533 vsize=150732 CPUtime=340.53
/proc/18535/task/18538/stat : 18538 (ornithorynque) R 18533 18535 18026 0 -1 4194368 11684 0 0 0 34047 6 0 0 25 0 3 0 330936444 154349568 25152 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241407 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.72
Current children cumulated vsize (KiB) 150732

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 18538
/proc/meminfo: memFree=1481632/2055920 swapFree=4168812/4192956
[pid=18535] ppid=18533 vsize=180792 CPUtime=802.44
/proc/18535/stat : 18535 (ornithorynque) S 18533 18535 18026 0 -1 4194304 32178 0 0 0 80208 36 0 0 19 0 3 0 330936421 185131008 31632 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 45198 31632 387 42 0 39450 0
[pid=18535/tid=18537] ppid=18533 vsize=180792 CPUtime=401.92
/proc/18535/task/18537/stat : 18537 (ornithorynque) R 18533 18535 18026 0 -1 4194368 11912 0 0 0 40168 24 0 0 25 0 3 0 330936444 185131008 31632 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311279 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18535/tid=18538] ppid=18533 vsize=180792 CPUtime=400.27
/proc/18535/task/18538/stat : 18538 (ornithorynque) R 18533 18535 18026 0 -1 4194368 16978 0 0 0 40017 10 0 0 25 0 3 0 330936444 185131008 31632 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242181 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.44
Current children cumulated vsize (KiB) 180792

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 18538
/proc/meminfo: memFree=1477472/2055920 swapFree=4168812/4192956
[pid=18535] ppid=18533 vsize=185316 CPUtime=922.16
/proc/18535/stat : 18535 (ornithorynque) S 18533 18535 18026 0 -1 4194304 33288 0 0 0 92177 39 0 0 19 0 3 0 330936421 189763584 32635 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 46329 32635 387 42 0 40581 0
[pid=18535/tid=18537] ppid=18533 vsize=185316 CPUtime=461.91
/proc/18535/task/18537/stat : 18537 (ornithorynque) R 18533 18535 18026 0 -1 4194368 13022 0 0 0 46164 27 0 0 25 0 3 0 330936444 189763584 32635 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18535/tid=18538] ppid=18533 vsize=185316 CPUtime=460.01
/proc/18535/task/18538/stat : 18538 (ornithorynque) R 18533 18535 18026 0 -1 4194368 16978 0 0 0 45991 10 0 0 25 0 3 0 330936444 189763584 32635 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242170 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.16
Current children cumulated vsize (KiB) 185316

[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 18538
/proc/meminfo: memFree=1472864/2055920 swapFree=4168812/4192956
[pid=18535] ppid=18533 vsize=190436 CPUtime=1041.88
/proc/18535/stat : 18535 (ornithorynque) S 18533 18535 18026 0 -1 4194304 34440 0 0 0 104146 42 0 0 19 0 3 0 330936421 195006464 33787 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 47609 33787 387 42 0 41861 0
[pid=18535/tid=18537] ppid=18533 vsize=190436 CPUtime=521.89
/proc/18535/task/18537/stat : 18537 (ornithorynque) R 18533 18535 18026 0 -1 4194368 14174 0 0 0 52159 30 0 0 25 0 3 0 330936444 195006464 33787 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311267 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18535/tid=18538] ppid=18533 vsize=190436 CPUtime=519.75
/proc/18535/task/18538/stat : 18538 (ornithorynque) R 18533 18535 18026 0 -1 4194368 16978 0 0 0 51965 10 0 0 25 0 3 0 330936444 195006464 33787 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.88
Current children cumulated vsize (KiB) 190436

[startup+582.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 18538
/proc/meminfo: memFree=1468512/2055920 swapFree=4168812/4192956
[pid=18535] ppid=18533 vsize=194532 CPUtime=1161.6
/proc/18535/stat : 18535 (ornithorynque) S 18533 18535 18026 0 -1 4194304 35516 0 0 0 116115 45 0 0 19 0 3 0 330936421 199200768 34863 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 48633 34863 387 42 0 42885 0
[pid=18535/tid=18537] ppid=18533 vsize=194532 CPUtime=581.87
/proc/18535/task/18537/stat : 18537 (ornithorynque) R 18533 18535 18026 0 -1 4194368 15250 0 0 0 58154 33 0 0 25 0 3 0 330936444 199200768 34863 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311518 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18535/tid=18538] ppid=18533 vsize=194532 CPUtime=579.48
/proc/18535/task/18538/stat : 18538 (ornithorynque) R 18533 18535 18026 0 -1 4194368 16978 0 0 0 57938 10 0 0 25 0 3 0 330936444 199200768 34863 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.6
Current children cumulated vsize (KiB) 194532



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.602 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 18538
/proc/meminfo: memFree=1466912/2055920 swapFree=4168812/4192956
[pid=18535] ppid=18533 vsize=195556 CPUtime=1200.13
/proc/18535/stat : 18535 (ornithorynque) S 18533 18535 18026 0 -1 4194304 35904 0 0 0 119967 46 0 0 19 0 3 0 330936421 200249344 35251 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 48889 35251 387 42 0 43141 0
[pid=18535/tid=18537] ppid=18533 vsize=195556 CPUtime=601.18
/proc/18535/task/18537/stat : 18537 (ornithorynque) R 18533 18535 18026 0 -1 4194368 15638 0 0 0 60084 34 0 0 25 0 3 0 330936444 200249344 35251 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311174 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18535/tid=18538] ppid=18533 vsize=195556 CPUtime=598.71
/proc/18535/task/18538/stat : 18538 (ornithorynque) R 18533 18535 18026 0 -1 4194368 16978 0 0 0 59861 10 0 0 25 0 3 0 330936444 200249344 35251 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285268 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.13
Current children cumulated vsize (KiB) 195556

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.641
CPU time (s): 1200.17
CPU user time (s): 1199.69
CPU system time (s): 0.487925
CPU usage (%): 199.484
Max. virtual memory (cumulated for all children) (KiB): 195556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.69
system time used= 0.487925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35904
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= 35
involuntary context switches= 22873

runsolver used 0.616906 second user time and 1.60276 second system time

The end

Launcher Data (download as text)

Begin job on node10 on Mon Mar  5 15:50:14 UTC 2007

IDJOB= 328287
IDBENCH= 20195
IDSOLVER= 139
FILE ID= node10/328287-1173109814

PBS_JOBID= 4013930

Free space on /tmp= 66512 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/3SAT/v13000/unif-k3-r4.2-v13000-c54600-S295096144-05.cnf
COMMAND LINE= /tmp/evaluation/328287-1173109814/ornithorynque /tmp/evaluation/328287-1173109814/instance-328287-1173109814.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node10/watcher-328287-1173109814 -o ROOT/results/node10/solver-328287-1173109814 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328287-1173109814/ornithorynque /tmp/evaluation/328287-1173109814/instance-328287-1173109814.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  cde497b3d0f6b21ffcb2bc97cd2a2b18

RANDOM SEED= 168405633

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node10.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.232
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.232
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:       1607696 kB
Buffers:         44024 kB
Cached:         316448 kB
SwapCached:       2784 kB
Active:          96116 kB
Inactive:       287432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1607696 kB
SwapTotal:     4192956 kB
SwapFree:      4168812 kB
Dirty:            1260 kB
Writeback:           0 kB
Mapped:          30492 kB
Slab:            50088 kB
Committed_AS:  1604064 kB
PageTables:       1832 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= 66512 MiB

End job on node10 on Mon Mar  5 16:00:18 UTC 2007