Trace number 328514

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

General information on the benchmark

Namecrafted/spence/
medium/s93-100.cnf
MD5SUMcb4f09f5b8ab5c8da265c9ab7b857cb1
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark65.515
Satisfiable
(Un)Satisfiability was proved
Number of variables93
Number of clauses196
Sum of the clauses size588
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3196
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.00/0.00	c ...done
0.00/0.00	c nbVar=93 nbClause=196
0.00/0.00	c nbVar=93 nbClause=196
0.00/0.01	c complete search running
0.00/0.01	c local search running
0.00/0.03	c flip 0 nbSat=286 maxSat=0
0.00/0.03	c flip 0 nbSat=510 maxSat=308
0.00/0.03	c flip 0 nbSat=724 maxSat=534
0.04/0.03	c flip 0 nbSat=891 maxSat=749
0.04/0.04	c flip 0 nbSat=1034 maxSat=926
0.04/0.06	c flip 0 nbSat=1291 maxSat=1067
0.04/0.07	c flip 0 nbSat=1507 maxSat=1311
0.18/0.11	c flip 0 nbSat=2059 maxSat=1530
0.18/0.16	c flip 0 nbSat=2563 maxSat=2072
0.38/0.22	c flip 0 nbSat=3079 maxSat=2586
0.38/0.23	c flip 0 nbSat=3278 maxSat=3102
0.58/0.35	c flip 0 nbSat=4079 maxSat=3305
0.58/0.37	c flip 0 nbSat=4220 maxSat=4113
0.78/0.41	c flip 0 nbSat=4358 maxSat=4248
0.78/0.44	c flip 0 nbSat=4521 maxSat=4383
0.78/0.47	c flip 0 nbSat=4719 maxSat=4545
1.17/0.60	c flip 0 nbSat=5581 maxSat=4732
1.17/0.63	c flip 0 nbSat=5742 maxSat=5599
1.58/0.85	c flip 0 nbSat=7022 maxSat=5766
1.58/0.89	c flip 0 nbSat=7321 maxSat=7037
2.37/1.25	c flip 0 nbSat=8571 maxSat=7343
2.37/1.28	c nbDecision=10000 #clauses=8682
2.57/1.34	c flip 0 nbSat=8861 maxSat=8589
2.77/1.42	c flip 0 nbSat=9132 maxSat=8884
3.37/1.76	c flip 0 nbSat=10392 maxSat=9155
3.57/1.88	c flip 0 nbSat=10713 maxSat=10413
3.77/1.96	c flip 0 nbSat=10902 maxSat=10732
3.97/2.02	c flip 0 nbSat=11239 maxSat=10930
3.97/2.08	c flip 0 nbSat=11535 maxSat=11258
4.96/2.51	c flip 0 nbSat=13425 maxSat=11568
5.16/2.70	c flip 0 nbSat=13974 maxSat=13441
5.56/2.86	c flip 0 nbSat=14427 maxSat=14000
6.16/3.12	c flip 0 nbSat=15098 maxSat=14452
6.75/3.40	c flip 0 nbSat=15715 maxSat=15118
7.15/3.64	c flip 0 nbSat=16248 maxSat=15738
7.75/3.98	c flip 0 nbSat=17227 maxSat=16280
8.15/4.11	c nbDecision=20000 #clauses=17576
9.14/4.61	c flip 0 nbSat=18764 maxSat=17266
9.34/4.74	c flip 0 nbSat=18994 maxSat=18782
9.75/4.91	c flip 0 nbSat=19325 maxSat=19033
10.55/5.35	c flip 0 nbSat=20167 maxSat=19345
11.15/5.60	c flip 0 nbSat=20549 maxSat=20184
12.15/6.13	c flip 0 nbSat=21583 maxSat=20571
13.15/6.64	c flip 0 nbSat=22332 maxSat=21606
13.54/6.85	c flip 0 nbSat=22669 maxSat=22354
14.14/7.12	c flip 0 nbSat=23110 maxSat=22690
14.54/7.34	c flip 0 nbSat=23451 maxSat=23147
15.73/7.97	c flip 0 nbSat=24443 maxSat=23476
16.12/8.16	c flip 0 nbSat=24736 maxSat=24471
17.12/8.66	c flip 0 nbSat=25404 maxSat=24758
17.53/8.89	c flip 0 nbSat=25654 maxSat=25421
18.52/9.37	c flip 0 nbSat=26248 maxSat=25681
18.92/9.51	c nbDecision=30000 #clauses=26411
18.92/9.59	c flip 0 nbSat=26435 maxSat=26279
21.11/10.67	c flip 0 nbSat=27253 maxSat=26463
21.72/10.99	c flip 0 nbSat=27511 maxSat=27279
22.31/11.26	c flip 0 nbSat=27753 maxSat=27536
23.51/11.89	c flip 0 nbSat=28244 maxSat=27783
24.11/12.15	c flip 0 nbSat=28419 maxSat=28270
24.90/12.53	c flip 0 nbSat=28814 maxSat=28464
25.50/12.84	c flip 0 nbSat=29170 maxSat=28854
26.49/13.39	c flip 0 nbSat=29703 maxSat=29189
27.09/13.60	c flip 0 nbSat=30062 maxSat=29787
27.49/13.85	c flip 0 nbSat=30322 maxSat=30096
27.89/14.07	c flip 0 nbSat=30545 maxSat=30338
29.29/14.74	c flip 0 nbSat=31093 maxSat=30569
31.09/15.69	c flip 0 nbSat=31853 maxSat=31125
32.49/16.32	c flip 0 nbSat=32476 maxSat=31875
33.68/16.95	c flip 0 nbSat=32947 maxSat=32492
36.28/18.23	c flip 0 nbSat=34291 maxSat=32980
38.08/19.18	c nbDecision=40000 #clauses=35250
38.88/19.54	c flip 0 nbSat=35488 maxSat=34316
42.27/21.20	c flip 0 nbSat=36913 maxSat=35543
44.86/22.60	c flip 0 nbSat=37892 maxSat=36942
45.66/22.95	c flip 0 nbSat=38084 maxSat=37915
48.25/24.27	c flip 0 nbSat=38918 maxSat=38111
49.05/24.68	c flip 0 nbSat=39121 maxSat=38957
51.24/25.71	c flip 0 nbSat=39536 maxSat=39159
54.44/27.37	c flip 0 nbSat=40374 maxSat=39616
57.83/29.01	c flip 0 nbSat=41241 maxSat=40424
59.23/29.72	c flip 0 nbSat=41502 maxSat=41264
60.22/30.22	c flip 0 nbSat=41731 maxSat=41548
62.43/31.31	c flip 0 nbSat=42194 maxSat=41754
64.42/32.31	c flip 0 nbSat=42714 maxSat=42217
65.02/32.60	c flip 0 nbSat=42923 maxSat=42760
65.82/33.08	c flip 0 nbSat=43157 maxSat=42951
69.01/34.62	c nbDecision=50000 #clauses=44006
70.60/35.45	c flip 0 nbSat=44519 maxSat=43185
72.80/36.55	c flip 0 nbSat=45150 maxSat=44537
76.80/38.56	c flip 0 nbSat=46451 maxSat=45170
85.17/42.75	c flip 0 nbSat=49788 maxSat=46486
90.35/45.30	c flip 0 nbSat=51288 maxSat=49837
91.15/45.72	c flip 0 nbSat=51439 maxSat=51313
92.34/46.36	c flip 0 nbSat=51763 maxSat=51460
95.34/47.85	c flip 0 nbSat=52535 maxSat=51800
95.73/48.00	c nbDecision=60000 #clauses=52624
96.34/48.36	c flip 0 nbSat=52745 maxSat=52555
102.73/51.58	c flip 0 nbSat=54430 maxSat=52764
104.72/52.53	c flip 0 nbSat=54922 maxSat=54476
116.09/58.24	c flip 0 nbSat=58173 maxSat=54941
118.48/59.42	c flip 0 nbSat=58849 maxSat=58218
123.07/61.77	c flip 0 nbSat=60192 maxSat=58876
124.87/62.62	c flip 0 nbSat=60602 maxSat=60223
126.06/63.20	c flip 0 nbSat=61002 maxSat=60648
127.46/63.92	c nbDecision=70000 #clauses=61476
132.04/66.22	c flip 0 nbSat=62735 maxSat=61024
132.85/66.68	c flip 0 nbSat=62983 maxSat=62779
136.04/68.20	c flip 0 nbSat=63606 maxSat=63009
136.83/68.65	c flip 0 nbSat=63797 maxSat=63629
141.02/70.77	c flip 0 nbSat=64755 maxSat=63824
142.63/71.55	c flip 0 nbSat=65066 maxSat=64807
150.01/75.26	c flip 0 nbSat=66788 maxSat=65092
151.81/76.12	c flip 0 nbSat=67095 maxSat=66864
154.80/77.62	c flip 0 nbSat=67818 maxSat=67126
156.99/78.70	c flip 0 nbSat=68129 maxSat=67847
162.98/81.74	c flip 0 nbSat=69703 maxSat=68264
164.18/82.33	c nbDecision=80000 #clauses=70117
168.77/84.62	c flip 0 nbSat=71207 maxSat=69743
173.56/87.03	c flip 0 nbSat=72597 maxSat=71242
175.15/87.86	c flip 0 nbSat=72967 maxSat=72690
179.54/90.04	c flip 0 nbSat=73675 maxSat=72992
188.72/94.68	c flip 0 nbSat=76900 maxSat=73703
193.50/97.07	c nbDecision=90000 #clauses=78681
201.68/101.16	c flip 0 nbSat=80758 maxSat=76942
204.07/102.32	c flip 0 nbSat=81275 maxSat=80790
213.66/107.19	c flip 0 nbSat=83407 maxSat=81313
218.04/109.35	c flip 0 nbSat=84170 maxSat=83444
223.43/112.06	c flip 0 nbSat=85175 maxSat=84320
233.60/117.12	c flip 0 nbSat=87290 maxSat=85288
234.61/117.63	c nbDecision=100000 #clauses=87494
238.59/119.68	c flip 0 nbSat=88264 maxSat=87314
240.59/120.61	c flip 0 nbSat=88649 maxSat=88286
254.76/127.76	c flip 0 nbSat=91283 maxSat=88699
257.76/129.23	c flip 0 nbSat=91812 maxSat=91350
259.15/129.94	c flip 0 nbSat=92124 maxSat=91858
260.35/130.53	c flip 0 nbSat=92270 maxSat=92165
285.48/143.14	c flip 0 nbSat=95766 maxSat=92299
287.87/144.30	c nbDecision=110000 #clauses=96133
296.65/148.73	c flip 0 nbSat=97215 maxSat=95818
298.04/149.46	c flip 0 nbSat=97429 maxSat=97254
302.03/151.49	c flip 0 nbSat=98132 maxSat=97504
304.43/152.63	c flip 0 nbSat=98393 maxSat=98164
308.42/154.67	c flip 0 nbSat=98979 maxSat=98439
312.81/156.89	c flip 0 nbSat=99657 maxSat=98991
319.59/160.21	c flip 0 nbSat=100829 maxSat=99691
337.16/169.06	c flip 0 nbSat=103353 maxSat=100863
339.16/170.05	c flip 0 nbSat=103680 maxSat=103394
342.36/171.60	c flip 0 nbSat=104118 maxSat=103716
348.74/174.86	c nbDecision=120000 #clauses=104931
354.52/177.77	c flip 0 nbSat=106120 maxSat=104148
356.92/178.90	c flip 0 nbSat=106512 maxSat=106169
359.11/180.00	c flip 0 nbSat=106803 maxSat=106542
361.11/181.02	c flip 0 nbSat=107173 maxSat=106824
366.68/183.80	c flip 0 nbSat=108124 maxSat=107205
389.23/195.11	c flip 0 nbSat=111631 maxSat=108261
398.01/199.55	c nbDecision=130000 #clauses=113524
411.77/206.48	c flip 0 nbSat=115951 maxSat=111658
420.96/211.00	c flip 0 nbSat=117673 maxSat=115979
422.56/211.85	c flip 0 nbSat=118110 maxSat=117705
440.72/220.93	c flip 0 nbSat=121669 maxSat=118181
445.10/223.20	c nbDecision=140000 #clauses=122387
453.88/227.58	c flip 0 nbSat=123478 maxSat=121700
458.07/229.62	c flip 0 nbSat=124091 maxSat=123528
460.66/230.94	c flip 0 nbSat=124491 maxSat=124131
469.64/235.42	c flip 0 nbSat=126043 maxSat=124510
488.99/245.16	c flip 0 nbSat=129415 maxSat=126060
495.78/248.59	c nbDecision=150000 #clauses=131190
511.15/256.29	c flip 0 nbSat=133377 maxSat=129442
513.93/257.69	c flip 0 nbSat=134028 maxSat=133578
524.11/262.77	c flip 0 nbSat=135224 maxSat=134054
526.31/263.80	c flip 0 nbSat=135452 maxSat=135265
538.88/270.12	c flip 0 nbSat=136843 maxSat=135464
544.06/272.70	c flip 0 nbSat=137737 maxSat=136897
547.85/274.68	c flip 0 nbSat=138399 maxSat=137783
557.62/279.57	c nbDecision=160000 #clauses=139832
578.37/289.94	c flip 0 nbSat=142745 maxSat=138416
579.96/290.71	c flip 0 nbSat=142871 maxSat=142762
599.53/300.50	c flip 0 nbSat=145589 maxSat=142936
603.32/302.45	c flip 0 nbSat=145950 maxSat=145626
618.08/309.80	c nbDecision=170000 #clauses=148337
638.04/319.81	c flip 0 nbSat=151048 maxSat=145979
646.61/324.17	c flip 0 nbSat=152041 maxSat=151082
653.20/327.40	c flip 0 nbSat=152580 maxSat=152070
661.97/331.87	c flip 0 nbSat=153736 maxSat=152625
685.11/343.47	c flip 0 nbSat=156020 maxSat=153790
691.31/346.59	c nbDecision=180000 #clauses=156849
703.08/352.40	c flip 0 nbSat=157985 maxSat=156059
714.66/358.27	c flip 0 nbSat=159151 maxSat=158063
724.42/363.12	c flip 0 nbSat=160118 maxSat=159170
732.41/367.18	c flip 0 nbSat=161029 maxSat=160145
736.20/369.04	c flip 0 nbSat=161335 maxSat=161064
739.60/370.76	c flip 0 nbSat=161750 maxSat=161370
750.76/376.32	c flip 0 nbSat=162911 maxSat=161765
772.91/387.40	c nbDecision=190000 #clauses=165791
783.49/392.79	c flip 0 nbSat=166891 maxSat=162951
811.21/406.69	c flip 0 nbSat=171369 maxSat=166914
816.21/409.13	c flip 0 nbSat=171943 maxSat=171395
822.58/412.32	c flip 0 nbSat=172616 maxSat=172035
825.38/413.75	c flip 0 nbSat=172896 maxSat=172638
834.37/418.26	c flip 0 nbSat=174034 maxSat=172912
837.56/419.83	c flip 0 nbSat=174330 maxSat=174053
837.56/419.87	c nbDecision=200000 #clauses=174481
842.94/422.54	c flip 0 nbSat=175099 maxSat=174450
847.73/424.95	c flip 0 nbSat=175486 maxSat=175119
850.72/426.49	c flip 0 nbSat=175949 maxSat=175576
856.50/429.38	c flip 0 nbSat=176749 maxSat=176002
875.47/438.89	c flip 0 nbSat=178713 maxSat=176867
886.25/444.29	c flip 0 nbSat=179438 maxSat=178746
890.44/446.39	c flip 0 nbSat=179910 maxSat=179556
895.82/449.05	c flip 0 nbSat=180088 maxSat=179938
917.96/460.14	c nbDecision=210000 #clauses=183032
945.70/474.02	c flip 0 nbSat=186768 maxSat=180313
949.49/475.99	c flip 0 nbSat=187208 maxSat=186806
961.06/481.71	c flip 0 nbSat=188050 maxSat=187244
973.63/488.07	c flip 0 nbSat=189186 maxSat=188106
980.21/491.30	c flip 0 nbSat=189898 maxSat=189217
983.80/493.13	c flip 0 nbSat=190529 maxSat=190031
991.78/497.13	c nbDecision=220000 #clauses=191775
1023.51/513.08	c flip 0 nbSat=195836 maxSat=190548
1038.47/520.51	c flip 0 nbSat=198256 maxSat=195884
1049.05/525.81	c flip 0 nbSat=199647 maxSat=198270
1053.44/528.07	c flip 0 nbSat=200218 maxSat=199681
1054.23/528.46	c nbDecision=230000 #clauses=200390
1102.51/552.63	c nbDecision=240000 #clauses=209257
1103.11/552.93	c flip 0 nbSat=209325 maxSat=200286
1121.47/562.17	c flip 0 nbSat=212877 maxSat=209378
1152.99/577.90	c nbDecision=250000 #clauses=218035
1167.76/585.39	c flip 0 nbSat=220089 maxSat=212905

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-328514-1173112079 -o ROOT/results/node20/solver-328514-1173112079 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328514-1173112079/ornithorynque /tmp/evaluation/328514-1173112079/instance-328514-1173112079.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.84 1.94 1.90 3/77 15270
/proc/meminfo: memFree=1131976/2055920 swapFree=4094416/4192956
[pid=15270] ppid=15268 vsize=23220 CPUtime=0
/proc/15270/stat : 15270 (ornithorynque) R 15268 15270 14393 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 37290231 23777280 266 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273949953297 0 0 4096 0 0 0 0 17 1 0 0
/proc/15270/statm: 5805 266 219 42 0 45 0

