Trace number 328260

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

General information on the benchmark

Namerandom/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S971732863-03.cnf
MD5SUM3cf867d82f32e157effef5f545ce2705
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark67.5737
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=36881 maxSat=0
0.22/0.27	c flip 10000 nbSat=40119 maxSat=40123
0.42/0.35	c flip 20000 nbSat=40678 maxSat=40681
0.62/0.44	c flip 30000 nbSat=40969 maxSat=40970
0.82/0.52	c flip 40000 nbSat=41060 maxSat=41087
0.82/0.60	c flip 50000 nbSat=41203 maxSat=41203
1.02/0.67	c flip 60000 nbSat=41297 maxSat=41327
1.22/0.75	c flip 70000 nbSat=41270 maxSat=41341
1.42/0.82	c flip 80000 nbSat=41294 maxSat=41341
1.62/0.90	c flip 90000 nbSat=41320 maxSat=41357
1.62/0.98	c flip 100000 nbSat=41349 maxSat=41392
1.82/1.06	c flip 110000 nbSat=41336 maxSat=41402
2.02/1.13	c flip 120000 nbSat=41385 maxSat=41437
2.21/1.21	c flip 130000 nbSat=41408 maxSat=41448
2.21/1.28	c flip 140000 nbSat=41428 maxSat=41448
2.41/1.36	c flip 150000 nbSat=41419 maxSat=41451
2.61/1.43	c flip 160000 nbSat=41443 maxSat=41483
2.81/1.50	c flip 170000 nbSat=41482 maxSat=41496
2.81/1.58	c flip 180000 nbSat=41487 maxSat=41544
3.01/1.65	c flip 190000 nbSat=41510 maxSat=41546
3.21/1.74	c flip 0 nbSat=37662 maxSat=41567
3.42/1.87	c flip 10000 nbSat=40930 maxSat=41567
3.82/2.00	c flip 20000 nbSat=41567 maxSat=41570
4.02/2.13	c flip 30000 nbSat=41790 maxSat=41824
4.22/2.25	c flip 40000 nbSat=41942 maxSat=41978
4.41/2.38	c flip 50000 nbSat=42062 maxSat=42151
4.81/2.51	c flip 60000 nbSat=42174 maxSat=42218
5.01/2.64	c flip 70000 nbSat=42145 maxSat=42222
5.21/2.78	c flip 80000 nbSat=42232 maxSat=42259
5.61/2.91	c flip 90000 nbSat=42247 maxSat=42269
5.81/3.04	c flip 100000 nbSat=42194 maxSat=42275
6.01/3.17	c flip 110000 nbSat=42233 maxSat=42294
6.21/3.30	c flip 120000 nbSat=42218 maxSat=42306
6.61/3.43	c flip 130000 nbSat=42263 maxSat=42314
6.81/3.56	c flip 140000 nbSat=42251 maxSat=42314
7.00/3.69	c flip 150000 nbSat=42263 maxSat=42314
7.40/3.82	c flip 160000 nbSat=42305 maxSat=42369
7.60/3.95	c flip 170000 nbSat=42302 maxSat=42383
7.80/4.07	c flip 180000 nbSat=42249 maxSat=42383
8.20/4.20	c flip 190000 nbSat=42250 maxSat=42383
8.41/4.38	c flip 0 nbSat=39193 maxSat=42383
8.80/4.59	c flip 10000 nbSat=42527 maxSat=42537
9.39/4.82	c flip 20000 nbSat=43222 maxSat=43235
9.80/5.06	c flip 30000 nbSat=43430 maxSat=43464
10.20/5.29	c flip 40000 nbSat=43516 maxSat=43535
10.81/5.53	c flip 50000 nbSat=43570 maxSat=43634
11.20/5.76	c flip 60000 nbSat=43649 maxSat=43688
11.80/6.00	c flip 70000 nbSat=43686 maxSat=43722
12.20/6.25	c flip 80000 nbSat=43768 maxSat=43788
12.60/6.48	c flip 90000 nbSat=43852 maxSat=43868
13.19/6.74	c flip 100000 nbSat=43876 maxSat=43936
13.59/6.98	c flip 110000 nbSat=43915 maxSat=43950
14.19/7.21	c flip 120000 nbSat=43912 maxSat=43967
14.59/7.45	c flip 130000 nbSat=43936 maxSat=43970
15.19/7.71	c flip 140000 nbSat=43958 maxSat=43971
15.58/7.95	c flip 150000 nbSat=43948 maxSat=44004
15.98/8.19	c flip 160000 nbSat=43951 maxSat=44004
16.58/8.44	c flip 170000 nbSat=43965 maxSat=44004
16.98/8.67	c flip 180000 nbSat=43947 maxSat=44004
17.58/8.92	c flip 190000 nbSat=43927 maxSat=44004
18.18/9.21	c flip 0 nbSat=41427 maxSat=44004
18.78/9.57	c flip 10000 nbSat=44812 maxSat=44814
19.58/9.96	c flip 20000 nbSat=45364 maxSat=45391
20.17/10.20	c nbDecision=10000 #clauses=47134
20.37/10.34	c flip 30000 nbSat=45623 maxSat=45630
21.17/10.74	c flip 40000 nbSat=45789 maxSat=45817
21.96/11.19	c flip 50000 nbSat=45868 maxSat=45888
22.96/11.62	c flip 60000 nbSat=46012 maxSat=46032
23.77/12.06	c flip 70000 nbSat=46026 maxSat=46056
24.76/12.52	c flip 80000 nbSat=45993 maxSat=46058
25.56/12.98	c flip 90000 nbSat=46070 maxSat=46114
26.55/13.42	c flip 100000 nbSat=46001 maxSat=46114
27.35/13.86	c flip 110000 nbSat=46090 maxSat=46118
28.35/14.33	c flip 120000 nbSat=46056 maxSat=46118
29.15/14.79	c flip 130000 nbSat=46029 maxSat=46118
30.15/15.26	c flip 140000 nbSat=46081 maxSat=46118
31.14/15.72	c flip 150000 nbSat=46109 maxSat=46153
32.14/16.22	c flip 160000 nbSat=46086 maxSat=46153
33.14/16.73	c flip 170000 nbSat=46106 maxSat=46153
34.14/17.21	c flip 180000 nbSat=46085 maxSat=46153
34.94/17.69	c flip 190000 nbSat=46108 maxSat=46153
36.13/18.22	c flip 0 nbSat=44461 maxSat=46184
37.33/18.81	c flip 10000 nbSat=47850 maxSat=47880
38.53/19.48	c flip 20000 nbSat=48465 maxSat=48469
39.92/20.12	c flip 30000 nbSat=48725 maxSat=48743
41.12/20.77	c flip 40000 nbSat=48875 maxSat=48885
42.51/21.45	c flip 50000 nbSat=48929 maxSat=48993
43.91/22.11	c flip 60000 nbSat=48992 maxSat=49033
45.11/22.75	c flip 70000 nbSat=48979 maxSat=49033
46.49/23.49	c flip 80000 nbSat=49004 maxSat=49085
48.10/24.26	c flip 90000 nbSat=49067 maxSat=49127
49.49/24.92	c flip 100000 nbSat=49079 maxSat=49127
50.69/25.59	c flip 110000 nbSat=49094 maxSat=49127
52.09/26.27	c flip 120000 nbSat=49145 maxSat=49158
53.49/26.95	c flip 130000 nbSat=49135 maxSat=49164
54.69/27.59	c flip 140000 nbSat=49165 maxSat=49203
56.08/28.23	c flip 150000 nbSat=49208 maxSat=49233
57.28/28.86	c flip 160000 nbSat=49198 maxSat=49247
58.48/29.49	c flip 170000 nbSat=49172 maxSat=49252
59.87/30.19	c flip 180000 nbSat=49206 maxSat=49266
61.47/30.91	c flip 190000 nbSat=49236 maxSat=49266
62.67/31.52	c nbDecision=20000 #clauses=53431
63.06/31.74	c flip 0 nbSat=48266 maxSat=49266
65.06/32.74	c flip 10000 nbSat=51554 maxSat=51557
67.25/33.81	c flip 20000 nbSat=52256 maxSat=52295
69.45/34.93	c flip 30000 nbSat=52472 maxSat=52488
71.64/36.07	c flip 40000 nbSat=52526 maxSat=52589
74.04/37.24	c flip 50000 nbSat=52602 maxSat=52660
76.64/38.58	c flip 60000 nbSat=52725 maxSat=52750
79.23/39.89	c flip 70000 nbSat=52763 maxSat=52777
81.83/41.14	c flip 80000 nbSat=52766 maxSat=52804
84.22/42.30	c flip 90000 nbSat=52783 maxSat=52826
86.62/43.57	c flip 100000 nbSat=52873 maxSat=52906
89.21/44.80	c flip 110000 nbSat=52826 maxSat=52906
91.81/46.11	c flip 120000 nbSat=52774 maxSat=52906
94.20/47.40	c flip 130000 nbSat=52837 maxSat=52906
96.99/48.77	c flip 140000 nbSat=52874 maxSat=52906
99.99/50.21	c flip 150000 nbSat=52840 maxSat=52912
102.39/51.41	c flip 160000 nbSat=52872 maxSat=52912
104.78/52.65	c flip 170000 nbSat=52862 maxSat=52912
107.18/53.84	c flip 180000 nbSat=52885 maxSat=52935
109.76/55.17	c flip 190000 nbSat=52854 maxSat=52935
112.74/56.64	c flip 0 nbSat=53619 maxSat=52935
116.15/58.36	c flip 10000 nbSat=57060 maxSat=57073
119.34/59.96	c nbDecision=30000 #clauses=59719
120.13/60.32	c flip 20000 nbSat=57691 maxSat=57704
124.32/62.44	c flip 30000 nbSat=57939 maxSat=57959
128.71/64.65	c flip 40000 nbSat=58069 maxSat=58114
133.10/66.89	c flip 50000 nbSat=58033 maxSat=58126
137.90/69.29	c flip 60000 nbSat=58111 maxSat=58168
142.87/71.70	c flip 70000 nbSat=58205 maxSat=58208
147.07/73.84	c flip 80000 nbSat=58202 maxSat=58260
151.46/76.08	c flip 90000 nbSat=58251 maxSat=58301
156.25/78.48	c flip 100000 nbSat=58255 maxSat=58316
161.44/81.02	c flip 110000 nbSat=58273 maxSat=58329
166.63/83.62	c flip 120000 nbSat=58343 maxSat=58379
171.62/86.13	c flip 130000 nbSat=58366 maxSat=58419
176.61/88.68	c flip 140000 nbSat=58375 maxSat=58432
181.20/90.97	c flip 150000 nbSat=58365 maxSat=58432
185.39/93.10	c flip 160000 nbSat=58415 maxSat=58440
189.98/95.33	c nbDecision=40000 #clauses=65802
190.38/95.51	c flip 170000 nbSat=58414 maxSat=58451
194.97/97.84	c flip 180000 nbSat=58392 maxSat=58451
199.36/100.06	c flip 190000 nbSat=58406 maxSat=58451
203.95/102.38	c flip 0 nbSat=61558 maxSat=58461
210.33/105.59	c flip 10000 nbSat=64774 maxSat=64776
218.11/109.41	c flip 20000 nbSat=65426 maxSat=65446
226.09/113.49	c flip 30000 nbSat=65638 maxSat=65649
234.68/117.74	c flip 40000 nbSat=65822 maxSat=65838
242.45/121.65	c flip 50000 nbSat=65953 maxSat=65964
250.43/125.66	c flip 60000 nbSat=65930 maxSat=65976
258.22/129.55	c flip 70000 nbSat=65935 maxSat=65983
266.40/133.67	c flip 80000 nbSat=65965 maxSat=66031
274.98/137.99	c flip 90000 nbSat=65992 maxSat=66062
282.97/141.92	c flip 100000 nbSat=66037 maxSat=66065
288.75/144.80	c nbDecision=50000 #clauses=72196
290.15/145.60	c flip 110000 nbSat=66098 maxSat=66124
297.92/149.42	c flip 120000 nbSat=66120 maxSat=66171
305.92/153.40	c flip 130000 nbSat=66135 maxSat=66171
314.09/157.53	c flip 140000 nbSat=66130 maxSat=66171
322.07/161.57	c flip 150000 nbSat=66154 maxSat=66194
330.45/165.79	c flip 160000 nbSat=66118 maxSat=66194
338.23/169.65	c flip 170000 nbSat=66137 maxSat=66194
346.22/173.68	c flip 180000 nbSat=66166 maxSat=66196
354.60/177.85	c flip 190000 nbSat=66160 maxSat=66223
363.39/182.21	c flip 0 nbSat=70985 maxSat=66223
373.36/187.27	c flip 10000 nbSat=74259 maxSat=74262
385.33/193.26	c flip 20000 nbSat=74889 maxSat=74892
398.09/199.61	c flip 30000 nbSat=75126 maxSat=75131
407.09/204.16	c nbDecision=60000 #clauses=78454
412.66/206.94	c flip 40000 nbSat=75261 maxSat=75264
425.24/213.27	c flip 50000 nbSat=75358 maxSat=75365
439.60/220.41	c flip 60000 nbSat=75411 maxSat=75441
453.37/227.39	c flip 70000 nbSat=75484 maxSat=75493
467.74/234.53	c flip 80000 nbSat=75501 maxSat=75532
482.52/241.96	c flip 90000 nbSat=75508 maxSat=75574
497.08/249.28	c flip 100000 nbSat=75535 maxSat=75593
511.25/256.33	c flip 110000 nbSat=75510 maxSat=75593
526.41/263.92	c flip 120000 nbSat=75536 maxSat=75593
531.01/266.25	c nbDecision=70000 #clauses=84876
540.58/271.02	c flip 130000 nbSat=75553 maxSat=75593
556.34/278.91	c flip 140000 nbSat=75555 maxSat=75593
572.10/286.89	c flip 150000 nbSat=75537 maxSat=75596
588.08/294.86	c flip 160000 nbSat=75630 maxSat=75638
604.22/302.99	c flip 170000 nbSat=75583 maxSat=75638
620.60/311.18	c flip 180000 nbSat=75610 maxSat=75638
636.96/319.38	c flip 190000 nbSat=75603 maxSat=75641
645.94/323.83	c nbDecision=80000 #clauses=91233
653.92/327.84	c flip 0 nbSat=86346 maxSat=75689
668.08/334.99	c flip 10000 nbSat=89699 maxSat=89699
686.05/343.97	c flip 20000 nbSat=90407 maxSat=90421
703.60/352.71	c flip 30000 nbSat=90602 maxSat=90648
725.56/363.71	c flip 40000 nbSat=90704 maxSat=90764
747.11/374.51	c flip 50000 nbSat=90809 maxSat=90842
768.46/385.27	c flip 60000 nbSat=90876 maxSat=90886
773.65/387.89	c nbDecision=90000 #clauses=97522
789.20/395.67	c flip 70000 nbSat=90871 maxSat=90930
808.97/405.58	c flip 80000 nbSat=90918 maxSat=90930
831.11/416.60	c flip 90000 nbSat=90937 maxSat=91007
851.67/426.93	c flip 100000 nbSat=90981 maxSat=91007
873.02/437.67	c flip 110000 nbSat=90995 maxSat=91037
895.77/449.03	c flip 120000 nbSat=90996 maxSat=91037
918.52/460.47	c flip 130000 nbSat=91016 maxSat=91037
939.67/471.08	c nbDecision=100000 #clauses=104044
943.07/472.79	c flip 140000 nbSat=90996 maxSat=91047
969.20/485.82	c flip 150000 nbSat=91061 maxSat=91070
996.15/499.34	c flip 160000 nbSat=91058 maxSat=91089
1023.08/512.80	c flip 170000 nbSat=91056 maxSat=91106
1047.02/524.89	c flip 180000 nbSat=91056 maxSat=91106
1071.37/537.08	c flip 190000 nbSat=91090 maxSat=91125
1095.32/549.02	c flip 0 nbSat=103791 maxSat=91125
1119.27/561.09	c flip 10000 nbSat=107149 maxSat=107155
1127.04/565.00	c nbDecision=110000 #clauses=110439
1143.82/573.34	c flip 20000 nbSat=107703 maxSat=107721
1170.95/586.91	c flip 30000 nbSat=107931 maxSat=107954
1199.28/601.16	c flip 40000 nbSat=108093 maxSat=108113

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

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


