Trace number 328259

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.08 601.534

General information on the benchmark

Namerandom/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1274869912-15.cnf
MD5SUM85f01e7612ff708e962af999ed8ac14c
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 variables10000
Number of clauses42000
Sum of the clauses size126000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 342000
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.11	c ...done
0.09/0.11	c nbVar=10000 nbClause=42000
0.09/0.13	c nbVar=10000 nbClause=42000
0.09/0.17	c complete search running
0.09/0.17	c local search running
0.09/0.18	c flip 0 nbSat=36765 maxSat=0
0.21/0.27	c flip 10000 nbSat=40094 maxSat=40115
0.41/0.35	c flip 20000 nbSat=40592 maxSat=40638
0.61/0.43	c flip 30000 nbSat=40870 maxSat=40885
0.81/0.51	c flip 40000 nbSat=40983 maxSat=41014
0.81/0.59	c flip 50000 nbSat=41065 maxSat=41114
1.01/0.67	c flip 60000 nbSat=41112 maxSat=41165
1.21/0.75	c flip 70000 nbSat=41195 maxSat=41208
1.41/0.82	c flip 80000 nbSat=41215 maxSat=41249
1.61/0.90	c flip 90000 nbSat=41294 maxSat=41316
1.61/0.98	c flip 100000 nbSat=41270 maxSat=41316
1.81/1.06	c flip 110000 nbSat=41323 maxSat=41345
2.01/1.13	c flip 120000 nbSat=41318 maxSat=41345
2.21/1.21	c flip 130000 nbSat=41328 maxSat=41391
2.21/1.28	c flip 140000 nbSat=41351 maxSat=41394
2.40/1.35	c flip 150000 nbSat=41331 maxSat=41415
2.60/1.43	c flip 160000 nbSat=41340 maxSat=41415
2.80/1.50	c flip 170000 nbSat=41363 maxSat=41415
2.80/1.58	c flip 180000 nbSat=41340 maxSat=41415
3.00/1.65	c flip 190000 nbSat=41387 maxSat=41415
3.20/1.75	c flip 0 nbSat=37784 maxSat=41415
3.61/1.90	c flip 10000 nbSat=41072 maxSat=41415
3.81/2.07	c flip 20000 nbSat=41774 maxSat=41776
4.22/2.23	c flip 30000 nbSat=42019 maxSat=42032
4.41/2.39	c flip 40000 nbSat=42044 maxSat=42089
4.81/2.55	c flip 50000 nbSat=42136 maxSat=42170
5.21/2.71	c flip 60000 nbSat=42171 maxSat=42232
5.41/2.87	c flip 70000 nbSat=42237 maxSat=42310
5.81/3.04	c flip 80000 nbSat=42314 maxSat=42314
6.22/3.21	c flip 90000 nbSat=42317 maxSat=42351
6.41/3.38	c flip 100000 nbSat=42335 maxSat=42366
6.80/3.54	c flip 110000 nbSat=42346 maxSat=42392
7.20/3.72	c flip 120000 nbSat=42364 maxSat=42417
7.40/3.89	c flip 130000 nbSat=42362 maxSat=42417
7.80/4.06	c flip 140000 nbSat=42337 maxSat=42417
8.20/4.23	c flip 150000 nbSat=42374 maxSat=42417
8.60/4.42	c flip 160000 nbSat=42362 maxSat=42417
8.99/4.60	c flip 170000 nbSat=42391 maxSat=42432
9.19/4.79	c flip 180000 nbSat=42447 maxSat=42468
9.59/4.97	c flip 190000 nbSat=42424 maxSat=42475
9.99/5.19	c flip 0 nbSat=40130 maxSat=42505
10.60/5.44	c flip 10000 nbSat=43339 maxSat=43352
11.19/5.70	c flip 20000 nbSat=44065 maxSat=44070
11.59/5.97	c flip 30000 nbSat=44254 maxSat=44254
12.19/6.25	c flip 40000 nbSat=44413 maxSat=44426
12.79/6.53	c flip 50000 nbSat=44507 maxSat=44520
13.38/6.81	c flip 60000 nbSat=44501 maxSat=44546
13.78/7.09	c flip 70000 nbSat=44560 maxSat=44608
14.39/7.38	c flip 80000 nbSat=44580 maxSat=44629
14.99/7.68	c flip 90000 nbSat=44618 maxSat=44651
15.58/7.96	c flip 100000 nbSat=44574 maxSat=44651
16.18/8.26	c flip 110000 nbSat=44638 maxSat=44667
16.78/8.57	c flip 120000 nbSat=44699 maxSat=44747
16.98/8.65	c nbDecision=10000 #clauses=47180
17.58/8.92	c flip 130000 nbSat=44750 maxSat=44768
18.18/9.24	c flip 140000 nbSat=44749 maxSat=44806
18.78/9.54	c flip 150000 nbSat=44764 maxSat=44806
19.38/9.84	c flip 160000 nbSat=44795 maxSat=44812
19.97/10.16	c flip 170000 nbSat=44767 maxSat=44831
20.57/10.46	c flip 180000 nbSat=44740 maxSat=44831
21.17/10.78	c flip 190000 nbSat=44722 maxSat=44831
21.96/11.14	c flip 0 nbSat=43145 maxSat=44831
22.77/11.56	c flip 10000 nbSat=46259 maxSat=46266
23.77/12.07	c flip 20000 nbSat=46878 maxSat=46895
24.76/12.57	c flip 30000 nbSat=47171 maxSat=47175
25.76/13.07	c flip 40000 nbSat=47289 maxSat=47312
26.76/13.58	c flip 50000 nbSat=47332 maxSat=47364
27.76/14.09	c flip 60000 nbSat=47390 maxSat=47444
28.95/14.63	c flip 70000 nbSat=47468 maxSat=47492
29.95/15.18	c flip 80000 nbSat=47408 maxSat=47498
31.15/15.73	c flip 90000 nbSat=47464 maxSat=47532
32.34/16.30	c flip 100000 nbSat=47531 maxSat=47576
33.34/16.86	c flip 110000 nbSat=47467 maxSat=47576
34.53/17.42	c flip 120000 nbSat=47536 maxSat=47576
35.53/17.99	c flip 130000 nbSat=47498 maxSat=47576
36.73/18.54	c flip 140000 nbSat=47526 maxSat=47597
37.93/19.13	c flip 150000 nbSat=47630 maxSat=47630
38.93/19.66	c flip 160000 nbSat=47534 maxSat=47635
40.13/20.21	c flip 170000 nbSat=47589 maxSat=47635
41.32/20.83	c flip 180000 nbSat=47618 maxSat=47672
42.51/21.42	c flip 190000 nbSat=47593 maxSat=47672
43.90/22.12	c flip 0 nbSat=46899 maxSat=47672
45.31/22.85	c flip 10000 nbSat=50150 maxSat=50154
46.91/23.61	c flip 20000 nbSat=50814 maxSat=50841
48.50/24.47	c flip 30000 nbSat=51021 maxSat=51058
50.30/25.39	c flip 40000 nbSat=51215 maxSat=51216
52.30/26.36	c flip 50000 nbSat=51261 maxSat=51311
52.69/26.55	c nbDecision=20000 #clauses=53345
54.29/27.36	c flip 60000 nbSat=51307 maxSat=51367
56.28/28.36	c flip 70000 nbSat=51368 maxSat=51432
58.28/29.39	c flip 80000 nbSat=51400 maxSat=51433
60.47/30.42	c flip 90000 nbSat=51418 maxSat=51461
62.47/31.41	c flip 100000 nbSat=51403 maxSat=51463
64.25/32.37	c flip 110000 nbSat=51462 maxSat=51469
66.24/33.34	c flip 120000 nbSat=51474 maxSat=51510
68.04/34.27	c flip 130000 nbSat=51504 maxSat=51532
70.05/35.27	c flip 140000 nbSat=51465 maxSat=51532
72.05/36.21	c flip 150000 nbSat=51484 maxSat=51532
73.84/37.11	c flip 160000 nbSat=51507 maxSat=51532
75.63/38.09	c flip 170000 nbSat=51527 maxSat=51555
77.63/39.08	c flip 180000 nbSat=51527 maxSat=51555
79.82/40.11	c flip 190000 nbSat=51485 maxSat=51589
82.01/41.27	c flip 0 nbSat=51980 maxSat=51589
84.41/42.48	c flip 10000 nbSat=55292 maxSat=55293
87.41/43.94	c flip 20000 nbSat=55948 maxSat=55956
90.39/45.50	c flip 30000 nbSat=56196 maxSat=56203
93.60/47.08	c flip 40000 nbSat=56276 maxSat=56294
96.99/48.70	c flip 50000 nbSat=56373 maxSat=56377
100.38/50.48	c flip 60000 nbSat=56378 maxSat=56450
102.98/51.73	c nbDecision=30000 #clauses=59364
103.97/52.22	c flip 70000 nbSat=56410 maxSat=56450
107.56/54.03	c flip 80000 nbSat=56469 maxSat=56499
111.35/55.93	c flip 90000 nbSat=56448 maxSat=56520
114.75/57.63	c flip 100000 nbSat=56424 maxSat=56520
117.94/59.30	c flip 110000 nbSat=56526 maxSat=56552
121.53/61.02	c flip 120000 nbSat=56507 maxSat=56572
124.93/62.75	c flip 130000 nbSat=56497 maxSat=56572
128.51/64.53	c flip 140000 nbSat=56588 maxSat=56616
132.30/66.47	c flip 150000 nbSat=56579 maxSat=56622
135.69/68.19	c flip 160000 nbSat=56647 maxSat=56650
139.28/69.94	c flip 170000 nbSat=56587 maxSat=56657
142.87/71.77	c flip 180000 nbSat=56637 maxSat=56657
146.67/73.65	c flip 190000 nbSat=56628 maxSat=56663
150.46/75.54	c flip 0 nbSat=58876 maxSat=56683
155.04/77.81	c flip 10000 nbSat=62107 maxSat=62111
159.63/80.17	c flip 20000 nbSat=62693 maxSat=62694
165.62/83.18	c flip 30000 nbSat=62954 maxSat=62955
165.82/83.20	c nbDecision=40000 #clauses=65365
171.80/86.24	c flip 40000 nbSat=63031 maxSat=63065
178.40/89.56	c flip 50000 nbSat=63031 maxSat=63117
184.98/92.86	c flip 60000 nbSat=63122 maxSat=63159
192.16/96.42	c flip 70000 nbSat=63177 maxSat=63209
199.15/99.96	c flip 80000 nbSat=63266 maxSat=63277
206.14/103.42	c flip 90000 nbSat=63211 maxSat=63306
212.53/106.64	c flip 100000 nbSat=63286 maxSat=63306
218.51/109.67	c flip 110000 nbSat=63291 maxSat=63358
225.08/112.92	c flip 120000 nbSat=63321 maxSat=63381
231.67/116.25	c flip 130000 nbSat=63300 maxSat=63381
238.06/119.43	c flip 140000 nbSat=63339 maxSat=63381
242.45/121.63	c nbDecision=50000 #clauses=71396
244.85/122.86	c flip 150000 nbSat=63270 maxSat=63381
250.82/125.87	c flip 160000 nbSat=63303 maxSat=63381
257.00/128.91	c flip 170000 nbSat=63345 maxSat=63381
263.20/132.09	c flip 180000 nbSat=63322 maxSat=63385
269.59/135.23	c flip 190000 nbSat=63383 maxSat=63421
275.97/138.49	c flip 0 nbSat=69055 maxSat=63426
283.75/142.35	c flip 10000 nbSat=72137 maxSat=72161
292.13/146.59	c flip 20000 nbSat=72736 maxSat=72757
301.72/151.36	c flip 30000 nbSat=72968 maxSat=72995
311.29/156.14	c flip 40000 nbSat=73137 maxSat=73166
321.26/161.14	c flip 50000 nbSat=73204 maxSat=73235
332.44/166.74	c flip 60000 nbSat=73254 maxSat=73282
333.63/167.36	c nbDecision=60000 #clauses=77550
343.61/172.34	c flip 70000 nbSat=73337 maxSat=73345
354.78/177.93	c flip 80000 nbSat=73359 maxSat=73392
365.57/183.34	c flip 90000 nbSat=73365 maxSat=73429
376.74/188.91	c flip 100000 nbSat=73392 maxSat=73429
388.12/194.67	c flip 110000 nbSat=73408 maxSat=73452
400.48/200.87	c flip 120000 nbSat=73433 maxSat=73463
411.85/206.53	c flip 130000 nbSat=73399 maxSat=73483
422.83/212.05	c flip 140000 nbSat=73539 maxSat=73554
435.59/218.43	c flip 150000 nbSat=73514 maxSat=73575
448.16/224.73	c flip 160000 nbSat=73526 maxSat=73575
449.57/225.49	c nbDecision=70000 #clauses=83855
460.34/230.84	c flip 170000 nbSat=73504 maxSat=73575
472.52/236.98	c flip 180000 nbSat=73500 maxSat=73575
486.09/243.78	c flip 190000 nbSat=73499 maxSat=73575
499.65/250.53	c flip 0 nbSat=81365 maxSat=73575
511.62/256.59	c flip 10000 nbSat=84669 maxSat=84675
525.98/263.73	c flip 20000 nbSat=85217 maxSat=85226
540.56/271.09	c flip 30000 nbSat=85464 maxSat=85500
555.32/278.41	c flip 40000 nbSat=85625 maxSat=85643
561.31/281.47	c nbDecision=80000 #clauses=89675
570.49/286.01	c flip 50000 nbSat=85732 maxSat=85758
586.64/294.19	c flip 60000 nbSat=85748 maxSat=85830
604.41/303.07	c flip 70000 nbSat=85788 maxSat=85853
620.97/311.33	c flip 80000 nbSat=85873 maxSat=85878
638.53/320.16	c flip 90000 nbSat=85866 maxSat=85912
656.49/329.13	c flip 100000 nbSat=85889 maxSat=85925
675.04/338.46	c flip 110000 nbSat=85901 maxSat=85928
693.80/347.81	c flip 120000 nbSat=85902 maxSat=85945
701.99/351.94	c nbDecision=90000 #clauses=95961
710.76/356.36	c flip 130000 nbSat=85899 maxSat=85970
727.72/364.89	c flip 140000 nbSat=85956 maxSat=85970
744.49/373.20	c flip 150000 nbSat=85887 maxSat=85970
760.64/381.40	c flip 160000 nbSat=85885 maxSat=85970
778.20/390.19	c flip 170000 nbSat=85908 maxSat=85970
794.56/398.39	c flip 180000 nbSat=85954 maxSat=85982
812.72/407.47	c flip 190000 nbSat=85961 maxSat=86003
831.88/417.01	c flip 0 nbSat=95820 maxSat=86009
848.84/425.58	c flip 10000 nbSat=98944 maxSat=98948
860.81/431.51	c nbDecision=100000 #clauses=102025
871.99/437.12	c flip 20000 nbSat=99587 maxSat=99587
896.93/449.65	c flip 30000 nbSat=99858 maxSat=99871
922.68/462.50	c flip 40000 nbSat=99946 maxSat=99952
948.41/475.48	c flip 50000 nbSat=100029 maxSat=100086
972.55/487.50	c flip 60000 nbSat=100093 maxSat=100126
998.10/500.38	c flip 70000 nbSat=100112 maxSat=100149
1020.25/511.42	c nbDecision=110000 #clauses=108242
1025.23/513.91	c flip 80000 nbSat=100110 maxSat=100182
1050.78/526.79	c flip 90000 nbSat=100148 maxSat=100182
1078.31/540.57	c flip 100000 nbSat=100151 maxSat=100208
1103.66/553.26	c flip 110000 nbSat=100185 maxSat=100208
1130.59/566.79	c flip 120000 nbSat=100212 maxSat=100232
1155.93/579.46	c flip 130000 nbSat=100189 maxSat=100242
1181.87/592.41	c flip 140000 nbSat=100250 maxSat=100258
1187.26/595.12	c nbDecision=120000 #clauses=114322

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/node33/watcher-328259-1173109478 -o ROOT/results/node33/solver-328259-1173109478 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328259-1173109478/ornithorynque /tmp/evaluation/328259-1173109478/instance-328259-1173109478.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: 2.00 1.99 1.91 3/64 9929
/proc/meminfo: memFree=901832/2055920 swapFree=4192812/4192956
[pid=9929] ppid=9927 vsize=23220 CPUtime=0
/proc/9929/stat : 9929 (ornithorynque) R 9927 9929 9420 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 36904226 23777280 263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 210821485680 0 0 4096 0 0 0 0 17 1 0 0
/proc/9929/statm: 5805 263 218 42 0 45 0

