Trace number 328323

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.16 601.628

General information on the benchmark

Namerandom/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S499481065-10-SAT.cnf
MD5SUM57791cc3215dce90ed883dcfbd9213d5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark180.726
Satisfiable
(Un)Satisfiability was proved
Number of variables5491
Number of clauses14684
Sum of the clauses size39647
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 24405
Number of clauses of size 310279
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.01	c This is Ornithorynque version 0.1 alpha
0.00/0.01	c (c) roussel@cril.univ-artois.fr
0.00/0.01	c using unsigned short
0.00/0.01	c parsing...
0.01/0.04	c ...done
0.01/0.04	c nbVar=5500 nbClause=14684
0.01/0.04	c nbVar=5500 nbClause=14684
0.01/0.06	c complete search running
0.01/0.06	c local search running
0.01/0.06	c flip 0 nbSat=12216 maxSat=0
0.13/0.11	c flip 10000 nbSat=14291 maxSat=14299
0.13/0.16	c flip 20000 nbSat=14411 maxSat=14435
0.33/0.21	c flip 30000 nbSat=14477 maxSat=14481
0.33/0.25	c flip 40000 nbSat=14487 maxSat=14508
0.53/0.30	c flip 50000 nbSat=14503 maxSat=14514
0.53/0.35	c flip 60000 nbSat=14517 maxSat=14525
0.53/0.39	c flip 70000 nbSat=14511 maxSat=14529
0.73/0.44	c flip 80000 nbSat=14507 maxSat=14529
0.73/0.49	c flip 90000 nbSat=14503 maxSat=14529
0.93/0.53	c flip 100000 nbSat=14516 maxSat=14533
0.93/0.59	c flip 0 nbSat=13543 maxSat=14533
1.13/0.67	c flip 10000 nbSat=15499 maxSat=15502
1.33/0.75	c flip 20000 nbSat=15591 maxSat=15617
1.53/0.83	c flip 30000 nbSat=15647 maxSat=15653
1.73/0.93	c flip 40000 nbSat=15638 maxSat=15662
1.93/1.02	c flip 50000 nbSat=15645 maxSat=15673
2.13/1.11	c flip 60000 nbSat=15675 maxSat=15686
2.13/1.19	c flip 70000 nbSat=15669 maxSat=15693
2.33/1.28	c flip 80000 nbSat=15675 maxSat=15698
2.53/1.36	c flip 90000 nbSat=15680 maxSat=15698
2.73/1.45	c flip 100000 nbSat=15681 maxSat=15704
2.93/1.56	c flip 0 nbSat=15426 maxSat=15709
3.13/1.68	c flip 10000 nbSat=17475 maxSat=17492
3.53/1.81	c flip 20000 nbSat=17561 maxSat=17590
3.73/1.94	c flip 30000 nbSat=17616 maxSat=17634
3.93/2.06	c flip 40000 nbSat=17631 maxSat=17644
4.13/2.20	c flip 50000 nbSat=17633 maxSat=17648
4.52/2.34	c flip 60000 nbSat=17635 maxSat=17650
4.72/2.47	c flip 70000 nbSat=17639 maxSat=17654
5.12/2.60	c flip 80000 nbSat=17656 maxSat=17662
5.32/2.73	c flip 90000 nbSat=17654 maxSat=17666
5.52/2.86	c flip 100000 nbSat=17639 maxSat=17666
5.91/3.01	c flip 0 nbSat=17819 maxSat=17666
6.32/3.23	c flip 10000 nbSat=19823 maxSat=19833
6.52/3.36	c nbDecision=10000 #clauses=20690
6.71/3.46	c flip 20000 nbSat=19950 maxSat=19953
7.31/3.70	c flip 30000 nbSat=19972 maxSat=20000
7.71/3.96	c flip 40000 nbSat=20004 maxSat=20016
8.31/4.22	c flip 50000 nbSat=19995 maxSat=20022
8.71/4.46	c flip 60000 nbSat=20020 maxSat=20041
9.10/4.70	c flip 70000 nbSat=20005 maxSat=20041
9.70/4.94	c flip 80000 nbSat=20006 maxSat=20041
10.10/5.19	c flip 90000 nbSat=20028 maxSat=20053
10.71/5.44	c flip 100000 nbSat=20028 maxSat=20053
11.31/5.71	c flip 0 nbSat=21188 maxSat=20053
11.90/6.04	c flip 10000 nbSat=23256 maxSat=23275
12.50/6.39	c flip 20000 nbSat=23382 maxSat=23382
13.30/6.76	c flip 30000 nbSat=23423 maxSat=23441
14.10/7.15	c flip 40000 nbSat=23439 maxSat=23450
14.89/7.52	c flip 50000 nbSat=23413 maxSat=23454
15.49/7.87	c flip 60000 nbSat=23458 maxSat=23470
16.09/8.19	c flip 70000 nbSat=23430 maxSat=23470
16.89/8.53	c flip 80000 nbSat=23450 maxSat=23473
17.69/8.90	c flip 90000 nbSat=23447 maxSat=23473
17.89/9.01	c nbDecision=20000 #clauses=27046
18.29/9.23	c flip 100000 nbSat=23461 maxSat=23479
18.89/9.59	c flip 0 nbSat=25209 maxSat=23479
19.88/10.07	c flip 10000 nbSat=27189 maxSat=27196
20.88/10.57	c flip 20000 nbSat=27334 maxSat=27334
22.07/11.19	c flip 30000 nbSat=27367 maxSat=27374
23.27/11.78	c flip 40000 nbSat=27352 maxSat=27381
24.47/12.38	c flip 50000 nbSat=27373 maxSat=27391
25.67/12.96	c flip 60000 nbSat=27380 maxSat=27404
26.86/13.54	c flip 70000 nbSat=27392 maxSat=27410
28.06/14.17	c flip 80000 nbSat=27415 maxSat=27418
29.46/14.81	c flip 90000 nbSat=27408 maxSat=27425
30.67/15.46	c flip 100000 nbSat=27394 maxSat=27425
31.86/16.06	c flip 0 nbSat=28815 maxSat=27425
33.26/16.77	c flip 10000 nbSat=30926 maxSat=30959
35.05/17.68	c flip 20000 nbSat=31040 maxSat=31059
36.85/18.59	c flip 30000 nbSat=31084 maxSat=31116
38.04/19.11	c nbDecision=30000 #clauses=33506
38.84/19.51	c flip 40000 nbSat=31098 maxSat=31134
40.63/20.42	c flip 50000 nbSat=31127 maxSat=31135
42.43/21.36	c flip 60000 nbSat=31121 maxSat=31136
44.02/22.18	c flip 70000 nbSat=31122 maxSat=31146
45.62/22.98	c flip 80000 nbSat=31122 maxSat=31147
47.21/23.74	c flip 90000 nbSat=31158 maxSat=31163
48.82/24.57	c flip 100000 nbSat=31154 maxSat=31167
50.42/25.38	c flip 0 nbSat=35875 maxSat=31168
52.61/26.42	c flip 10000 nbSat=37931 maxSat=37934
54.40/27.33	c nbDecision=40000 #clauses=39581
55.20/27.71	c flip 20000 nbSat=38081 maxSat=38087
57.99/29.10	c flip 30000 nbSat=38118 maxSat=38139
60.79/30.52	c flip 40000 nbSat=38148 maxSat=38159
63.39/31.88	c flip 50000 nbSat=38144 maxSat=38165
66.17/33.24	c flip 60000 nbSat=38165 maxSat=38183
68.98/34.64	c flip 70000 nbSat=38172 maxSat=38183
71.76/36.08	c flip 80000 nbSat=38175 maxSat=38189
74.56/37.47	c flip 90000 nbSat=38173 maxSat=38190
76.56/38.42	c nbDecision=50000 #clauses=45909
77.35/38.87	c flip 100000 nbSat=38174 maxSat=38190
80.14/40.21	c flip 0 nbSat=44244 maxSat=38190
82.94/41.65	c flip 10000 nbSat=46367 maxSat=46376
85.93/43.13	c flip 20000 nbSat=46513 maxSat=46532
88.72/44.59	c flip 30000 nbSat=46545 maxSat=46561
92.12/46.22	c flip 40000 nbSat=46568 maxSat=46580
95.50/47.96	c flip 50000 nbSat=46562 maxSat=46595
99.49/49.95	c flip 60000 nbSat=46586 maxSat=46598
102.29/51.31	c nbDecision=60000 #clauses=52449
103.29/51.87	c flip 70000 nbSat=46586 maxSat=46617
106.28/53.30	c flip 80000 nbSat=46612 maxSat=46628
109.08/54.70	c flip 90000 nbSat=46608 maxSat=46628
112.07/56.25	c flip 100000 nbSat=46603 maxSat=46628
115.27/57.84	c flip 0 nbSat=52622 maxSat=46629
119.26/59.81	c flip 10000 nbSat=54761 maxSat=54763
123.45/61.94	c flip 20000 nbSat=54908 maxSat=54911
127.83/64.13	c flip 30000 nbSat=54950 maxSat=54965
131.82/66.13	c flip 40000 nbSat=54992 maxSat=55009
134.02/67.20	c nbDecision=70000 #clauses=58921
136.21/68.34	c flip 50000 nbSat=55000 maxSat=55020
140.22/70.37	c flip 60000 nbSat=54978 maxSat=55024
144.20/72.32	c flip 70000 nbSat=55009 maxSat=55034
147.99/74.28	c flip 80000 nbSat=55008 maxSat=55040
151.98/76.23	c flip 90000 nbSat=55021 maxSat=55040
155.37/77.96	c flip 100000 nbSat=55007 maxSat=55040
158.96/79.79	c flip 0 nbSat=60950 maxSat=55040
163.55/82.06	c flip 10000 nbSat=62904 maxSat=62904
168.74/84.65	c flip 20000 nbSat=63027 maxSat=63030
169.54/85.03	c nbDecision=80000 #clauses=65436
174.73/87.67	c flip 30000 nbSat=63072 maxSat=63091
180.91/90.79	c flip 40000 nbSat=63092 maxSat=63116
187.30/93.95	c flip 50000 nbSat=63113 maxSat=63130
193.28/96.90	c flip 60000 nbSat=63114 maxSat=63137
199.88/100.25	c flip 70000 nbSat=63125 maxSat=63144
205.27/102.91	c nbDecision=90000 #clauses=71768
207.26/103.93	c flip 80000 nbSat=63126 maxSat=63149
214.44/107.55	c flip 90000 nbSat=63141 maxSat=63160
222.02/111.34	c flip 100000 nbSat=63133 maxSat=63160
230.00/115.32	c flip 0 nbSat=72565 maxSat=63160
235.39/118.09	c flip 10000 nbSat=74646 maxSat=74657
241.58/121.13	c flip 20000 nbSat=74790 maxSat=74813
248.36/124.57	c flip 30000 nbSat=74854 maxSat=74871
252.35/126.59	c nbDecision=100000 #clauses=78293
254.94/127.88	c flip 40000 nbSat=74892 maxSat=74905
261.72/131.20	c flip 50000 nbSat=74914 maxSat=74928
268.51/134.62	c flip 60000 nbSat=74905 maxSat=74931
275.49/138.11	c flip 70000 nbSat=74898 maxSat=74932
281.69/141.21	c flip 80000 nbSat=74909 maxSat=74932
288.47/144.63	c flip 90000 nbSat=74891 maxSat=74932
294.86/147.82	c flip 100000 nbSat=74888 maxSat=74932
301.64/151.29	c nbDecision=110000 #clauses=84684
301.84/151.33	c flip 0 nbSat=82209 maxSat=74932
310.22/155.59	c flip 10000 nbSat=84255 maxSat=84272
319.00/159.98	c flip 20000 nbSat=84388 maxSat=84398
329.97/165.41	c flip 30000 nbSat=84407 maxSat=84433
340.55/170.78	c flip 40000 nbSat=84452 maxSat=84468
351.72/176.30	c flip 50000 nbSat=84469 maxSat=84483
358.31/179.65	c nbDecision=120000 #clauses=91158
362.70/181.80	c flip 60000 nbSat=84471 maxSat=84505
373.08/187.05	c flip 70000 nbSat=84481 maxSat=84518
382.45/191.78	c flip 80000 nbSat=84507 maxSat=84518
393.83/197.43	c flip 90000 nbSat=84483 maxSat=84519
405.00/203.04	c flip 100000 nbSat=84489 maxSat=84519
416.17/208.65	c flip 0 nbSat=94543 maxSat=84526
422.16/211.67	c nbDecision=130000 #clauses=97649
424.56/212.87	c flip 10000 nbSat=96584 maxSat=96589
434.93/218.04	c flip 20000 nbSat=96761 maxSat=96763
446.11/223.60	c flip 30000 nbSat=96747 maxSat=96777
457.28/229.20	c flip 40000 nbSat=96796 maxSat=96811
468.66/235.00	c flip 50000 nbSat=96804 maxSat=96826
479.64/240.44	c flip 60000 nbSat=96817 maxSat=96842
481.64/241.41	c nbDecision=140000 #clauses=104369
491.01/246.14	c flip 70000 nbSat=96806 maxSat=96846
502.77/252.08	c flip 80000 nbSat=96840 maxSat=96857
514.95/258.14	c flip 90000 nbSat=96837 maxSat=96859
526.92/264.18	c flip 100000 nbSat=96841 maxSat=96873
540.29/270.84	c flip 0 nbSat=108161 maxSat=96873
542.09/271.71	c nbDecision=150000 #clauses=110850
551.67/276.59	c flip 10000 nbSat=110254 maxSat=110258
567.43/284.47	c flip 20000 nbSat=110355 maxSat=110373
583.21/292.37	c flip 30000 nbSat=110413 maxSat=110420
600.56/301.09	c flip 40000 nbSat=110438 maxSat=110452
619.11/310.37	c flip 50000 nbSat=110436 maxSat=110458
619.11/310.39	c nbDecision=160000 #clauses=117460
636.29/318.92	c flip 60000 nbSat=110417 maxSat=110458
653.96/327.81	c flip 70000 nbSat=110408 maxSat=110460
670.32/336.07	c flip 80000 nbSat=110429 maxSat=110460
687.45/344.69	c flip 90000 nbSat=110410 maxSat=110463
696.01/348.92	c nbDecision=170000 #clauses=123897
705.57/353.75	c flip 100000 nbSat=110435 maxSat=110467
724.92/363.48	c flip 0 nbSat=124032 maxSat=110474
738.67/370.37	c flip 10000 nbSat=126112 maxSat=126139
754.23/378.16	c flip 20000 nbSat=126258 maxSat=126269
773.94/388.07	c flip 30000 nbSat=126271 maxSat=126295
778.53/390.32	c nbDecision=180000 #clauses=130476
795.28/398.74	c flip 40000 nbSat=126295 maxSat=126314
816.20/409.26	c flip 50000 nbSat=126300 maxSat=126336
836.35/419.31	c flip 60000 nbSat=126301 maxSat=126340
856.31/429.37	c flip 70000 nbSat=126321 maxSat=126355
874.46/438.48	c nbDecision=190000 #clauses=137210
875.66/439.08	c flip 80000 nbSat=126342 maxSat=126370
894.81/448.63	c flip 90000 nbSat=126354 maxSat=126370
912.78/457.64	c flip 100000 nbSat=126328 maxSat=126370
929.34/465.96	c flip 0 nbSat=138853 maxSat=126378
943.91/473.24	c flip 10000 nbSat=141000 maxSat=141004
962.46/482.51	c flip 20000 nbSat=141130 maxSat=141153
963.66/483.12	c nbDecision=200000 #clauses=143830
980.42/491.59	c flip 30000 nbSat=141171 maxSat=141180
997.59/500.17	c flip 40000 nbSat=141200 maxSat=141226
1014.95/508.83	c flip 50000 nbSat=141222 maxSat=141247
1031.71/517.22	c flip 60000 nbSat=141222 maxSat=141247
1049.86/526.36	c flip 70000 nbSat=141244 maxSat=141256
1065.62/534.27	c nbDecision=210000 #clauses=150629
1068.21/535.58	c flip 80000 nbSat=141221 maxSat=141257
1085.38/544.12	c flip 90000 nbSat=141230 maxSat=141257
1100.74/551.85	c flip 100000 nbSat=141224 maxSat=141263
1116.32/559.60	c flip 0 nbSat=151117 maxSat=141268
1134.67/568.86	c flip 10000 nbSat=153107 maxSat=153129
1156.61/579.87	c flip 20000 nbSat=153322 maxSat=153329
1168.98/586.06	c nbDecision=220000 #clauses=157288
1178.96/591.04	c flip 30000 nbSat=153360 maxSat=153381

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

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