[startup+0 s]
/proc/loadavg: 2.06 2.02 1.93 3/64 14214
/proc/meminfo: memFree=1072896/2055920 swapFree=4192812/4192956
[pid=14214] ppid=14212 vsize=23220 CPUtime=0
/proc/14214/stat : 14214 (ornithorynque) R 14212 14214 13705 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 36904991 23777280 263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 254192686192 0 0 4096 0 0 0 0 17 1 0 0
/proc/14214/statm: 5805 263 218 42 0 45 0

[startup+0.07048 s]
/proc/loadavg: 2.06 2.02 1.93 3/64 14214
/proc/meminfo: memFree=1072896/2055920 swapFree=4192812/4192956
[pid=14214] ppid=14212 vsize=25604 CPUtime=0.06
/proc/14214/stat : 14214 (ornithorynque) R 14212 14214 13705 0 -1 4194304 1084 0 0 0 6 0 0 0 18 0 1 0 36904991 26218496 1012 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 254195176161 0 0 4096 1088 0 0 0 17 1 0 0
/proc/14214/statm: 6401 1012 377 42 0 653 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 25604

[startup+0.102482 s]
/proc/loadavg: 2.06 2.02 1.93 3/64 14214
/proc/meminfo: memFree=1072896/2055920 swapFree=4192812/4192956
[pid=14214] ppid=14212 vsize=26916 CPUtime=0.09
/proc/14214/stat : 14214 (ornithorynque) R 14212 14214 13705 0 -1 4194304 1428 0 0 0 9 0 0 0 18 0 1 0 36904991 27561984 1291 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 254195176161 0 0 4096 1088 0 0 0 17 1 0 0
/proc/14214/statm: 6729 1291 377 42 0 981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26916

