Trace number 328307

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.07 601.63

General information on the benchmark

Namerandom/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S1326526519-03-SAT.cnf
MD5SUM3f421a958db929dd5faf96c5c82c876f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.84872
Satisfiable
(Un)Satisfiability was proved
Number of variables6492
Number of clauses17354
Sum of the clauses size46856
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25206
Number of clauses of size 312148
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.00/0.04	c ...done
0.00/0.04	c nbVar=6500 nbClause=17354
0.00/0.05	c nbVar=6500 nbClause=17354
0.00/0.07	c complete search running
0.00/0.07	c local search running
0.00/0.07	c flip 0 nbSat=14452 maxSat=0
0.12/0.12	c flip 10000 nbSat=16885 maxSat=16892
0.12/0.17	c flip 20000 nbSat=17072 maxSat=17088
0.32/0.22	c flip 30000 nbSat=17090 maxSat=17116
0.32/0.27	c flip 40000 nbSat=17099 maxSat=17140
0.52/0.31	c flip 50000 nbSat=17134 maxSat=17161
0.52/0.36	c flip 60000 nbSat=17165 maxSat=17182
0.72/0.41	c flip 70000 nbSat=17165 maxSat=17186
0.72/0.46	c flip 80000 nbSat=17177 maxSat=17186
0.92/0.50	c flip 90000 nbSat=17166 maxSat=17186
0.92/0.55	c flip 100000 nbSat=17186 maxSat=17191
1.12/0.60	c flip 110000 nbSat=17174 maxSat=17193
1.12/0.65	c flip 120000 nbSat=17185 maxSat=17193
1.32/0.70	c flip 0 nbSat=15797 maxSat=17198
1.32/0.78	c flip 10000 nbSat=18094 maxSat=18122
1.52/0.85	c flip 20000 nbSat=18220 maxSat=18250
1.72/0.92	c flip 30000 nbSat=18301 maxSat=18307
1.92/1.00	c flip 40000 nbSat=18340 maxSat=18342
1.92/1.08	c flip 50000 nbSat=18322 maxSat=18355
2.12/1.16	c flip 60000 nbSat=18356 maxSat=18364
2.31/1.23	c flip 70000 nbSat=18351 maxSat=18378
2.51/1.30	c flip 80000 nbSat=18340 maxSat=18378
2.51/1.38	c flip 90000 nbSat=18344 maxSat=18378
2.71/1.45	c flip 100000 nbSat=18371 maxSat=18378
2.91/1.52	c flip 110000 nbSat=18355 maxSat=18385
2.91/1.59	c flip 120000 nbSat=18355 maxSat=18385
3.11/1.68	c flip 0 nbSat=17261 maxSat=18385
3.31/1.80	c flip 10000 nbSat=19606 maxSat=19610
3.71/1.91	c flip 20000 nbSat=19771 maxSat=19792
3.91/2.02	c flip 30000 nbSat=19845 maxSat=19846
4.11/2.15	c flip 40000 nbSat=19871 maxSat=19888
4.32/2.27	c flip 50000 nbSat=19888 maxSat=19891
4.52/2.39	c flip 60000 nbSat=19889 maxSat=19900
4.92/2.51	c flip 70000 nbSat=19904 maxSat=19927
5.12/2.63	c flip 80000 nbSat=19902 maxSat=19927
5.32/2.75	c flip 90000 nbSat=19897 maxSat=19927
5.52/2.86	c flip 100000 nbSat=19906 maxSat=19927
5.72/2.98	c flip 110000 nbSat=19895 maxSat=19930
6.11/3.12	c flip 120000 nbSat=19917 maxSat=19935
6.32/3.27	c flip 0 nbSat=19384 maxSat=19944
6.71/3.43	c flip 10000 nbSat=21725 maxSat=21742
6.91/3.59	c flip 20000 nbSat=21891 maxSat=21922
7.30/3.75	c flip 30000 nbSat=21936 maxSat=21949
7.70/3.91	c flip 40000 nbSat=21956 maxSat=21978
7.90/4.07	c flip 50000 nbSat=21969 maxSat=21998
8.10/4.12	c nbDecision=10000 #clauses=23225
8.30/4.24	c flip 60000 nbSat=21986 maxSat=22007
8.70/4.43	c flip 70000 nbSat=21972 maxSat=22009
9.10/4.62	c flip 80000 nbSat=22000 maxSat=22013
9.50/4.80	c flip 90000 nbSat=21978 maxSat=22015
9.70/4.99	c flip 100000 nbSat=21992 maxSat=22015
10.09/5.18	c flip 110000 nbSat=21982 maxSat=22020
10.49/5.38	c flip 120000 nbSat=22000 maxSat=22020
10.90/5.59	c flip 0 nbSat=21885 maxSat=22023
11.49/5.85	c flip 10000 nbSat=24262 maxSat=24283
12.09/6.12	c flip 20000 nbSat=24460 maxSat=24496
12.49/6.39	c flip 30000 nbSat=24506 maxSat=24529
13.09/6.67	c flip 40000 nbSat=24548 maxSat=24563
13.68/6.97	c flip 50000 nbSat=24581 maxSat=24587
14.28/7.27	c flip 60000 nbSat=24589 maxSat=24598
14.88/7.58	c flip 70000 nbSat=24585 maxSat=24598
15.68/7.90	c flip 80000 nbSat=24600 maxSat=24611
16.28/8.23	c flip 90000 nbSat=24599 maxSat=24618
16.88/8.54	c flip 100000 nbSat=24611 maxSat=24619
17.48/8.86	c flip 110000 nbSat=24586 maxSat=24620
18.07/9.19	c flip 120000 nbSat=24604 maxSat=24620
18.87/9.56	c flip 0 nbSat=25609 maxSat=24623
19.68/9.94	c flip 10000 nbSat=28098 maxSat=28098
20.47/10.37	c flip 20000 nbSat=28256 maxSat=28271
20.66/10.41	c nbDecision=20000 #clauses=29368
21.46/10.85	c flip 30000 nbSat=28297 maxSat=28314
22.46/11.36	c flip 40000 nbSat=28282 maxSat=28319
23.46/11.83	c flip 50000 nbSat=28322 maxSat=28344
24.46/12.35	c flip 60000 nbSat=28356 maxSat=28363
25.66/12.90	c flip 70000 nbSat=28362 maxSat=28378
26.85/13.50	c flip 80000 nbSat=28339 maxSat=28378
27.86/14.03	c flip 90000 nbSat=28381 maxSat=28395
28.85/14.59	c flip 100000 nbSat=28367 maxSat=28395
30.05/15.11	c flip 110000 nbSat=28384 maxSat=28395
31.05/15.61	c flip 120000 nbSat=28392 maxSat=28395
32.04/16.11	c flip 0 nbSat=31489 maxSat=28408
33.24/16.73	c flip 10000 nbSat=33809 maxSat=33810
34.64/17.48	c flip 20000 nbSat=34013 maxSat=34027
35.23/17.73	c nbDecision=30000 #clauses=35506
36.23/18.29	c flip 30000 nbSat=34084 maxSat=34099
37.83/19.09	c flip 40000 nbSat=34117 maxSat=34148
39.43/19.86	c flip 50000 nbSat=34138 maxSat=34174
41.02/20.69	c flip 60000 nbSat=34165 maxSat=34188
42.82/21.52	c flip 70000 nbSat=34176 maxSat=34199
44.41/22.32	c flip 80000 nbSat=34163 maxSat=34202
46.01/23.13	c flip 90000 nbSat=34163 maxSat=34202
48.01/24.11	c flip 100000 nbSat=34167 maxSat=34202
50.01/25.13	c flip 110000 nbSat=34180 maxSat=34202
51.61/25.94	c flip 120000 nbSat=34177 maxSat=34202
53.40/26.88	c flip 0 nbSat=38710 maxSat=34202
54.60/27.44	c nbDecision=40000 #clauses=41853
55.79/28.01	c flip 10000 nbSat=41025 maxSat=41055
58.58/29.48	c flip 20000 nbSat=41192 maxSat=41210
61.58/30.95	c flip 30000 nbSat=41236 maxSat=41254
64.38/32.35	c flip 40000 nbSat=41254 maxSat=41268
66.97/33.66	c flip 50000 nbSat=41265 maxSat=41286
69.57/34.95	c flip 60000 nbSat=41272 maxSat=41301
72.56/36.40	c flip 70000 nbSat=41290 maxSat=41309
75.55/37.93	c flip 80000 nbSat=41303 maxSat=41322
78.34/39.38	c flip 90000 nbSat=41297 maxSat=41322
78.74/39.55	c nbDecision=50000 #clauses=48262
81.13/40.74	c flip 100000 nbSat=41303 maxSat=41322
84.12/42.25	c flip 110000 nbSat=41293 maxSat=41325
86.92/43.64	c flip 120000 nbSat=41295 maxSat=41325
89.72/45.10	c flip 0 nbSat=48010 maxSat=41325
93.50/46.96	c flip 10000 nbSat=50426 maxSat=50443
97.89/49.12	c flip 20000 nbSat=50610 maxSat=50625
102.48/51.41	c flip 30000 nbSat=50660 maxSat=50669
103.67/52.08	c nbDecision=60000 #clauses=54488
108.06/54.23	c flip 40000 nbSat=50670 maxSat=50688
113.25/56.80	c flip 50000 nbSat=50711 maxSat=50716
118.64/59.59	c flip 60000 nbSat=50701 maxSat=50723
124.63/62.51	c flip 70000 nbSat=50723 maxSat=50735
125.82/63.14	c nbDecision=70000 #clauses=60868
130.02/65.21	c flip 80000 nbSat=50714 maxSat=50737
135.00/67.73	c flip 90000 nbSat=50726 maxSat=50739
140.00/70.23	c flip 100000 nbSat=50745 maxSat=50751
144.79/72.62	c flip 110000 nbSat=50733 maxSat=50755
149.37/74.91	c flip 120000 nbSat=50753 maxSat=50763
154.16/77.35	c nbDecision=80000 #clauses=67534
154.56/77.53	c flip 0 nbSat=64761 maxSat=50774
159.96/80.27	c flip 10000 nbSat=67061 maxSat=67096
168.13/84.37	c flip 20000 nbSat=67273 maxSat=67275
176.90/88.74	c flip 30000 nbSat=67349 maxSat=67359
186.28/93.41	c flip 40000 nbSat=67360 maxSat=67377
190.27/95.41	c nbDecision=90000 #clauses=74242
195.66/98.12	c flip 50000 nbSat=67378 maxSat=67389
205.84/103.22	c flip 60000 nbSat=67371 maxSat=67405
215.81/108.20	c flip 70000 nbSat=67380 maxSat=67405
225.80/113.24	c flip 80000 nbSat=67402 maxSat=67416
236.37/118.53	c flip 90000 nbSat=67408 maxSat=67417
246.94/123.83	c flip 100000 nbSat=67391 maxSat=67418
248.13/124.48	c nbDecision=100000 #clauses=80837
256.73/128.70	c flip 110000 nbSat=67393 maxSat=67418
266.49/133.60	c flip 120000 nbSat=67395 maxSat=67418
277.46/139.16	c flip 0 nbSat=81615 maxSat=67418
286.04/143.44	c flip 10000 nbSat=83967 maxSat=83986
297.61/149.27	c flip 20000 nbSat=84171 maxSat=84177
304.20/152.55	c nbDecision=110000 #clauses=87809
310.59/155.77	c flip 30000 nbSat=84244 maxSat=84250
323.96/162.47	c flip 40000 nbSat=84240 maxSat=84271
337.74/169.33	c flip 50000 nbSat=84266 maxSat=84284
348.90/174.92	c flip 60000 nbSat=84284 maxSat=84300
360.28/180.65	c flip 70000 nbSat=84297 maxSat=84311
362.27/181.66	c nbDecision=120000 #clauses=94610
371.65/186.36	c flip 80000 nbSat=84303 maxSat=84319
383.02/192.03	c flip 90000 nbSat=84292 maxSat=84325
393.39/197.24	c flip 100000 nbSat=84286 maxSat=84325
405.37/203.23	c flip 110000 nbSat=84317 maxSat=84330
417.54/209.31	c flip 120000 nbSat=84306 maxSat=84332
424.32/212.72	c nbDecision=130000 #clauses=101096
428.92/215.09	c flip 0 nbSat=98601 maxSat=84332
440.48/220.83	c flip 10000 nbSat=101039 maxSat=101050
454.26/227.74	c flip 20000 nbSat=101201 maxSat=101211
468.61/234.90	c flip 30000 nbSat=101255 maxSat=101269
482.58/241.98	c flip 40000 nbSat=101288 maxSat=101320
488.16/244.76	c nbDecision=140000 #clauses=107768
499.55/250.42	c flip 50000 nbSat=101330 maxSat=101337
514.11/257.79	c flip 60000 nbSat=101328 maxSat=101346
528.87/265.14	c flip 70000 nbSat=101334 maxSat=101352
545.63/273.59	c flip 80000 nbSat=101329 maxSat=101352
549.42/275.40	c nbDecision=150000 #clauses=114293
561.40/281.44	c flip 90000 nbSat=101336 maxSat=101358
576.97/289.29	c flip 100000 nbSat=101339 maxSat=101361
592.33/296.93	c flip 110000 nbSat=101348 maxSat=101366
608.08/304.82	c flip 120000 nbSat=101352 maxSat=101366
614.29/308.00	c nbDecision=160000 #clauses=120792
622.65/312.15	c flip 0 nbSat=118757 maxSat=101369
636.62/319.16	c flip 10000 nbSat=121086 maxSat=121102
654.57/328.19	c flip 20000 nbSat=121282 maxSat=121308
674.12/337.99	c flip 30000 nbSat=121352 maxSat=121360
683.71/342.79	c nbDecision=170000 #clauses=127220
693.89/347.83	c flip 40000 nbSat=121362 maxSat=121378
713.04/357.46	c flip 50000 nbSat=121394 maxSat=121408
731.60/366.72	c flip 60000 nbSat=121422 maxSat=121435
749.76/375.83	c flip 70000 nbSat=121414 maxSat=121440
762.72/382.37	c nbDecision=180000 #clauses=134042
766.31/384.18	c flip 80000 nbSat=121392 maxSat=121440
784.27/393.14	c flip 90000 nbSat=121416 maxSat=121440
801.04/401.53	c flip 100000 nbSat=121423 maxSat=121440
818.60/410.31	c flip 110000 nbSat=121411 maxSat=121441
833.35/417.78	c flip 120000 nbSat=121423 maxSat=121446
834.14/418.12	c nbDecision=190000 #clauses=140670
852.71/427.45	c flip 0 nbSat=139217 maxSat=121452
871.67/436.94	c flip 10000 nbSat=141555 maxSat=141566
896.12/449.26	c flip 20000 nbSat=141752 maxSat=141757
923.04/462.77	c flip 30000 nbSat=141800 maxSat=141816
931.98/467.27	c nbDecision=200000 #clauses=147634
952.14/477.31	c flip 40000 nbSat=141812 maxSat=141846
976.46/489.57	c flip 50000 nbSat=141831 maxSat=141846
1002.35/502.51	c flip 60000 nbSat=141852 maxSat=141862
1034.45/518.65	c flip 70000 nbSat=141836 maxSat=141863
1036.25/519.59	c nbDecision=210000 #clauses=154504
1064.55/533.79	c flip 80000 nbSat=141854 maxSat=141879
1096.07/549.53	c flip 90000 nbSat=141864 maxSat=141881
1124.81/563.93	c flip 100000 nbSat=141866 maxSat=141883
1144.37/573.72	c nbDecision=220000 #clauses=161473
1152.55/577.87	c flip 110000 nbSat=141851 maxSat=141888
1181.07/592.17	c flip 120000 nbSat=141859 maxSat=141888

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/node69/watcher-328307-1173110020 -o ROOT/results/node69/solver-328307-1173110020 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328307-1173110020/ornithorynque /tmp/evaluation/328307-1173110020/instance-328307-1173110020.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/64 17405
/proc/meminfo: memFree=1600480/2055920 swapFree=4184100/4192956
[pid=17405] ppid=17403 vsize=23220 CPUtime=0
/proc/17405/stat : 17405 (ornithorynque) R 17403 17405 16854 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 330959731 23777280 263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237945001072 0 0 4096 0 0 0 0 17 1 0 0
/proc/17405/statm: 5805 266 219 42 0 45 0