[startup+0.080031 s]
/proc/loadavg: 2.00 1.99 1.91 3/64 9929
/proc/meminfo: memFree=901832/2055920 swapFree=4192812/4192956
[pid=9929] ppid=9927 vsize=25972 CPUtime=0.07
/proc/9929/stat : 9929 (ornithorynque) R 9927 9929 9420 0 -1 4194304 1164 0 0 0 7 0 0 0 18 0 1 0 36904226 26595328 1092 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 210823975649 0 0 4096 1088 0 0 0 17 1 0 0
/proc/9929/statm: 6493 1092 377 42 0 745 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25972

[startup+0.101034 s]
/proc/loadavg: 2.00 1.99 1.91 3/64 9929
/proc/meminfo: memFree=901832/2055920 swapFree=4192812/4192956
[pid=9929] ppid=9927 vsize=26888 CPUtime=0.09
/proc/9929/stat : 9929 (ornithorynque) R 9927 9929 9420 0 -1 4194304 1408 0 0 0 9 0 0 0 18 0 1 0 36904226 27533312 1271 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 210823975649 0 0 4096 1088 0 0 0 17 1 0 0
/proc/9929/statm: 6722 1271 377 42 0 974 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26888

[startup+0.301066 s]
/proc/loadavg: 2.00 1.99 1.91 3/64 9929
/proc/meminfo: memFree=901832/2055920 swapFree=4192812/4192956
[pid=9929] ppid=9927 vsize=52460 CPUtime=0.41
/proc/9929/stat : 9929 (ornithorynque) S 9927 9929 9420 0 -1 4194304 2759 0 0 0 41 0 0 0 18 0 3 0 36904226 53719040 2482 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 210833010555 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9929/statm: 13115 2482 387 42 0 7367 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 52460