[startup+0.0344859 s]
/proc/loadavg: 1.84 1.94 1.90 3/77 15270
/proc/meminfo: memFree=1131976/2055920 swapFree=4094416/4192956
[pid=15270] ppid=15268 vsize=45844 CPUtime=0.04
/proc/15270/stat : 15270 (ornithorynque) S 15268 15270 14393 0 -1 4194304 551 0 0 0 4 0 0 0 18 0 3 0 37290231 46944256 512 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15270/statm: 11461 512 387 42 0 5713 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 45844

[startup+0.101472 s]
/proc/loadavg: 1.84 1.94 1.90 3/77 15270
/proc/meminfo: memFree=1131976/2055920 swapFree=4094416/4192956
[pid=15270] ppid=15268 vsize=45844 CPUtime=0.18
/proc/15270/stat : 15270 (ornithorynque) S 15268 15270 14393 0 -1 4194304 608 0 0 0 18 0 0 0 18 0 3 0 37290231 46944256 569 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15270/statm: 11461 569 387 42 0 5713 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 45844

[startup+0.301512 s]
/proc/loadavg: 1.84 1.94 1.90 3/77 15270
/proc/meminfo: memFree=1131976/2055920 swapFree=4094416/4192956
[pid=15270] ppid=15268 vsize=45844 CPUtime=0.58
/proc/15270/stat : 15270 (ornithorynque) S 15268 15270 14393 0 -1 4194304 733 0 0 0 58 0 0 0 18 0 3 0 37290231 46944256 694 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15270/statm: 11461 694 387 42 0 5713 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 45844