[startup+0.0843459 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 17405
/proc/meminfo: memFree=1600480/2055920 swapFree=4184100/4192956
[pid=17405] ppid=17403 vsize=48100 CPUtime=0.09
/proc/17405/stat : 17405 (ornithorynque) S 17403 17405 16854 0 -1 4194304 1551 0 0 0 9 0 0 0 18 0 3 0 330959731 49254400 1447 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17405/statm: 12025 1447 387 42 0 6277 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 48100

[startup+0.10135 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 17405
/proc/meminfo: memFree=1600480/2055920 swapFree=4184100/4192956
[pid=17405] ppid=17403 vsize=48100 CPUtime=0.12
/proc/17405/stat : 17405 (ornithorynque) S 17403 17405 16854 0 -1 4194304 1551 0 0 0 12 0 0 0 18 0 3 0 330959731 49254400 1447 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17405/statm: 12025 1447 387 42 0 6277 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 48100

[startup+0.301378 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 17405
/proc/meminfo: memFree=1600480/2055920 swapFree=4184100/4192956
[pid=17405] ppid=17403 vsize=48100 CPUtime=0.52
/proc/17405/stat : 17405 (ornithorynque) S 17403 17405 16854 0 -1 4194304 1563 0 0 0 52 0 0 0 18 0 3 0 330959731 49254400 1459 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17405/statm: 12025 1459 387 42 0 6277 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 48100

[startup+0.701444 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 17405
/proc/meminfo: memFree=1600480/2055920 swapFree=4184100/4192956
[pid=17405] ppid=17403 vsize=49388 CPUtime=1.32
/proc/17405/stat : 17405 (ornithorynque) S 17403 17405 16854 0 -1 4194304 1651 0 0 0 132 0 0 0 18 0 3 0 330959731 50573312 1547 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17405/statm: 12347 1547 387 42 0 6599 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 49388

[startup+1.50157 s]
/proc/loadavg: 1.83 1.94 1.90 3/67 17408
/proc/meminfo: memFree=1595336/2055920 swapFree=4184100/4192956
[pid=17405] ppid=17403 vsize=49648 CPUtime=2.91
/proc/17405/stat : 17405 (ornithorynque) S 17403 17405 16854 0 -1 4194304 1778 0 0 0 291 0 0 0 18 0 3 0 330959731 50839552 1674 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17405/statm: 12412 1674 387 42 0 6664 0
[pid=17405/tid=17407] ppid=17403 vsize=49648 CPUtime=1.42
/proc/17405/task/17407/stat : 17407 (ornithorynque) R 17403 17405 16854 0 -1 4194368 168 0 0 0 142 0 0 0 24 0 3 0 330959738 50839552 1674 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4312197 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17405/tid=17408] ppid=17403 vsize=49648 CPUtime=1.42
/proc/17405/task/17408/stat : 17408 (ornithorynque) R 17403 17405 16854 0 -1 4194368 89 0 0 0 142 0 0 0 24 0 3 0 330959738 50839552 1674 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285958 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 49648

[startup+3.10184 s]
/proc/loadavg: 1.83 1.94 1.90 3/67 17408
/proc/meminfo: memFree=1594312/2055920 swapFree=4184100/4192956
[pid=17405] ppid=17403 vsize=50300 CPUtime=6.11
/proc/17405/stat : 17405 (ornithorynque) S 17403 17405 16854 0 -1 4194304 2026 0 0 0 610 1 0 0 18 0 3 0 330959731 51507200 1922 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17405/statm: 12575 1922 387 42 0 6827 0
[pid=17405/tid=17407] ppid=17403 vsize=50300 CPUtime=3.02
/proc/17405/task/17407/stat : 17407 (ornithorynque) R 17403 17405 16854 0 -1 4194368 314 0 0 0 302 0 0 0 25 0 3 0 330959738 51507200 1922 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311234 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17405/tid=17408] ppid=17403 vsize=50300 CPUtime=3.01
/proc/17405/task/17408/stat : 17408 (ornithorynque) R 17403 17405 16854 0 -1 4194368 191 0 0 0 301 0 0 0 25 0 3 0 330959738 51507200 1922 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285977 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 50300

[startup+6.30136 s]
/proc/loadavg: 1.85 1.94 1.90 3/67 17408
/proc/meminfo: memFree=1592584/2055920 swapFree=4184100/4192956
[pid=17405] ppid=17403 vsize=52648 CPUtime=12.49
/proc/17405/stat : 17405 (ornithorynque) S 17403 17405 16854 0 -1 4194304 2558 0 0 0 1248 1 0 0 18 0 3 0 330959731 53911552 2454 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17405/statm: 13162 2454 387 42 0 7414 0
[pid=17405/tid=17407] ppid=17403 vsize=52648 CPUtime=6.22
/proc/17405/task/17407/stat : 17407 (ornithorynque) R 17403 17405 16854 0 -1 4194368 494 0 0 0 622 0 0 0 25 0 3 0 330959738 53911552 2454 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311221 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17405/tid=17408] ppid=17403 vsize=52648 CPUtime=6.19
/proc/17405/task/17408/stat : 17408 (ornithorynque) R 17403 17405 16854 0 -1 4194368 543 0 0 0 619 0 0 0 23 0 3 0 330959738 53911552 2454 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241616 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 52648

[startup+12.7014 s]
/proc/loadavg: 1.86 1.94 1.90 3/67 17408
/proc/meminfo: memFree=1589320/2055920 swapFree=4184100/4192956
[pid=17405] ppid=17403 vsize=54608 CPUtime=25.26
/proc/17405/stat : 17405 (ornithorynque) S 17403 17405 16854 0 -1 4194304 3188 0 0 0 2524 2 0 0 18 0 3 0 330959731 55918592 3084 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17405/statm: 13652 3084 387 42 0 7904 0
[pid=17405/tid=17407] ppid=17403 vsize=54608 CPUtime=12.62
/proc/17405/task/17407/stat : 17407 (ornithorynque) R 17403 17405 16854 0 -1 4194368 901 0 0 0 1261 1 0 0 25 0 3 0 330959738 55918592 3084 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237947491041 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17405/tid=17408] ppid=17403 vsize=54608 CPUtime=12.56
/proc/17405/task/17408/stat : 17408 (ornithorynque) R 17403 17405 16854 0 -1 4194368 766 0 0 0 1256 0 0 0 25 0 3 0 330959738 55918592 3084 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242057 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 54608

