Trace number 328264

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.13 601.538

General information on the benchmark

Namerandom/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1145101718-14.cnf
MD5SUMd5eadcf7d4ec43590781370c307cdad4
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=36707 maxSat=0
0.22/0.27	c flip 10000 nbSat=40028 maxSat=40029
0.42/0.35	c flip 20000 nbSat=40601 maxSat=40617
0.62/0.43	c flip 30000 nbSat=40838 maxSat=40859
0.82/0.51	c flip 40000 nbSat=41021 maxSat=41032
0.82/0.59	c flip 50000 nbSat=41120 maxSat=41163
1.02/0.67	c flip 60000 nbSat=41164 maxSat=41205
1.22/0.75	c flip 70000 nbSat=41175 maxSat=41225
1.42/0.82	c flip 80000 nbSat=41265 maxSat=41275
1.62/0.90	c flip 90000 nbSat=41303 maxSat=41306
1.62/0.97	c flip 100000 nbSat=41317 maxSat=41342
1.82/1.04	c flip 110000 nbSat=41281 maxSat=41355
2.02/1.13	c flip 120000 nbSat=41286 maxSat=41355
2.02/1.20	c flip 130000 nbSat=41265 maxSat=41355
2.22/1.28	c flip 140000 nbSat=41210 maxSat=41355
2.42/1.35	c flip 150000 nbSat=41277 maxSat=41355
2.62/1.43	c flip 160000 nbSat=41289 maxSat=41355
2.82/1.50	c flip 170000 nbSat=41283 maxSat=41355
2.82/1.58	c flip 180000 nbSat=41281 maxSat=41355
3.02/1.66	c flip 190000 nbSat=41322 maxSat=41384
3.22/1.75	c flip 0 nbSat=37702 maxSat=41407
3.41/1.88	c flip 10000 nbSat=40899 maxSat=41407
3.81/2.01	c flip 20000 nbSat=41495 maxSat=41502
4.01/2.14	c flip 30000 nbSat=41736 maxSat=41764
4.22/2.27	c flip 40000 nbSat=41881 maxSat=41899
4.61/2.40	c flip 50000 nbSat=41997 maxSat=42012
4.81/2.53	c flip 60000 nbSat=42036 maxSat=42080
5.01/2.66	c flip 70000 nbSat=42036 maxSat=42136
5.21/2.78	c flip 80000 nbSat=42183 maxSat=42191
5.61/2.91	c flip 90000 nbSat=42202 maxSat=42216
5.81/3.03	c flip 100000 nbSat=42106 maxSat=42230
6.01/3.16	c flip 110000 nbSat=42123 maxSat=42230
6.21/3.28	c flip 120000 nbSat=42141 maxSat=42230
6.61/3.42	c flip 130000 nbSat=42100 maxSat=42230
6.80/3.55	c flip 140000 nbSat=42114 maxSat=42230
7.00/3.68	c flip 150000 nbSat=42161 maxSat=42230
7.40/3.81	c flip 160000 nbSat=42199 maxSat=42232
7.60/3.94	c flip 170000 nbSat=42213 maxSat=42241
7.80/4.07	c flip 180000 nbSat=42218 maxSat=42241
8.00/4.19	c flip 190000 nbSat=42207 maxSat=42272
8.40/4.35	c flip 0 nbSat=39044 maxSat=42277
8.81/4.55	c flip 10000 nbSat=42252 maxSat=42277
9.20/4.75	c flip 20000 nbSat=42980 maxSat=42999
9.60/4.96	c flip 30000 nbSat=43217 maxSat=43226
10.00/5.17	c flip 40000 nbSat=43322 maxSat=43353
10.40/5.38	c flip 50000 nbSat=43449 maxSat=43478
10.80/5.60	c flip 60000 nbSat=43471 maxSat=43506
11.39/5.81	c flip 70000 nbSat=43445 maxSat=43506
11.79/6.03	c flip 80000 nbSat=43535 maxSat=43617
12.19/6.23	c flip 90000 nbSat=43562 maxSat=43623
12.59/6.44	c flip 100000 nbSat=43600 maxSat=43634
13.00/6.65	c flip 110000 nbSat=43600 maxSat=43634
13.39/6.85	c flip 120000 nbSat=43573 maxSat=43634
13.79/7.06	c flip 130000 nbSat=43526 maxSat=43634
14.19/7.27	c flip 140000 nbSat=43560 maxSat=43634
14.59/7.49	c flip 150000 nbSat=43542 maxSat=43634
15.19/7.71	c flip 160000 nbSat=43615 maxSat=43668
15.58/7.92	c flip 170000 nbSat=43595 maxSat=43668
15.98/8.13	c flip 180000 nbSat=43625 maxSat=43676
16.38/8.35	c flip 190000 nbSat=43710 maxSat=43711
16.98/8.61	c flip 0 nbSat=40939 maxSat=43734
17.59/8.93	c flip 10000 nbSat=44263 maxSat=44277
18.18/9.28	c flip 20000 nbSat=44852 maxSat=44861
18.98/9.66	c flip 30000 nbSat=45069 maxSat=45101
19.78/10.03	c flip 40000 nbSat=45220 maxSat=45266
20.37/10.39	c flip 50000 nbSat=45173 maxSat=45266
21.17/10.73	c nbDecision=10000 #clauses=47076
21.17/10.73	c flip 60000 nbSat=45276 maxSat=45328
21.78/11.07	c flip 70000 nbSat=45258 maxSat=45354
22.58/11.41	c flip 80000 nbSat=45374 maxSat=45407
23.18/11.78	c flip 90000 nbSat=45425 maxSat=45451
23.98/12.14	c flip 100000 nbSat=45410 maxSat=45479
24.77/12.50	c flip 110000 nbSat=45479 maxSat=45489
25.37/12.87	c flip 120000 nbSat=45501 maxSat=45519
26.17/13.25	c flip 130000 nbSat=45474 maxSat=45532
26.96/13.62	c flip 140000 nbSat=45532 maxSat=45571
27.56/13.98	c flip 150000 nbSat=45499 maxSat=45571
28.35/14.34	c flip 160000 nbSat=45534 maxSat=45571
28.94/14.68	c flip 170000 nbSat=45550 maxSat=45578
29.74/15.05	c flip 180000 nbSat=45484 maxSat=45578
30.55/15.44	c flip 190000 nbSat=45527 maxSat=45580
31.34/15.86	c flip 0 nbSat=43829 maxSat=45610
32.34/16.34	c flip 10000 nbSat=47089 maxSat=47095
33.34/16.83	c flip 20000 nbSat=47674 maxSat=47677
34.34/17.35	c flip 30000 nbSat=47906 maxSat=47931
35.53/17.90	c flip 40000 nbSat=47997 maxSat=48025
36.53/18.44	c flip 50000 nbSat=48112 maxSat=48127
37.52/18.99	c flip 60000 nbSat=48166 maxSat=48186
38.73/19.54	c flip 70000 nbSat=48183 maxSat=48204
39.73/20.08	c flip 80000 nbSat=48198 maxSat=48265
40.92/20.64	c flip 90000 nbSat=48274 maxSat=48305
41.92/21.19	c flip 100000 nbSat=48243 maxSat=48312
43.12/21.71	c flip 110000 nbSat=48290 maxSat=48312
44.31/22.31	c flip 120000 nbSat=48246 maxSat=48333
45.51/22.94	c flip 130000 nbSat=48339 maxSat=48341
46.70/23.51	c flip 140000 nbSat=48297 maxSat=48350
47.70/24.06	c flip 150000 nbSat=48298 maxSat=48350
47.90/24.14	c nbDecision=20000 #clauses=53005
48.90/24.64	c flip 160000 nbSat=48320 maxSat=48391
50.10/25.21	c flip 170000 nbSat=48363 maxSat=48391
51.29/25.81	c flip 180000 nbSat=48322 maxSat=48394
52.29/26.38	c flip 190000 nbSat=48381 maxSat=48458
53.70/27.03	c flip 0 nbSat=48965 maxSat=48458
55.48/27.97	c flip 10000 nbSat=52281 maxSat=52292
57.48/28.94	c flip 20000 nbSat=52907 maxSat=52921
59.47/29.96	c flip 30000 nbSat=53127 maxSat=53167
61.66/31.08	c flip 40000 nbSat=53270 maxSat=53273
64.06/32.30	c flip 50000 nbSat=53334 maxSat=53368
66.45/33.43	c flip 60000 nbSat=53482 maxSat=53501
68.85/34.61	c flip 70000 nbSat=53465 maxSat=53523
71.25/35.81	c flip 80000 nbSat=53500 maxSat=53530
73.44/36.98	c flip 90000 nbSat=53498 maxSat=53541
75.84/38.19	c flip 100000 nbSat=53505 maxSat=53564
78.63/39.52	c flip 110000 nbSat=53556 maxSat=53590
81.03/40.75	c nbDecision=30000 #clauses=58868
81.23/40.82	c flip 120000 nbSat=53535 maxSat=53590
83.62/42.03	c flip 130000 nbSat=53486 maxSat=53590
86.01/43.27	c flip 140000 nbSat=53554 maxSat=53590
88.61/44.51	c flip 150000 nbSat=53580 maxSat=53590
91.00/45.74	c flip 160000 nbSat=53549 maxSat=53602
93.40/46.94	c flip 170000 nbSat=53571 maxSat=53619
95.59/48.03	c flip 180000 nbSat=53591 maxSat=53626
98.19/49.30	c flip 190000 nbSat=53559 maxSat=53628
100.99/50.71	c flip 0 nbSat=56133 maxSat=53628
104.38/52.42	c flip 10000 nbSat=59302 maxSat=59307
108.17/54.34	c flip 20000 nbSat=59875 maxSat=59876
112.36/56.40	c flip 30000 nbSat=60188 maxSat=60230
116.35/58.43	c flip 40000 nbSat=60297 maxSat=60341
120.94/60.79	c flip 50000 nbSat=60388 maxSat=60420
125.92/63.26	c flip 60000 nbSat=60454 maxSat=60512
130.71/65.66	c flip 70000 nbSat=60495 maxSat=60549
135.90/68.25	c flip 80000 nbSat=60495 maxSat=60549
137.29/68.95	c nbDecision=40000 #clauses=65007
140.89/70.74	c flip 90000 nbSat=60548 maxSat=60607
146.48/73.52	c flip 100000 nbSat=60580 maxSat=60635
151.66/76.16	c flip 110000 nbSat=60597 maxSat=60635
156.65/78.68	c flip 120000 nbSat=60602 maxSat=60640
161.84/81.27	c flip 130000 nbSat=60667 maxSat=60711
166.84/83.71	c flip 140000 nbSat=60638 maxSat=60711
171.22/85.98	c flip 150000 nbSat=60606 maxSat=60711
176.01/88.32	c flip 160000 nbSat=60657 maxSat=60711
180.80/90.75	c flip 170000 nbSat=60670 maxSat=60711
185.79/93.28	c flip 180000 nbSat=60703 maxSat=60724
190.59/95.60	c flip 190000 nbSat=60620 maxSat=60724
195.57/98.18	c flip 0 nbSat=64712 maxSat=60724
202.16/101.42	c flip 10000 nbSat=67917 maxSat=67919
207.74/104.22	c nbDecision=50000 #clauses=71052
209.33/105.10	c flip 20000 nbSat=68551 maxSat=68614
218.11/109.45	c flip 30000 nbSat=68872 maxSat=68917
227.49/114.13	c flip 40000 nbSat=69002 maxSat=69004
237.08/118.92	c flip 50000 nbSat=69037 maxSat=69072
246.04/123.46	c flip 60000 nbSat=69061 maxSat=69104
254.82/127.87	c flip 70000 nbSat=69125 maxSat=69145
263.21/132.04	c flip 80000 nbSat=69114 maxSat=69146
271.99/136.45	c flip 90000 nbSat=69156 maxSat=69206
281.17/141.09	c flip 100000 nbSat=69200 maxSat=69218
281.37/141.15	c nbDecision=60000 #clauses=77190
289.75/145.36	c flip 110000 nbSat=69201 maxSat=69242
298.93/149.91	c flip 120000 nbSat=69179 maxSat=69242
308.31/154.67	c flip 130000 nbSat=69138 maxSat=69242
318.09/159.60	c flip 140000 nbSat=69155 maxSat=69242
327.86/164.49	c flip 150000 nbSat=69203 maxSat=69242
338.44/169.72	c flip 160000 nbSat=69194 maxSat=69242
348.02/174.52	c flip 170000 nbSat=69110 maxSat=69242
357.20/179.14	c flip 180000 nbSat=69158 maxSat=69242
366.97/184.00	c flip 190000 nbSat=69189 maxSat=69242
376.96/189.00	c flip 0 nbSat=78043 maxSat=69294
383.74/192.45	c nbDecision=70000 #clauses=83735
388.33/194.72	c flip 10000 nbSat=81286 maxSat=81307
401.50/201.30	c flip 20000 nbSat=81933 maxSat=81933
414.88/208.07	c flip 30000 nbSat=82198 maxSat=82226
429.42/215.39	c flip 40000 nbSat=82299 maxSat=82355
444.79/223.09	c flip 50000 nbSat=82454 maxSat=82460
461.16/231.24	c flip 60000 nbSat=82405 maxSat=82469
476.92/239.15	c flip 70000 nbSat=82482 maxSat=82521
493.09/247.22	c flip 80000 nbSat=82473 maxSat=82533
503.66/252.52	c nbDecision=80000 #clauses=89963
510.25/255.81	c flip 90000 nbSat=82590 maxSat=82620
527.60/264.51	c flip 100000 nbSat=82631 maxSat=82654
545.18/273.36	c flip 110000 nbSat=82656 maxSat=82695
562.74/282.16	c flip 120000 nbSat=82600 maxSat=82703
579.30/290.45	c flip 130000 nbSat=82659 maxSat=82703
594.26/297.93	c flip 140000 nbSat=82656 maxSat=82708
609.22/305.49	c flip 150000 nbSat=82679 maxSat=82708
613.61/307.68	c nbDecision=90000 #clauses=96254
624.38/313.01	c flip 160000 nbSat=82680 maxSat=82729
639.76/320.73	c flip 170000 nbSat=82691 maxSat=82729
655.73/328.79	c flip 180000 nbSat=82685 maxSat=82741
671.88/336.80	c flip 190000 nbSat=82693 maxSat=82759
688.65/345.27	c flip 0 nbSat=96308 maxSat=82759
700.81/351.30	c nbDecision=100000 #clauses=102315
707.20/354.53	c flip 10000 nbSat=99528 maxSat=99535
728.56/365.23	c flip 20000 nbSat=100185 maxSat=100201
751.30/376.67	c flip 30000 nbSat=100354 maxSat=100389
776.65/389.33	c flip 40000 nbSat=100560 maxSat=100596
800.99/401.59	c nbDecision=110000 #clauses=108348
801.98/402.05	c flip 50000 nbSat=100643 maxSat=100673
827.13/414.67	c flip 60000 nbSat=100719 maxSat=100743
854.66/428.45	c flip 70000 nbSat=100772 maxSat=100808
882.59/442.44	c flip 80000 nbSat=100780 maxSat=100813
910.94/456.67	c flip 90000 nbSat=100827 maxSat=100853
912.73/457.54	c nbDecision=120000 #clauses=114538
941.67/472.01	c flip 100000 nbSat=100840 maxSat=100892
970.80/486.62	c flip 110000 nbSat=100808 maxSat=100917
996.56/499.51	c flip 120000 nbSat=100828 maxSat=100917
1022.28/512.48	c flip 130000 nbSat=100882 maxSat=100926
1029.28/515.92	c nbDecision=130000 #clauses=120966
1050.22/526.43	c flip 140000 nbSat=100869 maxSat=100926
1078.36/540.57	c flip 150000 nbSat=100911 maxSat=100966
1108.29/555.51	c flip 160000 nbSat=100925 maxSat=100966
1136.02/569.42	c flip 170000 nbSat=100916 maxSat=100973
1164.96/583.94	c flip 180000 nbSat=100907 maxSat=100973
1170.94/586.94	c nbDecision=140000 #clauses=127219
1193.50/598.24	c flip 190000 nbSat=100912 maxSat=100973

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-328264-1173109528 -o ROOT/results/node30/solver-328264-1173109528 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328264-1173109528/ornithorynque /tmp/evaluation/328264-1173109528/instance-328264-1173109528.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 9960
/proc/meminfo: memFree=989112/2055920 swapFree=4176348/4192956
[pid=9960] ppid=9958 vsize=23220 CPUtime=0
/proc/9960/stat : 9960 (ornithorynque) R 9958 9960 9451 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 36910028 23777280 266 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264904936721 0 0 4096 0 0 0 0 17 1 0 0
/proc/9960/statm: 5805 266 219 42 0 45 0

