Trace number 328281

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.639

General information on the benchmark

Namerandom/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1054448974-13.cnf
MD5SUMf290f56a074b6fc7cc916d5199a37a77
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.25	c flip 0 nbSat=47777 maxSat=0
0.35/0.34	c flip 10000 nbSat=51690 maxSat=51703
0.55/0.43	c flip 20000 nbSat=52638 maxSat=52644
0.75/0.52	c flip 30000 nbSat=52954 maxSat=52986
0.95/0.61	c flip 40000 nbSat=53176 maxSat=53210
1.15/0.70	c flip 50000 nbSat=53306 maxSat=53366
1.15/0.79	c flip 60000 nbSat=53412 maxSat=53429
1.35/0.87	c flip 70000 nbSat=53546 maxSat=53589
1.55/0.96	c flip 80000 nbSat=53538 maxSat=53589
1.76/1.05	c flip 90000 nbSat=53617 maxSat=53665
1.96/1.13	c flip 100000 nbSat=53612 maxSat=53665
2.15/1.22	c flip 110000 nbSat=53636 maxSat=53676
2.35/1.30	c flip 120000 nbSat=53663 maxSat=53714
2.35/1.39	c flip 130000 nbSat=53685 maxSat=53747
2.55/1.47	c flip 140000 nbSat=53708 maxSat=53761
2.75/1.55	c flip 150000 nbSat=53702 maxSat=53775
2.95/1.64	c flip 160000 nbSat=53708 maxSat=53775
3.15/1.72	c flip 170000 nbSat=53732 maxSat=53805
3.35/1.80	c flip 180000 nbSat=53737 maxSat=53832
3.35/1.89	c flip 190000 nbSat=53713 maxSat=53832
3.55/1.97	c flip 200000 nbSat=53725 maxSat=53832
3.75/2.05	c flip 210000 nbSat=53811 maxSat=53832
3.95/2.14	c flip 220000 nbSat=53755 maxSat=53832
4.15/2.22	c flip 230000 nbSat=53719 maxSat=53832
4.34/2.31	c flip 240000 nbSat=53728 maxSat=53832
4.34/2.39	c flip 250000 nbSat=53696 maxSat=53832
4.74/2.51	c flip 0 nbSat=48819 maxSat=53832
4.94/2.64	c flip 10000 nbSat=52680 maxSat=53832
5.14/2.77	c flip 20000 nbSat=53564 maxSat=53832
5.54/2.91	c flip 30000 nbSat=53983 maxSat=54002
5.74/3.05	c flip 40000 nbSat=54209 maxSat=54214
5.94/3.19	c flip 50000 nbSat=54330 maxSat=54338
6.34/3.34	c flip 60000 nbSat=54380 maxSat=54445
6.53/3.48	c flip 70000 nbSat=54497 maxSat=54553
6.93/3.62	c flip 80000 nbSat=54527 maxSat=54584
7.13/3.76	c flip 90000 nbSat=54632 maxSat=54669
7.53/3.90	c flip 100000 nbSat=54645 maxSat=54706
7.73/4.04	c flip 110000 nbSat=54597 maxSat=54712
7.93/4.18	c flip 120000 nbSat=54684 maxSat=54712
8.34/4.32	c flip 130000 nbSat=54725 maxSat=54754
8.54/4.46	c flip 140000 nbSat=54768 maxSat=54802
8.93/4.60	c flip 150000 nbSat=54785 maxSat=54829
9.13/4.75	c flip 160000 nbSat=54810 maxSat=54847
9.33/4.88	c flip 170000 nbSat=54775 maxSat=54847
9.73/5.02	c flip 180000 nbSat=54823 maxSat=54853
9.92/5.16	c flip 190000 nbSat=54804 maxSat=54873
10.32/5.30	c flip 200000 nbSat=54792 maxSat=54873
10.53/5.45	c flip 210000 nbSat=54805 maxSat=54873
10.73/5.59	c flip 220000 nbSat=54852 maxSat=54873
11.12/5.73	c flip 230000 nbSat=54781 maxSat=54873
11.32/5.86	c flip 240000 nbSat=54842 maxSat=54879
11.72/6.01	c flip 250000 nbSat=54829 maxSat=54902
11.92/6.19	c flip 0 nbSat=50577 maxSat=54920
12.33/6.39	c flip 10000 nbSat=54437 maxSat=54920
12.93/6.61	c flip 20000 nbSat=55433 maxSat=55438
13.32/6.85	c flip 30000 nbSat=55754 maxSat=55762
13.72/7.07	c flip 40000 nbSat=55970 maxSat=56023
14.32/7.31	c flip 50000 nbSat=56126 maxSat=56177
14.72/7.56	c flip 60000 nbSat=56258 maxSat=56315
15.31/7.82	c flip 70000 nbSat=56315 maxSat=56370
15.71/8.07	c flip 80000 nbSat=56332 maxSat=56373
16.31/8.33	c flip 90000 nbSat=56418 maxSat=56441
16.71/8.59	c flip 100000 nbSat=56431 maxSat=56474
17.32/8.85	c flip 110000 nbSat=56398 maxSat=56474
17.91/9.11	c flip 120000 nbSat=56446 maxSat=56474
18.31/9.38	c flip 130000 nbSat=56485 maxSat=56526
18.91/9.63	c flip 140000 nbSat=56566 maxSat=56598
19.31/9.89	c flip 150000 nbSat=56545 maxSat=56603
19.90/10.15	c flip 160000 nbSat=56586 maxSat=56633
20.50/10.40	c flip 170000 nbSat=56584 maxSat=56633
20.90/10.66	c flip 180000 nbSat=56602 maxSat=56659
21.30/10.90	c flip 190000 nbSat=56565 maxSat=56659
21.89/11.15	c flip 200000 nbSat=56531 maxSat=56659
22.29/11.40	c flip 210000 nbSat=56574 maxSat=56659
22.90/11.63	c flip 220000 nbSat=56568 maxSat=56659
23.30/11.89	c flip 230000 nbSat=56623 maxSat=56659
23.91/12.15	c flip 240000 nbSat=56601 maxSat=56659
24.10/12.24	c nbDecision=10000 #clauses=59566
24.30/12.39	c flip 250000 nbSat=56653 maxSat=56665
25.09/12.72	c flip 0 nbSat=52942 maxSat=56685
25.69/13.09	c flip 10000 nbSat=56863 maxSat=56863
26.69/13.53	c flip 20000 nbSat=57665 maxSat=57690
27.49/13.99	c flip 30000 nbSat=58032 maxSat=58071
28.49/14.45	c flip 40000 nbSat=58300 maxSat=58324
29.28/14.89	c flip 50000 nbSat=58352 maxSat=58442
30.29/15.35	c flip 60000 nbSat=58537 maxSat=58581
31.28/15.82	c flip 70000 nbSat=58596 maxSat=58623
32.08/16.25	c flip 80000 nbSat=58705 maxSat=58732
32.88/16.69	c flip 90000 nbSat=58679 maxSat=58761
33.88/17.13	c flip 100000 nbSat=58731 maxSat=58761
34.68/17.59	c flip 110000 nbSat=58705 maxSat=58761
35.67/18.04	c flip 120000 nbSat=58742 maxSat=58764
36.47/18.49	c flip 130000 nbSat=58838 maxSat=58861
37.46/18.94	c flip 140000 nbSat=58788 maxSat=58874
38.26/19.38	c flip 150000 nbSat=58885 maxSat=58914
39.07/19.80	c flip 160000 nbSat=58923 maxSat=58981
40.06/20.24	c flip 170000 nbSat=58923 maxSat=58983
40.85/20.67	c flip 180000 nbSat=58894 maxSat=58983
41.85/21.10	c flip 190000 nbSat=58894 maxSat=58983
42.65/21.54	c flip 200000 nbSat=58882 maxSat=58983
43.46/21.96	c flip 210000 nbSat=58899 maxSat=58983
44.45/22.40	c flip 220000 nbSat=58927 maxSat=58983
45.25/22.85	c flip 230000 nbSat=58908 maxSat=58983
46.24/23.32	c flip 240000 nbSat=58967 maxSat=58983
47.04/23.75	c flip 250000 nbSat=58945 maxSat=58983
48.04/24.28	c flip 0 nbSat=55945 maxSat=58995
49.24/24.87	c flip 10000 nbSat=59789 maxSat=59799
50.84/25.60	c flip 20000 nbSat=60736 maxSat=60736
52.24/26.39	c flip 30000 nbSat=61098 maxSat=61111
53.83/27.18	c flip 40000 nbSat=61339 maxSat=61344
55.62/28.04	c flip 50000 nbSat=61491 maxSat=61515
57.42/28.92	c flip 60000 nbSat=61549 maxSat=61571
59.02/29.76	c flip 70000 nbSat=61651 maxSat=61655
60.61/30.59	c flip 80000 nbSat=61696 maxSat=61728
62.41/31.44	c flip 90000 nbSat=61780 maxSat=61802
64.20/32.34	c flip 100000 nbSat=61761 maxSat=61831
66.00/33.26	c flip 110000 nbSat=61805 maxSat=61844
67.99/34.20	c flip 120000 nbSat=61876 maxSat=61914
69.39/34.98	c nbDecision=20000 #clauses=65394
69.79/35.19	c flip 130000 nbSat=61813 maxSat=61914
71.78/36.13	c flip 140000 nbSat=61871 maxSat=61914
73.77/37.11	c flip 150000 nbSat=61923 maxSat=61972
75.56/38.00	c flip 160000 nbSat=61899 maxSat=61972
77.36/38.93	c flip 170000 nbSat=61914 maxSat=61972
79.15/39.86	c flip 180000 nbSat=61908 maxSat=61972
80.96/40.72	c flip 190000 nbSat=61872 maxSat=61972
82.55/41.56	c flip 200000 nbSat=61852 maxSat=61972
84.15/42.35	c flip 210000 nbSat=61894 maxSat=61972
85.94/43.23	c flip 220000 nbSat=61907 maxSat=61972
87.54/44.03	c flip 230000 nbSat=61853 maxSat=61972
89.13/44.84	c flip 240000 nbSat=61921 maxSat=61972
90.93/45.71	c flip 250000 nbSat=61898 maxSat=61972
92.72/46.68	c flip 0 nbSat=61236 maxSat=61985
95.12/47.85	c flip 10000 nbSat=65132 maxSat=65132
97.91/49.26	c flip 20000 nbSat=65900 maxSat=65969
100.90/50.73	c flip 30000 nbSat=66314 maxSat=66318
103.90/52.24	c flip 40000 nbSat=66465 maxSat=66475
107.09/53.81	c flip 50000 nbSat=66649 maxSat=66670
110.08/55.32	c flip 60000 nbSat=66699 maxSat=66766
113.08/56.87	c flip 70000 nbSat=66668 maxSat=66784
116.27/58.40	c flip 80000 nbSat=66831 maxSat=66856
119.26/59.99	c flip 90000 nbSat=66937 maxSat=66954
122.66/61.63	c flip 100000 nbSat=66936 maxSat=66994
125.85/63.23	c flip 110000 nbSat=66963 maxSat=67017
129.25/64.94	c flip 120000 nbSat=66988 maxSat=67017
131.83/66.28	c nbDecision=30000 #clauses=71364
132.43/66.52	c flip 130000 nbSat=67009 maxSat=67056
135.63/68.14	c flip 140000 nbSat=66994 maxSat=67056
138.82/69.77	c flip 150000 nbSat=67021 maxSat=67056
142.22/71.49	c flip 160000 nbSat=67075 maxSat=67090
145.81/73.30	c flip 170000 nbSat=67115 maxSat=67144
149.40/75.06	c flip 180000 nbSat=67102 maxSat=67161
152.99/76.85	c flip 190000 nbSat=67126 maxSat=67167
156.38/78.58	c flip 200000 nbSat=67071 maxSat=67167
160.17/80.44	c flip 210000 nbSat=67116 maxSat=67167
163.96/82.35	c flip 220000 nbSat=67211 maxSat=67230
167.55/84.18	c flip 230000 nbSat=67205 maxSat=67230
170.95/85.82	c flip 240000 nbSat=67171 maxSat=67237
174.53/87.63	c flip 250000 nbSat=67187 maxSat=67245
178.52/89.61	c flip 0 nbSat=68376 maxSat=67273
182.51/91.62	c flip 10000 nbSat=72283 maxSat=72297
187.49/94.13	c flip 20000 nbSat=73233 maxSat=73250
192.89/96.86	c flip 30000 nbSat=73657 maxSat=73687
198.27/99.56	c flip 40000 nbSat=73850 maxSat=73892
203.67/102.23	c flip 50000 nbSat=73996 maxSat=74004
209.85/105.32	c flip 60000 nbSat=74055 maxSat=74123
211.84/106.37	c nbDecision=40000 #clauses=77433
215.63/108.29	c flip 70000 nbSat=74170 maxSat=74178
221.62/111.25	c flip 80000 nbSat=74183 maxSat=74259
228.02/114.48	c flip 90000 nbSat=74231 maxSat=74259
234.60/117.72	c flip 100000 nbSat=74312 maxSat=74333
241.18/121.00	c flip 110000 nbSat=74319 maxSat=74393
247.36/124.18	c flip 120000 nbSat=74306 maxSat=74393
254.36/127.65	c flip 130000 nbSat=74399 maxSat=74415
261.12/131.05	c flip 140000 nbSat=74323 maxSat=74434
267.71/134.33	c flip 150000 nbSat=74284 maxSat=74434
274.09/137.54	c flip 160000 nbSat=74354 maxSat=74434
280.67/140.83	c flip 170000 nbSat=74367 maxSat=74434
287.46/144.23	c flip 180000 nbSat=74405 maxSat=74439
294.04/147.58	c flip 190000 nbSat=74443 maxSat=74463
301.02/151.00	c flip 200000 nbSat=74461 maxSat=74496
307.61/154.37	c flip 210000 nbSat=74432 maxSat=74505
313.60/157.30	c flip 220000 nbSat=74485 maxSat=74505
319.99/160.55	c flip 230000 nbSat=74462 maxSat=74515
326.78/163.91	c flip 240000 nbSat=74451 maxSat=74518
333.55/167.37	c flip 250000 nbSat=74475 maxSat=74540
340.74/170.91	c flip 0 nbSat=76769 maxSat=74540
344.34/172.71	c nbDecision=50000 #clauses=83720
348.32/174.73	c flip 10000 nbSat=80623 maxSat=80623
357.90/179.57	c flip 20000 nbSat=81622 maxSat=81641
368.27/184.72	c flip 30000 nbSat=81971 maxSat=81983
378.84/190.01	c flip 40000 nbSat=82194 maxSat=82199
389.82/195.50	c flip 50000 nbSat=82368 maxSat=82371
401.99/201.63	c flip 60000 nbSat=82446 maxSat=82474
413.76/207.50	c flip 70000 nbSat=82515 maxSat=82549
426.93/214.11	c flip 80000 nbSat=82567 maxSat=82588
439.30/220.35	c flip 90000 nbSat=82525 maxSat=82622
452.46/226.99	c flip 100000 nbSat=82594 maxSat=82628
465.24/233.31	c flip 110000 nbSat=82599 maxSat=82628
468.83/235.12	c nbDecision=60000 #clauses=89753
478.61/240.08	c flip 120000 nbSat=82641 maxSat=82696
492.58/247.07	c flip 130000 nbSat=82683 maxSat=82721
504.75/253.14	c flip 140000 nbSat=82663 maxSat=82734
516.52/259.06	c flip 150000 nbSat=82624 maxSat=82734
528.10/264.87	c flip 160000 nbSat=82670 maxSat=82734
539.84/270.73	c flip 170000 nbSat=82678 maxSat=82734
552.81/277.25	c flip 180000 nbSat=82684 maxSat=82740
566.58/284.15	c flip 190000 nbSat=82769 maxSat=82787
580.55/291.15	c flip 200000 nbSat=82717 maxSat=82787
593.92/297.84	c flip 210000 nbSat=82677 maxSat=82787
598.31/300.07	c nbDecision=70000 #clauses=95894
607.09/304.45	c flip 220000 nbSat=82790 maxSat=82803
620.87/311.33	c flip 230000 nbSat=82767 maxSat=82828
635.21/318.59	c flip 240000 nbSat=82794 maxSat=82835
649.78/325.83	c flip 250000 nbSat=82828 maxSat=82836
663.55/332.77	c flip 0 nbSat=92098 maxSat=82855
678.71/340.36	c flip 10000 nbSat=95993 maxSat=95999
695.88/348.98	c flip 20000 nbSat=96971 maxSat=96971
715.42/358.79	c flip 30000 nbSat=97340 maxSat=97368
732.58/367.38	c nbDecision=80000 #clauses=101880
736.37/369.28	c flip 40000 nbSat=97464 maxSat=97527
755.32/378.73	c flip 50000 nbSat=97617 maxSat=97659
776.69/389.42	c flip 60000 nbSat=97757 maxSat=97792
800.84/401.52	c flip 70000 nbSat=97820 maxSat=97840
825.16/413.79	c flip 80000 nbSat=97772 maxSat=97860
848.91/425.65	c flip 90000 nbSat=97816 maxSat=97860
873.06/437.72	c flip 100000 nbSat=97851 maxSat=97922
873.26/437.89	c nbDecision=90000 #clauses=107949
896.80/449.63	c flip 110000 nbSat=97975 maxSat=98012
919.34/460.96	c flip 120000 nbSat=97975 maxSat=98034
943.29/472.99	c flip 130000 nbSat=97949 maxSat=98034
967.23/484.93	c flip 140000 nbSat=98000 maxSat=98039
989.37/496.08	c flip 150000 nbSat=98057 maxSat=98092
1011.71/507.25	c flip 160000 nbSat=98135 maxSat=98135
1035.67/519.24	c flip 170000 nbSat=98087 maxSat=98187
1051.23/527.08	c nbDecision=100000 #clauses=114141
1060.21/531.59	c flip 180000 nbSat=98119 maxSat=98187
1085.14/544.09	c flip 190000 nbSat=98150 maxSat=98187
1110.29/556.67	c flip 200000 nbSat=98121 maxSat=98187
1135.42/569.25	c flip 210000 nbSat=98105 maxSat=98189
1159.97/581.55	c flip 220000 nbSat=98150 maxSat=98189
1187.50/595.36	c flip 230000 nbSat=98145 maxSat=98197

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/node26/watcher-328281-1173109649 -o ROOT/results/node26/solver-328281-1173109649 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328281-1173109649/ornithorynque /tmp/evaluation/328281-1173109649/instance-328281-1173109649.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 15501
/proc/meminfo: memFree=942800/2055920 swapFree=4154868/4192956
[pid=15501] ppid=15499 vsize=23220 CPUtime=0
/proc/15501/stat : 15501 (ornithorynque) R 15499 15501 14992 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 330918600 23777280 266 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269025840401 0 0 4096 0 0 0 0 17 1 0 0
/proc/15501/statm: 5805 266 219 42 0 45 0

