Trace number 328282

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

General information on the benchmark

Namerandom/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1416986890-04.cnf
MD5SUMfb3f2949b4db9208554e1bbbe827c1fe
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.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.14	c ...done
0.09/0.14	c nbVar=13000 nbClause=54600
0.09/0.18	c nbVar=13000 nbClause=54600
0.18/0.23	c complete search running
0.18/0.23	c local search running
0.18/0.24	c flip 0 nbSat=47845 maxSat=0
0.36/0.34	c flip 10000 nbSat=51706 maxSat=51706
0.56/0.43	c flip 20000 nbSat=52647 maxSat=52656
0.76/0.52	c flip 30000 nbSat=53080 maxSat=53102
0.96/0.61	c flip 40000 nbSat=53278 maxSat=53279
1.16/0.70	c flip 50000 nbSat=53369 maxSat=53387
1.16/0.79	c flip 60000 nbSat=53441 maxSat=53514
1.36/0.87	c flip 70000 nbSat=53532 maxSat=53576
1.56/0.96	c flip 80000 nbSat=53565 maxSat=53615
1.76/1.05	c flip 90000 nbSat=53623 maxSat=53685
1.96/1.14	c flip 100000 nbSat=53676 maxSat=53685
2.15/1.22	c flip 110000 nbSat=53637 maxSat=53721
2.35/1.30	c flip 120000 nbSat=53646 maxSat=53737
2.35/1.39	c flip 130000 nbSat=53721 maxSat=53747
2.55/1.47	c flip 140000 nbSat=53678 maxSat=53747
2.75/1.55	c flip 150000 nbSat=53700 maxSat=53758
2.95/1.64	c flip 160000 nbSat=53648 maxSat=53758
3.15/1.72	c flip 170000 nbSat=53735 maxSat=53771
3.35/1.81	c flip 180000 nbSat=53739 maxSat=53791
3.35/1.89	c flip 190000 nbSat=53722 maxSat=53793
3.55/1.97	c flip 200000 nbSat=53720 maxSat=53793
3.75/2.06	c flip 210000 nbSat=53772 maxSat=53808
3.96/2.15	c flip 220000 nbSat=53743 maxSat=53809
4.16/2.23	c flip 230000 nbSat=53770 maxSat=53833
4.35/2.31	c flip 240000 nbSat=53805 maxSat=53856
4.35/2.39	c flip 250000 nbSat=53850 maxSat=53860
4.75/2.51	c flip 0 nbSat=48947 maxSat=53891
4.95/2.65	c flip 10000 nbSat=52818 maxSat=53891
5.35/2.80	c flip 20000 nbSat=53670 maxSat=53891
5.55/2.95	c flip 30000 nbSat=54048 maxSat=54106
5.94/3.10	c flip 40000 nbSat=54358 maxSat=54402
6.15/3.26	c flip 50000 nbSat=54427 maxSat=54502
6.54/3.41	c flip 60000 nbSat=54519 maxSat=54626
6.74/3.56	c flip 70000 nbSat=54613 maxSat=54690
7.14/3.72	c flip 80000 nbSat=54681 maxSat=54723
7.34/3.87	c flip 90000 nbSat=54706 maxSat=54758
7.74/4.02	c flip 100000 nbSat=54743 maxSat=54802
7.94/4.18	c flip 110000 nbSat=54762 maxSat=54815
8.34/4.34	c flip 120000 nbSat=54762 maxSat=54859
8.54/4.49	c flip 130000 nbSat=54760 maxSat=54859
8.93/4.64	c flip 140000 nbSat=54822 maxSat=54859
9.33/4.80	c flip 150000 nbSat=54852 maxSat=54898
9.53/4.95	c flip 160000 nbSat=54898 maxSat=54950
9.93/5.12	c flip 170000 nbSat=54926 maxSat=54976
10.13/5.28	c flip 180000 nbSat=54910 maxSat=54976
10.54/5.45	c flip 190000 nbSat=54941 maxSat=54994
10.93/5.61	c flip 200000 nbSat=54884 maxSat=54999
11.13/5.76	c flip 210000 nbSat=54912 maxSat=54999
11.53/5.92	c flip 220000 nbSat=54968 maxSat=55027
11.73/6.07	c flip 230000 nbSat=54970 maxSat=55027
12.13/6.22	c flip 240000 nbSat=54988 maxSat=55027
12.33/6.38	c flip 250000 nbSat=55044 maxSat=55064
12.73/6.60	c flip 0 nbSat=50587 maxSat=55092
13.32/6.83	c flip 10000 nbSat=54526 maxSat=55092
13.72/7.08	c flip 20000 nbSat=55407 maxSat=55418
14.32/7.36	c flip 30000 nbSat=55872 maxSat=55890
14.93/7.64	c flip 40000 nbSat=56042 maxSat=56139
15.52/7.93	c flip 50000 nbSat=56273 maxSat=56299
16.12/8.24	c flip 60000 nbSat=56318 maxSat=56336
16.72/8.55	c flip 70000 nbSat=56367 maxSat=56421
17.32/8.84	c flip 80000 nbSat=56430 maxSat=56464
17.91/9.11	c flip 90000 nbSat=56478 maxSat=56560
18.31/9.38	c flip 100000 nbSat=56521 maxSat=56560
18.92/9.65	c flip 110000 nbSat=56478 maxSat=56560
19.52/9.93	c flip 120000 nbSat=56512 maxSat=56560
20.11/10.20	c flip 130000 nbSat=56569 maxSat=56608
20.51/10.49	c flip 140000 nbSat=56534 maxSat=56608
21.11/10.78	c flip 150000 nbSat=56534 maxSat=56617
21.72/11.08	c flip 160000 nbSat=56565 maxSat=56633
22.31/11.38	c flip 170000 nbSat=56606 maxSat=56652
22.91/11.68	c flip 180000 nbSat=56582 maxSat=56652
23.11/11.74	c nbDecision=10000 #clauses=59347
23.51/11.97	c flip 190000 nbSat=56607 maxSat=56652
24.10/12.27	c flip 200000 nbSat=56571 maxSat=56652
24.70/12.58	c flip 210000 nbSat=56586 maxSat=56672
25.50/12.90	c flip 220000 nbSat=56694 maxSat=56709
26.11/13.24	c flip 230000 nbSat=56619 maxSat=56715
26.70/13.55	c flip 240000 nbSat=56663 maxSat=56715
27.29/13.89	c flip 250000 nbSat=56700 maxSat=56750
28.10/14.29	c flip 0 nbSat=53666 maxSat=56750
28.89/14.69	c flip 10000 nbSat=57524 maxSat=57531
29.89/15.16	c flip 20000 nbSat=58420 maxSat=58420
30.88/15.66	c flip 30000 nbSat=58812 maxSat=58842
32.08/16.21	c flip 40000 nbSat=59085 maxSat=59091
33.08/16.76	c flip 50000 nbSat=59202 maxSat=59268
34.28/17.32	c flip 60000 nbSat=59383 maxSat=59388
35.27/17.88	c flip 70000 nbSat=59371 maxSat=59451
36.47/18.44	c flip 80000 nbSat=59449 maxSat=59471
37.47/18.97	c flip 90000 nbSat=59499 maxSat=59516
38.67/19.50	c flip 100000 nbSat=59505 maxSat=59548
39.67/20.05	c flip 110000 nbSat=59549 maxSat=59613
40.67/20.58	c flip 120000 nbSat=59578 maxSat=59613
41.86/21.12	c flip 130000 nbSat=59578 maxSat=59639
42.85/21.68	c flip 140000 nbSat=59630 maxSat=59663
44.06/22.28	c flip 150000 nbSat=59698 maxSat=59738
45.26/22.86	c flip 160000 nbSat=59687 maxSat=59738
46.45/23.44	c flip 170000 nbSat=59649 maxSat=59738
47.65/24.03	c flip 180000 nbSat=59681 maxSat=59738
48.85/24.61	c flip 190000 nbSat=59660 maxSat=59738
49.85/25.18	c flip 200000 nbSat=59656 maxSat=59738
51.04/25.77	c flip 210000 nbSat=59681 maxSat=59746
52.24/26.36	c flip 220000 nbSat=59659 maxSat=59749
53.43/26.96	c flip 230000 nbSat=59673 maxSat=59749
54.43/27.42	c nbDecision=20000 #clauses=65375
54.64/27.55	c flip 240000 nbSat=59682 maxSat=59749
55.83/28.15	c flip 250000 nbSat=59704 maxSat=59749
57.23/28.89	c flip 0 nbSat=58953 maxSat=59749
58.83/29.66	c flip 10000 nbSat=63093 maxSat=63093
60.62/30.51	c flip 20000 nbSat=63903 maxSat=63906
62.62/31.50	c flip 30000 nbSat=64287 maxSat=64308
64.61/32.53	c flip 40000 nbSat=64539 maxSat=64564
66.61/33.57	c flip 50000 nbSat=64669 maxSat=64674
68.80/34.61	c flip 60000 nbSat=64698 maxSat=64753
70.80/35.63	c flip 70000 nbSat=64732 maxSat=64770
72.79/36.69	c flip 80000 nbSat=64751 maxSat=64795
74.98/37.71	c flip 90000 nbSat=64797 maxSat=64852
76.98/38.74	c flip 100000 nbSat=64830 maxSat=64858
78.97/39.79	c flip 110000 nbSat=64868 maxSat=64886
81.15/40.84	c flip 120000 nbSat=64900 maxSat=64939
83.35/41.94	c flip 130000 nbSat=64948 maxSat=64971
85.54/43.02	c flip 140000 nbSat=64932 maxSat=64993
87.54/44.05	c flip 150000 nbSat=64944 maxSat=64993
89.73/45.12	c flip 160000 nbSat=64970 maxSat=65012
91.73/46.12	c flip 170000 nbSat=64973 maxSat=65022
93.73/47.15	c flip 180000 nbSat=65023 maxSat=65043
95.72/48.15	c nbDecision=30000 #clauses=71086
95.72/48.15	c flip 190000 nbSat=65043 maxSat=65077
97.92/49.23	c flip 200000 nbSat=64990 maxSat=65077
100.11/50.36	c flip 210000 nbSat=64977 maxSat=65077
102.30/51.44	c flip 220000 nbSat=65016 maxSat=65077
104.50/52.58	c flip 230000 nbSat=65015 maxSat=65077
106.89/53.74	c flip 240000 nbSat=65033 maxSat=65101
109.09/54.89	c flip 250000 nbSat=65064 maxSat=65101
111.88/56.22	c flip 0 nbSat=66067 maxSat=65116
114.67/57.67	c flip 10000 nbSat=69986 maxSat=70000
117.87/59.30	c flip 20000 nbSat=70868 maxSat=70877
121.26/60.95	c flip 30000 nbSat=71214 maxSat=71234
124.86/62.74	c flip 40000 nbSat=71468 maxSat=71495
128.45/64.50	c flip 50000 nbSat=71654 maxSat=71665
132.23/66.45	c flip 60000 nbSat=71789 maxSat=71804
136.03/68.37	c flip 70000 nbSat=71748 maxSat=71831
139.82/70.24	c flip 80000 nbSat=71843 maxSat=71876
142.42/71.52	c nbDecision=40000 #clauses=76655
143.81/72.24	c flip 90000 nbSat=71902 maxSat=71926
148.00/74.33	c flip 100000 nbSat=71926 maxSat=71959
151.99/76.31	c flip 110000 nbSat=71945 maxSat=71998
155.79/78.26	c flip 120000 nbSat=71932 maxSat=72011
159.57/80.19	c flip 130000 nbSat=71983 maxSat=72016
163.77/82.20	c flip 140000 nbSat=72003 maxSat=72036
167.76/84.22	c flip 150000 nbSat=71966 maxSat=72056
171.53/86.19	c flip 160000 nbSat=72031 maxSat=72073
175.52/88.10	c flip 170000 nbSat=72016 maxSat=72073
179.12/89.92	c flip 180000 nbSat=71992 maxSat=72073
182.90/91.87	c flip 190000 nbSat=72037 maxSat=72073
187.10/93.93	c flip 200000 nbSat=72061 maxSat=72100
191.08/95.99	c flip 210000 nbSat=72100 maxSat=72126
195.09/97.98	c flip 220000 nbSat=72059 maxSat=72146
199.07/99.96	c nbDecision=50000 #clauses=82522
199.28/100.03	c flip 230000 nbSat=72055 maxSat=72146
202.86/101.87	c flip 240000 nbSat=72094 maxSat=72150
206.45/103.65	c flip 250000 nbSat=72096 maxSat=72150
210.64/105.75	c flip 0 nbSat=76715 maxSat=72150
216.43/108.68	c flip 10000 nbSat=80529 maxSat=80556
222.62/111.78	c flip 20000 nbSat=81417 maxSat=81432
229.81/115.37	c flip 30000 nbSat=81827 maxSat=81853
237.19/119.02	c flip 40000 nbSat=82079 maxSat=82084
244.77/122.81	c flip 50000 nbSat=82137 maxSat=82208
252.74/126.86	c flip 60000 nbSat=82312 maxSat=82353
260.92/130.91	c flip 70000 nbSat=82395 maxSat=82436
268.09/134.55	c flip 80000 nbSat=82416 maxSat=82443
276.08/138.51	c flip 90000 nbSat=82458 maxSat=82499
280.87/140.92	c nbDecision=60000 #clauses=88429
284.66/142.86	c flip 100000 nbSat=82526 maxSat=82570
293.24/147.10	c flip 110000 nbSat=82559 maxSat=82628
301.62/151.35	c flip 120000 nbSat=82604 maxSat=82644
309.81/155.41	c flip 130000 nbSat=82611 maxSat=82644
318.19/159.62	c flip 140000 nbSat=82524 maxSat=82644
326.17/163.61	c flip 150000 nbSat=82590 maxSat=82644
334.14/167.64	c flip 160000 nbSat=82599 maxSat=82654
342.93/172.03	c flip 170000 nbSat=82616 maxSat=82686
351.50/176.35	c flip 180000 nbSat=82597 maxSat=82694
360.47/180.81	c flip 190000 nbSat=82714 maxSat=82720
369.45/185.30	c flip 200000 nbSat=82722 maxSat=82735
378.03/189.63	c flip 210000 nbSat=82701 maxSat=82735
381.83/191.59	c nbDecision=70000 #clauses=94043
387.22/194.29	c flip 220000 nbSat=82720 maxSat=82739
396.80/199.08	c flip 230000 nbSat=82657 maxSat=82761
405.97/203.63	c flip 240000 nbSat=82661 maxSat=82761
414.95/208.10	c flip 250000 nbSat=82712 maxSat=82761
424.13/212.75	c flip 0 nbSat=89189 maxSat=82761
433.51/217.47	c flip 10000 nbSat=93210 maxSat=93210
444.88/223.13	c flip 20000 nbSat=94091 maxSat=94108
456.84/229.11	c flip 30000 nbSat=94629 maxSat=94634
469.62/235.50	c flip 40000 nbSat=94794 maxSat=94818
482.98/242.20	c flip 50000 nbSat=95010 maxSat=95016
491.76/246.66	c nbDecision=80000 #clauses=100178
497.15/249.38	c flip 60000 nbSat=95053 maxSat=95103
511.92/256.75	c flip 70000 nbSat=95112 maxSat=95150
525.89/263.76	c flip 80000 nbSat=95190 maxSat=95192
539.66/270.64	c flip 90000 nbSat=95280 maxSat=95300
553.21/277.48	c flip 100000 nbSat=95255 maxSat=95325
566.18/283.96	c flip 110000 nbSat=95266 maxSat=95337
580.15/290.92	c flip 120000 nbSat=95346 maxSat=95363
593.33/297.60	c flip 130000 nbSat=95343 maxSat=95363
607.70/304.78	c flip 140000 nbSat=95379 maxSat=95403
622.05/311.90	c flip 150000 nbSat=95418 maxSat=95476
636.61/319.21	c nbDecision=90000 #clauses=106178
636.81/319.34	c flip 160000 nbSat=95414 maxSat=95476
651.77/326.83	c flip 170000 nbSat=95360 maxSat=95476
667.14/334.53	c flip 180000 nbSat=95430 maxSat=95479
682.11/342.02	c flip 190000 nbSat=95369 maxSat=95479
695.49/348.78	c flip 200000 nbSat=95350 maxSat=95479
708.45/355.26	c flip 210000 nbSat=95448 maxSat=95479
721.82/361.94	c flip 220000 nbSat=95450 maxSat=95491
735.37/368.76	c flip 230000 nbSat=95462 maxSat=95500
748.94/375.57	c flip 240000 nbSat=95468 maxSat=95510
763.70/382.97	c flip 250000 nbSat=95465 maxSat=95510
779.67/390.90	c flip 0 nbSat=104516 maxSat=95518
793.84/398.03	c flip 10000 nbSat=108312 maxSat=108317
807.60/404.94	c nbDecision=100000 #clauses=112301
811.59/406.91	c flip 20000 nbSat=109241 maxSat=109254
831.34/416.83	c flip 30000 nbSat=109674 maxSat=109684
851.29/426.83	c flip 40000 nbSat=109885 maxSat=109893
872.04/437.22	c flip 50000 nbSat=110105 maxSat=110122
893.59/448.08	c flip 60000 nbSat=110205 maxSat=110238
916.13/459.33	c flip 70000 nbSat=110204 maxSat=110289
939.47/471.03	c flip 80000 nbSat=110288 maxSat=110308
962.82/482.77	c flip 90000 nbSat=110319 maxSat=110351
985.57/494.20	c flip 100000 nbSat=110426 maxSat=110428
1008.29/505.55	c flip 110000 nbSat=110433 maxSat=110455
1008.49/505.69	c nbDecision=110000 #clauses=118536
1031.25/517.09	c flip 120000 nbSat=110495 maxSat=110518
1054.59/528.72	c flip 130000 nbSat=110394 maxSat=110518
1078.13/540.53	c flip 140000 nbSat=110486 maxSat=110518
1100.28/551.61	c flip 150000 nbSat=110524 maxSat=110546
1124.62/563.85	c flip 160000 nbSat=110514 maxSat=110576
1149.36/576.29	c flip 170000 nbSat=110566 maxSat=110591
1173.10/588.16	c flip 180000 nbSat=110488 maxSat=110591
1196.64/599.91	c flip 190000 nbSat=110521 maxSat=110591

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/node20/watcher-328282-1173109655 -o ROOT/results/node20/solver-328282-1173109655 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328282-1173109655/ornithorynque /tmp/evaluation/328282-1173109655/instance-328282-1173109655.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 14902
/proc/meminfo: memFree=1147200/2055920 swapFree=4094412/4192956
[pid=14902] ppid=14900 vsize=23220 CPUtime=0
/proc/14902/stat : 14902 (ornithorynque) R 14900 14902 14393 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 37047767 23777280 266 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273949953297 0 0 4096 0 0 0 0 17 1 0 0
/proc/14902/statm: 5805 266 219 42 0 45 0