[startup+0.302507 s]
/proc/loadavg: 2.06 2.02 1.93 3/64 14214
/proc/meminfo: memFree=1072896/2055920 swapFree=4192812/4192956
[pid=14214] ppid=14212 vsize=52428 CPUtime=0.42
/proc/14214/stat : 14214 (ornithorynque) S 14212 14214 13705 0 -1 4194304 2761 0 0 0 42 0 0 0 18 0 3 0 36904991 53686272 2484 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 254204211067 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14214/statm: 13107 2484 387 42 0 7359 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 52428

[startup+0.701541 s]
/proc/loadavg: 2.06 2.02 1.93 3/64 14214
/proc/meminfo: memFree=1072896/2055920 swapFree=4192812/4192956
[pid=14214] ppid=14212 vsize=52548 CPUtime=1.22
/proc/14214/stat : 14214 (ornithorynque) S 14212 14214 13705 0 -1 4194304 2806 0 0 0 122 0 0 0 18 0 3 0 36904991 53809152 2529 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 254204211067 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14214/statm: 13137 2529 387 42 0 7389 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 52548

[startup+1.5016 s]
/proc/loadavg: 2.06 2.02 1.93 3/67 14217
/proc/meminfo: memFree=1064040/2055920 swapFree=4192812/4192956
[pid=14214] ppid=14212 vsize=52808 CPUtime=2.81
/proc/14214/stat : 14214 (ornithorynque) S 14212 14214 13705 0 -1 4194304 2865 0 0 0 281 0 0 0 18 0 3 0 36904991 54075392 2588 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 254204211067 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14214/statm: 13202 2588 387 42 0 7454 0
[pid=14214/tid=14216] ppid=14212 vsize=52808 CPUtime=1.32
/proc/14214/task/14216/stat : 14216 (ornithorynque) R 14212 14214 13705 0 -1 4194368 173 0 0 0 132 0 0 0 25 0 3 0 36905008 54075392 2588 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14214/tid=14217] ppid=14212 vsize=52808 CPUtime=1.32
/proc/14214/task/14217/stat : 14217 (ornithorynque) R 14212 14214 13705 0 -1 4194368 2 0 0 0 132 0 0 0 25 0 3 0 36905008 54075392 2588 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285958 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 52808