[startup+25.5015 s]
/proc/loadavg: 1.89 1.94 1.90 3/67 17408
/proc/meminfo: memFree=1585160/2055920 swapFree=4184100/4192956
[pid=17405] ppid=17403 vsize=59360 CPUtime=50.81
/proc/17405/stat : 17405 (ornithorynque) S 17403 17405 16854 0 -1 4194304 4357 0 0 0 5078 3 0 0 18 0 3 0 330959731 60784640 4089 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17405/statm: 14840 4089 387 42 0 9092 0
[pid=17405/tid=17407] ppid=17403 vsize=59360 CPUtime=25.41
/proc/17405/task/17407/stat : 17407 (ornithorynque) R 17403 17405 16854 0 -1 4194368 1636 0 0 0 2540 1 0 0 25 0 3 0 330959738 60784640 4089 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17405/tid=17408] ppid=17403 vsize=59360 CPUtime=25.31
/proc/17405/task/17408/stat : 17408 (ornithorynque) R 17403 17405 16854 0 -1 4194368 1200 0 0 0 2531 0 0 0 25 0 3 0 330959738 60784640 4089 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241409 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 59360

[startup+51.1017 s]
/proc/loadavg: 1.93 1.94 1.90 3/67 17408
/proc/meminfo: memFree=1577608/2055920 swapFree=4184100/4192956
[pid=17405] ppid=17403 vsize=67388 CPUtime=101.88
/proc/17405/stat : 17405 (ornithorynque) S 17403 17405 16854 0 -1 4194304 6259 0 0 0 10182 6 0 0 18 0 3 0 330959731 69005312 5991 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17405/statm: 16847 5991 387 42 0 11099 0
[pid=17405/tid=17407] ppid=17403 vsize=67388 CPUtime=51
/proc/17405/task/17407/stat : 17407 (ornithorynque) R 17403 17405 16854 0 -1 4194368 2506 0 0 0 5097 3 0 0 25 0 3 0 330959738 69005312 5991 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242944 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17405/tid=17408] ppid=17403 vsize=67388 CPUtime=50.79
/proc/17405/task/17408/stat : 17408 (ornithorynque) R 17403 17405 16854 0 -1 4194368 2232 0 0 0 5078 1 0 0 25 0 3 0 330959738 69005312 5991 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241084 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 67388