[startup+0.701117 s]
/proc/loadavg: 2.00 1.99 1.91 3/64 9929
/proc/meminfo: memFree=901832/2055920 swapFree=4192812/4192956
[pid=9929] ppid=9927 vsize=52592 CPUtime=1.21
/proc/9929/stat : 9929 (ornithorynque) S 9927 9929 9420 0 -1 4194304 2808 0 0 0 121 0 0 0 18 0 3 0 36904226 53854208 2531 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 210833010555 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9929/statm: 13148 2531 387 42 0 7400 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 52592

[startup+1.50122 s]
/proc/loadavg: 2.00 1.99 1.91 3/67 9932
/proc/meminfo: memFree=892912/2055920 swapFree=4192812/4192956
[pid=9929] ppid=9927 vsize=53120 CPUtime=2.8
/proc/9929/stat : 9929 (ornithorynque) S 9927 9929 9420 0 -1 4194304 2926 0 0 0 280 0 0 0 18 0 3 0 36904226 54394880 2649 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 210833010555 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9929/statm: 13280 2649 387 42 0 7532 0
[pid=9929/tid=9931] ppid=9927 vsize=53120 CPUtime=1.32
/proc/9929/task/9931/stat : 9931 (ornithorynque) R 9927 9929 9420 0 -1 4194368 237 0 0 0 132 0 0 0 25 0 3 0 36904244 54394880 2649 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9929/tid=9932] ppid=9927 vsize=53120 CPUtime=1.31
/proc/9929/task/9932/stat : 9932 (ornithorynque) R 9927 9929 9420 0 -1 4194368 2 0 0 0 131 0 0 0 25 0 3 0 36904244 54394880 2649 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285902 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 53120