[startup+3.10173 s]
/proc/loadavg: 2.05 2.02 1.93 3/67 14217
/proc/meminfo: memFree=1062568/2055920 swapFree=4192812/4192956
[pid=14214] ppid=14212 vsize=54660 CPUtime=6.01
/proc/14214/stat : 14214 (ornithorynque) S 14212 14214 13705 0 -1 4194304 3279 0 0 0 600 1 0 0 18 0 3 0 36904991 55971840 3002 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 254204211067 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14214/statm: 13665 3002 387 42 0 7917 0
[pid=14214/tid=14216] ppid=14212 vsize=54660 CPUtime=2.92
/proc/14214/task/14216/stat : 14216 (ornithorynque) R 14212 14214 13705 0 -1 4194368 335 0 0 0 292 0 0 0 25 0 3 0 36905008 55971840 3002 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311635 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14214/tid=14217] ppid=14212 vsize=54660 CPUtime=2.91
/proc/14214/task/14217/stat : 14217 (ornithorynque) R 14212 14214 13705 0 -1 4194368 254 0 0 0 291 0 0 0 25 0 3 0 36905008 55971840 3002 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 54660

[startup+6.30198 s]
/proc/loadavg: 2.05 2.02 1.93 3/67 14217
/proc/meminfo: memFree=1059112/2055920 swapFree=4192812/4192956
[pid=14214] ppid=14212 vsize=58688 CPUtime=12.4
/proc/14214/stat : 14214 (ornithorynque) S 14212 14214 13705 0 -1 4194304 4095 0 0 0 1238 2 0 0 18 0 3 0 36904991 60096512 3818 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 254204211067 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14214/statm: 14672 3818 387 42 0 8924 0
[pid=14214/tid=14216] ppid=14212 vsize=58688 CPUtime=6.11
/proc/14214/task/14216/stat : 14216 (ornithorynque) R 14212 14214 13705 0 -1 4194368 668 0 0 0 611 0 0 0 25 0 3 0 36905008 60096512 3818 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 254195176103 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14214/tid=14217] ppid=14212 vsize=58688 CPUtime=6.09
/proc/14214/task/14217/stat : 14217 (ornithorynque) R 14212 14214 13705 0 -1 4194368 737 0 0 0 609 0 0 0 25 0 3 0 36905008 60096512 3818 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241771 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 58688