[startup+0.0855019 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 15501
/proc/meminfo: memFree=942800/2055920 swapFree=4154868/4192956
[pid=15501] ppid=15499 vsize=26108 CPUtime=0.07
/proc/15501/stat : 15501 (ornithorynque) R 15499 15501 14992 0 -1 4194304 1208 0 0 0 7 0 0 0 18 0 1 0 330918600 26734592 1136 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269028332257 0 0 4096 1088 0 0 0 17 1 0 0
/proc/15501/statm: 6527 1136 377 42 0 779 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 26108

[startup+0.101504 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 15501
/proc/meminfo: memFree=942800/2055920 swapFree=4154868/4192956
[pid=15501] ppid=15499 vsize=26760 CPUtime=0.09
/proc/15501/stat : 15501 (ornithorynque) R 15499 15501 14992 0 -1 4194304 1407 0 0 0 9 0 0 0 18 0 1 0 330918600 27402240 1270 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269028332257 0 0 4096 1088 0 0 0 17 1 0 0
/proc/15501/statm: 6690 1271 377 42 0 942 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26760

[startup+0.301547 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 15501
/proc/meminfo: memFree=942800/2055920 swapFree=4154868/4192956
[pid=15501] ppid=15499 vsize=54640 CPUtime=0.35
/proc/15501/stat : 15501 (ornithorynque) S 15499 15501 14992 0 -1 4194304 3361 0 0 0 34 1 0 0 19 0 3 0 330918600 55951360 3073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269037367163 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15501/statm: 13660 3073 387 42 0 7912 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 54640

[startup+0.701617 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 15501
/proc/meminfo: memFree=942800/2055920 swapFree=4154868/4192956
[pid=15501] ppid=15499 vsize=54836 CPUtime=1.15
/proc/15501/stat : 15501 (ornithorynque) S 15499 15501 14992 0 -1 4194304 3409 0 0 0 114 1 0 0 19 0 3 0 330918600 56152064 3121 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269037367163 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15501/statm: 13709 3121 387 42 0 7961 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 54836

[startup+1.50276 s]
/proc/loadavg: 1.83 1.94 1.90 3/80 15504
/proc/meminfo: memFree=931576/2055920 swapFree=4154868/4192956
[pid=15501] ppid=15499 vsize=54968 CPUtime=2.75
/proc/15501/stat : 15501 (ornithorynque) S 15499 15501 14992 0 -1 4194304 3447 0 0 0 274 1 0 0 19 0 3 0 330918600 56287232 3159 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269037367163 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15501/statm: 13742 3159 387 42 0 7994 0
[pid=15501/tid=15503] ppid=15499 vsize=54968 CPUtime=1.26
/proc/15501/task/15503/stat : 15503 (ornithorynque) R 15499 15501 14992 0 -1 4194368 158 0 0 0 126 0 0 0 25 0 3 0 330918623 56287232 3159 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311145 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15501/tid=15504] ppid=15499 vsize=54968 CPUtime=1.25
/proc/15501/task/15504/stat : 15504 (ornithorynque) R 15499 15501 14992 0 -1 4194368 2 0 0 0 125 0 0 0 25 0 3 0 330918623 56287232 3159 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283678 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 54968

[startup+3.10203 s]
/proc/loadavg: 1.85 1.94 1.90 3/80 15504
/proc/meminfo: memFree=931192/2055920 swapFree=4154868/4192956
[pid=15501] ppid=15499 vsize=57132 CPUtime=5.94
/proc/15501/stat : 15501 (ornithorynque) S 15499 15501 14992 0 -1 4194304 3845 0 0 0 593 1 0 0 19 0 3 0 330918600 58503168 3557 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269037367163 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15501/statm: 14283 3557 387 42 0 8535 0
[pid=15501/tid=15503] ppid=15499 vsize=57132 CPUtime=2.86
/proc/15501/task/15503/stat : 15503 (ornithorynque) R 15499 15501 14992 0 -1 4194368 255 0 0 0 286 0 0 0 22 0 3 0 330918623 58503168 3557 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314435 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15501/tid=15504] ppid=15499 vsize=57132 CPUtime=2.85
/proc/15501/task/15504/stat : 15504 (ornithorynque) R 15499 15501 14992 0 -1 4194368 303 0 0 0 285 0 0 0 22 0 3 0 330918623 58503168 3557 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285902 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 57132

[startup+6.30259 s]
/proc/loadavg: 1.85 1.94 1.90 3/80 15504
/proc/meminfo: memFree=928824/2055920 swapFree=4154868/4192956
[pid=15501] ppid=15499 vsize=60632 CPUtime=12.33
/proc/15501/stat : 15501 (ornithorynque) S 15499 15501 14992 0 -1 4194304 4709 0 0 0 1230 3 0 0 19 0 3 0 330918600 62087168 4421 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269037367163 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15501/statm: 15158 4421 387 42 0 9410 0
[pid=15501/tid=15503] ppid=15499 vsize=60632 CPUtime=6.06
/proc/15501/task/15503/stat : 15503 (ornithorynque) R 15499 15501 14992 0 -1 4194368 515 0 0 0 605 1 0 0 25 0 3 0 330918623 62087168 4421 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311068 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15501/tid=15504] ppid=15499 vsize=60632 CPUtime=6.03
/proc/15501/task/15504/stat : 15504 (ornithorynque) R 15499 15501 14992 0 -1 4194368 907 0 0 0 603 0 0 0 17 0 3 0 330918623 62087168 4421 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 60632

[startup+12.7017 s]
/proc/loadavg: 1.87 1.94 1.90 3/80 15504
/proc/meminfo: memFree=924664/2055920 swapFree=4154868/4192956
[pid=15501] ppid=15499 vsize=67464 CPUtime=25.09
/proc/15501/stat : 15501 (ornithorynque) S 15499 15501 14992 0 -1 4194304 6354 0 0 0 2504 5 0 0 19 0 3 0 330918600 69083136 6066 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269037367163 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15501/statm: 16866 6066 387 42 0 11118 0
[pid=15501/tid=15503] ppid=15499 vsize=67464 CPUtime=12.45
/proc/15501/task/15503/stat : 15503 (ornithorynque) R 15499 15501 14992 0 -1 4194368 937 0 0 0 1243 2 0 0 17 0 3 0 330918623 69083136 6066 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314323 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15501/tid=15504] ppid=15499 vsize=67464 CPUtime=12.4
/proc/15501/task/15504/stat : 15504 (ornithorynque) R 15499 15501 14992 0 -1 4194368 2130 0 0 0 1239 1 0 0 16 0 3 0 330918623 69083136 6066 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4281350 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 67464