[startup+3.10142 s]
/proc/loadavg: 2.00 1.99 1.91 3/67 9932
/proc/meminfo: memFree=890928/2055920 swapFree=4192812/4192956
[pid=9929] ppid=9927 vsize=55600 CPUtime=6.01
/proc/9929/stat : 9929 (ornithorynque) S 9927 9929 9420 0 -1 4194304 3409 0 0 0 600 1 0 0 18 0 3 0 36904226 56934400 3132 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 210833010555 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9929/statm: 13900 3132 387 42 0 8152 0
[pid=9929/tid=9931] ppid=9927 vsize=55600 CPUtime=2.92
/proc/9929/task/9931/stat : 9931 (ornithorynque) R 9927 9929 9420 0 -1 4194368 402 0 0 0 292 0 0 0 25 0 3 0 36904244 56934400 3132 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9929/tid=9932] ppid=9927 vsize=55600 CPUtime=2.91
/proc/9929/task/9932/stat : 9932 (ornithorynque) R 9927 9929 9420 0 -1 4194368 320 0 0 0 291 0 0 0 25 0 3 0 36904244 56934400 3132 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240872 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 55600

[startup+6.30282 s]
/proc/loadavg: 2.00 1.99 1.91 3/67 9932
/proc/meminfo: memFree=887472/2055920 swapFree=4192812/4192956
[pid=9929] ppid=9927 vsize=58608 CPUtime=12.39
/proc/9929/stat : 9929 (ornithorynque) S 9927 9929 9420 0 -1 4194304 4238 0 0 0 1238 1 0 0 18 0 3 0 36904226 60014592 3961 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 210833010555 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9929/statm: 14652 3961 387 42 0 8904 0
[pid=9929/tid=9931] ppid=9927 vsize=58608 CPUtime=6.11
/proc/9929/task/9931/stat : 9931 (ornithorynque) R 9927 9929 9420 0 -1 4194368 708 0 0 0 611 0 0 0 25 0 3 0 36904244 60014592 3961 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9929/tid=9932] ppid=9927 vsize=58608 CPUtime=6.1
/proc/9929/task/9932/stat : 9932 (ornithorynque) R 9927 9929 9420 0 -1 4194368 843 0 0 0 610 0 0 0 25 0 3 0 36904244 60014592 3961 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 58608