[startup+0 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 10043
/proc/meminfo: memFree=989112/2055920 swapFree=4176348/4192956
[pid=10043] ppid=10041 vsize=23220 CPUtime=0
/proc/10043/stat : 10043 (ornithorynque) R 10041 10043 9451 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 36970880 23777280 262 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264904938608 0 0 4096 0 0 0 0 17 1 0 0
/proc/10043/statm: 5805 263 218 42 0 45 0

[startup+0.0218009 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 10043
/proc/meminfo: memFree=989112/2055920 swapFree=4176348/4192956
[pid=10043] ppid=10041 vsize=23836 CPUtime=0.01
/proc/10043/stat : 10043 (ornithorynque) R 10041 10043 9451 0 -1 4194304 638 0 0 0 1 0 0 0 18 0 1 0 36970880 24408064 599 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916480098 0 0 4096 1088 0 0 0 17 1 0 0
/proc/10043/statm: 5959 599 377 42 0 211 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 23836

[startup+0.101811 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 10043
/proc/meminfo: memFree=989112/2055920 swapFree=4176348/4192956
[pid=10043] ppid=10041 vsize=47240 CPUtime=0.13
/proc/10043/stat : 10043 (ornithorynque) S 10041 10043 9451 0 -1 4194304 1332 0 0 0 13 0 0 0 18 0 3 0 36970880 48373760 1293 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10043/statm: 11810 1293 387 42 0 6062 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 47240

[startup+0.30182 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 10043
/proc/meminfo: memFree=989112/2055920 swapFree=4176348/4192956
[pid=10043] ppid=10041 vsize=47240 CPUtime=0.53
/proc/10043/stat : 10043 (ornithorynque) S 10041 10043 9451 0 -1 4194304 1356 0 0 0 53 0 0 0 18 0 3 0 36970880 48373760 1317 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10043/statm: 11810 1317 387 42 0 6062 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 47240

[startup+0.701848 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 10043
/proc/meminfo: memFree=989112/2055920 swapFree=4176348/4192956
[pid=10043] ppid=10041 vsize=48552 CPUtime=1.33
/proc/10043/stat : 10043 (ornithorynque) S 10041 10043 9451 0 -1 4194304 1468 0 0 0 133 0 0 0 18 0 3 0 36970880 49717248 1429 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10043/statm: 12138 1429 387 42 0 6390 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 48552

[startup+1.50289 s]
/proc/loadavg: 1.85 1.94 1.90 3/80 10046
/proc/meminfo: memFree=984544/2055920 swapFree=4176348/4192956
[pid=10043] ppid=10041 vsize=48936 CPUtime=2.93
/proc/10043/stat : 10043 (ornithorynque) S 10041 10043 9451 0 -1 4194304 1591 0 0 0 293 0 0 0 18 0 3 0 36970880 50110464 1519 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10043/statm: 12234 1519 387 42 0 6486 0
[pid=10043/tid=10045] ppid=10041 vsize=48936 CPUtime=1.44
/proc/10043/task/10045/stat : 10045 (ornithorynque) R 10041 10043 9451 0 -1 4194368 212 0 0 0 144 0 0 0 25 0 3 0 36970886 50110464 1519 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311068 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10043/tid=10046] ppid=10041 vsize=48936 CPUtime=1.43
/proc/10043/task/10046/stat : 10046 (ornithorynque) R 10041 10043 9451 0 -1 4194368 70 0 0 0 143 0 0 0 25 0 3 0 36970886 50110464 1519 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240905 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 48936

[startup+3.102 s]
/proc/loadavg: 1.85 1.94 1.90 3/80 10046
/proc/meminfo: memFree=983648/2055920 swapFree=4176348/4192956
[pid=10043] ppid=10041 vsize=50744 CPUtime=6.11
/proc/10043/stat : 10043 (ornithorynque) S 10041 10043 9451 0 -1 4194304 2011 0 0 0 611 0 0 0 18 0 3 0 36970880 51961856 1906 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10043/statm: 12686 1906 387 42 0 6938 0
[pid=10043/tid=10045] ppid=10041 vsize=50744 CPUtime=3.03
/proc/10043/task/10045/stat : 10045 (ornithorynque) R 10041 10043 9451 0 -1 4194368 371 0 0 0 303 0 0 0 25 0 3 0 36970886 51961856 1906 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314323 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10043/tid=10046] ppid=10041 vsize=50744 CPUtime=3.02
/proc/10043/task/10046/stat : 10046 (ornithorynque) R 10041 10043 9451 0 -1 4194368 331 0 0 0 302 0 0 0 17 0 3 0 36970886 51961856 1906 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241120 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 50744

[startup+6.3012 s]
/proc/loadavg: 1.85 1.94 1.90 3/80 10046
/proc/meminfo: memFree=981856/2055920 swapFree=4176348/4192956
[pid=10043] ppid=10041 vsize=51656 CPUtime=12.5
/proc/10043/stat : 10043 (ornithorynque) S 10041 10043 9451 0 -1 4194304 2434 0 0 0 1249 1 0 0 18 0 3 0 36970880 52895744 2329 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10043/statm: 12914 2329 387 42 0 7166 0
[pid=10043/tid=10045] ppid=10041 vsize=51656 CPUtime=6.23
/proc/10043/task/10045/stat : 10045 (ornithorynque) R 10041 10043 9451 0 -1 4194368 625 0 0 0 623 0 0 0 25 0 3 0 36970886 52895744 2329 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10043/tid=10046] ppid=10041 vsize=51656 CPUtime=6.21
/proc/10043/task/10046/stat : 10046 (ornithorynque) R 10041 10043 9451 0 -1 4194368 500 0 0 0 621 0 0 0 21 0 3 0 36970886 52895744 2329 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283506 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 51656

[startup+12.7016 s]
/proc/loadavg: 1.87 1.94 1.90 3/80 10046
/proc/meminfo: memFree=979040/2055920 swapFree=4176348/4192956
[pid=10043] ppid=10041 vsize=53856 CPUtime=25.27
/proc/10043/stat : 10043 (ornithorynque) S 10041 10043 9451 0 -1 4194304 2913 0 0 0 2526 1 0 0 18 0 3 0 36970880 55148544 2808 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10043/statm: 13464 2808 387 42 0 7716 0
[pid=10043/tid=10045] ppid=10041 vsize=53856 CPUtime=12.62
/proc/10043/task/10045/stat : 10045 (ornithorynque) R 10041 10043 9451 0 -1 4194368 914 0 0 0 1262 0 0 0 25 0 3 0 36970886 55148544 2808 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10043/tid=10046] ppid=10041 vsize=53856 CPUtime=12.58
/proc/10043/task/10046/stat : 10046 (ornithorynque) R 10041 10043 9451 0 -1 4194368 690 0 0 0 1258 0 0 0 25 0 3 0 36970886 55148544 2808 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241590 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 53856

[startup+25.5014 s]
/proc/loadavg: 1.89 1.94 1.90 3/80 10046
/proc/meminfo: memFree=975776/2055920 swapFree=4176348/4192956
[pid=10043] ppid=10041 vsize=59720 CPUtime=50.81
/proc/10043/stat : 10043 (ornithorynque) S 10041 10043 9451 0 -1 4194304 4345 0 0 0 5078 3 0 0 18 0 3 0 36970880 61153280 4110 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10043/statm: 14930 4110 387 42 0 9182 0
[pid=10043/tid=10045] ppid=10041 vsize=59720 CPUtime=25.42
/proc/10043/task/10045/stat : 10045 (ornithorynque) R 10041 10043 9451 0 -1 4194368 1561 0 0 0 2541 1 0 0 18 0 3 0 36970886 61153280 4110 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10043/tid=10046] ppid=10041 vsize=59720 CPUtime=25.32
/proc/10043/task/10046/stat : 10046 (ornithorynque) R 10041 10043 9451 0 -1 4194368 1475 0 0 0 2531 1 0 0 17 0 3 0 36970886 61153280 4110 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241162 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 59720