[startup+25.5019 s]
/proc/loadavg: 1.89 1.94 1.90 3/80 15504
/proc/meminfo: memFree=913208/2055920 swapFree=4154868/4192956
[pid=15501] ppid=15499 vsize=74036 CPUtime=50.64
/proc/15501/stat : 15501 (ornithorynque) S 15499 15501 14992 0 -1 4194304 7961 0 0 0 5058 6 0 0 19 0 3 0 330918600 75812864 7673 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269037367163 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15501/statm: 18509 7673 387 42 0 12761 0
[pid=15501/tid=15503] ppid=15499 vsize=74036 CPUtime=25.25
/proc/15501/task/15503/stat : 15503 (ornithorynque) R 15499 15501 14992 0 -1 4194368 1312 0 0 0 2523 2 0 0 25 0 3 0 330918623 75812864 7673 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311174 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15501/tid=15504] ppid=15499 vsize=74036 CPUtime=25.14
/proc/15501/task/15504/stat : 15504 (ornithorynque) R 15499 15501 14992 0 -1 4194368 3362 0 0 0 2513 1 0 0 25 0 3 0 330918623 75812864 7673 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241645 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 74036

[startup+51.1013 s]
/proc/loadavg: 1.93 1.94 1.90 3/80 15504
/proc/meminfo: memFree=901624/2055920 swapFree=4154868/4192956
[pid=15501] ppid=15499 vsize=88116 CPUtime=101.7
/proc/15501/stat : 15501 (ornithorynque) S 15499 15501 14992 0 -1 4194304 11142 0 0 0 10162 8 0 0 19 0 3 0 330918600 90230784 10596 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269037367163 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15501/statm: 22029 10596 387 42 0 16281 0
[pid=15501/tid=15503] ppid=15499 vsize=88116 CPUtime=50.84
/proc/15501/task/15503/stat : 15503 (ornithorynque) R 15499 15501 14992 0 -1 4194368 2677 0 0 0 5081 3 0 0 25 0 3 0 330918623 90230784 10596 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15501/tid=15504] ppid=15499 vsize=88116 CPUtime=50.62
/proc/15501/task/15504/stat : 15504 (ornithorynque) R 15499 15501 14992 0 -1 4194368 5178 0 0 0 5059 3 0 0 25 0 3 0 330918623 90230784 10596 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 88116