[startup+0.701592 s]
/proc/loadavg: 1.84 1.94 1.90 3/77 15270
/proc/meminfo: memFree=1131976/2055920 swapFree=4094416/4192956
[pid=15270] ppid=15268 vsize=45844 CPUtime=1.38
/proc/15270/stat : 15270 (ornithorynque) S 15268 15270 14393 0 -1 4194304 883 0 0 0 137 1 0 0 18 0 3 0 37290231 46944256 844 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15270/statm: 11461 845 387 42 0 5713 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 45844

[startup+1.50276 s]
/proc/loadavg: 1.84 1.94 1.90 3/80 15273
/proc/meminfo: memFree=1129584/2055920 swapFree=4094416/4192956
[pid=15270] ppid=15268 vsize=47132 CPUtime=2.97
/proc/15270/stat : 15270 (ornithorynque) S 15268 15270 14393 0 -1 4194304 1086 0 0 0 296 1 0 0 18 0 3 0 37290231 48263168 1047 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15270/statm: 11783 1047 387 42 0 6035 0
[pid=15270/tid=15272] ppid=15268 vsize=47132 CPUtime=1.48
/proc/15270/task/15272/stat : 15272 (ornithorynque) R 15268 15270 14393 0 -1 4194368 373 0 0 0 148 0 0 0 18 0 3 0 37290232 48263168 1047 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311191 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15270/tid=15273] ppid=15268 vsize=47132 CPUtime=1.47
/proc/15270/task/15273/stat : 15273 (ornithorynque) R 15268 15270 14393 0 -1 4194368 214 0 0 0 147 0 0 0 25 0 3 0 37290232 48263168 1047 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240905 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 47132

