Trace number 328499

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.21 602.537

General information on the benchmark

Nameindustrial/palacios/uts/
uts-l06-ipc5-h28-unknown.cnf
MD5SUMccc94758bbd09de3056ff3a062ddfd45
Bench CategoryINDUST (industrial instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark23.3085
Satisfiable
(Un)Satisfiability was proved
Number of variables113583
Number of clauses649270
Sum of the clauses size1721996
Maximum clause length591
Minimum clause length1
Number of clauses of size 1276
Number of clauses of size 2537293
Number of clauses of size 3107101
Number of clauses of size 4980
Number of clauses of size 5101
Number of clauses of size over 53519

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 int
0.00/0.00	c parsing...
1.49/1.52	c ...done
1.49/1.52	c nbVar=115898 nbClause=649270
1.69/1.70	c nbVar=115898 nbClause=649270
1.89/1.97	c complete search running
1.89/1.97	c local search running
2.22/2.11	c flip 0 nbSat=495472 maxSat=0
3.00/2.52	c flip 10000 nbSat=583558 maxSat=583558
3.61/2.88	c flip 20000 nbSat=597576 maxSat=597576
4.60/3.34	c flip 30000 nbSat=603630 maxSat=603801
8.20/5.13	c flip 40000 nbSat=606631 maxSat=607577
10.59/6.32	c flip 50000 nbSat=610290 maxSat=610509
14.18/8.12	c flip 60000 nbSat=611986 maxSat=612067
17.37/9.78	c flip 70000 nbSat=613939 maxSat=614081
19.57/10.87	c flip 80000 nbSat=614490 maxSat=615386
22.56/12.31	c flip 90000 nbSat=616051 maxSat=616635
25.56/13.86	c flip 100000 nbSat=617288 maxSat=618158
28.35/15.23	c flip 110000 nbSat=616309 maxSat=619324
30.75/16.44	c flip 120000 nbSat=619123 maxSat=620400
33.34/17.71	c flip 130000 nbSat=620940 maxSat=621343
36.34/19.29	c flip 140000 nbSat=621683 maxSat=622380
39.54/20.82	c flip 150000 nbSat=622622 maxSat=623313
42.32/22.24	c flip 160000 nbSat=623775 maxSat=624024
45.32/23.70	c flip 170000 nbSat=624552 maxSat=625086
48.11/25.13	c flip 180000 nbSat=625355 maxSat=625745
51.50/26.82	c flip 190000 nbSat=625774 maxSat=626640
54.50/28.36	c flip 200000 nbSat=626588 maxSat=626944
57.89/30.06	c flip 210000 nbSat=627543 maxSat=628059
61.69/32.00	c flip 220000 nbSat=627507 maxSat=628842
65.47/33.80	c flip 230000 nbSat=628825 maxSat=629463
68.46/35.35	c flip 240000 nbSat=629599 maxSat=630368
71.86/37.04	c flip 250000 nbSat=629937 maxSat=630904
75.24/38.78	c flip 260000 nbSat=630769 maxSat=631481
78.63/40.41	c flip 270000 nbSat=631268 maxSat=632370
82.22/42.28	c flip 280000 nbSat=632604 maxSat=633101
86.41/44.37	c flip 290000 nbSat=632844 maxSat=633331
90.80/46.57	c flip 300000 nbSat=633434 maxSat=634157
94.78/48.53	c flip 310000 nbSat=634557 maxSat=634870
95.58/48.93	c nbDecision=10000 #clauses=653830
98.57/50.40	c flip 320000 nbSat=634427 maxSat=635282
102.96/52.67	c flip 330000 nbSat=635344 maxSat=635804
107.76/55.09	c flip 340000 nbSat=636338 maxSat=636339
111.95/57.15	c flip 350000 nbSat=636733 maxSat=636949
117.93/60.11	c flip 360000 nbSat=636857 maxSat=637721
121.92/62.18	c flip 370000 nbSat=637819 maxSat=638116
127.90/65.11	c flip 380000 nbSat=637882 maxSat=638571
132.10/67.23	c flip 390000 nbSat=637423 maxSat=638922
137.49/69.93	c flip 400000 nbSat=638220 maxSat=639480
143.27/72.85	c flip 410000 nbSat=639096 maxSat=639922
148.46/75.49	c flip 420000 nbSat=639674 maxSat=640422
153.86/78.17	c flip 430000 nbSat=640176 maxSat=640422
159.24/80.82	c flip 440000 nbSat=640625 maxSat=640950
164.63/83.60	c flip 450000 nbSat=640835 maxSat=641530
169.80/86.15	c flip 460000 nbSat=641301 maxSat=641744
174.99/88.71	c flip 470000 nbSat=641716 maxSat=642107
180.57/91.60	c flip 480000 nbSat=641328 maxSat=642286
185.76/94.18	c flip 490000 nbSat=641108 maxSat=642432
191.55/97.02	c flip 500000 nbSat=641414 maxSat=642698
196.94/99.78	c flip 510000 nbSat=641913 maxSat=643034
204.13/103.38	c flip 520000 nbSat=642861 maxSat=643298
209.91/106.23	c flip 530000 nbSat=642432 maxSat=643382
216.10/109.31	c flip 540000 nbSat=643013 maxSat=643484
222.89/112.73	c flip 550000 nbSat=643229 maxSat=643654
229.47/116.07	c flip 560000 nbSat=643448 maxSat=643740
236.45/119.56	c flip 570000 nbSat=643435 maxSat=643945
243.24/122.91	c flip 580000 nbSat=643438 maxSat=644012
250.03/126.35	c flip 590000 nbSat=644074 maxSat=644098
256.20/129.43	c flip 600000 nbSat=642943 maxSat=644257
262.99/132.88	c flip 610000 nbSat=643872 maxSat=644257
270.17/136.48	c flip 620000 nbSat=644041 maxSat=644335
276.75/139.75	c flip 630000 nbSat=643881 maxSat=644413
283.73/143.23	c flip 640000 nbSat=642890 maxSat=644503
290.72/146.73	c flip 650000 nbSat=644194 maxSat=644530
296.90/149.87	c flip 660000 nbSat=644013 maxSat=644575
304.29/153.51	c flip 670000 nbSat=643087 maxSat=644649
312.07/157.40	c flip 680000 nbSat=644421 maxSat=644649
319.05/160.90	c flip 690000 nbSat=643979 maxSat=644649
322.45/162.63	c nbDecision=20000 #clauses=660517
326.64/164.75	c flip 700000 nbSat=644383 maxSat=644716
334.42/168.65	c flip 710000 nbSat=643665 maxSat=644716
341.60/172.29	c flip 720000 nbSat=643350 maxSat=644747
349.19/176.02	c flip 730000 nbSat=644035 maxSat=644784
356.16/179.55	c flip 740000 nbSat=644514 maxSat=644831
363.35/183.15	c flip 750000 nbSat=644512 maxSat=644849
370.52/186.71	c flip 760000 nbSat=644649 maxSat=644884
376.91/189.99	c flip 770000 nbSat=644723 maxSat=644884
383.30/193.19	c flip 780000 nbSat=644547 maxSat=644933
386.09/194.50	c nbDecision=30000 #clauses=666360
390.88/196.92	c flip 790000 nbSat=644437 maxSat=644972
397.86/200.48	c flip 800000 nbSat=644059 maxSat=644982
405.05/204.03	c flip 810000 nbSat=643553 maxSat=644987
412.23/207.64	c flip 820000 nbSat=643731 maxSat=644999
418.81/210.96	c flip 830000 nbSat=644661 maxSat=644999
425.40/214.20	c flip 840000 nbSat=644638 maxSat=645037
431.60/217.37	c flip 850000 nbSat=644453 maxSat=645051
438.57/220.88	c flip 860000 nbSat=644869 maxSat=645070
444.56/223.89	c flip 870000 nbSat=644326 maxSat=645070
450.15/226.68	c flip 880000 nbSat=643733 maxSat=645094
456.13/229.61	c flip 890000 nbSat=644603 maxSat=645094
456.74/229.91	c nbDecision=40000 #clauses=672893
463.11/233.17	c flip 900000 nbSat=644549 maxSat=645102
469.70/236.43	c flip 910000 nbSat=644872 maxSat=645107
475.68/239.40	c flip 920000 nbSat=643719 maxSat=645107
482.07/242.69	c flip 930000 nbSat=644759 maxSat=645107
488.65/245.98	c flip 940000 nbSat=644536 maxSat=645107
494.64/248.99	c flip 950000 nbSat=643386 maxSat=645129
501.02/252.12	c flip 960000 nbSat=644765 maxSat=645129
508.21/255.73	c flip 970000 nbSat=644915 maxSat=645129
514.39/258.85	c flip 980000 nbSat=643794 maxSat=645129
521.18/262.25	c flip 990000 nbSat=644798 maxSat=645162
525.56/264.47	c nbDecision=50000 #clauses=679600
527.75/265.60	c flip 1000000 nbSat=644428 maxSat=645163
533.74/268.54	c flip 1010000 nbSat=644865 maxSat=645163
540.72/272.01	c flip 1020000 nbSat=644918 maxSat=645163
546.91/275.17	c flip 1030000 nbSat=643677 maxSat=645163
554.09/278.75	c flip 1040000 nbSat=644695 maxSat=645163
560.67/282.01	c flip 1050000 nbSat=643958 maxSat=645169
567.66/285.59	c flip 1060000 nbSat=644639 maxSat=645169
575.05/289.23	c flip 1070000 nbSat=644520 maxSat=645169
581.22/292.38	c flip 1080000 nbSat=644765 maxSat=645169
587.81/295.66	c flip 1090000 nbSat=644698 maxSat=645169
593.41/298.44	c flip 1100000 nbSat=644610 maxSat=645169
599.40/301.44	c flip 1110000 nbSat=644642 maxSat=645170
603.39/303.47	c nbDecision=60000 #clauses=686013
604.98/304.27	c flip 1120000 nbSat=644880 maxSat=645170
611.77/307.63	c flip 1130000 nbSat=644808 maxSat=645170
618.34/310.99	c flip 1140000 nbSat=644796 maxSat=645187
626.32/314.98	c flip 1150000 nbSat=644880 maxSat=645187
634.10/318.80	c flip 1160000 nbSat=644817 maxSat=645187
641.09/322.35	c flip 1170000 nbSat=644825 maxSat=645206
647.27/325.47	c flip 1180000 nbSat=644792 maxSat=645206
653.85/328.73	c flip 1190000 nbSat=644453 maxSat=645216
659.84/331.77	c flip 1200000 nbSat=644687 maxSat=645229
665.62/334.69	c flip 1210000 nbSat=643675 maxSat=645229
669.62/336.69	c nbDecision=70000 #clauses=691913
673.01/338.32	c flip 1220000 nbSat=644557 maxSat=645229
678.99/341.37	c flip 1230000 nbSat=643723 maxSat=645229
686.78/345.23	c flip 1240000 nbSat=645076 maxSat=645229
692.76/348.26	c flip 1250000 nbSat=643840 maxSat=645229
699.55/351.61	c flip 1260000 nbSat=644923 maxSat=645229
704.93/354.40	c flip 1270000 nbSat=644825 maxSat=645229
711.72/357.77	c flip 1280000 nbSat=644603 maxSat=645229
718.11/360.99	c flip 1290000 nbSat=644679 maxSat=645229
724.30/364.06	c flip 1300000 nbSat=643508 maxSat=645229
731.09/367.43	c flip 1310000 nbSat=644756 maxSat=645229
736.46/370.12	c flip 1320000 nbSat=643765 maxSat=645229
742.84/373.38	c flip 1330000 nbSat=645180 maxSat=645229
748.44/376.11	c flip 1340000 nbSat=644854 maxSat=645233
754.62/379.27	c flip 1350000 nbSat=644778 maxSat=645233
759.01/381.49	c nbDecision=80000 #clauses=698068
760.81/382.36	c flip 1360000 nbSat=644685 maxSat=645233
766.79/385.32	c flip 1370000 nbSat=643356 maxSat=645233
772.97/388.47	c flip 1380000 nbSat=644670 maxSat=645233
778.76/391.30	c flip 1390000 nbSat=643772 maxSat=645233
784.75/394.34	c flip 1400000 nbSat=644949 maxSat=645233
790.74/397.33	c flip 1410000 nbSat=644761 maxSat=645233
797.11/400.50	c flip 1420000 nbSat=644113 maxSat=645236
803.10/403.59	c flip 1430000 nbSat=644237 maxSat=645236
809.09/406.59	c flip 1440000 nbSat=643591 maxSat=645236
815.87/409.99	c flip 1450000 nbSat=645112 maxSat=645236
821.87/412.98	c flip 1460000 nbSat=644714 maxSat=645236
828.25/416.19	c flip 1470000 nbSat=644447 maxSat=645236
834.43/419.27	c flip 1480000 nbSat=644715 maxSat=645236
840.63/422.33	c flip 1490000 nbSat=643583 maxSat=645236
846.20/425.19	c flip 1500000 nbSat=645127 maxSat=645236
851.00/427.53	c flip 1510000 nbSat=644971 maxSat=645236
855.99/430.01	c flip 1520000 nbSat=643279 maxSat=645236
861.77/433.00	c flip 1530000 nbSat=644831 maxSat=645236
862.37/433.29	c nbDecision=90000 #clauses=704910
866.76/435.44	c flip 1540000 nbSat=643573 maxSat=645236
872.95/438.59	c flip 1550000 nbSat=644886 maxSat=645236
879.53/441.86	c flip 1560000 nbSat=644751 maxSat=645236
885.71/444.90	c flip 1570000 nbSat=643245 maxSat=645236
892.30/448.22	c flip 1580000 nbSat=644580 maxSat=645236
897.69/450.90	c flip 1590000 nbSat=643546 maxSat=645236
903.67/453.90	c flip 1600000 nbSat=644711 maxSat=645236
909.25/456.73	c flip 1610000 nbSat=644598 maxSat=645236
914.24/459.26	c flip 1620000 nbSat=643487 maxSat=645236
920.42/462.36	c flip 1630000 nbSat=644969 maxSat=645236
926.01/465.17	c flip 1640000 nbSat=644678 maxSat=645236
932.20/468.28	c flip 1650000 nbSat=643371 maxSat=645236
938.38/471.33	c flip 1660000 nbSat=645142 maxSat=645236
943.37/473.86	c flip 1670000 nbSat=644880 maxSat=645236
948.36/476.37	c flip 1680000 nbSat=643164 maxSat=645236
952.95/478.65	c nbDecision=100000 #clauses=711654
953.55/478.94	c flip 1690000 nbSat=644948 maxSat=645236
957.95/481.14	c flip 1700000 nbSat=644399 maxSat=645236
963.54/483.92	c flip 1710000 nbSat=644502 maxSat=645236
968.32/486.37	c flip 1720000 nbSat=644729 maxSat=645236
973.30/488.82	c flip 1730000 nbSat=643471 maxSat=645236
979.29/491.83	c flip 1740000 nbSat=644926 maxSat=645236
984.68/494.53	c flip 1750000 nbSat=644713 maxSat=645236
989.67/497.04	c flip 1760000 nbSat=643364 maxSat=645236
995.05/499.73	c flip 1770000 nbSat=645040 maxSat=645242
1000.44/502.40	c flip 1780000 nbSat=645005 maxSat=645242
1005.63/505.05	c flip 1790000 nbSat=643464 maxSat=645242
1011.01/507.80	c flip 1800000 nbSat=645154 maxSat=645242
1016.20/510.34	c flip 1810000 nbSat=644782 maxSat=645242
1021.59/513.01	c flip 1820000 nbSat=643311 maxSat=645242
1027.38/515.94	c flip 1830000 nbSat=645058 maxSat=645242
1032.96/518.75	c flip 1840000 nbSat=644787 maxSat=645242
1039.15/521.82	c flip 1850000 nbSat=643188 maxSat=645242
1045.13/524.82	c flip 1860000 nbSat=645217 maxSat=645244
1050.12/527.30	c nbDecision=110000 #clauses=718222
1050.12/527.35	c flip 1870000 nbSat=644792 maxSat=645244
1055.91/530.26	c flip 1880000 nbSat=643146 maxSat=645244
1061.69/533.19	c flip 1890000 nbSat=645206 maxSat=645245
1066.88/535.72	c flip 1900000 nbSat=644715 maxSat=645245
1071.66/538.12	c flip 1910000 nbSat=643256 maxSat=645245
1076.85/540.75	c flip 1920000 nbSat=645076 maxSat=645245
1081.45/543.00	c flip 1930000 nbSat=644689 maxSat=645245
1085.64/545.15	c flip 1940000 nbSat=643313 maxSat=645245
1090.03/547.38	c flip 1950000 nbSat=644950 maxSat=645245
1094.42/549.55	c flip 1960000 nbSat=644789 maxSat=645245
1099.01/551.81	c flip 1970000 nbSat=643207 maxSat=645245
1103.80/554.20	c flip 1980000 nbSat=644391 maxSat=645245
1108.39/556.57	c flip 1990000 nbSat=645010 maxSat=645245
1113.37/559.07	c flip 2000000 nbSat=644779 maxSat=645245
1118.96/561.82	c flip 2010000 nbSat=643106 maxSat=645245
1123.75/564.29	c flip 2020000 nbSat=645114 maxSat=645245
1128.73/566.76	c flip 2030000 nbSat=644577 maxSat=645245
1133.32/569.02	c flip 2040000 nbSat=643341 maxSat=645245
1138.11/571.43	c flip 2050000 nbSat=644825 maxSat=645245
1143.10/573.91	c flip 2060000 nbSat=644779 maxSat=645245
1147.49/576.12	c flip 2070000 nbSat=645003 maxSat=645245
1152.48/578.68	c flip 2080000 nbSat=642712 maxSat=645245
1157.46/581.17	c flip 2090000 nbSat=645012 maxSat=645245
1162.45/583.60	c flip 2100000 nbSat=644778 maxSat=645245
1167.24/586.08	c flip 2110000 nbSat=643048 maxSat=645245
1172.43/588.69	c flip 2120000 nbSat=645175 maxSat=645245
1177.22/591.04	c flip 2130000 nbSat=644602 maxSat=645245
1182.01/593.49	c flip 2140000 nbSat=643373 maxSat=645245
1187.60/596.26	c flip 2150000 nbSat=644790 maxSat=645245
1188.79/596.89	c nbDecision=120000 #clauses=724800
1193.38/599.10	c flip 2160000 nbSat=644929 maxSat=645245
1198.37/601.62	c flip 2170000 nbSat=643358 maxSat=645245

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

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


[startup+0 s]
/proc/loadavg: 1.83 1.97 1.91 3/64 23945
/proc/meminfo: memFree=1305736/2055920 swapFree=4184040/4192956
[pid=23945] ppid=23943 vsize=23220 CPUtime=0
/proc/23945/stat : 23945 (ornithorynque) R 23943 23945 23070 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 331154868 23777280 261 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216846603376 0 0 4096 0 0 0 0 17 1 0 0
/proc/23945/statm: 5805 263 218 42 0 45 0

[startup+0.0265991 s]
/proc/loadavg: 1.83 1.97 1.91 3/64 23945
/proc/meminfo: memFree=1305736/2055920 swapFree=4184040/4192956
[pid=23945] ppid=23943 vsize=24112 CPUtime=0.02
/proc/23945/stat : 23945 (ornithorynque) R 23943 23945 23070 0 -1 4194304 693 0 0 0 2 0 0 0 18 0 1 0 331154868 24690688 654 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858144866 0 0 4096 1088 0 0 0 17 1 0 0
/proc/23945/statm: 6028 654 379 42 0 280 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 24112

[startup+0.101611 s]
/proc/loadavg: 1.83 1.97 1.91 3/64 23945
/proc/meminfo: memFree=1305736/2055920 swapFree=4184040/4192956
[pid=23945] ppid=23943 vsize=27316 CPUtime=0.09
/proc/23945/stat : 23945 (ornithorynque) R 23943 23945 23070 0 -1 4194304 1520 0 0 0 9 0 0 0 18 0 1 0 331154868 27971584 1383 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4293162 0 0 4096 1088 0 0 0 17 1 0 0
/proc/23945/statm: 6829 1383 379 42 0 1081 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27316

[startup+0.301645 s]
/proc/loadavg: 1.83 1.97 1.91 3/64 23945
/proc/meminfo: memFree=1305736/2055920 swapFree=4184040/4192956
[pid=23945] ppid=23943 vsize=35036 CPUtime=0.29
/proc/23945/stat : 23945 (ornithorynque) R 23943 23945 23070 0 -1 4194304 3630 0 0 0 28 1 0 0 19 0 1 0 331154868 35876864 3364 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216849093345 0 0 4096 1088 0 0 0 17 1 0 0
/proc/23945/statm: 8759 3364 379 42 0 3011 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35036

[startup+0.70171 s]
/proc/loadavg: 1.83 1.97 1.91 3/64 23945
/proc/meminfo: memFree=1305736/2055920 swapFree=4184040/4192956
[pid=23945] ppid=23943 vsize=52308 CPUtime=0.69
/proc/23945/stat : 23945 (ornithorynque) R 23943 23945 23070 0 -1 4194304 8321 0 0 0 66 3 0 0 23 0 1 0 331154868 53563392 7232 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216849093345 0 0 4096 1088 0 0 0 17 1 0 0
/proc/23945/statm: 13077 7232 379 42 0 7329 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52308

[startup+1.50287 s]
/proc/loadavg: 1.83 1.97 1.91 2/65 23946
/proc/meminfo: memFree=1266304/2055920 swapFree=4184040/4192956
[pid=23945] ppid=23943 vsize=85636 CPUtime=1.49
/proc/23945/stat : 23945 (ornithorynque) R 23943 23945 23070 0 -1 4194304 17504 0 0 0 142 7 0 0 25 0 1 0 331154868 87691264 15076 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4270752 0 0 4096 1088 0 0 0 17 0 0 0
/proc/23945/statm: 21409 15076 379 42 0 15661 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85636

[startup+3.10112 s]
/proc/loadavg: 1.83 1.97 1.91 3/67 23948
/proc/meminfo: memFree=1187440/2055920 swapFree=4184040/4192956
[pid=23945] ppid=23943 vsize=174196 CPUtime=4.2
/proc/23945/stat : 23945 (ornithorynque) S 23943 23945 23070 0 -1 4194304 39189 0 0 0 406 14 0 0 25 0 3 0 331154868 178376704 30066 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/23945/statm: 43549 30066 389 42 0 37801 0
[pid=23945/tid=23947] ppid=23943 vsize=174196 CPUtime=1.1
/proc/23945/task/23947/stat : 23947 (ornithorynque) R 23943 23945 23070 0 -1 4194368 4979 0 0 0 109 1 0 0 25 0 3 0 331155066 178376704 30066 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4273705 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=23945/tid=23948] ppid=23943 vsize=174196 CPUtime=1.12
/proc/23945/task/23948/stat : 23948 (ornithorynque) R 23943 23945 23070 0 -1 4194368 2 0 0 0 112 0 0 0 25 0 3 0 331155066 178376704 30066 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4245111 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 174196