[startup+0.0887721 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 14902
/proc/meminfo: memFree=1147200/2055920 swapFree=4094412/4192956
[pid=14902] ppid=14900 vsize=26292 CPUtime=0.07
/proc/14902/stat : 14902 (ornithorynque) R 14900 14902 14393 0 -1 4194304 1237 0 0 0 7 0 0 0 18 0 1 0 37047767 26923008 1165 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961496674 0 0 4096 1088 0 0 0 17 1 0 0
/proc/14902/statm: 6573 1165 377 42 0 825 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 26292

[startup+0.101774 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 14902
/proc/meminfo: memFree=1147200/2055920 swapFree=4094412/4192956
[pid=14902] ppid=14900 vsize=26944 CPUtime=0.09
/proc/14902/stat : 14902 (ornithorynque) R 14900 14902 14393 0 -1 4194304 1411 0 0 0 9 0 0 0 18 0 1 0 37047767 27590656 1274 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273952445153 0 0 4096 1088 0 0 0 17 1 0 0
/proc/14902/statm: 6736 1274 377 42 0 988 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26944

[startup+0.301822 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 14902
/proc/meminfo: memFree=1147200/2055920 swapFree=4094412/4192956
[pid=14902] ppid=14900 vsize=54692 CPUtime=0.36
/proc/14902/stat : 14902 (ornithorynque) S 14900 14902 14393 0 -1 4194304 3362 0 0 0 35 1 0 0 19 0 3 0 37047767 56004608 3073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14902/statm: 13673 3073 387 42 0 7925 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 54692

[startup+0.701906 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 14902
/proc/meminfo: memFree=1147200/2055920 swapFree=4094412/4192956
[pid=14902] ppid=14900 vsize=54824 CPUtime=1.16
/proc/14902/stat : 14902 (ornithorynque) S 14900 14902 14393 0 -1 4194304 3400 0 0 0 115 1 0 0 19 0 3 0 37047767 56139776 3111 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14902/statm: 13706 3111 387 42 0 7958 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 54824

[startup+1.50106 s]
/proc/loadavg: 1.83 1.94 1.90 3/80 14905
/proc/meminfo: memFree=1135976/2055920 swapFree=4094412/4192956
[pid=14902] ppid=14900 vsize=55088 CPUtime=2.75
/proc/14902/stat : 14902 (ornithorynque) S 14900 14902 14393 0 -1 4194304 3470 0 0 0 274 1 0 0 19 0 3 0 37047767 56410112 3181 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14902/statm: 13772 3181 387 42 0 8024 0
[pid=14902/tid=14904] ppid=14900 vsize=55088 CPUtime=1.26
/proc/14902/task/14904/stat : 14904 (ornithorynque) R 14900 14902 14393 0 -1 4194368 180 0 0 0 126 0 0 0 25 0 3 0 37047790 56410112 3181 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14902/tid=14905] ppid=14900 vsize=55088 CPUtime=1.25
/proc/14902/task/14905/stat : 14905 (ornithorynque) R 14900 14902 14393 0 -1 4194368 2 0 0 0 125 0 0 0 25 0 3 0 37047790 56410112 3181 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242444 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 55088

[startup+3.10238 s]
/proc/loadavg: 1.83 1.94 1.90 3/80 14905
/proc/meminfo: memFree=1135336/2055920 swapFree=4094412/4192956
[pid=14902] ppid=14900 vsize=58008 CPUtime=5.94
/proc/14902/stat : 14902 (ornithorynque) S 14900 14902 14393 0 -1 4194304 3997 0 0 0 593 1 0 0 19 0 3 0 37047767 59400192 3708 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14902/statm: 14502 3708 387 42 0 8754 0
[pid=14902/tid=14904] ppid=14900 vsize=58008 CPUtime=2.86
/proc/14902/task/14904/stat : 14904 (ornithorynque) R 14900 14902 14393 0 -1 4194368 330 0 0 0 286 0 0 0 25 0 3 0 37047790 59400192 3708 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14902/tid=14905] ppid=14900 vsize=58008 CPUtime=2.85
/proc/14902/task/14905/stat : 14905 (ornithorynque) R 14900 14902 14393 0 -1 4194368 379 0 0 0 285 0 0 0 22 0 3 0 37047790 59400192 3708 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285958 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 58008

[startup+6.30202 s]
/proc/loadavg: 1.85 1.94 1.90 3/80 14905
/proc/meminfo: memFree=1132584/2055920 swapFree=4094412/4192956
[pid=14902] ppid=14900 vsize=59064 CPUtime=12.33
/proc/14902/stat : 14902 (ornithorynque) S 14900 14902 14393 0 -1 4194304 4284 0 0 0 1232 1 0 0 19 0 3 0 37047767 60481536 3995 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14902/statm: 14766 3995 387 42 0 9018 0
[pid=14902/tid=14904] ppid=14900 vsize=59064 CPUtime=6.06
/proc/14902/task/14904/stat : 14904 (ornithorynque) R 14900 14902 14393 0 -1 4194368 617 0 0 0 606 0 0 0 25 0 3 0 37047790 60481536 3995 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14902/tid=14905] ppid=14900 vsize=59064 CPUtime=6.03
/proc/14902/task/14905/stat : 14905 (ornithorynque) R 14900 14902 14393 0 -1 4194368 379 0 0 0 603 0 0 0 25 0 3 0 37047790 60481536 3995 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285320 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 59064

[startup+12.7023 s]
/proc/loadavg: 1.86 1.94 1.90 3/80 14905
/proc/meminfo: memFree=1128232/2055920 swapFree=4094412/4192956
[pid=14902] ppid=14900 vsize=62692 CPUtime=25.1
/proc/14902/stat : 14902 (ornithorynque) S 14900 14902 14393 0 -1 4194304 5338 0 0 0 2507 3 0 0 19 0 3 0 37047767 64196608 5049 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14902/statm: 15673 5049 387 42 0 9925 0
[pid=14902/tid=14904] ppid=14900 vsize=62692 CPUtime=12.45
/proc/14902/task/14904/stat : 14904 (ornithorynque) R 14900 14902 14393 0 -1 4194368 1017 0 0 0 1245 0 0 0 25 0 3 0 37047790 64196608 5049 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314367 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14902/tid=14905] ppid=14900 vsize=62692 CPUtime=12.41
/proc/14902/task/14905/stat : 14905 (ornithorynque) R 14900 14902 14393 0 -1 4194368 1033 0 0 0 1240 1 0 0 25 0 3 0 37047790 64196608 5049 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242170 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 62692