[startup+102.305 s]
/proc/loadavg: 1.97 1.95 1.91 3/67 17408
/proc/meminfo: memFree=1566664/2055920 swapFree=4184100/4192956
[pid=17405] ppid=17403 vsize=79744 CPUtime=204.05
/proc/17405/stat : 17405 (ornithorynque) S 17403 17405 16854 0 -1 4194304 9275 0 0 0 20395 10 0 0 18 0 3 0 330959731 81657856 8681 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17405/statm: 19936 8681 387 42 0 14188 0
[pid=17405/tid=17407] ppid=17403 vsize=79744 CPUtime=102.19
/proc/17405/task/17407/stat : 17407 (ornithorynque) R 17403 17405 16854 0 -1 4194368 4328 0 0 0 10213 6 0 0 25 0 3 0 330959738 81657856 8681 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238096 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17405/tid=17408] ppid=17403 vsize=79744 CPUtime=101.77
/proc/17405/task/17408/stat : 17408 (ornithorynque) R 17403 17405 16854 0 -1 4194368 3426 0 0 0 10175 2 0 0 25 0 3 0 330959738 81657856 8681 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283786 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.05
Current children cumulated vsize (KiB) 79744

[startup+162.303 s]
/proc/loadavg: 1.99 1.95 1.91 3/67 17408
/proc/meminfo: memFree=1557576/2055920 swapFree=4184100/4192956
[pid=17405] ppid=17403 vsize=89092 CPUtime=323.76
/proc/17405/stat : 17405 (ornithorynque) S 17403 17405 16854 0 -1 4194304 11566 0 0 0 32363 13 0 0 18 0 3 0 330959731 91230208 10938 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17405/statm: 22273 10938 387 42 0 16525 0
[pid=17405/tid=17407] ppid=17403 vsize=89092 CPUtime=162.17
/proc/17405/task/17407/stat : 17407 (ornithorynque) R 17403 17405 16854 0 -1 4194368 5440 0 0 0 16208 9 0 0 25 0 3 0 330959738 91230208 10938 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17405/tid=17408] ppid=17403 vsize=89092 CPUtime=161.51
/proc/17405/task/17408/stat : 17408 (ornithorynque) R 17403 17405 16854 0 -1 4194368 4605 0 0 0 16149 2 0 0 25 0 3 0 330959738 91230208 10938 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.76
Current children cumulated vsize (KiB) 89092