[startup+6.30266 s]
/proc/loadavg: 1.84 1.97 1.91 3/67 23948
/proc/meminfo: memFree=1186864/2055920 swapFree=4184040/4192956
[pid=23945] ppid=23943 vsize=173548 CPUtime=10.59
/proc/23945/stat : 23945 (ornithorynque) S 23943 23945 23070 0 -1 4194304 40843 0 0 0 1044 15 0 0 25 0 3 0 331154868 177713152 29904 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/23945/statm: 43387 29904 389 42 0 37639 0
[pid=23945/tid=23947] ppid=23943 vsize=173548 CPUtime=4.3
/proc/23945/task/23947/stat : 23947 (ornithorynque) R 23943 23945 23070 0 -1 4194368 6633 0 0 0 428 2 0 0 25 0 3 0 331155066 177713152 29904 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4329362 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=23945/tid=23948] ppid=23943 vsize=173548 CPUtime=4.32
/proc/23945/task/23948/stat : 23948 (ornithorynque) R 23943 23945 23070 0 -1 4194368 2 0 0 0 432 0 0 0 25 0 3 0 331155066 177713152 29904 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244577 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.59
Current children cumulated vsize (KiB) 173548

[startup+12.7017 s]
/proc/loadavg: 1.85 1.97 1.91 3/67 23948
/proc/meminfo: memFree=1186936/2055920 swapFree=4184040/4192956
[pid=23945] ppid=23943 vsize=174548 CPUtime=23.36
/proc/23945/stat : 23945 (ornithorynque) S 23943 23945 23070 0 -1 4194304 41079 0 0 0 2321 15 0 0 25 0 3 0 331154868 178737152 30140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/23945/statm: 43637 30140 389 42 0 37889 0
[pid=23945/tid=23947] ppid=23943 vsize=174548 CPUtime=10.67
/proc/23945/task/23947/stat : 23947 (ornithorynque) R 23943 23945 23070 0 -1 4194368 6869 0 0 0 1065 2 0 0 25 0 3 0 331155066 178737152 30140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4273705 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=23945/tid=23948] ppid=23943 vsize=174548 CPUtime=10.71
/proc/23945/task/23948/stat : 23948 (ornithorynque) R 23943 23945 23070 0 -1 4194368 2 0 0 0 1071 0 0 0 25 0 3 0 331155066 178737152 30140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4297053 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 23.36
Current children cumulated vsize (KiB) 174548