[startup+25.5019 s]
/proc/loadavg: 1.89 1.94 1.90 3/80 14905
/proc/meminfo: memFree=1121128/2055920 swapFree=4094412/4192956
[pid=14902] ppid=14900 vsize=69792 CPUtime=50.64
/proc/14902/stat : 14902 (ornithorynque) S 14900 14902 14393 0 -1 4194304 7098 0 0 0 5059 5 0 0 19 0 3 0 37047767 71467008 6809 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14902/statm: 17448 6809 387 42 0 11700 0
[pid=14902/tid=14904] ppid=14900 vsize=69792 CPUtime=25.24
/proc/14902/task/14904/stat : 14904 (ornithorynque) R 14900 14902 14393 0 -1 4194368 1830 0 0 0 2522 2 0 0 25 0 3 0 37047790 71467008 6809 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238096 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14902/tid=14905] ppid=14900 vsize=69792 CPUtime=25.15
/proc/14902/task/14905/stat : 14905 (ornithorynque) R 14900 14902 14393 0 -1 4194368 1980 0 0 0 2514 1 0 0 25 0 3 0 37047790 71467008 6809 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283714 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 69792

[startup+51.102 s]
/proc/loadavg: 1.93 1.94 1.90 3/80 14905
/proc/meminfo: memFree=1109864/2055920 swapFree=4094412/4192956
[pid=14902] ppid=14900 vsize=82316 CPUtime=101.7
/proc/14902/stat : 14902 (ornithorynque) S 14900 14902 14393 0 -1 4194304 10173 0 0 0 10162 8 0 0 19 0 3 0 37047767 84291584 9626 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14902/statm: 20579 9626 388 42 0 14831 0
[pid=14902/tid=14904] ppid=14900 vsize=82316 CPUtime=50.84
/proc/14902/task/14904/stat : 14904 (ornithorynque) R 14900 14902 14393 0 -1 4194368 2489 0 0 0 5080 4 0 0 25 0 3 0 37047790 84291584 9626 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311174 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14902/tid=14905] ppid=14900 vsize=82316 CPUtime=50.63
/proc/14902/task/14905/stat : 14905 (ornithorynque) R 14900 14902 14393 0 -1 4194368 4396 0 0 0 5060 3 0 0 25 0 3 0 37047790 84291584 9626 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 82316