[startup+3.10107 s]
/proc/loadavg: 1.84 1.94 1.90 3/80 15273
/proc/meminfo: memFree=1128368/2055920 swapFree=4094416/4192956
[pid=15270] ppid=15268 vsize=49180 CPUtime=6.16
/proc/15270/stat : 15270 (ornithorynque) S 15268 15270 14393 0 -1 4194304 1440 0 0 0 615 1 0 0 18 0 3 0 37290231 50360320 1401 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15270/statm: 12295 1401 387 42 0 6547 0
[pid=15270/tid=15272] ppid=15268 vsize=49180 CPUtime=3.08
/proc/15270/task/15272/stat : 15272 (ornithorynque) R 15268 15270 14393 0 -1 4194368 599 0 0 0 308 0 0 0 19 0 3 0 37290232 50360320 1401 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311255 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15270/tid=15273] ppid=15268 vsize=49180 CPUtime=3.06
/proc/15270/task/15273/stat : 15273 (ornithorynque) R 15268 15270 14393 0 -1 4194368 342 0 0 0 306 0 0 0 25 0 3 0 37290232 50360320 1401 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242052 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 49180

[startup+6.30272 s]
/proc/loadavg: 1.85 1.94 1.90 3/80 15273
/proc/meminfo: memFree=1126128/2055920 swapFree=4094416/4192956
[pid=15270] ppid=15268 vsize=51748 CPUtime=12.55
/proc/15270/stat : 15270 (ornithorynque) S 15268 15270 14393 0 -1 4194304 1991 0 0 0 1253 2 0 0 18 0 3 0 37290231 52989952 1886 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15270/statm: 12937 1886 387 42 0 7189 0
[pid=15270/tid=15272] ppid=15268 vsize=51748 CPUtime=6.29
/proc/15270/task/15272/stat : 15272 (ornithorynque) R 15268 15270 14393 0 -1 4194368 924 0 0 0 628 1 0 0 25 0 3 0 37290232 52989952 1886 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311294 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15270/tid=15273] ppid=15268 vsize=51748 CPUtime=6.25
/proc/15270/task/15273/stat : 15273 (ornithorynque) R 15268 15270 14393 0 -1 4194368 568 0 0 0 625 0 0 0 25 0 3 0 37290232 52989952 1886 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241839 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 51748