[startup+25.5018 s]
/proc/loadavg: 1.89 1.97 1.91 3/67 23948
/proc/meminfo: memFree=1187000/2055920 swapFree=4184040/4192956
[pid=23945] ppid=23943 vsize=173812 CPUtime=48.91
/proc/23945/stat : 23945 (ornithorynque) S 23943 23945 23070 0 -1 4194304 41811 0 0 0 4875 16 0 0 25 0 3 0 331154868 177983488 29962 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/23945/statm: 43453 29962 389 42 0 37705 0
[pid=23945/tid=23947] ppid=23943 vsize=173812 CPUtime=23.42
/proc/23945/task/23947/stat : 23947 (ornithorynque) R 23943 23945 23070 0 -1 4194368 7601 0 0 0 2339 3 0 0 25 0 3 0 331155066 177983488 29962 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4326562 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=23945/tid=23948] ppid=23943 vsize=173812 CPUtime=23.51
/proc/23945/task/23948/stat : 23948 (ornithorynque) R 23943 23945 23070 0 -1 4194368 2 0 0 0 2351 0 0 0 25 0 3 0 331155066 177983488 29962 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4245010 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 48.91
Current children cumulated vsize (KiB) 173812

[startup+51.1021 s]
/proc/loadavg: 1.92 1.97 1.91 3/67 23948
/proc/meminfo: memFree=1185208/2055920 swapFree=4184040/4192956
[pid=23945] ppid=23943 vsize=174684 CPUtime=99.97
/proc/23945/stat : 23945 (ornithorynque) S 23943 23945 23070 0 -1 4194304 58878 0 0 0 9974 23 0 0 25 0 3 0 331154868 178876416 30205 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/23945/statm: 43671 30205 389 42 0 37923 0
[pid=23945/tid=23947] ppid=23943 vsize=174684 CPUtime=48.9
/proc/23945/task/23947/stat : 23947 (ornithorynque) R 23943 23945 23070 0 -1 4194368 24668 0 0 0 4880 10 0 0 25 0 3 0 331155066 178876416 30205 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4301284 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=23945/tid=23948] ppid=23943 vsize=174684 CPUtime=49.09
/proc/23945/task/23948/stat : 23948 (ornithorynque) R 23943 23945 23070 0 -1 4194368 2 0 0 0 4909 0 0 0 25 0 3 0 331155066 178876416 30205 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244579 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 99.97
Current children cumulated vsize (KiB) 174684