[startup+0.100033 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 9960
/proc/meminfo: memFree=989112/2055920 swapFree=4176348/4192956
[pid=9960] ppid=9958 vsize=26768 CPUtime=0.09
/proc/9960/stat : 9960 (ornithorynque) R 9958 9960 9451 0 -1 4194304 1400 0 0 0 9 0 0 0 18 0 1 0 36910028 27410432 1263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264907428577 0 0 4096 1088 0 0 0 17 1 0 0
/proc/9960/statm: 6692 1263 377 42 0 944 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26768

[startup+0.20105 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 9960
/proc/meminfo: memFree=989112/2055920 swapFree=4176348/4192956
[pid=9960] ppid=9958 vsize=52176 CPUtime=0.22
/proc/9960/stat : 9960 (ornithorynque) S 9958 9960 9451 0 -1 4194304 2704 0 0 0 21 1 0 0 18 0 3 0 36910028 53428224 2469 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9960/statm: 13044 2469 386 42 0 7296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 52176

[startup+0.301054 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 9960
/proc/meminfo: memFree=989112/2055920 swapFree=4176348/4192956
[pid=9960] ppid=9958 vsize=52436 CPUtime=0.42
/proc/9960/stat : 9960 (ornithorynque) S 9958 9960 9451 0 -1 4194304 2760 0 0 0 41 1 0 0 18 0 3 0 36910028 53694464 2483 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9960/statm: 13109 2483 387 42 0 7361 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 52436

[startup+0.70108 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 9960
/proc/meminfo: memFree=989112/2055920 swapFree=4176348/4192956
[pid=9960] ppid=9958 vsize=52620 CPUtime=1.22
/proc/9960/stat : 9960 (ornithorynque) S 9958 9960 9451 0 -1 4194304 2810 0 0 0 121 1 0 0 18 0 3 0 36910028 53882880 2533 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9960/statm: 13155 2533 387 42 0 7407 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 52620

[startup+1.50213 s]
/proc/loadavg: 1.83 1.94 1.90 3/80 9963
/proc/meminfo: memFree=980256/2055920 swapFree=4176348/4192956
[pid=9960] ppid=9958 vsize=52928 CPUtime=2.82
/proc/9960/stat : 9960 (ornithorynque) S 9958 9960 9451 0 -1 4194304 2878 0 0 0 281 1 0 0 18 0 3 0 36910028 54198272 2601 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9960/statm: 13232 2601 387 42 0 7484 0
[pid=9960/tid=9962] ppid=9958 vsize=52928 CPUtime=1.32
/proc/9960/task/9962/stat : 9962 (ornithorynque) R 9958 9960 9451 0 -1 4194368 188 0 0 0 132 0 0 0 25 0 3 0 36910045 54198272 2601 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9960/tid=9963] ppid=9958 vsize=52928 CPUtime=1.32
/proc/9960/task/9963/stat : 9963 (ornithorynque) R 9958 9960 9451 0 -1 4194368 2 0 0 0 132 0 0 0 25 0 3 0 36910045 54198272 2601 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4286006 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 52928

[startup+3.10223 s]
/proc/loadavg: 1.83 1.94 1.90 3/80 9963
/proc/meminfo: memFree=978976/2055920 swapFree=4176348/4192956
[pid=9960] ppid=9958 vsize=54780 CPUtime=6.01
/proc/9960/stat : 9960 (ornithorynque) S 9958 9960 9451 0 -1 4194304 3216 0 0 0 600 1 0 0 18 0 3 0 36910028 56094720 2939 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9960/statm: 13695 2939 387 42 0 7947 0
[pid=9960/tid=9962] ppid=9958 vsize=54780 CPUtime=2.92
/proc/9960/task/9962/stat : 9962 (ornithorynque) R 9958 9960 9451 0 -1 4194368 307 0 0 0 292 0 0 0 25 0 3 0 36910045 56094720 2939 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4290104 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9960/tid=9963] ppid=9958 vsize=54780 CPUtime=2.91
/proc/9960/task/9963/stat : 9963 (ornithorynque) R 9958 9960 9451 0 -1 4194368 221 0 0 0 291 0 0 0 25 0 3 0 36910045 56094720 2939 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264907200080 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 54780

[startup+6.30143 s]
/proc/loadavg: 1.85 1.94 1.90 3/80 9963
/proc/meminfo: memFree=976096/2055920 swapFree=4176348/4192956
[pid=9960] ppid=9958 vsize=57256 CPUtime=12.39
/proc/9960/stat : 9960 (ornithorynque) S 9958 9960 9451 0 -1 4194304 3882 0 0 0 1237 2 0 0 18 0 3 0 36910028 58630144 3605 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9960/statm: 14314 3605 387 42 0 8566 0
[pid=9960/tid=9962] ppid=9958 vsize=57256 CPUtime=6.12
/proc/9960/task/9962/stat : 9962 (ornithorynque) R 9958 9960 9451 0 -1 4194368 599 0 0 0 612 0 0 0 25 0 3 0 36910045 58630144 3605 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4313840 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9960/tid=9963] ppid=9958 vsize=57256 CPUtime=6.09
/proc/9960/task/9963/stat : 9963 (ornithorynque) R 9958 9960 9451 0 -1 4194368 595 0 0 0 609 0 0 0 25 0 3 0 36910045 58630144 3605 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283695 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 57256

[startup+12.7018 s]
/proc/loadavg: 1.86 1.94 1.90 3/80 9963
/proc/meminfo: memFree=971872/2055920 swapFree=4176348/4192956
[pid=9960] ppid=9958 vsize=61576 CPUtime=25.17
/proc/9960/stat : 9960 (ornithorynque) S 9958 9960 9451 0 -1 4194304 4880 0 0 0 2514 3 0 0 18 0 3 0 36910028 63053824 4603 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9960/statm: 15394 4603 387 42 0 9646 0
[pid=9960/tid=9962] ppid=9958 vsize=61576 CPUtime=12.52
/proc/9960/task/9962/stat : 9962 (ornithorynque) R 9958 9960 9451 0 -1 4194368 1042 0 0 0 1251 1 0 0 25 0 3 0 36910045 63053824 4603 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4259157 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9960/tid=9963] ppid=9958 vsize=61576 CPUtime=12.46
/proc/9960/task/9963/stat : 9963 (ornithorynque) R 9958 9960 9451 0 -1 4194368 1150 0 0 0 1246 0 0 0 25 0 3 0 36910045 63053824 4603 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 61576