[startup+12.7016 s]
/proc/loadavg: 2.00 1.99 1.91 3/67 9932
/proc/meminfo: memFree=881648/2055920 swapFree=4192812/4192956
[pid=9929] ppid=9927 vsize=64016 CPUtime=25.16
/proc/9929/stat : 9929 (ornithorynque) S 9927 9929 9420 0 -1 4194304 5624 0 0 0 2513 3 0 0 18 0 3 0 36904226 65552384 5347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 210833010555 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9929/statm: 16004 5347 387 42 0 10256 0
[pid=9929/tid=9931] ppid=9927 vsize=64016 CPUtime=12.51
/proc/9929/task/9931/stat : 9931 (ornithorynque) R 9927 9929 9420 0 -1 4194368 1241 0 0 0 1250 1 0 0 25 0 3 0 36904244 65552384 5347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311635 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9929/tid=9932] ppid=9927 vsize=64016 CPUtime=12.46
/proc/9929/task/9932/stat : 9932 (ornithorynque) R 9927 9929 9420 0 -1 4194368 1696 0 0 0 1246 0 0 0 25 0 3 0 36904244 65552384 5347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 64016

[startup+25.5012 s]
/proc/loadavg: 2.00 1.99 1.91 3/67 9932
/proc/meminfo: memFree=874672/2055920 swapFree=4192812/4192956
[pid=9929] ppid=9927 vsize=71044 CPUtime=50.69
/proc/9929/stat : 9929 (ornithorynque) S 9927 9929 9420 0 -1 4194304 7369 0 0 0 5064 5 0 0 18 0 3 0 36904226 72749056 7092 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 210833010555 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9929/statm: 17761 7092 387 42 0 12013 0
[pid=9929/tid=9931] ppid=9927 vsize=71044 CPUtime=25.31
/proc/9929/task/9931/stat : 9931 (ornithorynque) R 9927 9929 9420 0 -1 4194368 1997 0 0 0 2528 3 0 0 25 0 3 0 36904244 72749056 7092 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9929/tid=9932] ppid=9927 vsize=71044 CPUtime=25.2
/proc/9929/task/9932/stat : 9932 (ornithorynque) R 9927 9929 9420 0 -1 4194368 2685 0 0 0 2520 0 0 0 25 0 3 0 36904244 72749056 7092 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241645 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 71044