[startup+102.307 s]
/proc/loadavg: 1.97 1.97 1.91 3/67 23948
/proc/meminfo: memFree=1184824/2055920 swapFree=4184040/4192956
[pid=23945] ppid=23943 vsize=176100 CPUtime=202.13
/proc/23945/stat : 23945 (ornithorynque) S 23943 23945 23070 0 -1 4194304 197461 0 0 0 20132 81 0 0 25 0 3 0 331154868 180326400 30545 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/23945/statm: 44025 30545 389 42 0 38277 0
[pid=23945/tid=23947] ppid=23943 vsize=176100 CPUtime=99.88
/proc/23945/task/23947/stat : 23947 (ornithorynque) R 23943 23945 23070 0 -1 4194368 163251 0 0 0 9920 68 0 0 25 0 3 0 331155066 180326400 30545 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4273705 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=23945/tid=23948] ppid=23943 vsize=176100 CPUtime=100.27
/proc/23945/task/23948/stat : 23948 (ornithorynque) R 23943 23945 23070 0 -1 4194368 2 0 0 0 10027 0 0 0 25 0 3 0 331155066 180326400 30545 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246231 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 202.13
Current children cumulated vsize (KiB) 176100

[startup+162.302 s]
/proc/loadavg: 1.98 1.97 1.91 3/67 23948
/proc/meminfo: memFree=1183160/2055920 swapFree=4184040/4192956
[pid=23945] ppid=23943 vsize=176628 CPUtime=321.85
/proc/23945/stat : 23945 (ornithorynque) S 23943 23945 23070 0 -1 4194304 345863 0 0 0 32041 144 0 0 25 0 3 0 331154868 180867072 30716 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/23945/statm: 44157 30716 389 42 0 38409 0
[pid=23945/tid=23947] ppid=23943 vsize=176628 CPUtime=159.63
/proc/23945/task/23947/stat : 23947 (ornithorynque) R 23943 23945 23070 0 -1 4194368 311653 0 0 0 15832 131 0 0 25 0 3 0 331155066 180867072 30716 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4326345 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=23945/tid=23948] ppid=23943 vsize=176628 CPUtime=160.25
/proc/23945/task/23948/stat : 23948 (ornithorynque) R 23943 23945 23070 0 -1 4194368 2 0 0 0 16025 0 0 0 25 0 3 0 331155066 180867072 30716 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244909 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 321.85
Current children cumulated vsize (KiB) 176628