[startup+222.303 s]
/proc/loadavg: 1.99 1.96 1.91 3/67 17408
/proc/meminfo: memFree=1549448/2055920 swapFree=4184100/4192956
[pid=17405] ppid=17403 vsize=97884 CPUtime=443.47
/proc/17405/stat : 17405 (ornithorynque) S 17403 17405 16854 0 -1 4194304 13681 0 0 0 44332 15 0 0 18 0 3 0 330959731 100233216 12954 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17405/statm: 24471 12954 387 42 0 18723 0
[pid=17405/tid=17407] ppid=17403 vsize=97884 CPUtime=222.15
/proc/17405/task/17407/stat : 17407 (ornithorynque) R 17403 17405 16854 0 -1 4194368 6420 0 0 0 22204 11 0 0 25 0 3 0 330959738 100233216 12954 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311871 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17405/tid=17408] ppid=17403 vsize=97884 CPUtime=221.24
/proc/17405/task/17408/stat : 17408 (ornithorynque) R 17403 17405 16854 0 -1 4194368 5740 0 0 0 22121 3 0 0 25 0 3 0 330959738 100233216 12954 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.47
Current children cumulated vsize (KiB) 97884

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 17408
/proc/meminfo: memFree=1545352/2055920 swapFree=4184100/4192956
[pid=17405] ppid=17403 vsize=101980 CPUtime=563.19
/proc/17405/stat : 17405 (ornithorynque) S 17403 17405 16854 0 -1 4194304 14707 0 0 0 56301 18 0 0 18 0 3 0 330959731 104427520 13980 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17405/statm: 25495 13980 387 42 0 19747 0
[pid=17405/tid=17407] ppid=17403 vsize=101980 CPUtime=282.13
/proc/17405/task/17407/stat : 17407 (ornithorynque) R 17403 17405 16854 0 -1 4194368 7446 0 0 0 28200 13 0 0 25 0 3 0 330959738 104427520 13980 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17405/tid=17408] ppid=17403 vsize=101980 CPUtime=280.98
/proc/17405/task/17408/stat : 17408 (ornithorynque) R 17403 17405 16854 0 -1 4194368 5740 0 0 0 28095 3 0 0 25 0 3 0 330959738 104427520 13980 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.19
Current children cumulated vsize (KiB) 101980

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 17408
/proc/meminfo: memFree=1537480/2055920 swapFree=4184100/4192956
[pid=17405] ppid=17403 vsize=110660 CPUtime=682.91
/proc/17405/stat : 17405 (ornithorynque) S 17403 17405 16854 0 -1 4194304 16727 0 0 0 68271 20 0 0 18 0 3 0 330959731 113315840 15934 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17405/statm: 27665 15934 387 42 0 21917 0
[pid=17405/tid=17407] ppid=17403 vsize=110660 CPUtime=342.11
/proc/17405/task/17407/stat : 17407 (ornithorynque) R 17403 17405 16854 0 -1 4194368 8253 0 0 0 34196 15 0 0 25 0 3 0 330959738 113315840 15934 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17405/tid=17408] ppid=17403 vsize=110660 CPUtime=340.71
/proc/17405/task/17408/stat : 17408 (ornithorynque) R 17403 17405 16854 0 -1 4194368 6953 0 0 0 34068 3 0 0 25 0 3 0 330959738 113315840 15934 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.91
Current children cumulated vsize (KiB) 110660