[startup+51.1014 s]
/proc/loadavg: 2.00 1.99 1.91 3/67 9932
/proc/meminfo: memFree=864560/2055920 swapFree=4192812/4192956
[pid=9929] ppid=9927 vsize=82672 CPUtime=101.77
/proc/9929/stat : 9929 (ornithorynque) S 9927 9929 9420 0 -1 4194304 9894 0 0 0 10169 8 0 0 18 0 3 0 36904226 84656128 9617 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 210833010555 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9929/statm: 20668 9617 387 42 0 14920 0
[pid=9929/tid=9931] ppid=9927 vsize=82672 CPUtime=50.9
/proc/9929/task/9931/stat : 9931 (ornithorynque) R 9927 9929 9420 0 -1 4194368 3107 0 0 0 5085 5 0 0 25 0 3 0 36904244 84656128 9617 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314358 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9929/tid=9932] ppid=9927 vsize=82672 CPUtime=50.69
/proc/9929/task/9932/stat : 9932 (ornithorynque) R 9927 9929 9420 0 -1 4194368 4100 0 0 0 5068 1 0 0 25 0 3 0 36904244 84656128 9617 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 82672

[startup+102.306 s]
/proc/loadavg: 2.00 1.99 1.91 3/67 9932
/proc/meminfo: memFree=851312/2055920 swapFree=4192812/4192956
[pid=9929] ppid=9927 vsize=97012 CPUtime=203.94
/proc/9929/stat : 9929 (ornithorynque) S 9927 9929 9420 0 -1 4194304 13286 0 0 0 20382 12 0 0 18 0 3 0 36904226 99340288 12880 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 210833010555 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9929/statm: 24253 12880 387 42 0 18505 0
[pid=9929/tid=9931] ppid=9927 vsize=97012 CPUtime=102.08
/proc/9929/task/9931/stat : 9931 (ornithorynque) R 9927 9929 9420 0 -1 4194368 4835 0 0 0 10201 7 0 0 25 0 3 0 36904244 99340288 12880 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4312231 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9929/tid=9932] ppid=9927 vsize=97012 CPUtime=101.67
/proc/9929/task/9932/stat : 9932 (ornithorynque) R 9927 9929 9420 0 -1 4194368 5764 0 0 0 10164 3 0 0 25 0 3 0 36904244 99340288 12880 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.94
Current children cumulated vsize (KiB) 97012

[startup+162.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/67 9932
/proc/meminfo: memFree=834544/2055920 swapFree=4192812/4192956
[pid=9929] ppid=9927 vsize=115752 CPUtime=323.65
/proc/9929/stat : 9929 (ornithorynque) S 9927 9929 9420 0 -1 4194304 17595 0 0 0 32349 16 0 0 18 0 3 0 36904226 118530048 17060 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 210833010555 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9929/statm: 28938 17060 387 42 0 23190 0
[pid=9929/tid=9931] ppid=9927 vsize=115752 CPUtime=162.07
/proc/9929/task/9931/stat : 9931 (ornithorynque) R 9927 9929 9420 0 -1 4194368 6451 0 0 0 16196 11 0 0 25 0 3 0 36904244 118530048 17060 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238100 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9929/tid=9932] ppid=9927 vsize=115752 CPUtime=161.41
/proc/9929/task/9932/stat : 9932 (ornithorynque) R 9927 9929 9420 0 -1 4194368 8457 0 0 0 16137 4 0 0 25 0 3 0 36904244 118530048 17060 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.65
Current children cumulated vsize (KiB) 115752

[startup+222.302 s]
/proc/loadavg: 2.00 1.99 1.91 3/67 9932
/proc/meminfo: memFree=829104/2055920 swapFree=4192812/4192956
[pid=9929] ppid=9927 vsize=120872 CPUtime=443.38
/proc/9929/stat : 9929 (ornithorynque) S 9927 9929 9420 0 -1 4194304 18933 0 0 0 44319 19 0 0 18 0 3 0 36904226 123772928 18398 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 210833010555 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9929/statm: 30218 18398 387 42 0 24470 0
[pid=9929/tid=9931] ppid=9927 vsize=120872 CPUtime=222.04
/proc/9929/task/9931/stat : 9931 (ornithorynque) R 9927 9929 9420 0 -1 4194368 7789 0 0 0 22191 13 0 0 25 0 3 0 36904244 123772928 18398 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311262 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9929/tid=9932] ppid=9927 vsize=120872 CPUtime=221.14
/proc/9929/task/9932/stat : 9932 (ornithorynque) R 9927 9929 9420 0 -1 4194368 8457 0 0 0 22110 4 0 0 25 0 3 0 36904244 123772928 18398 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.38
Current children cumulated vsize (KiB) 120872

[startup+282.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/67 9932
/proc/meminfo: memFree=811952/2055920 swapFree=4192812/4192956
[pid=9929] ppid=9927 vsize=140508 CPUtime=563.1
/proc/9929/stat : 9929 (ornithorynque) S 9927 9929 9420 0 -1 4194304 23344 0 0 0 56287 23 0 0 18 0 3 0 36904226 143880192 22690 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 210833010555 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9929/statm: 35127 22690 387 42 0 29379 0
[pid=9929/tid=9931] ppid=9927 vsize=140508 CPUtime=282.03
/proc/9929/task/9931/stat : 9931 (ornithorynque) R 9927 9929 9420 0 -1 4194368 8922 0 0 0 28187 16 0 0 25 0 3 0 36904244 143880192 22690 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9929/tid=9932] ppid=9927 vsize=140508 CPUtime=280.89
/proc/9929/task/9932/stat : 9932 (ornithorynque) R 9927 9929 9420 0 -1 4194368 11735 0 0 0 28083 6 0 0 25 0 3 0 36904244 143880192 22690 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.1
Current children cumulated vsize (KiB) 140508