[startup+222.301 s]
/proc/loadavg: 2.03 1.99 1.92 3/67 23948
/proc/meminfo: memFree=1180088/2055920 swapFree=4184040/4192956
[pid=23945] ppid=23943 vsize=180604 CPUtime=441.56
/proc/23945/stat : 23945 (ornithorynque) S 23943 23945 23070 0 -1 4194304 347147 0 0 0 44011 145 0 0 25 0 3 0 331154868 184938496 31745 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/23945/statm: 45151 31745 389 42 0 39403 0
[pid=23945/tid=23947] ppid=23943 vsize=180604 CPUtime=219.35
/proc/23945/task/23947/stat : 23947 (ornithorynque) R 23943 23945 23070 0 -1 4194368 312937 0 0 0 21804 131 0 0 25 0 3 0 331155066 184938496 31745 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4326508 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=23945/tid=23948] ppid=23943 vsize=180604 CPUtime=220.22
/proc/23945/task/23948/stat : 23948 (ornithorynque) R 23943 23945 23070 0 -1 4194368 2 0 0 0 22022 0 0 0 25 0 3 0 331155066 184938496 31745 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244562 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 441.56
Current children cumulated vsize (KiB) 180604

[startup+282.301 s]
/proc/loadavg: 2.10 2.02 1.93 3/67 23948
/proc/meminfo: memFree=1175352/2055920 swapFree=4184040/4192956
[pid=23945] ppid=23943 vsize=185424 CPUtime=561.27
/proc/23945/stat : 23945 (ornithorynque) S 23943 23945 23070 0 -1 4194304 348348 0 0 0 55982 145 0 0 25 0 3 0 331154868 189874176 32938 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/23945/statm: 46356 32938 389 42 0 40608 0
[pid=23945/tid=23947] ppid=23943 vsize=185424 CPUtime=279.09
/proc/23945/task/23947/stat : 23947 (ornithorynque) R 23943 23945 23070 0 -1 4194368 314138 0 0 0 27777 132 0 0 25 0 3 0 331155066 189874176 32938 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4328883 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=23945/tid=23948] ppid=23943 vsize=185424 CPUtime=280.2
/proc/23945/task/23948/stat : 23948 (ornithorynque) R 23943 23945 23070 0 -1 4194368 2 0 0 0 28020 0 0 0 25 0 3 0 331155066 189874176 32938 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244988 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 561.27
Current children cumulated vsize (KiB) 185424