[startup+51.102 s]
/proc/loadavg: 1.93 1.94 1.90 3/80 10046
/proc/meminfo: memFree=969952/2055920 swapFree=4176348/4192956
[pid=10043] ppid=10041 vsize=63776 CPUtime=101.89
/proc/10043/stat : 10043 (ornithorynque) S 10041 10043 9451 0 -1 4194304 5335 0 0 0 10185 4 0 0 18 0 3 0 36970880 65306624 5100 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10043/statm: 15944 5100 387 42 0 10196 0
[pid=10043/tid=10045] ppid=10041 vsize=63776 CPUtime=51.02
/proc/10043/task/10045/stat : 10045 (ornithorynque) R 10041 10043 9451 0 -1 4194368 2061 0 0 0 5100 2 0 0 25 0 3 0 36970886 65306624 5100 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4289085 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10043/tid=10046] ppid=10041 vsize=63776 CPUtime=50.81
/proc/10043/task/10046/stat : 10046 (ornithorynque) R 10041 10043 9451 0 -1 4194368 1965 0 0 0 5080 1 0 0 25 0 3 0 36970886 65306624 5100 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241088 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 63776

[startup+102.306 s]
/proc/loadavg: 1.97 1.95 1.91 3/80 10046
/proc/meminfo: memFree=961760/2055920 swapFree=4176348/4192956
[pid=10043] ppid=10041 vsize=72116 CPUtime=204.07
/proc/10043/stat : 10043 (ornithorynque) S 10041 10043 9451 0 -1 4194304 7490 0 0 0 20399 8 0 0 18 0 3 0 36970880 73846784 7068 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10043/statm: 18029 7068 387 42 0 12281 0
[pid=10043/tid=10045] ppid=10041 vsize=72116 CPUtime=102.21
/proc/10043/task/10045/stat : 10045 (ornithorynque) R 10041 10043 9451 0 -1 4194368 3434 0 0 0 10216 5 0 0 25 0 3 0 36970886 73846784 7068 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311212 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10043/tid=10046] ppid=10041 vsize=72116 CPUtime=101.8
/proc/10043/task/10046/stat : 10046 (ornithorynque) R 10041 10043 9451 0 -1 4194368 2747 0 0 0 10178 2 0 0 25 0 3 0 36970886 73846784 7068 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 72116