[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 17408
/proc/meminfo: memFree=1534024/2055920 swapFree=4184100/4192956
[pid=17405] ppid=17403 vsize=114756 CPUtime=802.63
/proc/17405/stat : 17405 (ornithorynque) S 17403 17405 16854 0 -1 4194304 17860 0 0 0 80241 22 0 0 18 0 3 0 330959731 117510144 16810 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17405/statm: 28689 16810 387 42 0 22941 0
[pid=17405/tid=17407] ppid=17403 vsize=114756 CPUtime=402.09
/proc/17405/task/17407/stat : 17407 (ornithorynque) R 17403 17405 16854 0 -1 4194368 9386 0 0 0 40192 17 0 0 25 0 3 0 330959738 117510144 16810 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311068 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17405/tid=17408] ppid=17403 vsize=114756 CPUtime=400.45
/proc/17405/task/17408/stat : 17408 (ornithorynque) R 17403 17405 16854 0 -1 4194368 6953 0 0 0 40042 3 0 0 25 0 3 0 330959738 117510144 16810 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242170 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.63
Current children cumulated vsize (KiB) 114756

[startup+462.302 s]
/proc/loadavg: 2.05 1.99 1.91 3/73 17492
/proc/meminfo: memFree=1524744/2055920 swapFree=4184100/4192956
[pid=17405] ppid=17403 vsize=125012 CPUtime=922.24
/proc/17405/stat : 17405 (ornithorynque) S 17403 17405 16854 0 -1 4194304 20414 0 0 0 92195 29 0 0 18 0 3 0 330959731 128012288 18747 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17405/statm: 31253 18747 387 42 0 25505 0
[pid=17405/tid=17407] ppid=17403 vsize=125012 CPUtime=461.98
/proc/17405/task/17407/stat : 17407 (ornithorynque) R 17403 17405 16854 0 -1 4194368 10284 0 0 0 46179 19 0 0 25 0 3 0 330959738 128012288 18747 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17405/tid=17408] ppid=17403 vsize=125012 CPUtime=460.18
/proc/17405/task/17408/stat : 17408 (ornithorynque) R 17403 17405 16854 0 -1 4194368 8609 0 0 0 46009 9 0 0 25 0 3 0 330959738 128012288 18747 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.24
Current children cumulated vsize (KiB) 125012