[startup+342.301 s]
/proc/loadavg: 2.07 2.03 1.94 3/67 23948
/proc/meminfo: memFree=1170872/2055920 swapFree=4184040/4192956
[pid=23945] ppid=23943 vsize=189600 CPUtime=680.99
/proc/23945/stat : 23945 (ornithorynque) S 23943 23945 23070 0 -1 4194304 349455 0 0 0 67953 146 0 0 25 0 3 0 331154868 194150400 34045 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/23945/statm: 47400 34045 389 42 0 41652 0
[pid=23945/tid=23947] ppid=23943 vsize=189600 CPUtime=338.83
/proc/23945/task/23947/stat : 23947 (ornithorynque) R 23943 23945 23070 0 -1 4194368 315245 0 0 0 33750 133 0 0 25 0 3 0 331155066 194150400 34045 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4326393 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=23945/tid=23948] ppid=23943 vsize=189600 CPUtime=340.18
/proc/23945/task/23948/stat : 23948 (ornithorynque) R 23943 23945 23070 0 -1 4194368 2 0 0 0 34018 0 0 0 25 0 3 0 331155066 194150400 34045 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244964 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 680.99
Current children cumulated vsize (KiB) 189600

[startup+402.302 s]
/proc/loadavg: 2.02 2.02 1.94 3/67 23948
/proc/meminfo: memFree=1167544/2055920 swapFree=4184040/4192956
[pid=23945] ppid=23943 vsize=193072 CPUtime=800.71
/proc/23945/stat : 23945 (ornithorynque) S 23943 23945 23070 0 -1 4194304 350308 0 0 0 79924 147 0 0 25 0 3 0 331154868 197705728 34898 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/23945/statm: 48268 34898 389 42 0 42520 0
[pid=23945/tid=23947] ppid=23943 vsize=193072 CPUtime=398.57
/proc/23945/task/23947/stat : 23947 (ornithorynque) R 23943 23945 23070 0 -1 4194368 316098 0 0 0 39723 134 0 0 25 0 3 0 331155066 197705728 34898 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246462 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=23945/tid=23948] ppid=23943 vsize=193072 CPUtime=400.16
/proc/23945/task/23948/stat : 23948 (ornithorynque) R 23943 23945 23070 0 -1 4194368 2 0 0 0 40016 0 0 0 25 0 3 0 331155066 197705728 34898 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246223 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 800.71
Current children cumulated vsize (KiB) 193072