[startup+102.306 s]
/proc/loadavg: 1.97 1.95 1.91 3/80 15504
/proc/meminfo: memFree=883576/2055920 swapFree=4154868/4192956
[pid=15501] ppid=15499 vsize=107828 CPUtime=203.87
/proc/15501/stat : 15501 (ornithorynque) S 15499 15501 14992 0 -1 4194304 15579 0 0 0 20374 13 0 0 19 0 3 0 330918600 110415872 15033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269037367163 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15501/statm: 26957 15033 387 42 0 21209 0
[pid=15501/tid=15503] ppid=15499 vsize=107828 CPUtime=102.02
/proc/15501/task/15503/stat : 15503 (ornithorynque) R 15499 15501 14992 0 -1 4194368 4797 0 0 0 10196 6 0 0 25 0 3 0 330918623 110415872 15033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15501/tid=15504] ppid=15499 vsize=107828 CPUtime=101.59
/proc/15501/task/15504/stat : 15504 (ornithorynque) R 15499 15501 14992 0 -1 4194368 7495 0 0 0 10155 4 0 0 25 0 3 0 330918623 110415872 15033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.87
Current children cumulated vsize (KiB) 107828

[startup+162.302 s]
/proc/loadavg: 1.99 1.95 1.91 3/80 15504
/proc/meminfo: memFree=875640/2055920 swapFree=4154868/4192956
[pid=15501] ppid=15499 vsize=115744 CPUtime=323.57
/proc/15501/stat : 15501 (ornithorynque) S 15499 15501 14992 0 -1 4194304 17560 0 0 0 32342 15 0 0 19 0 3 0 330918600 118521856 17014 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269037367163 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15501/statm: 28936 17014 387 42 0 23188 0
[pid=15501/tid=15503] ppid=15499 vsize=115744 CPUtime=162
/proc/15501/task/15503/stat : 15503 (ornithorynque) R 15499 15501 14992 0 -1 4194368 6778 0 0 0 16191 9 0 0 25 0 3 0 330918623 118521856 17014 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311151 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15501/tid=15504] ppid=15499 vsize=115744 CPUtime=161.33
/proc/15501/task/15504/stat : 15504 (ornithorynque) R 15499 15501 14992 0 -1 4194368 7495 0 0 0 16129 4 0 0 25 0 3 0 330918623 118521856 17014 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238096 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.57
Current children cumulated vsize (KiB) 115744