[startup+342.302 s]
/proc/loadavg: 2.00 1.99 1.91 3/67 9932
/proc/meminfo: memFree=807088/2055920 swapFree=4192812/4192956
[pid=9929] ppid=9927 vsize=145628 CPUtime=682.82
/proc/9929/stat : 9929 (ornithorynque) S 9927 9929 9420 0 -1 4194304 24534 0 0 0 68257 25 0 0 18 0 3 0 36904226 149123072 23880 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 210833010555 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9929/statm: 36407 23880 387 42 0 30659 0
[pid=9929/tid=9931] ppid=9927 vsize=145628 CPUtime=342.01
/proc/9929/task/9931/stat : 9931 (ornithorynque) R 9927 9929 9420 0 -1 4194368 10112 0 0 0 34183 18 0 0 25 0 3 0 36904244 149123072 23880 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311229 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9929/tid=9932] ppid=9927 vsize=145628 CPUtime=340.63
/proc/9929/task/9932/stat : 9932 (ornithorynque) R 9927 9929 9420 0 -1 4194368 11735 0 0 0 34057 6 0 0 25 0 3 0 36904244 149123072 23880 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.82
Current children cumulated vsize (KiB) 145628

[startup+402.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/67 9932
/proc/meminfo: memFree=803184/2055920 swapFree=4192812/4192956
[pid=9929] ppid=9927 vsize=149724 CPUtime=802.55
/proc/9929/stat : 9929 (ornithorynque) S 9927 9929 9420 0 -1 4194304 25512 0 0 0 80227 28 0 0 18 0 3 0 36904226 153317376 24858 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 210833010555 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9929/statm: 37431 24858 387 42 0 31683 0
[pid=9929/tid=9931] ppid=9927 vsize=149724 CPUtime=401.99
/proc/9929/task/9931/stat : 9931 (ornithorynque) R 9927 9929 9420 0 -1 4194368 11090 0 0 0 40179 20 0 0 25 0 3 0 36904244 153317376 24858 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311151 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9929/tid=9932] ppid=9927 vsize=149724 CPUtime=400.37
/proc/9929/task/9932/stat : 9932 (ornithorynque) R 9927 9929 9420 0 -1 4194368 11735 0 0 0 40031 6 0 0 25 0 3 0 36904244 153317376 24858 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.55
Current children cumulated vsize (KiB) 149724

[startup+462.302 s]
/proc/loadavg: 2.00 1.99 1.91 3/67 9932
/proc/meminfo: memFree=783472/2055920 swapFree=4192812/4192956
[pid=9929] ppid=9927 vsize=172668 CPUtime=922.28
/proc/9929/stat : 9929 (ornithorynque) S 9927 9929 9420 0 -1 4194304 30466 0 0 0 92197 31 0 0 18 0 3 0 36904226 176812032 29812 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 210833010555 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9929/statm: 43167 29812 387 42 0 37419 0
[pid=9929/tid=9931] ppid=9927 vsize=172668 CPUtime=461.97
/proc/9929/task/9931/stat : 9931 (ornithorynque) R 9927 9929 9420 0 -1 4194368 12040 0 0 0 46175 22 0 0 25 0 3 0 36904244 176812032 29812 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311212 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9929/tid=9932] ppid=9927 vsize=172668 CPUtime=460.12
/proc/9929/task/9932/stat : 9932 (ornithorynque) R 9927 9929 9420 0 -1 4194368 15739 0 0 0 46004 8 0 0 25 0 3 0 36904244 176812032 29812 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.28
Current children cumulated vsize (KiB) 172668

[startup+522.302 s]
/proc/loadavg: 2.00 1.99 1.91 3/67 9932
/proc/meminfo: memFree=779760/2055920 swapFree=4192812/4192956
[pid=9929] ppid=9927 vsize=176764 CPUtime=1041.99
/proc/9929/stat : 9929 (ornithorynque) S 9927 9929 9420 0 -1 4194304 31393 0 0 0 104167 32 0 0 18 0 3 0 36904226 181006336 30739 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 210833010555 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9929/statm: 44191 30739 387 42 0 38443 0
[pid=9929/tid=9931] ppid=9927 vsize=176764 CPUtime=521.95
/proc/9929/task/9931/stat : 9931 (ornithorynque) R 9927 9929 9420 0 -1 4194368 12967 0 0 0 52172 23 0 0 25 0 3 0 36904244 181006336 30739 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311229 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9929/tid=9932] ppid=9927 vsize=176764 CPUtime=519.86
/proc/9929/task/9932/stat : 9932 (ornithorynque) R 9927 9929 9420 0 -1 4194368 15739 0 0 0 51978 8 0 0 25 0 3 0 36904244 181006336 30739 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.99
Current children cumulated vsize (KiB) 176764