[startup+462.301 s]
/proc/loadavg: 2.01 2.01 1.94 3/67 23948
/proc/meminfo: memFree=1162296/2055920 swapFree=4184040/4192956
[pid=23945] ppid=23943 vsize=198028 CPUtime=920.42
/proc/23945/stat : 23945 (ornithorynque) S 23943 23945 23070 0 -1 4194304 351581 0 0 0 91894 148 0 0 25 0 3 0 331154868 202780672 36171 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/23945/statm: 49507 36171 389 42 0 43759 0
[pid=23945/tid=23947] ppid=23943 vsize=198028 CPUtime=458.31
/proc/23945/task/23947/stat : 23947 (ornithorynque) R 23943 23945 23070 0 -1 4194368 317371 0 0 0 45696 135 0 0 25 0 3 0 331155066 202780672 36171 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4326533 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=23945/tid=23948] ppid=23943 vsize=198028 CPUtime=460.14
/proc/23945/task/23948/stat : 23948 (ornithorynque) R 23943 23945 23070 0 -1 4194368 2 0 0 0 46014 0 0 0 25 0 3 0 331155066 202780672 36171 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4297829 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 920.42
Current children cumulated vsize (KiB) 198028

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 1.94 3/67 23948
/proc/meminfo: memFree=1157752/2055920 swapFree=4184040/4192956
[pid=23945] ppid=23943 vsize=202588 CPUtime=1040.15
/proc/23945/stat : 23945 (ornithorynque) S 23943 23945 23070 0 -1 4194304 352721 0 0 0 103866 149 0 0 25 0 3 0 331154868 207450112 37311 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/23945/statm: 50647 37311 389 42 0 44899 0
[pid=23945/tid=23947] ppid=23943 vsize=202588 CPUtime=518.06
/proc/23945/task/23947/stat : 23947 (ornithorynque) R 23943 23945 23070 0 -1 4194368 318511 0 0 0 51670 136 0 0 25 0 3 0 331155066 207450112 37311 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4326393 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=23945/tid=23948] ppid=23943 vsize=202588 CPUtime=520.11
/proc/23945/task/23948/stat : 23948 (ornithorynque) R 23943 23945 23070 0 -1 4194368 2 0 0 0 52011 0 0 0 25 0 3 0 331155066 207450112 37311 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244213 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1040.15
Current children cumulated vsize (KiB) 202588

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/67 23948
/proc/meminfo: memFree=1153400/2055920 swapFree=4184040/4192956
[pid=23945] ppid=23943 vsize=206796 CPUtime=1159.86
/proc/23945/stat : 23945 (ornithorynque) S 23943 23945 23070 0 -1 4194304 353775 0 0 0 115836 150 0 0 25 0 3 0 331154868 211759104 38365 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/23945/statm: 51699 38365 389 42 0 45951 0
[pid=23945/tid=23947] ppid=23943 vsize=206796 CPUtime=577.79
/proc/23945/task/23947/stat : 23947 (ornithorynque) R 23943 23945 23070 0 -1 4194368 319565 0 0 0 57642 137 0 0 25 0 3 0 331155066 211759104 38365 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4239096 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=23945/tid=23948] ppid=23943 vsize=206796 CPUtime=580.09
/proc/23945/task/23948/stat : 23948 (ornithorynque) R 23943 23945 23070 0 -1 4194368 2 0 0 0 58009 0 0 0 25 0 3 0 331155066 211759104 38365 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244860 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1159.86
Current children cumulated vsize (KiB) 206796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+602.502 s]
/proc/loadavg: 2.00 2.00 1.94 3/67 23948
/proc/meminfo: memFree=1152568/2055920 swapFree=4184040/4192956
[pid=23945] ppid=23943 vsize=207588 CPUtime=1200.17
/proc/23945/stat : 23945 (ornithorynque) S 23943 23945 23070 0 -1 4194304 353977 0 0 0 119867 150 0 0 25 0 3 0 331154868 212570112 38567 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/23945/statm: 51897 38567 389 42 0 46149 0
[pid=23945/tid=23947] ppid=23943 vsize=207588 CPUtime=597.9
/proc/23945/task/23947/stat : 23947 (ornithorynque) R 23943 23945 23070 0 -1 4194368 319767 0 0 0 59653 137 0 0 25 0 3 0 331155066 212570112 38567 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4326433 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=23945/tid=23948] ppid=23943 vsize=207588 CPUtime=600.29
/proc/23945/task/23948/stat : 23948 (ornithorynque) R 23943 23945 23070 0 -1 4194368 2 0 0 0 60029 0 0 0 25 0 3 0 331155066 212570112 38567 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.17
Current children cumulated vsize (KiB) 207588

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

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