[startup+102.305 s]
/proc/loadavg: 1.97 1.95 1.91 3/80 14905
/proc/meminfo: memFree=1092968/2055920 swapFree=4094412/4192956
[pid=14902] ppid=14900 vsize=99884 CPUtime=203.86
/proc/14902/stat : 14902 (ornithorynque) S 14900 14902 14393 0 -1 4194304 14349 0 0 0 20372 14 0 0 19 0 3 0 37047767 102281216 13802 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14902/statm: 24971 13802 388 42 0 19223 0
[pid=14902/tid=14904] ppid=14900 vsize=99884 CPUtime=102.02
/proc/14902/task/14904/stat : 14904 (ornithorynque) R 14900 14902 14393 0 -1 4194368 4588 0 0 0 10193 9 0 0 25 0 3 0 37047790 102281216 13802 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14902/tid=14905] ppid=14900 vsize=99884 CPUtime=101.59
/proc/14902/task/14905/stat : 14905 (ornithorynque) R 14900 14902 14393 0 -1 4194368 6473 0 0 0 10156 3 0 0 25 0 3 0 37047790 102281216 13802 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242596 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 99884

[startup+162.301 s]
/proc/loadavg: 1.99 1.95 1.91 3/80 14905
/proc/meminfo: memFree=1072552/2055920 swapFree=4094412/4192956
[pid=14902] ppid=14900 vsize=122392 CPUtime=323.57
/proc/14902/stat : 14902 (ornithorynque) S 14900 14902 14393 0 -1 4194304 19439 0 0 0 32338 19 0 0 19 0 3 0 37047767 125329408 18892 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14902/statm: 30598 18892 388 42 0 24850 0
[pid=14902/tid=14904] ppid=14900 vsize=122392 CPUtime=161.99
/proc/14902/task/14904/stat : 14904 (ornithorynque) R 14900 14902 14393 0 -1 4194368 6331 0 0 0 16187 12 0 0 25 0 3 0 37047790 125329408 18892 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14902/tid=14905] ppid=14900 vsize=122392 CPUtime=161.33
/proc/14902/task/14905/stat : 14905 (ornithorynque) R 14900 14902 14393 0 -1 4194368 9820 0 0 0 16128 5 0 0 25 0 3 0 37047790 125329408 18892 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.57
Current children cumulated vsize (KiB) 122392