[startup+12.702 s]
/proc/loadavg: 1.94 1.96 1.91 3/80 15273
/proc/meminfo: memFree=1123888/2055920 swapFree=4094416/4192956
[pid=15270] ppid=15268 vsize=53036 CPUtime=25.3
/proc/15270/stat : 15270 (ornithorynque) S 15268 15270 14393 0 -1 4194304 2421 0 0 0 2528 2 0 0 18 0 3 0 37290231 54308864 2316 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15270/statm: 13259 2316 387 42 0 7511 0
[pid=15270/tid=15272] ppid=15268 vsize=53036 CPUtime=12.68
/proc/15270/task/15272/stat : 15272 (ornithorynque) R 15268 15270 14393 0 -1 4194368 1220 0 0 0 1267 1 0 0 25 0 3 0 37290232 54308864 2316 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4289656 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15270/tid=15273] ppid=15268 vsize=53036 CPUtime=12.61
/proc/15270/task/15273/stat : 15273 (ornithorynque) R 15268 15270 14393 0 -1 4194368 702 0 0 0 1261 0 0 0 25 0 3 0 37290232 54308864 2316 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242287 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 53036

[startup+25.5016 s]
/proc/loadavg: 1.96 1.96 1.91 3/80 15273
/proc/meminfo: memFree=1121072/2055920 swapFree=4094416/4192956
[pid=15270] ppid=15268 vsize=56912 CPUtime=50.84
/proc/15270/stat : 15270 (ornithorynque) S 15268 15270 14393 0 -1 4194304 3301 0 0 0 5081 3 0 0 18 0 3 0 37290231 58277888 3033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15270/statm: 14228 3033 387 42 0 8480 0
[pid=15270/tid=15272] ppid=15268 vsize=56912 CPUtime=25.47
/proc/15270/task/15272/stat : 15272 (ornithorynque) R 15268 15270 14393 0 -1 4194368 1750 0 0 0 2546 1 0 0 25 0 3 0 37290232 58277888 3033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15270/tid=15273] ppid=15268 vsize=56912 CPUtime=25.36
/proc/15270/task/15273/stat : 15273 (ornithorynque) R 15268 15270 14393 0 -1 4194368 1052 0 0 0 2535 1 0 0 25 0 3 0 37290232 58277888 3033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242170 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 56912