[startup+522.303 s]
/proc/loadavg: 2.15 2.02 1.93 3/73 17584
/proc/meminfo: memFree=1522256/2055920 swapFree=4184100/4192956
[pid=17405] ppid=17403 vsize=128084 CPUtime=1041.84
/proc/17405/stat : 17405 (ornithorynque) S 17403 17405 16854 0 -1 4194304 21029 0 0 0 104142 42 0 0 18 0 3 0 330959731 131158016 19362 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17405/statm: 32021 19362 387 42 0 26273 0
[pid=17405/tid=17407] ppid=17403 vsize=128084 CPUtime=521.85
/proc/17405/task/17407/stat : 17407 (ornithorynque) R 17403 17405 16854 0 -1 4194368 10899 0 0 0 52165 20 0 0 25 0 3 0 330959738 131158016 19362 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4312214 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17405/tid=17408] ppid=17403 vsize=128084 CPUtime=519.91
/proc/17405/task/17408/stat : 17408 (ornithorynque) R 17403 17405 16854 0 -1 4194368 8609 0 0 0 51970 21 0 0 25 0 3 0 330959738 131158016 19362 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.84
Current children cumulated vsize (KiB) 128084

[startup+582.301 s]
/proc/loadavg: 2.20 2.07 1.95 3/67 17606
/proc/meminfo: memFree=1520904/2055920 swapFree=4184100/4192956
[pid=17405] ppid=17403 vsize=130132 CPUtime=1161.52
/proc/17405/stat : 17405 (ornithorynque) S 17403 17405 16854 0 -1 4194304 21664 0 0 0 116108 44 0 0 18 0 3 0 330959731 133255168 19997 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17405/statm: 32533 19997 387 42 0 26785 0
[pid=17405/tid=17407] ppid=17403 vsize=130132 CPUtime=581.81
/proc/17405/task/17407/stat : 17407 (ornithorynque) R 17403 17405 16854 0 -1 4194368 11534 0 0 0 58159 22 0 0 25 0 3 0 330959738 133255168 19997 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17405/tid=17408] ppid=17403 vsize=130132 CPUtime=579.63
/proc/17405/task/17408/stat : 17408 (ornithorynque) R 17403 17405 16854 0 -1 4194368 8609 0 0 0 57942 21 0 0 25 0 3 0 330959738 133255168 19997 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.52
Current children cumulated vsize (KiB) 130132



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.602 s]
/proc/loadavg: 2.14 2.06 1.95 3/67 17606
/proc/meminfo: memFree=1520200/2055920 swapFree=4184100/4192956
[pid=17405] ppid=17403 vsize=131156 CPUtime=1200.03
/proc/17405/stat : 17405 (ornithorynque) S 17403 17405 16854 0 -1 4194304 21857 0 0 0 119959 44 0 0 18 0 3 0 330959731 134303744 20190 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17405/statm: 32789 20190 387 42 0 27041 0
[pid=17405/tid=17407] ppid=17403 vsize=131156 CPUtime=601.11
/proc/17405/task/17407/stat : 17407 (ornithorynque) R 17403 17405 16854 0 -1 4194368 11727 0 0 0 60089 22 0 0 25 0 3 0 330959738 134303744 20190 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17405/tid=17408] ppid=17403 vsize=131156 CPUtime=598.84
/proc/17405/task/17408/stat : 17408 (ornithorynque) R 17403 17405 16854 0 -1 4194368 8609 0 0 0 59863 21 0 0 25 0 3 0 330959738 134303744 20190 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 131156

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.63
CPU time (s): 1200.07
CPU user time (s): 1199.61
CPU system time (s): 0.460929
CPU usage (%): 199.47
Max. virtual memory (cumulated for all children) (KiB): 131156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.61
system time used= 0.460929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21857
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= 92
involuntary context switches= 9562