[startup+222.302 s]
/proc/loadavg: 1.99 1.96 1.91 3/80 15504
/proc/meminfo: memFree=849528/2055920 swapFree=4154868/4192956
[pid=15501] ppid=15499 vsize=146880 CPUtime=443.28
/proc/15501/stat : 15501 (ornithorynque) S 15499 15501 14992 0 -1 4194304 24070 0 0 0 44309 19 0 0 19 0 3 0 330918600 150405120 23524 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269037367163 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15501/statm: 36720 23524 387 42 0 30972 0
[pid=15501/tid=15503] ppid=15499 vsize=146880 CPUtime=221.98
/proc/15501/task/15503/stat : 15503 (ornithorynque) R 15499 15501 14992 0 -1 4194368 7021 0 0 0 22188 10 0 0 25 0 3 0 330918623 150405120 23524 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15501/tid=15504] ppid=15499 vsize=146880 CPUtime=221.06
/proc/15501/task/15504/stat : 15504 (ornithorynque) R 15499 15501 14992 0 -1 4194368 13762 0 0 0 22099 7 0 0 25 0 3 0 330918623 150405120 23524 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) 146880

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 15504
/proc/meminfo: memFree=849464/2055920 swapFree=4154868/4192956
[pid=15501] ppid=15499 vsize=146880 CPUtime=562.99
/proc/15501/stat : 15501 (ornithorynque) S 15499 15501 14992 0 -1 4194304 24089 0 0 0 56279 20 0 0 19 0 3 0 330918600 150405120 23543 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269037367163 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15501/statm: 36720 23543 387 42 0 30972 0
[pid=15501/tid=15503] ppid=15499 vsize=146880 CPUtime=281.96
/proc/15501/task/15503/stat : 15503 (ornithorynque) R 15499 15501 14992 0 -1 4194368 7040 0 0 0 28186 10 0 0 25 0 3 0 330918623 150405120 23543 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311145 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15501/tid=15504] ppid=15499 vsize=146880 CPUtime=280.77
/proc/15501/task/15504/stat : 15504 (ornithorynque) R 15499 15501 14992 0 -1 4194368 13762 0 0 0 28070 7 0 0 25 0 3 0 330918623 150405120 23543 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242170 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.99
Current children cumulated vsize (KiB) 146880