[startup+25.5016 s]
/proc/loadavg: 1.89 1.94 1.90 3/80 9963
/proc/meminfo: memFree=965280/2055920 swapFree=4176348/4192956
[pid=9960] ppid=9958 vsize=68400 CPUtime=50.69
/proc/9960/stat : 9960 (ornithorynque) S 9958 9960 9451 0 -1 4194304 6506 0 0 0 5064 5 0 0 18 0 3 0 36910028 70041600 6229 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9960/statm: 17100 6229 387 42 0 11352 0
[pid=9960/tid=9962] ppid=9958 vsize=68400 CPUtime=25.31
/proc/9960/task/9962/stat : 9962 (ornithorynque) R 9958 9960 9451 0 -1 4194368 2035 0 0 0 2528 3 0 0 25 0 3 0 36910045 70041600 6229 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9960/tid=9963] ppid=9958 vsize=68400 CPUtime=25.2
/proc/9960/task/9963/stat : 9963 (ornithorynque) R 9958 9960 9451 0 -1 4194368 1783 0 0 0 2519 1 0 0 25 0 3 0 36910045 70041600 6229 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 68400

[startup+51.1012 s]
/proc/loadavg: 1.93 1.94 1.90 3/80 9963
/proc/meminfo: memFree=952608/2055920 swapFree=4176348/4192956
[pid=9960] ppid=9958 vsize=88776 CPUtime=101.78
/proc/9960/stat : 9960 (ornithorynque) S 9958 9960 9451 0 -1 4194304 11490 0 0 0 10169 9 0 0 18 0 3 0 36910028 90906624 11213 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9960/statm: 22194 11213 387 42 0 16446 0
[pid=9960/tid=9962] ppid=9958 vsize=88776 CPUtime=50.9
/proc/9960/task/9962/stat : 9962 (ornithorynque) R 9958 9960 9451 0 -1 4194368 3329 0 0 0 5086 4 0 0 25 0 3 0 36910045 90906624 11213 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238096 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9960/tid=9963] ppid=9958 vsize=88776 CPUtime=50.69
/proc/9960/task/9963/stat : 9963 (ornithorynque) R 9958 9960 9451 0 -1 4194368 5473 0 0 0 5066 3 0 0 20 0 3 0 36910045 90906624 11213 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 88776