[startup+222.301 s]
/proc/loadavg: 1.99 1.96 1.91 3/80 14905
/proc/meminfo: memFree=1050216/2055920 swapFree=4094412/4192956
[pid=14902] ppid=14900 vsize=148008 CPUtime=443.28
/proc/14902/stat : 14902 (ornithorynque) S 14900 14902 14393 0 -1 4194304 25029 0 0 0 44304 24 0 0 19 0 3 0 37047767 151560192 24482 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14902/statm: 37002 24482 388 42 0 31254 0
[pid=14902/tid=14904] ppid=14900 vsize=148008 CPUtime=221.97
/proc/14902/task/14904/stat : 14904 (ornithorynque) R 14900 14902 14393 0 -1 4194368 7712 0 0 0 22182 15 0 0 25 0 3 0 37047790 151560192 24482 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311432 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14902/tid=14905] ppid=14900 vsize=148008 CPUtime=221.06
/proc/14902/task/14905/stat : 14905 (ornithorynque) R 14900 14902 14393 0 -1 4194368 14029 0 0 0 22099 7 0 0 25 0 3 0 37047790 151560192 24482 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) 148008

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 14905
/proc/meminfo: memFree=1044584/2055920 swapFree=4094412/4192956
[pid=14902] ppid=14900 vsize=153128 CPUtime=562.99
/proc/14902/stat : 14902 (ornithorynque) S 14900 14902 14393 0 -1 4194304 26425 0 0 0 56272 27 0 0 19 0 3 0 37047767 156803072 25878 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14902/statm: 38282 25878 388 42 0 32534 0
[pid=14902/tid=14904] ppid=14900 vsize=153128 CPUtime=281.95
/proc/14902/task/14904/stat : 14904 (ornithorynque) R 14900 14902 14393 0 -1 4194368 9108 0 0 0 28177 18 0 0 25 0 3 0 37047790 156803072 25878 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311264 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14902/tid=14905] ppid=14900 vsize=153128 CPUtime=280.8
/proc/14902/task/14905/stat : 14905 (ornithorynque) R 14900 14902 14393 0 -1 4194368 14029 0 0 0 28073 7 0 0 25 0 3 0 37047790 156803072 25878 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241780 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.99
Current children cumulated vsize (KiB) 153128

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 14905
/proc/meminfo: memFree=1040424/2055920 swapFree=4094412/4192956
[pid=14902] ppid=14900 vsize=157224 CPUtime=682.7
/proc/14902/stat : 14902 (ornithorynque) S 14900 14902 14393 0 -1 4194304 27449 0 0 0 68241 29 0 0 19 0 3 0 37047767 160997376 26902 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14902/statm: 39306 26902 388 42 0 33558 0
[pid=14902/tid=14904] ppid=14900 vsize=157224 CPUtime=341.92
/proc/14902/task/14904/stat : 14904 (ornithorynque) R 14900 14902 14393 0 -1 4194368 10132 0 0 0 34172 20 0 0 25 0 3 0 37047790 160997376 26902 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311247 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14902/tid=14905] ppid=14900 vsize=157224 CPUtime=340.54
/proc/14902/task/14905/stat : 14905 (ornithorynque) R 14900 14902 14393 0 -1 4194368 14029 0 0 0 34046 8 0 0 25 0 3 0 37047790 160997376 26902 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.7
Current children cumulated vsize (KiB) 157224