[startup+51.1017 s]
/proc/loadavg: 1.97 1.96 1.91 3/80 15273
/proc/meminfo: memFree=1117808/2055920 swapFree=4094416/4192956
[pid=15270] ppid=15268 vsize=61032 CPUtime=101.93
/proc/15270/stat : 15270 (ornithorynque) S 15268 15270 14393 0 -1 4194304 4221 0 0 0 10188 5 0 0 18 0 3 0 37290231 62496768 3887 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15270/statm: 15258 3887 387 42 0 9510 0
[pid=15270/tid=15272] ppid=15268 vsize=61032 CPUtime=51.07
/proc/15270/task/15272/stat : 15272 (ornithorynque) R 15268 15270 14393 0 -1 4194368 2364 0 0 0 5104 3 0 0 25 0 3 0 37290232 62496768 3887 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311151 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15270/tid=15273] ppid=15268 vsize=61032 CPUtime=50.85
/proc/15270/task/15273/stat : 15273 (ornithorynque) R 15268 15270 14393 0 -1 4194368 1358 0 0 0 5084 1 0 0 25 0 3 0 37290232 62496768 3887 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241401 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 61032

[startup+102.307 s]
/proc/loadavg: 2.03 1.98 1.92 3/80 15273
/proc/meminfo: memFree=1110576/2055920 swapFree=4094416/4192956
[pid=15270] ppid=15268 vsize=69924 CPUtime=204.07
/proc/15270/stat : 15270 (ornithorynque) S 15268 15270 14393 0 -1 4194304 6561 0 0 0 20400 7 0 0 18 0 3 0 37290231 71602176 5640 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15270/statm: 17481 5640 387 42 0 11733 0
[pid=15270/tid=15272] ppid=15268 vsize=69924 CPUtime=102.25
/proc/15270/task/15272/stat : 15272 (ornithorynque) R 15268 15270 14393 0 -1 4194368 3648 0 0 0 10220 5 0 0 25 0 3 0 37290232 71602176 5640 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15270/tid=15273] ppid=15268 vsize=69924 CPUtime=101.81
/proc/15270/task/15273/stat : 15273 (ornithorynque) R 15268 15270 14393 0 -1 4194368 2414 0 0 0 10180 1 0 0 25 0 3 0 37290232 71602176 5640 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285856 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 69924

[startup+162.302 s]
/proc/loadavg: 2.44 2.09 1.95 3/80 15273
/proc/meminfo: memFree=1105648/2055920 swapFree=4094416/4192956
[pid=15270] ppid=15268 vsize=74952 CPUtime=323.78
/proc/15270/stat : 15270 (ornithorynque) S 15268 15270 14393 0 -1 4194304 8215 0 0 0 32369 9 0 0 18 0 3 0 37290231 76750848 6834 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15270/statm: 18738 6834 387 42 0 12990 0
[pid=15270/tid=15272] ppid=15268 vsize=74952 CPUtime=162.22
/proc/15270/task/15272/stat : 15272 (ornithorynque) R 15268 15270 14393 0 -1 4194368 4557 0 0 0 16215 7 0 0 25 0 3 0 37290232 76750848 6834 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15270/tid=15273] ppid=15268 vsize=74952 CPUtime=161.54
/proc/15270/task/15273/stat : 15273 (ornithorynque) R 15268 15270 14393 0 -1 4194368 3159 0 0 0 16153 1 0 0 25 0 3 0 37290232 76750848 6834 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241162 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.78
Current children cumulated vsize (KiB) 74952

[startup+222.302 s]
/proc/loadavg: 2.59 2.22 2.00 3/80 15273
/proc/meminfo: memFree=1100464/2055920 swapFree=4094416/4192956
[pid=15270] ppid=15268 vsize=80952 CPUtime=443.51
/proc/15270/stat : 15270 (ornithorynque) S 15268 15270 14393 0 -1 4194304 10008 0 0 0 44339 12 0 0 18 0 3 0 37290231 82894848 8145 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15270/statm: 20238 8145 387 42 0 14490 0
[pid=15270/tid=15272] ppid=15268 vsize=80952 CPUtime=222.19
/proc/15270/task/15272/stat : 15272 (ornithorynque) R 15268 15270 14393 0 -1 4194368 5551 0 0 0 22211 8 0 0 25 0 3 0 37290232 82894848 8145 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15270/tid=15273] ppid=15268 vsize=80952 CPUtime=221.29
/proc/15270/task/15273/stat : 15273 (ornithorynque) R 15268 15270 14393 0 -1 4194368 3958 0 0 0 22127 2 0 0 25 0 3 0 37290232 82894848 8145 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.51
Current children cumulated vsize (KiB) 80952

[startup+282.302 s]
/proc/loadavg: 2.25 2.19 2.00 3/80 15273
/proc/meminfo: memFree=1096304/2055920 swapFree=4094416/4192956
[pid=15270] ppid=15268 vsize=87508 CPUtime=563.21
/proc/15270/stat : 15270 (ornithorynque) S 15268 15270 14393 0 -1 4194304 12269 0 0 0 56307 14 0 0 18 0 3 0 37290231 89608192 9206 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15270/statm: 21877 9206 387 42 0 16129 0
[pid=15270/tid=15272] ppid=15268 vsize=87508 CPUtime=282.18
/proc/15270/task/15272/stat : 15272 (ornithorynque) R 15268 15270 14393 0 -1 4194368 6843 0 0 0 28208 10 0 0 25 0 3 0 37290232 89608192 9206 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311297 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15270/tid=15273] ppid=15268 vsize=87508 CPUtime=281.02
/proc/15270/task/15273/stat : 15273 (ornithorynque) R 15268 15270 14393 0 -1 4194368 4927 0 0 0 28099 3 0 0 25 0 3 0 37290232 89608192 9206 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241190 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.21
Current children cumulated vsize (KiB) 87508