[startup+582.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/67 9932
/proc/meminfo: memFree=776112/2055920 swapFree=4192812/4192956
[pid=9929] ppid=9927 vsize=179836 CPUtime=1161.72
/proc/9929/stat : 9929 (ornithorynque) S 9927 9929 9420 0 -1 4194304 32290 0 0 0 116138 34 0 0 18 0 3 0 36904226 184152064 31636 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 210833010555 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9929/statm: 44959 31636 387 42 0 39211 0
[pid=9929/tid=9931] ppid=9927 vsize=179836 CPUtime=581.93
/proc/9929/task/9931/stat : 9931 (ornithorynque) R 9927 9929 9420 0 -1 4194368 13864 0 0 0 58168 25 0 0 25 0 3 0 36904244 184152064 31636 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9929/tid=9932] ppid=9927 vsize=179836 CPUtime=579.6
/proc/9929/task/9932/stat : 9932 (ornithorynque) R 9927 9929 9420 0 -1 4194368 15739 0 0 0 57952 8 0 0 25 0 3 0 36904244 184152064 31636 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.72
Current children cumulated vsize (KiB) 179836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.501 s]
/proc/loadavg: 2.00 1.99 1.91 3/67 9932
/proc/meminfo: memFree=775152/2055920 swapFree=4192812/4192956
[pid=9929] ppid=9927 vsize=180860 CPUtime=1200.04
/proc/9929/stat : 9929 (ornithorynque) S 9927 9929 9420 0 -1 4194304 32520 0 0 0 119969 35 0 0 18 0 3 0 36904226 185200640 31866 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 210833010555 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9929/statm: 45215 31866 387 42 0 39467 0
[pid=9929/tid=9931] ppid=9927 vsize=180860 CPUtime=601.14
/proc/9929/task/9931/stat : 9931 (ornithorynque) R 9927 9929 9420 0 -1 4194368 14094 0 0 0 60088 26 0 0 25 0 3 0 36904244 185200640 31866 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9929/tid=9932] ppid=9927 vsize=180860 CPUtime=598.72
/proc/9929/task/9932/stat : 9932 (ornithorynque) R 9927 9929 9420 0 -1 4194368 15739 0 0 0 59864 8 0 0 25 0 3 0 36904244 185200640 31866 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 180860

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

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

[startup+601.501 s]
/proc/loadavg: 2.00 1.99 1.91 3/67 9932
/proc/meminfo: memFree=775152/2055920 swapFree=4192812/4192956
[pid=9929] ppid=9927 vsize=180860 CPUtime=1200.04
/proc/9929/stat : 9929 (ornithorynque) S 9927 9929 9420 0 -1 4194304 32520 0 0 0 119969 35 0 0 18 0 3 0 36904226 185200640 31866 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 210833010555 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9929/statm: 45215 31866 387 42 0 39467 0
[pid=9929/tid=9931] ppid=9927 vsize=180860 CPUtime=601.14
/proc/9929/task/9931/stat : 9931 (ornithorynque) R 9927 9929 9420 0 -1 4194368 14094 0 0 0 60088 26 0 0 25 0 3 0 36904244 185200640 31866 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9929/tid=9932] ppid=9927 vsize=180860 CPUtime=598.72
/proc/9929/task/9932/stat : 9932 (ornithorynque) R 9927 9929 9420 0 -1 4194368 15739 0 0 0 59864 8 0 0 25 0 3 0 36904244 185200640 31866 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 180860

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.534
CPU time (s): 1200.08
CPU user time (s): 1199.71
CPU system time (s): 0.370943
CPU usage (%): 199.503
Max. virtual memory (cumulated for all children) (KiB): 180860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.71
system time used= 0.370943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32520
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= 22
involuntary context switches= 9277

runsolver used 0.436933 second user time and 1.78273 second system time

The end

Launcher Data (download as text)

Begin job on node33 on Mon Mar  5 15:44:38 UTC 2007

IDJOB= 328259
IDBENCH= 20167
IDSOLVER= 139
FILE ID= node33/328259-1173109478

PBS_JOBID= 4013906

Free space on /tmp= 66513 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/3SAT/v10000/unif-k3-r4.2-v10000-c42000-S1274869912-15.cnf
COMMAND LINE= /tmp/evaluation/328259-1173109478/ornithorynque /tmp/evaluation/328259-1173109478/instance-328259-1173109478.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node33/watcher-328259-1173109478 -o ROOT/results/node33/solver-328259-1173109478 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328259-1173109478/ornithorynque /tmp/evaluation/328259-1173109478/instance-328259-1173109478.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  85f01e7612ff708e962af999ed8ac14c

RANDOM SEED= 81435284

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node33.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.231
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.231
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:        902312 kB
Buffers:         21468 kB
Cached:        1066600 kB
SwapCached:          0 kB
Active:          70020 kB
Inactive:      1033408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        902312 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:             996 kB
Writeback:           0 kB
Mapped:          25564 kB
Slab:            36240 kB
Committed_AS:    90632 kB
PageTables:       1408 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= 66513 MiB

End job on node33 on Mon Mar  5 15:54:42 UTC 2007