[startup+342.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 15504
/proc/meminfo: memFree=807032/2055920 swapFree=4154868/4192956
[pid=15501] ppid=15499 vsize=194420 CPUtime=682.71
/proc/15501/stat : 15501 (ornithorynque) S 15499 15501 14992 0 -1 4194304 34694 0 0 0 68245 26 0 0 19 0 3 0 330918600 199086080 34148 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269037367163 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15501/statm: 48605 34148 387 42 0 42857 0
[pid=15501/tid=15503] ppid=15499 vsize=194420 CPUtime=341.94
/proc/15501/task/15503/stat : 15503 (ornithorynque) R 15499 15501 14992 0 -1 4194368 7869 0 0 0 34182 12 0 0 25 0 3 0 330918623 199086080 34148 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15501/tid=15504] ppid=15499 vsize=194420 CPUtime=340.52
/proc/15501/task/15504/stat : 15504 (ornithorynque) R 15499 15501 14992 0 -1 4194368 23538 0 0 0 34040 12 0 0 25 0 3 0 330918623 199086080 34148 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.71
Current children cumulated vsize (KiB) 194420

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 15504
/proc/meminfo: memFree=806968/2055920 swapFree=4154868/4192956
[pid=15501] ppid=15499 vsize=194420 CPUtime=802.43
/proc/15501/stat : 15501 (ornithorynque) S 15499 15501 14992 0 -1 4194304 34712 0 0 0 80216 27 0 0 19 0 3 0 330918600 199086080 34166 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269037367163 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15501/statm: 48605 34166 387 42 0 42857 0
[pid=15501/tid=15503] ppid=15499 vsize=194420 CPUtime=401.93
/proc/15501/task/15503/stat : 15503 (ornithorynque) R 15499 15501 14992 0 -1 4194368 7887 0 0 0 40180 13 0 0 25 0 3 0 330918623 199086080 34166 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238100 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15501/tid=15504] ppid=15499 vsize=194420 CPUtime=400.26
/proc/15501/task/15504/stat : 15504 (ornithorynque) R 15499 15501 14992 0 -1 4194368 23538 0 0 0 40014 12 0 0 25 0 3 0 330918623 199086080 34166 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.43
Current children cumulated vsize (KiB) 194420

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 15504
/proc/meminfo: memFree=807096/2055920 swapFree=4154868/4192956
[pid=15501] ppid=15499 vsize=193992 CPUtime=922.13
/proc/15501/stat : 15501 (ornithorynque) S 15499 15501 14992 0 -1 4194304 34726 0 0 0 92186 27 0 0 19 0 3 0 330918600 198647808 34073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269037367163 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15501/statm: 48498 34073 387 42 0 42750 0
[pid=15501/tid=15503] ppid=15499 vsize=193992 CPUtime=461.9
/proc/15501/task/15503/stat : 15503 (ornithorynque) R 15499 15501 14992 0 -1 4194368 7901 0 0 0 46177 13 0 0 25 0 3 0 330918623 198647808 34073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311218 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15501/tid=15504] ppid=15499 vsize=193992 CPUtime=459.98
/proc/15501/task/15504/stat : 15504 (ornithorynque) R 15499 15501 14992 0 -1 4194368 23538 0 0 0 45986 12 0 0 25 0 3 0 330918623 198647808 34073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241176 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.13
Current children cumulated vsize (KiB) 193992