[startup+342.302 s]
/proc/loadavg: 2.20 2.18 2.01 3/80 15273
/proc/meminfo: memFree=1092656/2055920 swapFree=4094416/4192956
[pid=15270] ppid=15268 vsize=91616 CPUtime=682.92
/proc/15270/stat : 15270 (ornithorynque) S 15268 15270 14393 0 -1 4194304 13565 0 0 0 68276 16 0 0 18 0 3 0 37290231 93814784 10076 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15270/statm: 22904 10076 387 42 0 17156 0
[pid=15270/tid=15272] ppid=15268 vsize=91616 CPUtime=342.16
/proc/15270/task/15272/stat : 15272 (ornithorynque) R 15268 15270 14393 0 -1 4194368 7518 0 0 0 34204 12 0 0 25 0 3 0 37290232 93814784 10076 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15270/tid=15273] ppid=15268 vsize=91616 CPUtime=340.75
/proc/15270/task/15273/stat : 15273 (ornithorynque) R 15268 15270 14393 0 -1 4194368 5548 0 0 0 34072 3 0 0 25 0 3 0 37290232 93814784 10076 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.92
Current children cumulated vsize (KiB) 91616

[startup+402.302 s]
/proc/loadavg: 2.15 2.16 2.01 3/80 15273
/proc/meminfo: memFree=1089200/2055920 swapFree=4094416/4192956
[pid=15270] ppid=15268 vsize=95348 CPUtime=802.64
/proc/15270/stat : 15270 (ornithorynque) S 15268 15270 14393 0 -1 4194304 14699 0 0 0 80247 17 0 0 18 0 3 0 37290231 97636352 10949 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15270/statm: 23837 10949 387 42 0 18089 0
[pid=15270/tid=15272] ppid=15268 vsize=95348 CPUtime=402.13
/proc/15270/task/15272/stat : 15272 (ornithorynque) R 15268 15270 14393 0 -1 4194368 8224 0 0 0 40200 13 0 0 25 0 3 0 37290232 97636352 10949 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15270/tid=15273] ppid=15268 vsize=95348 CPUtime=400.49
/proc/15270/task/15273/stat : 15273 (ornithorynque) R 15268 15270 14393 0 -1 4194368 5976 0 0 0 40046 3 0 0 25 0 3 0 37290232 97636352 10949 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241162 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.64
Current children cumulated vsize (KiB) 95348

[startup+462.301 s]
/proc/loadavg: 2.12 2.15 2.01 3/80 15273
/proc/meminfo: memFree=1085488/2055920 swapFree=4094416/4192956
[pid=15270] ppid=15268 vsize=98824 CPUtime=922.35
/proc/15270/stat : 15270 (ornithorynque) S 15268 15270 14393 0 -1 4194304 16060 0 0 0 92215 20 0 0 18 0 3 0 37290231 101195776 11876 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15270/statm: 24706 11876 387 42 0 18958 0
[pid=15270/tid=15272] ppid=15268 vsize=98824 CPUtime=462.11
/proc/15270/task/15272/stat : 15272 (ornithorynque) R 15268 15270 14393 0 -1 4194368 9094 0 0 0 46196 15 0 0 25 0 3 0 37290232 101195776 11876 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311226 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15270/tid=15273] ppid=15268 vsize=98824 CPUtime=460.22
/proc/15270/task/15273/stat : 15273 (ornithorynque) R 15268 15270 14393 0 -1 4194368 6467 0 0 0 46019 3 0 0 25 0 3 0 37290232 101195776 11876 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.35
Current children cumulated vsize (KiB) 98824

[startup+522.301 s]
/proc/loadavg: 2.10 2.13 2.01 3/80 15273
/proc/meminfo: memFree=1082288/2055920 swapFree=4094416/4192956
[pid=15270] ppid=15268 vsize=103188 CPUtime=1042.06
/proc/15270/stat : 15270 (ornithorynque) S 15268 15270 14393 0 -1 4194304 17399 0 0 0 104185 21 0 0 18 0 3 0 37290231 105664512 12728 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15270/statm: 25797 12728 387 42 0 20049 0
[pid=15270/tid=15272] ppid=15268 vsize=103188 CPUtime=522.09
/proc/15270/task/15272/stat : 15272 (ornithorynque) R 15268 15270 14393 0 -1 4194368 9616 0 0 0 52193 16 0 0 25 0 3 0 37290232 105664512 12728 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15270/tid=15273] ppid=15268 vsize=103188 CPUtime=519.96
/proc/15270/task/15273/stat : 15273 (ornithorynque) R 15268 15270 14393 0 -1 4194368 7284 0 0 0 51992 4 0 0 25 0 3 0 37290232 105664512 12728 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.06
Current children cumulated vsize (KiB) 103188