[startup+102.301 s]
/proc/loadavg: 1.97 1.95 1.91 3/80 9963
/proc/meminfo: memFree=924512/2055920 swapFree=4176348/4192956
[pid=9960] ppid=9958 vsize=113000 CPUtime=203.96
/proc/9960/stat : 9960 (ornithorynque) S 9958 9960 9451 0 -1 4194304 16921 0 0 0 20380 16 0 0 18 0 3 0 36910028 115712000 16386 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9960/statm: 28250 16386 387 42 0 22502 0
[pid=9960/tid=9962] ppid=9958 vsize=113000 CPUtime=102.09
/proc/9960/task/9962/stat : 9962 (ornithorynque) R 9958 9960 9451 0 -1 4194368 5072 0 0 0 10201 8 0 0 25 0 3 0 36910045 115712000 16386 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311218 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9960/tid=9963] ppid=9958 vsize=113000 CPUtime=101.68
/proc/9960/task/9963/stat : 9963 (ornithorynque) R 9958 9960 9451 0 -1 4194368 9161 0 0 0 10162 6 0 0 25 0 3 0 36910045 115712000 16386 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.96
Current children cumulated vsize (KiB) 113000

[startup+162.301 s]
/proc/loadavg: 1.99 1.95 1.91 3/80 9963
/proc/meminfo: memFree=922784/2055920 swapFree=4176348/4192956
[pid=9960] ppid=9958 vsize=115048 CPUtime=323.67
/proc/9960/stat : 9960 (ornithorynque) S 9958 9960 9451 0 -1 4194304 17349 0 0 0 32350 17 0 0 18 0 3 0 36910028 117809152 16814 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9960/statm: 28762 16814 387 42 0 23014 0
[pid=9960/tid=9962] ppid=9958 vsize=115048 CPUtime=162.08
/proc/9960/task/9962/stat : 9962 (ornithorynque) R 9958 9960 9451 0 -1 4194368 5500 0 0 0 16198 10 0 0 25 0 3 0 36910045 117809152 16814 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238100 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9960/tid=9963] ppid=9958 vsize=115048 CPUtime=161.42
/proc/9960/task/9963/stat : 9963 (ornithorynque) R 9958 9960 9451 0 -1 4194368 9161 0 0 0 16136 6 0 0 25 0 3 0 36910045 117809152 16814 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.67
Current children cumulated vsize (KiB) 115048