[startup+522.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 15504
/proc/meminfo: memFree=807096/2055920 swapFree=4154868/4192956
[pid=15501] ppid=15499 vsize=193992 CPUtime=1041.85
/proc/15501/stat : 15501 (ornithorynque) S 15499 15501 14992 0 -1 4194304 34735 0 0 0 104157 28 0 0 19 0 3 0 330918600 198647808 34082 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269037367163 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15501/statm: 48498 34082 387 42 0 42750 0
[pid=15501/tid=15503] ppid=15499 vsize=193992 CPUtime=521.89
/proc/15501/task/15503/stat : 15503 (ornithorynque) R 15499 15501 14992 0 -1 4194368 7910 0 0 0 52175 14 0 0 25 0 3 0 330918623 198647808 34082 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15501/tid=15504] ppid=15499 vsize=193992 CPUtime=519.72
/proc/15501/task/15504/stat : 15504 (ornithorynque) R 15499 15501 14992 0 -1 4194368 23538 0 0 0 51960 12 0 0 25 0 3 0 330918623 198647808 34082 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4284348 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.85
Current children cumulated vsize (KiB) 193992

[startup+582.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 15504
/proc/meminfo: memFree=807096/2055920 swapFree=4154868/4192956
[pid=15501] ppid=15499 vsize=193992 CPUtime=1161.56
/proc/15501/stat : 15501 (ornithorynque) S 15499 15501 14992 0 -1 4194304 34743 0 0 0 116128 28 0 0 19 0 3 0 330918600 198647808 34090 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269037367163 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15501/statm: 48498 34090 387 42 0 42750 0
[pid=15501/tid=15503] ppid=15499 vsize=193992 CPUtime=581.86
/proc/15501/task/15503/stat : 15503 (ornithorynque) R 15499 15501 14992 0 -1 4194368 7918 0 0 0 58172 14 0 0 25 0 3 0 330918623 198647808 34090 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311234 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15501/tid=15504] ppid=15499 vsize=193992 CPUtime=579.46
/proc/15501/task/15504/stat : 15504 (ornithorynque) R 15499 15501 14992 0 -1 4194368 23538 0 0 0 57934 12 0 0 25 0 3 0 330918623 198647808 34090 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241710 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.56
Current children cumulated vsize (KiB) 193992



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.602 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 15504
/proc/meminfo: memFree=807096/2055920 swapFree=4154868/4192956
[pid=15501] ppid=15499 vsize=193992 CPUtime=1200.08
/proc/15501/stat : 15501 (ornithorynque) S 15499 15501 14992 0 -1 4194304 34745 0 0 0 119979 29 0 0 19 0 3 0 330918600 198647808 34092 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269037367163 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15501/statm: 48498 34092 387 42 0 42750 0
[pid=15501/tid=15503] ppid=15499 vsize=193992 CPUtime=601.17
/proc/15501/task/15503/stat : 15503 (ornithorynque) R 15499 15501 14992 0 -1 4194368 7920 0 0 0 60103 14 0 0 25 0 3 0 330918623 198647808 34092 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311218 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15501/tid=15504] ppid=15499 vsize=193992 CPUtime=598.66
/proc/15501/task/15504/stat : 15504 (ornithorynque) R 15499 15501 14992 0 -1 4194368 23538 0 0 0 59854 12 0 0 25 0 3 0 330918623 198647808 34092 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 193992

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.639
CPU time (s): 1200.12
CPU user time (s): 1199.81
CPU system time (s): 0.311952
CPU usage (%): 199.475
Max. virtual memory (cumulated for all children) (KiB): 194420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.81
system time used= 0.311952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34745
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= 90
involuntary context switches= 22858

runsolver used 0.565913 second user time and 1.65875 second system time

The end

Launcher Data (download as text)

Begin job on node26 on Mon Mar  5 15:47:29 UTC 2007

IDJOB= 328281
IDBENCH= 20189
IDSOLVER= 139
FILE ID= node26/328281-1173109649

PBS_JOBID= 4013924

Free space on /tmp= 66537 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  f290f56a074b6fc7cc916d5199a37a77

RANDOM SEED= 368688470

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node26.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.279
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.279
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:        943272 kB
Buffers:         51404 kB
Cached:         951868 kB
SwapCached:      16728 kB
Active:         323632 kB
Inactive:       703012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        943272 kB
SwapTotal:     4192956 kB
SwapFree:      4154868 kB
Dirty:            1356 kB
Writeback:           0 kB
Mapped:          30332 kB
Slab:            71684 kB
Committed_AS:   833548 kB
PageTables:       1712 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= 66537 MiB

End job on node26 on Mon Mar  5 15:57:33 UTC 2007