[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 14905
/proc/meminfo: memFree=1017896/2055920 swapFree=4094412/4192956
[pid=14902] ppid=14900 vsize=183144 CPUtime=802.41
/proc/14902/stat : 14902 (ornithorynque) S 14900 14902 14393 0 -1 4194304 33233 0 0 0 80207 34 0 0 19 0 3 0 37047767 187539456 32532 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14902/statm: 45786 32532 388 42 0 40038 0
[pid=14902/tid=14904] ppid=14900 vsize=183144 CPUtime=401.9
/proc/14902/task/14904/stat : 14904 (ornithorynque) R 14900 14902 14393 0 -1 4194368 11068 0 0 0 40167 23 0 0 25 0 3 0 37047790 187539456 32532 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14902/tid=14905] ppid=14900 vsize=183144 CPUtime=400.26
/proc/14902/task/14905/stat : 14905 (ornithorynque) R 14900 14902 14393 0 -1 4194368 18877 0 0 0 40017 9 0 0 25 0 3 0 37047790 187539456 32532 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242130 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.41
Current children cumulated vsize (KiB) 183144

[startup+462.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 14907
/proc/meminfo: memFree=1014248/2055920 swapFree=4094412/4192956
[pid=14902] ppid=14900 vsize=186708 CPUtime=922.11
/proc/14902/stat : 14902 (ornithorynque) S 14900 14902 14393 0 -1 4194304 34110 0 0 0 92176 35 0 0 19 0 3 0 37047767 191188992 33409 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14902/statm: 46677 33409 388 42 0 40929 0
[pid=14902/tid=14904] ppid=14900 vsize=186708 CPUtime=461.88
/proc/14902/task/14904/stat : 14904 (ornithorynque) R 14900 14902 14393 0 -1 4194368 11945 0 0 0 46164 24 0 0 25 0 3 0 37047790 191188992 33409 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311171 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14902/tid=14905] ppid=14900 vsize=186708 CPUtime=459.99
/proc/14902/task/14905/stat : 14905 (ornithorynque) R 14900 14902 14393 0 -1 4194368 18877 0 0 0 45990 9 0 0 25 0 3 0 37047790 191188992 33409 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4284325 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.11
Current children cumulated vsize (KiB) 186708