[startup+12.7015 s]
/proc/loadavg: 2.05 2.02 1.93 3/67 14217
/proc/meminfo: memFree=1054120/2055920 swapFree=4192812/4192956
[pid=14214] ppid=14212 vsize=63408 CPUtime=25.16
/proc/14214/stat : 14214 (ornithorynque) S 14212 14214 13705 0 -1 4194304 5267 0 0 0 2513 3 0 0 18 0 3 0 36904991 64929792 4990 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 254204211067 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14214/statm: 15852 4990 387 42 0 10104 0
[pid=14214/tid=14216] ppid=14212 vsize=63408 CPUtime=12.51
/proc/14214/task/14216/stat : 14216 (ornithorynque) R 14212 14214 13705 0 -1 4194368 1168 0 0 0 1250 1 0 0 25 0 3 0 36905008 64929792 4990 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14214/tid=14217] ppid=14212 vsize=63408 CPUtime=12.46
/proc/14214/task/14217/stat : 14217 (ornithorynque) R 14212 14214 13705 0 -1 4194368 1409 0 0 0 1246 0 0 0 25 0 3 0 36905008 64929792 4990 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240899 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 63408

[startup+25.5025 s]
/proc/loadavg: 2.04 2.02 1.93 3/67 14217
/proc/meminfo: memFree=1047272/2055920 swapFree=4192812/4192956
[pid=14214] ppid=14212 vsize=70360 CPUtime=50.69
/proc/14214/stat : 14214 (ornithorynque) S 14212 14214 13705 0 -1 4194304 6976 0 0 0 5064 5 0 0 18 0 3 0 36904991 72048640 6699 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 254204211067 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14214/statm: 17590 6699 387 42 0 11842 0
[pid=14214/tid=14216] ppid=14212 vsize=70360 CPUtime=25.32
/proc/14214/task/14216/stat : 14216 (ornithorynque) R 14212 14214 13705 0 -1 4194368 1941 0 0 0 2529 3 0 0 25 0 3 0 36905008 72048640 6699 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311174 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14214/tid=14217] ppid=14212 vsize=70360 CPUtime=25.2
/proc/14214/task/14217/stat : 14217 (ornithorynque) R 14212 14214 13705 0 -1 4194368 2345 0 0 0 2519 1 0 0 25 0 3 0 36905008 72048640 6699 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 70360