[startup+162.302 s]
/proc/loadavg: 1.99 1.96 1.91 3/80 10046
/proc/meminfo: memFree=954144/2055920 swapFree=4176348/4192956
[pid=10043] ppid=10041 vsize=80572 CPUtime=323.78
/proc/10043/stat : 10043 (ornithorynque) S 10041 10043 9451 0 -1 4194304 9534 0 0 0 32368 10 0 0 18 0 3 0 36970880 82505728 8983 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10043/statm: 20143 8983 387 42 0 14395 0
[pid=10043/tid=10045] ppid=10041 vsize=80572 CPUtime=162.19
/proc/10043/task/10045/stat : 10045 (ornithorynque) R 10041 10043 9451 0 -1 4194368 4438 0 0 0 16212 7 0 0 25 0 3 0 36970886 82505728 8983 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10043/tid=10046] ppid=10041 vsize=80572 CPUtime=161.53
/proc/10043/task/10046/stat : 10046 (ornithorynque) R 10041 10043 9451 0 -1 4194368 3787 0 0 0 16151 2 0 0 25 0 3 0 36970886 82505728 8983 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283786 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.78
Current children cumulated vsize (KiB) 80572

[startup+222.302 s]
/proc/loadavg: 1.99 1.96 1.91 3/80 10046
/proc/meminfo: memFree=949088/2055920 swapFree=4176348/4192956
[pid=10043] ppid=10041 vsize=85792 CPUtime=443.51
/proc/10043/stat : 10043 (ornithorynque) S 10041 10043 9451 0 -1 4194304 10885 0 0 0 44339 12 0 0 18 0 3 0 36970880 87851008 10259 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10043/statm: 21448 10259 387 42 0 15700 0
[pid=10043/tid=10045] ppid=10041 vsize=85792 CPUtime=222.17
/proc/10043/task/10045/stat : 10045 (ornithorynque) R 10041 10043 9451 0 -1 4194368 5257 0 0 0 22209 8 0 0 25 0 3 0 36970886 87851008 10259 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10043/tid=10046] ppid=10041 vsize=85792 CPUtime=221.27
/proc/10043/task/10046/stat : 10046 (ornithorynque) R 10041 10043 9451 0 -1 4194368 4319 0 0 0 22124 3 0 0 25 0 3 0 36970886 87851008 10259 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) 85792

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 10046
/proc/meminfo: memFree=943072/2055920 swapFree=4176348/4192956
[pid=10043] ppid=10041 vsize=93192 CPUtime=563.24
/proc/10043/stat : 10043 (ornithorynque) S 10041 10043 9451 0 -1 4194304 12541 0 0 0 56309 15 0 0 18 0 3 0 36970880 95428608 11783 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10043/statm: 23298 11783 387 42 0 17550 0
[pid=10043/tid=10045] ppid=10041 vsize=93192 CPUtime=282.16
/proc/10043/task/10045/stat : 10045 (ornithorynque) R 10041 10043 9451 0 -1 4194368 6136 0 0 0 28205 11 0 0 25 0 3 0 36970886 95428608 11783 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10043/tid=10046] ppid=10041 vsize=93192 CPUtime=281.02
/proc/10043/task/10046/stat : 10046 (ornithorynque) R 10041 10043 9451 0 -1 4194368 5096 0 0 0 28099 3 0 0 25 0 3 0 36970886 95428608 11783 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.24
Current children cumulated vsize (KiB) 93192