[startup+222.307 s]
/proc/loadavg: 1.99 1.96 1.91 3/80 9963
/proc/meminfo: memFree=902752/2055920 swapFree=4176348/4192956
[pid=9960] ppid=9958 vsize=136924 CPUtime=443.4
/proc/9960/stat : 9960 (ornithorynque) S 9958 9960 9451 0 -1 4194304 22427 0 0 0 44320 20 0 0 18 0 3 0 36910028 140210176 21810 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9960/statm: 34231 21810 387 42 0 28483 0
[pid=9960/tid=9962] ppid=9958 vsize=136924 CPUtime=222.06
/proc/9960/task/9962/stat : 9962 (ornithorynque) R 9958 9960 9451 0 -1 4194368 6626 0 0 0 22195 11 0 0 25 0 3 0 36910045 140210176 21810 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9960/tid=9963] ppid=9958 vsize=136924 CPUtime=221.15
/proc/9960/task/9963/stat : 9963 (ornithorynque) R 9958 9960 9451 0 -1 4194368 13113 0 0 0 22108 7 0 0 25 0 3 0 36910045 140210176 21810 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.4
Current children cumulated vsize (KiB) 136924

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9963
/proc/meminfo: memFree=897248/2055920 swapFree=4176348/4192956
[pid=9960] ppid=9958 vsize=142044 CPUtime=563.14
/proc/9960/stat : 9960 (ornithorynque) S 9958 9960 9451 0 -1 4194304 23808 0 0 0 56290 24 0 0 18 0 3 0 36910028 145453056 23191 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9960/statm: 35511 23191 387 42 0 29763 0
[pid=9960/tid=9962] ppid=9958 vsize=142044 CPUtime=282.05
/proc/9960/task/9962/stat : 9962 (ornithorynque) R 9958 9960 9451 0 -1 4194368 8007 0 0 0 28190 15 0 0 25 0 3 0 36910045 145453056 23191 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9960/tid=9963] ppid=9958 vsize=142044 CPUtime=280.91
/proc/9960/task/9963/stat : 9963 (ornithorynque) R 9958 9960 9451 0 -1 4194368 13113 0 0 0 28083 8 0 0 25 0 3 0 36910045 145453056 23191 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.14
Current children cumulated vsize (KiB) 142044

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9963
/proc/meminfo: memFree=890976/2055920 swapFree=4176348/4192956
[pid=9960] ppid=9958 vsize=148188 CPUtime=682.85
/proc/9960/stat : 9960 (ornithorynque) S 9958 9960 9451 0 -1 4194304 25343 0 0 0 68258 27 0 0 18 0 3 0 36910028 151744512 24726 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9960/statm: 37047 24726 387 42 0 31299 0
[pid=9960/tid=9962] ppid=9958 vsize=148188 CPUtime=342.03
/proc/9960/task/9962/stat : 9962 (ornithorynque) R 9958 9960 9451 0 -1 4194368 9542 0 0 0 34185 18 0 0 25 0 3 0 36910045 151744512 24726 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311492 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9960/tid=9963] ppid=9958 vsize=148188 CPUtime=340.64
/proc/9960/task/9963/stat : 9963 (ornithorynque) R 9958 9960 9451 0 -1 4194368 13113 0 0 0 34056 8 0 0 25 0 3 0 36910045 151744512 24726 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241590 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.85
Current children cumulated vsize (KiB) 148188

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9963
/proc/meminfo: memFree=858656/2055920 swapFree=4176348/4192956
[pid=9960] ppid=9958 vsize=186964 CPUtime=802.58
/proc/9960/stat : 9960 (ornithorynque) S 9958 9960 9451 0 -1 4194304 33512 0 0 0 80224 34 0 0 18 0 3 0 36910028 191451136 32854 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9960/statm: 46741 32854 387 42 0 40993 0
[pid=9960/tid=9962] ppid=9958 vsize=186964 CPUtime=402.02
/proc/9960/task/9962/stat : 9962 (ornithorynque) R 9958 9960 9451 0 -1 4194368 11057 0 0 0 40179 23 0 0 25 0 3 0 36910045 191451136 32854 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9960/tid=9963] ppid=9958 vsize=186964 CPUtime=400.38
/proc/9960/task/9963/stat : 9963 (ornithorynque) R 9958 9960 9451 0 -1 4194368 19767 0 0 0 40028 10 0 0 25 0 3 0 36910045 191451136 32854 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.58
Current children cumulated vsize (KiB) 186964

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9963
/proc/meminfo: memFree=852704/2055920 swapFree=4176348/4192956
[pid=9960] ppid=9958 vsize=193108 CPUtime=922.31
/proc/9960/stat : 9960 (ornithorynque) S 9958 9960 9451 0 -1 4194304 34969 0 0 0 92193 38 0 0 18 0 3 0 36910028 197742592 34311 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9960/statm: 48277 34311 387 42 0 42529 0
[pid=9960/tid=9962] ppid=9958 vsize=193108 CPUtime=461.99
/proc/9960/task/9962/stat : 9962 (ornithorynque) R 9958 9960 9451 0 -1 4194368 12514 0 0 0 46173 26 0 0 25 0 3 0 36910045 197742592 34311 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9960/tid=9963] ppid=9958 vsize=193108 CPUtime=460.13
/proc/9960/task/9963/stat : 9963 (ornithorynque) R 9958 9960 9451 0 -1 4194368 19767 0 0 0 46003 10 0 0 25 0 3 0 36910045 197742592 34311 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.31
Current children cumulated vsize (KiB) 193108