[startup+51.1026 s]
/proc/loadavg: 2.02 2.02 1.93 3/67 14217
/proc/meminfo: memFree=1037736/2055920 swapFree=4192812/4192956
[pid=14214] ppid=14212 vsize=79836 CPUtime=101.79
/proc/14214/stat : 14214 (ornithorynque) S 14212 14214 13705 0 -1 4194304 9357 0 0 0 10172 7 0 0 18 0 3 0 36904991 81752064 9080 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 254204211067 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14214/statm: 19959 9080 387 42 0 14211 0
[pid=14214/tid=14216] ppid=14212 vsize=79836 CPUtime=50.9
/proc/14214/task/14216/stat : 14216 (ornithorynque) R 14212 14214 13705 0 -1 4194368 3142 0 0 0 5086 4 0 0 25 0 3 0 36905008 81752064 9080 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4289517 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14214/tid=14217] ppid=14212 vsize=79836 CPUtime=50.69
/proc/14214/task/14217/stat : 14217 (ornithorynque) R 14212 14214 13705 0 -1 4194368 3525 0 0 0 5068 1 0 0 25 0 3 0 36905008 81752064 9080 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 79836

[startup+102.307 s]
/proc/loadavg: 2.01 2.01 1.93 3/67 14217
/proc/meminfo: memFree=1024680/2055920 swapFree=4192812/4192956
[pid=14214] ppid=14212 vsize=100784 CPUtime=203.95
/proc/14214/stat : 14214 (ornithorynque) S 14212 14214 13705 0 -1 4194304 14145 0 0 0 20384 11 0 0 18 0 3 0 36904991 103202816 13610 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 254204211067 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14214/statm: 25196 13610 387 42 0 19448 0
[pid=14214/tid=14216] ppid=14212 vsize=100784 CPUtime=102.09
/proc/14214/task/14216/stat : 14216 (ornithorynque) R 14212 14214 13705 0 -1 4194368 5080 0 0 0 10202 7 0 0 25 0 3 0 36905008 103202816 13610 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311171 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14214/tid=14217] ppid=14212 vsize=100784 CPUtime=101.67
/proc/14214/task/14217/stat : 14217 (ornithorynque) R 14212 14214 13705 0 -1 4194368 6375 0 0 0 10165 2 0 0 16 0 3 0 36905008 103202816 13610 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4281330 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.95
Current children cumulated vsize (KiB) 100784

[startup+162.302 s]
/proc/loadavg: 2.00 2.01 1.93 3/67 14217
/proc/meminfo: memFree=1008104/2055920 swapFree=4192812/4192956
[pid=14214] ppid=14212 vsize=112976 CPUtime=323.66
/proc/14214/stat : 14214 (ornithorynque) S 14212 14214 13705 0 -1 4194304 16964 0 0 0 32351 15 0 0 18 0 3 0 36904991 115687424 16429 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 254204211067 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14214/statm: 28244 16429 387 42 0 22496 0
[pid=14214/tid=14216] ppid=14212 vsize=112976 CPUtime=162.08
/proc/14214/task/14216/stat : 14216 (ornithorynque) R 14212 14214 13705 0 -1 4194368 6859 0 0 0 16197 11 0 0 25 0 3 0 36905008 115687424 16429 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311432 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14214/tid=14217] ppid=14212 vsize=112976 CPUtime=161.41
/proc/14214/task/14217/stat : 14217 (ornithorynque) R 14212 14214 13705 0 -1 4194368 7415 0 0 0 16138 3 0 0 25 0 3 0 36905008 115687424 16429 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241651 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.66
Current children cumulated vsize (KiB) 112976

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 14217
/proc/meminfo: memFree=991528/2055920 swapFree=4192812/4192956
[pid=14214] ppid=14212 vsize=131200 CPUtime=443.39
/proc/14214/stat : 14214 (ornithorynque) S 14212 14214 13705 0 -1 4194304 21088 0 0 0 44320 19 0 0 18 0 3 0 36904991 134348800 20553 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 254204211067 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14214/statm: 32800 20553 387 42 0 27052 0
[pid=14214/tid=14216] ppid=14212 vsize=131200 CPUtime=222.07
/proc/14214/task/14216/stat : 14216 (ornithorynque) R 14212 14214 13705 0 -1 4194368 8067 0 0 0 22193 14 0 0 25 0 3 0 36905008 134348800 20553 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311171 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14214/tid=14217] ppid=14212 vsize=131200 CPUtime=221.15
/proc/14214/task/14217/stat : 14217 (ornithorynque) R 14212 14214 13705 0 -1 4194368 10331 0 0 0 22111 4 0 0 25 0 3 0 36905008 134348800 20553 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283709 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.39
Current children cumulated vsize (KiB) 131200