[startup+602.502 s]
/proc/loadavg: 2.00 2.00 1.94 3/67 23948
/proc/meminfo: memFree=1152568/2055920 swapFree=4184040/4192956
[pid=23945] ppid=23943 vsize=207588 CPUtime=1200.17
/proc/23945/stat : 23945 (ornithorynque) S 23943 23945 23070 0 -1 4194304 353977 0 0 0 119867 150 0 0 25 0 3 0 331154868 212570112 38567 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/23945/statm: 51897 38567 389 42 0 46149 0
[pid=23945/tid=23947] ppid=23943 vsize=207588 CPUtime=597.9
/proc/23945/task/23947/stat : 23947 (ornithorynque) R 23943 23945 23070 0 -1 4194368 319767 0 0 0 59653 137 0 0 25 0 3 0 331155066 212570112 38567 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4326433 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=23945/tid=23948] ppid=23943 vsize=207588 CPUtime=600.29
/proc/23945/task/23948/stat : 23948 (ornithorynque) R 23943 23945 23070 0 -1 4194368 2 0 0 0 60029 0 0 0 25 0 3 0 331155066 212570112 38567 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.17
Current children cumulated vsize (KiB) 207588

Child ended because it received signal 15 (SIGTERM)
Real time (s): 602.537
CPU time (s): 1200.21
CPU user time (s): 1198.68
CPU system time (s): 1.52977
CPU usage (%): 199.193
Max. virtual memory (cumulated for all children) (KiB): 207588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.68
system time used= 1.52977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 353977
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= 13
involuntary context switches= 9303

runsolver used 0.535918 second user time and 1.68474 second system time

The end

Launcher Data (download as text)

Begin job on node43 on Mon Mar  5 16:26:28 UTC 2007

IDJOB= 328499
IDBENCH= 20421
IDSOLVER= 139
FILE ID= node43/328499-1173111987

PBS_JOBID= 4013915

Free space on /tmp= 66502 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/industrial/palacios/uts/uts-l06-ipc5-h28-unknown.cnf
COMMAND LINE= /tmp/evaluation/328499-1173111987/ornithorynque /tmp/evaluation/328499-1173111987/instance-328499-1173111987.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node43/watcher-328499-1173111987 -o ROOT/results/node43/solver-328499-1173111987 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328499-1173111987/ornithorynque /tmp/evaluation/328499-1173111987/instance-328499-1173111987.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  ccc94758bbd09de3056ff3a062ddfd45

RANDOM SEED= 96539436

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node43.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.281
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.281
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:       1306080 kB
Buffers:         26996 kB
Cached:         643768 kB
SwapCached:       2912 kB
Active:         104232 kB
Inactive:       577564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1306080 kB
SwapTotal:     4192956 kB
SwapFree:      4184040 kB
Dirty:           11952 kB
Writeback:           0 kB
Mapped:          17012 kB
Slab:            54064 kB
Committed_AS:   786820 kB
PageTables:       1392 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= 66502 MiB

End job on node43 on Mon Mar  5 16:36:33 UTC 2007