[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9963
/proc/meminfo: memFree=847200/2055920 swapFree=4176348/4192956
[pid=9960] ppid=9958 vsize=198228 CPUtime=1042.04
/proc/9960/stat : 9960 (ornithorynque) S 9958 9960 9451 0 -1 4194304 36350 0 0 0 104162 42 0 0 18 0 3 0 36910028 202985472 35692 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9960/statm: 49557 35692 387 42 0 43809 0
[pid=9960/tid=9962] ppid=9958 vsize=198228 CPUtime=521.99
/proc/9960/task/9962/stat : 9962 (ornithorynque) R 9958 9960 9451 0 -1 4194368 13895 0 0 0 52169 30 0 0 25 0 3 0 36910045 202985472 35692 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311229 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9960/tid=9963] ppid=9958 vsize=198228 CPUtime=519.87
/proc/9960/task/9963/stat : 9963 (ornithorynque) R 9958 9960 9451 0 -1 4194368 19767 0 0 0 51977 10 0 0 25 0 3 0 36910045 202985472 35692 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.04
Current children cumulated vsize (KiB) 198228

[startup+582.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9963
/proc/meminfo: memFree=843168/2055920 swapFree=4176348/4192956
[pid=9960] ppid=9958 vsize=202324 CPUtime=1161.76
/proc/9960/stat : 9960 (ornithorynque) S 9958 9960 9451 0 -1 4194304 37353 0 0 0 116132 44 0 0 18 0 3 0 36910028 207179776 36695 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9960/statm: 50581 36695 387 42 0 44833 0
[pid=9960/tid=9962] ppid=9958 vsize=202324 CPUtime=581.97
/proc/9960/task/9962/stat : 9962 (ornithorynque) R 9958 9960 9451 0 -1 4194368 14898 0 0 0 58165 32 0 0 25 0 3 0 36910045 207179776 36695 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9960/tid=9963] ppid=9958 vsize=202324 CPUtime=579.61
/proc/9960/task/9963/stat : 9963 (ornithorynque) R 9958 9960 9451 0 -1 4194368 19767 0 0 0 57951 10 0 0 25 0 3 0 36910045 207179776 36695 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.76
Current children cumulated vsize (KiB) 202324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.502 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9963
/proc/meminfo: memFree=841952/2055920 swapFree=4176348/4192956
[pid=9960] ppid=9958 vsize=203348 CPUtime=1200.09
/proc/9960/stat : 9960 (ornithorynque) S 9958 9960 9451 0 -1 4194304 37643 0 0 0 119964 45 0 0 18 0 3 0 36910028 208228352 36985 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 264916463483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9960/statm: 50837 36985 387 42 0 45089 0
[pid=9960/tid=9962] ppid=9958 vsize=203348 CPUtime=601.17
/proc/9960/task/9962/stat : 9962 (ornithorynque) R 9958 9960 9451 0 -1 4194368 15188 0 0 0 60085 32 0 0 25 0 3 0 36910045 208228352 36985 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311262 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9960/tid=9963] ppid=9958 vsize=203348 CPUtime=598.73
/proc/9960/task/9963/stat : 9963 (ornithorynque) R 9958 9960 9451 0 -1 4194368 19767 0 0 0 59862 11 0 0 25 0 3 0 36910045 208228352 36985 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 203348

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.538
CPU time (s): 1200.13
CPU user time (s): 1199.66
CPU system time (s): 0.475927
CPU usage (%): 199.511
Max. virtual memory (cumulated for all children) (KiB): 203348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.66
system time used= 0.475927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37643
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= 47
involuntary context switches= 22892

runsolver used 0.466929 second user time and 1.74473 second system time

The end

Launcher Data (download as text)

Begin job on node30 on Mon Mar  5 15:45:29 UTC 2007

IDJOB= 328264
IDBENCH= 20172
IDSOLVER= 139
FILE ID= node30/328264-1173109528

PBS_JOBID= 4013908

Free space on /tmp= 66298 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  d5eadcf7d4ec43590781370c307cdad4

RANDOM SEED= 103922052

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:         40828 kB
Cached:         928640 kB
SwapCached:        416 kB
Active:         192312 kB
Inactive:       814876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        989584 kB
SwapTotal:     4192956 kB
SwapFree:      4176348 kB
Dirty:            1024 kB
Writeback:           0 kB
Mapped:          54756 kB
Slab:            44796 kB
Committed_AS:   191576 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= 66298 MiB

End job on node30 on Mon Mar  5 15:55:32 UTC 2007