[startup+282.303 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 14217
/proc/meminfo: memFree=986088/2055920 swapFree=4192812/4192956
[pid=14214] ppid=14212 vsize=136644 CPUtime=563.12
/proc/14214/stat : 14214 (ornithorynque) S 14212 14214 13705 0 -1 4194304 22533 0 0 0 56291 21 0 0 18 0 3 0 36904991 139923456 21916 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 254204211067 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14214/statm: 34161 21916 387 42 0 28413 0
[pid=14214/tid=14216] ppid=14212 vsize=136644 CPUtime=282.05
/proc/14214/task/14216/stat : 14216 (ornithorynque) R 14212 14214 13705 0 -1 4194368 9512 0 0 0 28189 16 0 0 25 0 3 0 36905008 139923456 21916 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14214/tid=14217] ppid=14212 vsize=136644 CPUtime=280.89
/proc/14214/task/14217/stat : 14217 (ornithorynque) R 14212 14214 13705 0 -1 4194368 10331 0 0 0 28085 4 0 0 25 0 3 0 36905008 139923456 21916 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.12
Current children cumulated vsize (KiB) 136644

[startup+342.303 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 14217
/proc/meminfo: memFree=964392/2055920 swapFree=4192812/4192956
[pid=14214] ppid=14212 vsize=162932 CPUtime=682.86
/proc/14214/stat : 14214 (ornithorynque) S 14212 14214 13705 0 -1 4194304 27997 0 0 0 68260 26 0 0 18 0 3 0 36904991 166842368 27342 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 254204211067 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14214/statm: 40733 27342 387 42 0 34985 0
[pid=14214/tid=14216] ppid=14212 vsize=162932 CPUtime=342.04
/proc/14214/task/14216/stat : 14216 (ornithorynque) R 14212 14214 13705 0 -1 4194368 10761 0 0 0 34185 19 0 0 25 0 3 0 36905008 166842368 27343 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4289062 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14214/tid=14217] ppid=14212 vsize=162932 CPUtime=340.63
/proc/14214/task/14217/stat : 14217 (ornithorynque) R 14212 14214 13705 0 -1 4194368 14547 0 0 0 34058 5 0 0 25 0 3 0 36905008 166842368 27343 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4284385 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.86
Current children cumulated vsize (KiB) 162932

[startup+402.303 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 14217
/proc/meminfo: memFree=959528/2055920 swapFree=4192812/4192956
[pid=14214] ppid=14212 vsize=167028 CPUtime=802.59
/proc/14214/stat : 14214 (ornithorynque) S 14212 14214 13705 0 -1 4194304 29219 0 0 0 80230 29 0 0 18 0 3 0 36904991 171036672 28564 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 254204211067 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14214/statm: 41757 28564 387 42 0 36009 0
[pid=14214/tid=14216] ppid=14212 vsize=167028 CPUtime=402.02
/proc/14214/task/14216/stat : 14216 (ornithorynque) R 14212 14214 13705 0 -1 4194368 11982 0 0 0 40180 22 0 0 25 0 3 0 36905008 171036672 28564 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311279 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14214/tid=14217] ppid=14212 vsize=167028 CPUtime=400.37
/proc/14214/task/14217/stat : 14217 (ornithorynque) R 14212 14214 13705 0 -1 4194368 14547 0 0 0 40032 5 0 0 25 0 3 0 36905008 171036672 28564 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.59
Current children cumulated vsize (KiB) 167028

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 14217
/proc/meminfo: memFree=955432/2055920 swapFree=4192812/4192956
[pid=14214] ppid=14212 vsize=171124 CPUtime=922.3
/proc/14214/stat : 14214 (ornithorynque) S 14212 14214 13705 0 -1 4194304 30217 0 0 0 92200 30 0 0 18 0 3 0 36904991 175230976 29562 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 254204211067 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14214/statm: 42781 29562 387 42 0 37033 0
[pid=14214/tid=14216] ppid=14212 vsize=171124 CPUtime=462.01
/proc/14214/task/14216/stat : 14216 (ornithorynque) R 14212 14214 13705 0 -1 4194368 12980 0 0 0 46178 23 0 0 25 0 3 0 36905008 175230976 29562 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14214/tid=14217] ppid=14212 vsize=171124 CPUtime=460.12
/proc/14214/task/14217/stat : 14217 (ornithorynque) R 14212 14214 13705 0 -1 4194368 14547 0 0 0 46006 6 0 0 25 0 3 0 36905008 175230976 29562 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241190 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.3
Current children cumulated vsize (KiB) 171124

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 14217
/proc/meminfo: memFree=951912/2055920 swapFree=4192812/4192956
[pid=14214] ppid=14212 vsize=175220 CPUtime=1042.04
/proc/14214/stat : 14214 (ornithorynque) S 14212 14214 13705 0 -1 4194304 31107 0 0 0 104172 32 0 0 18 0 3 0 36904991 179425280 30452 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 254204211067 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14214/statm: 43805 30452 387 42 0 38057 0
[pid=14214/tid=14216] ppid=14212 vsize=175220 CPUtime=521.99
/proc/14214/task/14216/stat : 14216 (ornithorynque) R 14212 14214 13705 0 -1 4194368 13870 0 0 0 52174 25 0 0 25 0 3 0 36905008 179425280 30452 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311255 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14214/tid=14217] ppid=14212 vsize=175220 CPUtime=519.87
/proc/14214/task/14217/stat : 14217 (ornithorynque) R 14212 14214 13705 0 -1 4194368 14547 0 0 0 51981 6 0 0 25 0 3 0 36905008 179425280 30452 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.04
Current children cumulated vsize (KiB) 175220