[startup+342.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/86 10128
/proc/meminfo: memFree=938920/2055920 swapFree=4176348/4192956
[pid=10043] ppid=10041 vsize=95696 CPUtime=682.86
/proc/10043/stat : 10043 (ornithorynque) S 10041 10043 9451 0 -1 4194304 13342 0 0 0 68264 22 0 0 18 0 3 0 36970880 97992704 12469 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10043/statm: 23924 12469 387 42 0 18176 0
[pid=10043/tid=10045] ppid=10041 vsize=95696 CPUtime=342.05
/proc/10043/task/10045/stat : 10045 (ornithorynque) R 10041 10043 9451 0 -1 4194368 6937 0 0 0 34192 13 0 0 25 0 3 0 36970886 97992704 12469 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10043/tid=10046] ppid=10041 vsize=95696 CPUtime=340.74
/proc/10043/task/10046/stat : 10046 (ornithorynque) R 10041 10043 9451 0 -1 4194368 5096 0 0 0 34066 8 0 0 25 0 3 0 36970886 97992704 12469 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241593 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.86
Current children cumulated vsize (KiB) 95696

[startup+402.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/86 10220
/proc/meminfo: memFree=933800/2055920 swapFree=4176348/4192956
[pid=10043] ppid=10041 vsize=102564 CPUtime=802.46
/proc/10043/stat : 10043 (ornithorynque) S 10041 10043 9451 0 -1 4194304 14922 0 0 0 80210 36 0 0 18 0 3 0 36970880 105025536 13726 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10043/statm: 25641 13726 387 42 0 19893 0
[pid=10043/tid=10045] ppid=10041 vsize=102564 CPUtime=401.94
/proc/10043/task/10045/stat : 10045 (ornithorynque) R 10041 10043 9451 0 -1 4194368 7822 0 0 0 40179 15 0 0 25 0 3 0 36970886 105025536 13726 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10043/tid=10046] ppid=10041 vsize=102564 CPUtime=400.44
/proc/10043/task/10046/stat : 10046 (ornithorynque) R 10041 10043 9451 0 -1 4194368 5791 0 0 0 40025 19 0 0 25 0 3 0 36970886 105025536 13726 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.46
Current children cumulated vsize (KiB) 102564

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 10244
/proc/meminfo: memFree=932384/2055920 swapFree=4176348/4192956
[pid=10043] ppid=10041 vsize=104612 CPUtime=922.16
/proc/10043/stat : 10043 (ornithorynque) S 10041 10043 9451 0 -1 4194304 15557 0 0 0 92178 38 0 0 18 0 3 0 36970880 107122688 14361 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10043/statm: 26153 14361 387 42 0 20405 0
[pid=10043/tid=10045] ppid=10041 vsize=104612 CPUtime=461.9
/proc/10043/task/10045/stat : 10045 (ornithorynque) R 10041 10043 9451 0 -1 4194368 8457 0 0 0 46174 16 0 0 25 0 3 0 36970886 107122688 14361 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10043/tid=10046] ppid=10041 vsize=104612 CPUtime=460.18
/proc/10043/task/10046/stat : 10046 (ornithorynque) R 10041 10043 9451 0 -1 4194368 5791 0 0 0 45998 20 0 0 25 0 3 0 36970886 107122688 14361 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242170 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.16
Current children cumulated vsize (KiB) 104612