[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 14907
/proc/meminfo: memFree=1010856/2055920 swapFree=4094412/4192956
[pid=14902] ppid=14900 vsize=190148 CPUtime=1041.82
/proc/14902/stat : 14902 (ornithorynque) S 14900 14902 14393 0 -1 4194304 34987 0 0 0 104145 37 0 0 19 0 3 0 37047767 194711552 34286 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14902/statm: 47537 34286 388 42 0 41789 0
[pid=14902/tid=14904] ppid=14900 vsize=190148 CPUtime=521.85
/proc/14902/task/14904/stat : 14904 (ornithorynque) R 14900 14902 14393 0 -1 4194368 12822 0 0 0 52160 25 0 0 25 0 3 0 37047790 194711552 34286 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14902/tid=14905] ppid=14900 vsize=190148 CPUtime=519.72
/proc/14902/task/14905/stat : 14905 (ornithorynque) R 14900 14902 14393 0 -1 4194368 18877 0 0 0 51962 10 0 0 25 0 3 0 37047790 194711552 34286 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4284351 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.82
Current children cumulated vsize (KiB) 190148

[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 14907
/proc/meminfo: memFree=1007208/2055920 swapFree=4094412/4192956
[pid=14902] ppid=14900 vsize=193728 CPUtime=1161.52
/proc/14902/stat : 14902 (ornithorynque) S 14900 14902 14393 0 -1 4194304 35887 0 0 0 116114 38 0 0 19 0 3 0 37047767 198377472 35186 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14902/statm: 48432 35186 388 42 0 42684 0
[pid=14902/tid=14904] ppid=14900 vsize=193728 CPUtime=581.84
/proc/14902/task/14904/stat : 14904 (ornithorynque) R 14900 14902 14393 0 -1 4194368 13722 0 0 0 58157 27 0 0 25 0 3 0 37047790 198377472 35186 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14902/tid=14905] ppid=14900 vsize=193728 CPUtime=579.45
/proc/14902/task/14905/stat : 14905 (ornithorynque) R 14900 14902 14393 0 -1 4194368 18877 0 0 0 57935 10 0 0 25 0 3 0 37047790 198377472 35186 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285268 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.52
Current children cumulated vsize (KiB) 193728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.602 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 14907
/proc/meminfo: memFree=1006056/2055920 swapFree=4094412/4192956
[pid=14902] ppid=14900 vsize=194784 CPUtime=1200.05
/proc/14902/stat : 14902 (ornithorynque) S 14900 14902 14393 0 -1 4194304 36171 0 0 0 119966 39 0 0 19 0 3 0 37047767 199458816 35470 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14902/statm: 48696 35470 388 42 0 42948 0
[pid=14902/tid=14904] ppid=14900 vsize=194784 CPUtime=601.14
/proc/14902/task/14904/stat : 14904 (ornithorynque) R 14900 14902 14393 0 -1 4194368 14006 0 0 0 60087 27 0 0 25 0 3 0 37047790 199458816 35470 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14902/tid=14905] ppid=14900 vsize=194784 CPUtime=598.66
/proc/14902/task/14905/stat : 14905 (ornithorynque) R 14900 14902 14393 0 -1 4194368 18877 0 0 0 59856 10 0 0 25 0 3 0 37047790 199458816 35470 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241651 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 194784

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.09
CPU user time (s): 1199.68
CPU system time (s): 0.412937
CPU usage (%): 199.469
Max. virtual memory (cumulated for all children) (KiB): 194784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.68
system time used= 0.412937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36171
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= 78
involuntary context switches= 22870

runsolver used 0.45993 second user time and 1.76973 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Mon Mar  5 15:47:35 UTC 2007

IDJOB= 328282
IDBENCH= 20190
IDSOLVER= 139
FILE ID= node20/328282-1173109655

PBS_JOBID= 4013925

Free space on /tmp= 66545 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  fb3f2949b4db9208554e1bbbe827c1fe

RANDOM SEED= 637308171

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node20.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.261
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.261
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:       1147544 kB
Buffers:         47712 kB
Cached:         766488 kB
SwapCached:       2684 kB
Active:          76248 kB
Inactive:       761368 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1147544 kB
SwapTotal:     4192956 kB
SwapFree:      4094412 kB
Dirty:            1276 kB
Writeback:           0 kB
Mapped:          38144 kB
Slab:            56108 kB
Committed_AS:   257136 kB
PageTables:       1916 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= 66545 MiB

End job on node20 on Mon Mar  5 15:57:39 UTC 2007