[startup+582.303 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 14217
/proc/meminfo: memFree=927464/2055920 swapFree=4192812/4192956
[pid=14214] ppid=14212 vsize=205528 CPUtime=1161.77
/proc/14214/stat : 14214 (ornithorynque) S 14212 14214 13705 0 -1 4194304 37493 0 0 0 116140 37 0 0 18 0 3 0 36904991 210460672 36541 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 254204211067 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14214/statm: 51382 36541 387 42 0 45634 0
[pid=14214/tid=14216] ppid=14212 vsize=205528 CPUtime=581.98
/proc/14214/task/14216/stat : 14216 (ornithorynque) R 14212 14214 13705 0 -1 4194368 14867 0 0 0 58171 27 0 0 25 0 3 0 36905008 210460672 36541 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311371 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14214/tid=14217] ppid=14212 vsize=205528 CPUtime=579.61
/proc/14214/task/14217/stat : 14217 (ornithorynque) R 14212 14214 13705 0 -1 4194368 19936 0 0 0 57952 9 0 0 25 0 3 0 36905008 210460672 36541 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.77
Current children cumulated vsize (KiB) 205528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.501 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 14217
/proc/meminfo: memFree=926184/2055920 swapFree=4192812/4192956
[pid=14214] ppid=14212 vsize=206552 CPUtime=1200.09
/proc/14214/stat : 14214 (ornithorynque) S 14212 14214 13705 0 -1 4194304 37795 0 0 0 119971 38 0 0 18 0 3 0 36904991 211509248 36843 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 254204211067 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14214/statm: 51638 36843 387 42 0 45890 0
[pid=14214/tid=14216] ppid=14212 vsize=206552 CPUtime=601.18
/proc/14214/task/14216/stat : 14216 (ornithorynque) R 14212 14214 13705 0 -1 4194368 15169 0 0 0 60090 28 0 0 25 0 3 0 36905008 211509248 36843 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14214/tid=14217] ppid=14212 vsize=206552 CPUtime=598.73
/proc/14214/task/14217/stat : 14217 (ornithorynque) R 14212 14214 13705 0 -1 4194368 19936 0 0 0 59864 9 0 0 25 0 3 0 36905008 211509248 36843 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 206552

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

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

[startup+601.501 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 14217
/proc/meminfo: memFree=926184/2055920 swapFree=4192812/4192956
[pid=14214] ppid=14212 vsize=206552 CPUtime=1200.09
/proc/14214/stat : 14214 (ornithorynque) S 14212 14214 13705 0 -1 4194304 37795 0 0 0 119971 38 0 0 18 0 3 0 36904991 211509248 36843 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 254204211067 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14214/statm: 51638 36843 387 42 0 45890 0
[pid=14214/tid=14216] ppid=14212 vsize=206552 CPUtime=601.18
/proc/14214/task/14216/stat : 14216 (ornithorynque) R 14212 14214 13705 0 -1 4194368 15169 0 0 0 60090 28 0 0 25 0 3 0 36905008 211509248 36843 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14214/tid=14217] ppid=14212 vsize=206552 CPUtime=598.73
/proc/14214/task/14217/stat : 14217 (ornithorynque) R 14212 14214 13705 0 -1 4194368 19936 0 0 0 59864 9 0 0 25 0 3 0 36905008 211509248 36843 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 206552

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.536
CPU time (s): 1200.13
CPU user time (s): 1199.72
CPU system time (s): 0.404938
CPU usage (%): 199.511
Max. virtual memory (cumulated for all children) (KiB): 206552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.72
system time used= 0.404938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37797
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= 38
involuntary context switches= 9296

runsolver used 0.568913 second user time and 1.65175 second system time

The end

Launcher Data (download as text)

Begin job on node34 on Mon Mar  5 15:44:53 UTC 2007

IDJOB= 328260
IDBENCH= 20168
IDSOLVER= 139
FILE ID= node34/328260-1173109493

PBS_JOBID= 4013903

Free space on /tmp= 66280 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  3cf867d82f32e157effef5f545ce2705

RANDOM SEED= 843517897

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node34.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.238
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.238
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:       1073368 kB
Buffers:         42792 kB
Cached:         846372 kB
SwapCached:        140 kB
Active:         332380 kB
Inactive:       572412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1073368 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1000 kB
Writeback:           0 kB
Mapped:          25644 kB
Slab:            63908 kB
Committed_AS:   110204 kB
PageTables:       1396 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= 66280 MiB

End job on node34 on Mon Mar  5 15:54:56 UTC 2007