[startup+522.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 10244
/proc/meminfo: memFree=927904/2055920 swapFree=4176348/4192956
[pid=10043] ppid=10041 vsize=110088 CPUtime=1041.89
/proc/10043/stat : 10043 (ornithorynque) S 10041 10043 9451 0 -1 4194304 17005 0 0 0 104150 39 0 0 18 0 3 0 36970880 112730112 15519 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10043/statm: 27522 15519 387 42 0 21774 0
[pid=10043/tid=10045] ppid=10041 vsize=110088 CPUtime=521.89
/proc/10043/task/10045/stat : 10045 (ornithorynque) R 10041 10043 9451 0 -1 4194368 8983 0 0 0 52172 17 0 0 25 0 3 0 36970886 112730112 15519 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10043/tid=10046] ppid=10041 vsize=110088 CPUtime=519.94
/proc/10043/task/10046/stat : 10046 (ornithorynque) R 10041 10043 9451 0 -1 4194368 6713 0 0 0 51973 21 0 0 25 0 3 0 36970886 112730112 15519 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.89
Current children cumulated vsize (KiB) 110088

[startup+582.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 10244
/proc/meminfo: memFree=923808/2055920 swapFree=4176348/4192956
[pid=10043] ppid=10041 vsize=114268 CPUtime=1161.6
/proc/10043/stat : 10043 (ornithorynque) S 10041 10043 9451 0 -1 4194304 18023 0 0 0 116120 40 0 0 18 0 3 0 36970880 117010432 16537 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10043/statm: 28567 16537 387 42 0 22819 0
[pid=10043/tid=10045] ppid=10041 vsize=114268 CPUtime=581.87
/proc/10043/task/10045/stat : 10045 (ornithorynque) R 10041 10043 9451 0 -1 4194368 9424 0 0 0 58169 18 0 0 25 0 3 0 36970886 117010432 16537 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238100 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10043/tid=10046] ppid=10041 vsize=114268 CPUtime=579.66
/proc/10043/task/10046/stat : 10046 (ornithorynque) R 10041 10043 9451 0 -1 4194368 7290 0 0 0 57945 21 0 0 25 0 3 0 36970886 117010432 16537 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.6
Current children cumulated vsize (KiB) 114268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.601 s]
/proc/loadavg: 1.99 1.97 1.91 4/80 10244
/proc/meminfo: memFree=923040/2055920 swapFree=4176348/4192956
[pid=10043] ppid=10041 vsize=115292 CPUtime=1200.14
/proc/10043/stat : 10043 (ornithorynque) S 10041 10043 9451 0 -1 4194304 18203 0 0 0 119973 41 0 0 18 0 3 0 36970880 118059008 16717 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10043/statm: 28823 16717 387 42 0 23075 0
[pid=10043/tid=10045] ppid=10041 vsize=115292 CPUtime=601.17
/proc/10043/task/10045/stat : 10045 (ornithorynque) R 10041 10043 9451 0 -1 4194368 9604 0 0 0 60099 18 0 0 25 0 3 0 36970886 118059008 16717 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10043/tid=10046] ppid=10041 vsize=115292 CPUtime=598.88
/proc/10043/task/10046/stat : 10046 (ornithorynque) R 10041 10043 9451 0 -1 4194368 7290 0 0 0 59867 21 0 0 25 0 3 0 36970886 118059008 16717 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4284325 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.14
Current children cumulated vsize (KiB) 115292

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.628
CPU time (s): 1200.16
CPU user time (s): 1199.74
CPU system time (s): 0.420936
CPU usage (%): 199.486
Max. virtual memory (cumulated for all children) (KiB): 115292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.74
system time used= 0.420936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18203
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= 97
involuntary context switches= 23128