[startup+582.301 s]
/proc/loadavg: 2.09 2.12 2.01 3/80 15273
/proc/meminfo: memFree=1078192/2055920 swapFree=4094416/4192956
[pid=15270] ppid=15268 vsize=106396 CPUtime=1161.78
/proc/15270/stat : 15270 (ornithorynque) S 15268 15270 14393 0 -1 4194304 18563 0 0 0 116155 23 0 0 18 0 3 0 37290231 108949504 13696 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15270/statm: 26599 13696 387 42 0 20851 0
[pid=15270/tid=15272] ppid=15268 vsize=106396 CPUtime=582.06
/proc/15270/task/15272/stat : 15272 (ornithorynque) R 15268 15270 14393 0 -1 4194368 10288 0 0 0 58188 18 0 0 25 0 3 0 37290232 108949504 13696 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15270/tid=15273] ppid=15268 vsize=106396 CPUtime=579.69
/proc/15270/task/15273/stat : 15273 (ornithorynque) R 15268 15270 14393 0 -1 4194368 7776 0 0 0 57965 4 0 0 25 0 3 0 37290232 108949504 13696 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.78
Current children cumulated vsize (KiB) 106396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.502 s]
/proc/loadavg: 2.07 2.11 2.01 3/80 15273
/proc/meminfo: memFree=1076912/2055920 swapFree=4094416/4192956
[pid=15270] ppid=15268 vsize=108216 CPUtime=1200.09
/proc/15270/stat : 15270 (ornithorynque) S 15268 15270 14393 0 -1 4194304 19073 0 0 0 119985 24 0 0 18 0 3 0 37290231 110813184 14037 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15270/statm: 27054 14037 387 42 0 21306 0
[pid=15270/tid=15272] ppid=15268 vsize=108216 CPUtime=601.26
/proc/15270/task/15272/stat : 15272 (ornithorynque) R 15268 15270 14393 0 -1 4194368 10559 0 0 0 60108 18 0 0 25 0 3 0 37290232 110813184 14037 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311145 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15270/tid=15273] ppid=15268 vsize=108216 CPUtime=598.81
/proc/15270/task/15273/stat : 15273 (ornithorynque) R 15268 15270 14393 0 -1 4194368 8015 0 0 0 59877 4 0 0 25 0 3 0 37290232 110813184 14037 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285227 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 108216

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

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

[startup+601.502 s]
/proc/loadavg: 2.07 2.11 2.01 3/80 15273
/proc/meminfo: memFree=1076912/2055920 swapFree=4094416/4192956
[pid=15270] ppid=15268 vsize=108216 CPUtime=1200.09
/proc/15270/stat : 15270 (ornithorynque) S 15268 15270 14393 0 -1 4194304 19073 0 0 0 119985 24 0 0 18 0 3 0 37290231 110813184 14037 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 273961480059 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15270/statm: 27054 14037 387 42 0 21306 0
[pid=15270/tid=15272] ppid=15268 vsize=108216 CPUtime=601.26
/proc/15270/task/15272/stat : 15272 (ornithorynque) R 15268 15270 14393 0 -1 4194368 10559 0 0 0 60108 18 0 0 25 0 3 0 37290232 110813184 14037 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311145 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15270/tid=15273] ppid=15268 vsize=108216 CPUtime=598.81
/proc/15270/task/15273/stat : 15273 (ornithorynque) R 15268 15270 14393 0 -1 4194368 8015 0 0 0 59877 4 0 0 25 0 3 0 37290232 110813184 14037 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285227 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 108216

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.522
CPU time (s): 1200.12
CPU user time (s): 1199.87
CPU system time (s): 0.252961
CPU usage (%): 199.514
Max. virtual memory (cumulated for all children) (KiB): 108216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.87
system time used= 0.252961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19073
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= 21
involuntary context switches= 22605

runsolver used 0.462929 second user time and 1.74873 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Mon Mar  5 16:27:59 UTC 2007

IDJOB= 328514
IDBENCH= 20436
IDSOLVER= 139
FILE ID= node20/328514-1173112079

PBS_JOBID= 4013925

Free space on /tmp= 66546 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/crafted/spence/medium/s93-100.cnf
COMMAND LINE= /tmp/evaluation/328514-1173112079/ornithorynque /tmp/evaluation/328514-1173112079/instance-328514-1173112079.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-328514-1173112079 -o ROOT/results/node20/solver-328514-1173112079 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328514-1173112079/ornithorynque /tmp/evaluation/328514-1173112079/instance-328514-1173112079.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  cb4f09f5b8ab5c8da265c9ab7b857cb1

RANDOM SEED= 66282695

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:       1132256 kB
Buffers:         47796 kB
Cached:         780076 kB
SwapCached:       2680 kB
Active:          77300 kB
Inactive:       775428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1132256 kB
SwapTotal:     4192956 kB
SwapFree:      4094416 kB
Dirty:             268 kB
Writeback:           0 kB
Mapped:          39588 kB
Slab:            56192 kB
Committed_AS:   257852 kB
PageTables:       1924 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= 66546 MiB

End job on node20 on Mon Mar  5 16:38:03 UTC 2007