runsolver used 0.402938 second user time and 1.80773 second system time

The end

Launcher Data (download as text)

Begin job on node69 on Mon Mar  5 15:53:40 UTC 2007

IDJOB= 328307
IDBENCH= 20215
IDSOLVER= 139
FILE ID= node69/328307-1173110020

PBS_JOBID= 4013895

Free space on /tmp= 66541 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.7/v6500/unif2p-p0.7-v6500-c17355-S1326526519-03-SAT.cnf
COMMAND LINE= /tmp/evaluation/328307-1173110020/ornithorynque /tmp/evaluation/328307-1173110020/instance-328307-1173110020.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node69/watcher-328307-1173110020 -o ROOT/results/node69/solver-328307-1173110020 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328307-1173110020/ornithorynque /tmp/evaluation/328307-1173110020/instance-328307-1173110020.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  3f421a958db929dd5faf96c5c82c876f

RANDOM SEED= 625740321

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node69.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:       1600888 kB
Buffers:         27908 kB
Cached:         348000 kB
SwapCached:       2716 kB
Active:          62896 kB
Inactive:       322472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1600888 kB
SwapTotal:     4192956 kB
SwapFree:      4184100 kB
Dirty:             536 kB
Writeback:           0 kB
Mapped:          15528 kB
Slab:            55656 kB
Committed_AS:   829436 kB
PageTables:       1472 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= 66541 MiB

End job on node69 on Mon Mar  5 16:03:44 UTC 2007