runsolver used 0.58591 second user time and 1.63275 second system time

The end

Launcher Data (download as text)

Begin job on node30 on Mon Mar  5 15:55:37 UTC 2007

IDJOB= 328323
IDBENCH= 20233
IDSOLVER= 139
FILE ID= node30/328323-1173110137

PBS_JOBID= 4013908

Free space on /tmp= 66299 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.7/v5500/unif2p-p0.7-v5500-c14685-S499481065-10-SAT.cnf
COMMAND LINE= /tmp/evaluation/328323-1173110137/ornithorynque /tmp/evaluation/328323-1173110137/instance-328323-1173110137.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node30/watcher-328323-1173110137 -o ROOT/results/node30/solver-328323-1173110137 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328323-1173110137/ornithorynque /tmp/evaluation/328323-1173110137/instance-328323-1173110137.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  57791cc3215dce90ed883dcfbd9213d5

RANDOM SEED= 514010024

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node30.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.216
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.216
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:        989584 kB
Buffers:         40844 kB
Cached:         928624 kB
SwapCached:        416 kB
Active:         191828 kB
Inactive:       815376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        989584 kB
SwapTotal:     4192956 kB
SwapFree:      4176348 kB
Dirty:             628 kB
Writeback:           0 kB
Mapped:          54760 kB
Slab:            44824 kB
Committed_AS:   191584 kB
PageTables:       1692 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= 66299 MiB

End job on node30 on Mon Mar  5 16:05:41 UTC 2007