Trace number 330865

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.11 601.862

General information on the benchmark

Nameindustrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq1.cnf
MD5SUM9158de01004aff62af67cbb9db5bcbbb
Bench CategoryINDUST (industrial instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark102.144
Satisfiable
(Un)Satisfiability was proved
Number of variables24604
Number of clauses261473
Sum of the clauses size744579
Maximum clause length73
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2238933
Number of clauses of size 36442
Number of clauses of size 41972
Number of clauses of size 52972
Number of clauses of size over 511153

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.59/0.63	c ...done
0.59/0.63	c nbVar=24604 nbClause=261473
0.59/0.68	c nbVar=24604 nbClause=261473
0.69/0.79	c complete search running
0.69/0.79	c local search running
0.79/0.83	c flip 0 nbSat=199320 maxSat=0
4.79/2.88	c nbDecision=10000 #clauses=261551
7.79/4.32	c flip 10000 nbSat=253793 maxSat=254427
9.18/5.09	c nbDecision=20000 #clauses=261672
11.38/6.14	c nbDecision=30000 #clauses=261699
12.57/6.72	c nbDecision=40000 #clauses=261746
13.77/7.37	c nbDecision=50000 #clauses=261774
15.16/8.02	c nbDecision=60000 #clauses=261811
16.57/8.73	c nbDecision=70000 #clauses=261836
17.96/9.41	c nbDecision=80000 #clauses=261856
19.36/10.12	c nbDecision=90000 #clauses=261877
19.95/10.45	c flip 20000 nbSat=255710 maxSat=256140
20.75/10.86	c nbDecision=100000 #clauses=261895
22.35/11.63	c nbDecision=110000 #clauses=261920
23.94/12.45	c nbDecision=120000 #clauses=261982
25.93/13.45	c nbDecision=130000 #clauses=262004
27.93/14.44	c nbDecision=140000 #clauses=262014
29.93/15.41	c nbDecision=150000 #clauses=262024
31.93/16.41	c nbDecision=160000 #clauses=262034
33.72/17.33	c flip 30000 nbSat=256623 maxSat=257183
33.92/17.42	c nbDecision=170000 #clauses=262043
35.91/18.43	c nbDecision=180000 #clauses=262052
37.71/19.36	c nbDecision=190000 #clauses=262066
39.90/20.41	c nbDecision=200000 #clauses=262075
41.90/21.48	c nbDecision=210000 #clauses=262082
43.89/22.43	c nbDecision=220000 #clauses=262110
46.08/23.51	c nbDecision=230000 #clauses=262117
48.07/24.57	c nbDecision=240000 #clauses=262138
49.68/25.37	c flip 40000 nbSat=257287 maxSat=257766
49.87/25.48	c nbDecision=250000 #clauses=262182
51.67/26.37	c nbDecision=260000 #clauses=262208
53.66/27.30	c nbDecision=270000 #clauses=262249
55.46/28.23	c nbDecision=280000 #clauses=262310
57.06/29.09	c nbDecision=290000 #clauses=262343
58.86/29.93	c nbDecision=300000 #clauses=262360
60.46/30.76	c nbDecision=310000 #clauses=262377
62.05/31.59	c nbDecision=320000 #clauses=262395
63.85/32.41	c nbDecision=330000 #clauses=262411
65.84/33.48	c nbDecision=340000 #clauses=262498
66.44/33.76	c flip 50000 nbSat=257938 maxSat=258242
68.03/34.58	c nbDecision=350000 #clauses=262549
70.03/35.53	c nbDecision=360000 #clauses=262608
71.63/36.32	c nbDecision=370000 #clauses=262626
73.22/37.19	c nbDecision=380000 #clauses=262661
75.62/38.38	c nbDecision=390000 #clauses=262671
78.21/39.68	c nbDecision=400000 #clauses=262779
80.80/40.94	c nbDecision=410000 #clauses=262789
82.61/41.88	c flip 60000 nbSat=257948 maxSat=258546
83.20/42.15	c nbDecision=420000 #clauses=262801
85.59/43.32	c nbDecision=430000 #clauses=262814
87.99/44.59	c nbDecision=440000 #clauses=262828
92.18/46.65	c nbDecision=450000 #clauses=262957
95.18/48.17	c nbDecision=460000 #clauses=262967
98.37/49.74	c nbDecision=470000 #clauses=263000
99.97/50.53	c flip 70000 nbSat=258199 maxSat=258868
100.36/50.75	c nbDecision=480000 #clauses=263057
102.17/51.65	c nbDecision=490000 #clauses=263121
103.96/52.57	c nbDecision=500000 #clauses=263296
105.75/53.42	c nbDecision=510000 #clauses=263309
108.75/54.92	c nbDecision=520000 #clauses=263480
110.94/56.08	c nbDecision=530000 #clauses=264020
113.53/57.33	c nbDecision=540000 #clauses=264147
115.73/58.41	c nbDecision=550000 #clauses=264279
117.92/59.59	c nbDecision=560000 #clauses=264314
118.72/59.95	c flip 80000 nbSat=258646 maxSat=259062
120.51/60.90	c nbDecision=570000 #clauses=264361
123.50/62.31	c nbDecision=580000 #clauses=264428
126.30/63.76	c nbDecision=590000 #clauses=264439
129.09/65.11	c nbDecision=600000 #clauses=264451
131.69/66.40	c nbDecision=610000 #clauses=264457
134.08/67.69	c nbDecision=620000 #clauses=264463
136.67/68.98	c nbDecision=630000 #clauses=264482
137.47/69.37	c flip 90000 nbSat=259185 maxSat=259265
139.47/70.33	c nbDecision=640000 #clauses=265209
144.06/72.67	c nbDecision=650000 #clauses=265318
146.25/73.75	c nbDecision=660000 #clauses=265375
151.43/76.35	c nbDecision=670000 #clauses=265814
153.43/77.38	c nbDecision=680000 #clauses=265923
156.02/78.63	c flip 100000 nbSat=258364 maxSat=259427
157.03/79.18	c nbDecision=690000 #clauses=266134
160.41/80.83	c nbDecision=700000 #clauses=266344
165.00/83.18	c nbDecision=710000 #clauses=266895
167.60/84.44	c nbDecision=720000 #clauses=269393
170.59/85.97	c nbDecision=730000 #clauses=269516
174.59/87.98	c flip 110000 nbSat=259036 maxSat=259564
175.78/88.53	c nbDecision=740000 #clauses=269524
180.77/91.08	c nbDecision=750000 #clauses=269531
186.16/93.71	c nbDecision=760000 #clauses=269539
189.35/95.34	c nbDecision=770000 #clauses=269561
192.74/97.01	c nbDecision=780000 #clauses=270913
194.74/98.04	c flip 120000 nbSat=259375 maxSat=259655
194.74/98.08	c nbDecision=790000 #clauses=271021
197.33/99.34	c nbDecision=800000 #clauses=271208
199.33/100.37	c nbDecision=810000 #clauses=271377
201.32/101.38	c nbDecision=820000 #clauses=271392
203.52/102.42	c nbDecision=830000 #clauses=271413
205.52/103.46	c nbDecision=840000 #clauses=271448
207.52/104.48	c nbDecision=850000 #clauses=271462
209.70/105.60	c nbDecision=860000 #clauses=271518
211.90/106.63	c nbDecision=870000 #clauses=271574
213.30/107.35	c flip 130000 nbSat=258682 maxSat=259748
213.90/107.65	c nbDecision=880000 #clauses=271601
216.10/108.72	c nbDecision=890000 #clauses=271695
218.09/109.73	c nbDecision=900000 #clauses=271824
219.89/110.69	c nbDecision=910000 #clauses=271855
222.08/111.76	c nbDecision=920000 #clauses=271948
224.28/112.84	c nbDecision=930000 #clauses=271996
227.26/114.36	c nbDecision=940000 #clauses=272283
229.25/115.35	c nbDecision=950000 #clauses=272306
230.65/116.03	c nbDecision=960000 #clauses=275150
231.85/116.63	c nbDecision=970000 #clauses=278826
232.04/116.73	c flip 140000 nbSat=259278 maxSat=259818
233.04/117.26	c nbDecision=980000 #clauses=282532
235.03/118.24	c nbDecision=990000 #clauses=284192
238.03/119.76	c nbDecision=1000000 #clauses=284671
241.42/121.42	c nbDecision=1010000 #clauses=285532
245.81/123.69	c nbDecision=1020000 #clauses=288523
252.00/126.77	c flip 150000 nbSat=259880 maxSat=259950
256.39/128.91	c nbDecision=1030000 #clauses=291128
263.38/132.45	c nbDecision=1040000 #clauses=294079
267.37/134.44	c nbDecision=1050000 #clauses=297349
270.16/135.81	c flip 160000 nbSat=259907 maxSat=259998
271.36/136.43	c nbDecision=1060000 #clauses=300480
274.95/138.27	c nbDecision=1070000 #clauses=303794
278.55/140.00	c nbDecision=1080000 #clauses=307070
282.15/141.86	c nbDecision=1090000 #clauses=310090
286.53/144.04	c nbDecision=1100000 #clauses=313541
288.93/145.24	c flip 170000 nbSat=260094 maxSat=260094
292.51/147.01	c nbDecision=1110000 #clauses=316534
297.51/149.53	c nbDecision=1120000 #clauses=319638
306.28/153.94	c nbDecision=1130000 #clauses=322595
308.07/154.87	c flip 180000 nbSat=259915 maxSat=260105
314.26/157.99	c nbDecision=1140000 #clauses=328207
325.23/163.49	c nbDecision=1150000 #clauses=333269
328.43/165.07	c flip 190000 nbSat=259719 maxSat=260169
339.60/170.62	c nbDecision=1160000 #clauses=335889
347.78/174.78	c flip 200000 nbSat=260144 maxSat=260213
357.76/179.72	c nbDecision=1170000 #clauses=338907
367.54/184.68	c flip 210000 nbSat=260191 maxSat=260213
371.33/186.56	c nbDecision=1180000 #clauses=340531
382.31/192.01	c nbDecision=1190000 #clauses=343467
388.30/195.07	c flip 220000 nbSat=260054 maxSat=260260
407.84/204.80	c flip 230000 nbSat=260250 maxSat=260276
408.04/204.93	c nbDecision=1200000 #clauses=347980
428.00/214.99	c flip 240000 nbSat=260122 maxSat=260282
437.38/219.69	c nbDecision=1210000 #clauses=352013
447.76/224.80	c flip 250000 nbSat=260103 maxSat=260308
459.73/230.82	c nbDecision=1220000 #clauses=355827
468.11/235.01	c flip 260000 nbSat=259961 maxSat=260336
479.50/240.79	c nbDecision=1230000 #clauses=359712
484.08/243.10	c nbDecision=1240000 #clauses=361342
488.26/245.10	c flip 270000 nbSat=259865 maxSat=260349
489.46/245.76	c nbDecision=1250000 #clauses=364851
492.86/247.41	c nbDecision=1260000 #clauses=365754
496.44/249.28	c nbDecision=1270000 #clauses=367852
501.43/251.80	c nbDecision=1280000 #clauses=370754
505.62/253.85	c nbDecision=1290000 #clauses=372397
509.61/255.83	c flip 280000 nbSat=260310 maxSat=260349
509.81/255.95	c nbDecision=1300000 #clauses=374781
515.19/258.60	c nbDecision=1310000 #clauses=377314
520.79/261.42	c nbDecision=1320000 #clauses=380822
527.78/264.97	c nbDecision=1330000 #clauses=384487
529.97/266.09	c flip 290000 nbSat=258253 maxSat=260365
535.55/268.84	c nbDecision=1340000 #clauses=388281
543.14/272.70	c nbDecision=1350000 #clauses=392361
549.72/275.98	c flip 300000 nbSat=260091 maxSat=260372
551.92/277.08	c nbDecision=1360000 #clauses=395447
556.31/279.20	c nbDecision=1370000 #clauses=395981
559.10/280.63	c nbDecision=1380000 #clauses=396178
562.30/282.22	c nbDecision=1390000 #clauses=396618
567.89/285.01	c nbDecision=1400000 #clauses=398480
569.29/285.72	c flip 310000 nbSat=259830 maxSat=260380
571.68/286.94	c nbDecision=1410000 #clauses=399107
577.26/289.72	c nbDecision=1420000 #clauses=400387
579.86/291.03	c nbDecision=1430000 #clauses=400528
583.64/292.92	c nbDecision=1440000 #clauses=401643
588.02/295.10	c nbDecision=1450000 #clauses=402965
590.22/296.21	c flip 320000 nbSat=259938 maxSat=260380
591.82/297.09	c nbDecision=1460000 #clauses=405126
600.41/301.38	c nbDecision=1470000 #clauses=408126
610.18/306.22	c flip 330000 nbSat=258666 maxSat=260380
610.18/306.24	c nbDecision=1480000 #clauses=411795
628.74/315.53	c nbDecision=1490000 #clauses=414777
631.14/316.72	c flip 340000 nbSat=260186 maxSat=260380
650.91/326.69	c flip 350000 nbSat=260334 maxSat=260380
654.49/328.44	c nbDecision=1500000 #clauses=418725
671.04/336.76	c flip 360000 nbSat=258772 maxSat=260380
674.23/338.31	c nbDecision=1510000 #clauses=422361
690.41/346.43	c flip 370000 nbSat=259656 maxSat=260380
698.38/350.48	c nbDecision=1520000 #clauses=425834
710.95/356.78	c flip 380000 nbSat=260248 maxSat=260415
721.34/361.99	c nbDecision=1530000 #clauses=429863
730.51/366.57	c nbDecision=1540000 #clauses=432188
731.51/367.05	c flip 390000 nbSat=260199 maxSat=260415
740.49/371.59	c nbDecision=1550000 #clauses=435328
746.88/374.70	c nbDecision=1560000 #clauses=437666
752.27/377.41	c flip 400000 nbSat=259075 maxSat=260417
756.06/379.39	c nbDecision=1570000 #clauses=440688
772.40/387.54	c flip 410000 nbSat=260267 maxSat=260422
776.59/389.60	c nbDecision=1580000 #clauses=444215
791.96/397.31	c flip 420000 nbSat=260350 maxSat=260422
792.76/397.78	c nbDecision=1590000 #clauses=448030
807.73/405.27	c nbDecision=1600000 #clauses=451149
809.33/406.01	c flip 430000 nbSat=260266 maxSat=260437
827.49/415.16	c flip 440000 nbSat=260261 maxSat=260437
832.48/417.62	c nbDecision=1610000 #clauses=455520
845.45/424.13	c flip 450000 nbSat=259714 maxSat=260439
855.22/429.00	c nbDecision=1620000 #clauses=459589
863.80/433.34	c flip 460000 nbSat=258982 maxSat=260439
866.99/434.99	c nbDecision=1630000 #clauses=463412
883.15/443.06	c flip 470000 nbSat=260327 maxSat=260439
892.14/447.52	c nbDecision=1640000 #clauses=467484
902.32/452.63	c flip 480000 nbSat=260058 maxSat=260439
910.89/456.90	c nbDecision=1650000 #clauses=471198
922.48/462.73	c flip 490000 nbSat=259843 maxSat=260439
931.04/467.08	c flip 0 nbSat=414104 maxSat=260444
931.44/467.21	c nbDecision=1660000 #clauses=475719
950.99/477.01	c nbDecision=1670000 #clauses=478982
969.15/486.18	c nbDecision=1680000 #clauses=482459
988.51/495.82	c nbDecision=1690000 #clauses=485585
1007.87/505.51	c nbDecision=1700000 #clauses=488881
1033.22/518.21	c nbDecision=1710000 #clauses=492483
1056.35/529.86	c nbDecision=1720000 #clauses=496182
1075.72/539.57	c flip 10000 nbSat=466403 maxSat=466814
1077.91/540.62	c nbDecision=1730000 #clauses=499862
1105.45/554.49	c nbDecision=1740000 #clauses=503576
1126.19/564.85	c nbDecision=1750000 #clauses=506067
1147.94/575.71	c nbDecision=1760000 #clauses=509250
1163.31/583.42	c nbDecision=1770000 #clauses=511175
1185.46/594.54	c nbDecision=1780000 #clauses=513715

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/node61/watcher-330865-1173175486 -o ROOT/results/node61/solver-330865-1173175486 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/330865-1173175486/ornithorynque /tmp/evaluation/330865-1173175486/instance-330865-1173175486.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: 0.99 0.97 0.98 3/64 7161
/proc/meminfo: memFree=1386088/2055920 swapFree=4183424/4192956
[pid=7161] ppid=7159 vsize=23220 CPUtime=0
/proc/7161/stat : 7161 (ornithorynque) R 7159 7161 6854 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 337505597 23777280 263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246403863664 0 0 4096 0 0 0 0 17 1 0 0
/proc/7161/statm: 5805 263 218 42 0 45 0

[startup+0.0942789 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 7161
/proc/meminfo: memFree=1386088/2055920 swapFree=4183424/4192956
[pid=7161] ppid=7159 vsize=26936 CPUtime=0.08
/proc/7161/stat : 7161 (ornithorynque) R 7159 7161 6854 0 -1 4194304 1448 0 0 0 8 0 0 0 18 0 1 0 337505597 27582464 1311 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246406353633 0 0 4096 1088 0 0 0 17 1 0 0
/proc/7161/statm: 6734 1312 377 42 0 986 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26936

[startup+0.101279 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 7161
/proc/meminfo: memFree=1386088/2055920 swapFree=4183424/4192956
[pid=7161] ppid=7159 vsize=27200 CPUtime=0.09
/proc/7161/stat : 7161 (ornithorynque) R 7159 7161 6854 0 -1 4194304 1518 0 0 0 9 0 0 0 18 0 1 0 337505597 27852800 1381 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246406353633 0 0 4096 1088 0 0 0 17 1 0 0
/proc/7161/statm: 6800 1381 377 42 0 1052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27200

[startup+0.301297 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 7161
/proc/meminfo: memFree=1386088/2055920 swapFree=4183424/4192956
[pid=7161] ppid=7159 vsize=34708 CPUtime=0.29
/proc/7161/stat : 7161 (ornithorynque) R 7159 7161 6854 0 -1 4194304 3564 0 0 0 27 2 0 0 19 0 1 0 337505597 35540992 3298 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246406353633 0 0 4096 1088 0 0 0 17 1 0 0
/proc/7161/statm: 8677 3298 377 42 0 2929 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34708

[startup+0.701336 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 7161
/proc/meminfo: memFree=1386088/2055920 swapFree=4183424/4192956
[pid=7161] ppid=7159 vsize=58976 CPUtime=0.69
/proc/7161/stat : 7161 (ornithorynque) R 7159 7161 6854 0 -1 4194304 10314 0 0 0 64 5 0 0 22 0 1 0 337505597 60391424 9275 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246406353633 0 0 4096 1088 0 0 0 17 1 0 0
/proc/7161/statm: 14744 9280 381 42 0 8996 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 58976

[startup+1.50242 s]
/proc/loadavg: 0.99 0.97 0.98 3/67 7164
/proc/meminfo: memFree=1344912/2055920 swapFree=4183424/4192956
[pid=7161] ppid=7159 vsize=85576 CPUtime=2.19
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6854 0 -1 4194304 11931 0 0 0 214 5 0 0 23 0 3 0 337505597 87629824 10636 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 21394 10636 387 42 0 15646 0
[pid=7161/tid=7163] ppid=7159 vsize=85576 CPUtime=0.7
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6854 0 -1 4194368 350 0 0 0 70 0 0 0 25 0 3 0 337505676 87629824 10636 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4313018 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=85576 CPUtime=0.7
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6854 0 -1 4194368 2 0 0 0 70 0 0 0 25 0 3 0 337505676 87629824 10636 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241162 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 85576

[startup+3.10158 s]
/proc/loadavg: 1.07 0.99 0.98 3/67 7164
/proc/meminfo: memFree=1344592/2055920 swapFree=4183424/4192956
[pid=7161] ppid=7159 vsize=85608 CPUtime=5.39
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6854 0 -1 4194304 11938 0 0 0 534 5 0 0 23 0 3 0 337505597 87662592 10643 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 21402 10643 387 42 0 15654 0
[pid=7161/tid=7163] ppid=7159 vsize=85608 CPUtime=2.3
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6854 0 -1 4194368 357 0 0 0 230 0 0 0 25 0 3 0 337505676 87662592 10643 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4259161 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=85608 CPUtime=2.29
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6854 0 -1 4194368 2 0 0 0 229 0 0 0 25 0 3 0 337505676 87662592 10643 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285480 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.39
Current children cumulated vsize (KiB) 85608

[startup+6.30188 s]
/proc/loadavg: 1.07 0.99 0.98 3/67 7164
/proc/meminfo: memFree=1344528/2055920 swapFree=4183424/4192956
[pid=7161] ppid=7159 vsize=85608 CPUtime=11.78
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6854 0 -1 4194304 11943 0 0 0 1172 6 0 0 23 0 3 0 337505597 87662592 10648 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 21402 10648 387 42 0 15654 0
[pid=7161/tid=7163] ppid=7159 vsize=85608 CPUtime=5.5
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6854 0 -1 4194368 362 0 0 0 550 0 0 0 25 0 3 0 337505676 87662592 10648 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=85608 CPUtime=5.48
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6854 0 -1 4194368 2 0 0 0 548 0 0 0 25 0 3 0 337505676 87662592 10648 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.78
Current children cumulated vsize (KiB) 85608

[startup+12.7015 s]
/proc/loadavg: 1.22 1.02 0.99 3/67 7164
/proc/meminfo: memFree=1344472/2055920 swapFree=4183424/4192956
[pid=7161] ppid=7159 vsize=85640 CPUtime=24.54
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6854 0 -1 4194304 11954 0 0 0 2448 6 0 0 23 0 3 0 337505597 87695360 10659 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 21410 10659 387 42 0 15662 0
[pid=7161/tid=7163] ppid=7159 vsize=85640 CPUtime=11.89
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6854 0 -1 4194368 373 0 0 0 1189 0 0 0 25 0 3 0 337505676 87695360 10659 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4259161 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=85640 CPUtime=11.85
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6854 0 -1 4194368 2 0 0 0 1185 0 0 0 25 0 3 0 337505676 87695360 10659 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.54
Current children cumulated vsize (KiB) 85640

[startup+25.5027 s]
/proc/loadavg: 1.34 1.05 1.01 3/67 7164
/proc/meminfo: memFree=1344344/2055920 swapFree=4183424/4192956
[pid=7161] ppid=7159 vsize=87756 CPUtime=50.07
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6854 0 -1 4194304 12478 0 0 0 5001 6 0 0 23 0 3 0 337505597 89862144 10670 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 21939 10670 387 42 0 16191 0
[pid=7161/tid=7163] ppid=7159 vsize=87756 CPUtime=24.69
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6854 0 -1 4194368 897 0 0 0 2469 0 0 0 25 0 3 0 337505676 89862144 10670 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=87756 CPUtime=24.58
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6854 0 -1 4194368 2 0 0 0 2458 0 0 0 25 0 3 0 337505676 89862144 10670 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283786 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.07
Current children cumulated vsize (KiB) 87756

[startup+51.1021 s]
/proc/loadavg: 1.56 1.13 1.03 3/67 7164
/proc/meminfo: memFree=1344216/2055920 swapFree=4183424/4192956
[pid=7161] ppid=7159 vsize=87924 CPUtime=101.16
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6854 0 -1 4194304 12526 0 0 0 10109 7 0 0 23 0 3 0 337505597 90034176 10718 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 21981 10718 387 42 0 16233 0
[pid=7161/tid=7163] ppid=7159 vsize=87924 CPUtime=50.27
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6854 0 -1 4194368 945 0 0 0 5027 0 0 0 25 0 3 0 337505676 90034176 10718 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4313018 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=87924 CPUtime=50.08
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6854 0 -1 4194368 2 0 0 0 5008 0 0 0 25 0 3 0 337505676 90034176 10718 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.16
Current children cumulated vsize (KiB) 87924

[startup+102.306 s]
/proc/loadavg: 1.82 1.27 1.08 3/67 7164
/proc/meminfo: memFree=1341336/2055920 swapFree=4183424/4192956
[pid=7161] ppid=7159 vsize=90660 CPUtime=203.33
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6854 0 -1 4194304 13235 0 0 0 20326 7 0 0 23 0 3 0 337505597 92835840 11427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 22665 11427 387 42 0 16917 0
[pid=7161/tid=7163] ppid=7159 vsize=90660 CPUtime=101.46
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6854 0 -1 4194368 1654 0 0 0 10145 1 0 0 25 0 3 0 337505676 92835840 11427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4313018 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=90660 CPUtime=101.06
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6854 0 -1 4194368 2 0 0 0 10106 0 0 0 25 0 3 0 337505676 92835840 11427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.33
Current children cumulated vsize (KiB) 90660

[startup+162.303 s]
/proc/loadavg: 1.93 1.40 1.14 3/67 7164
/proc/meminfo: memFree=1312152/2055920 swapFree=4183424/4192956
[pid=7161] ppid=7159 vsize=119840 CPUtime=323.03
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6854 0 -1 4194304 20553 0 0 0 32290 13 0 0 23 0 3 0 337505597 122716160 18745 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 29960 18745 387 42 0 24212 0
[pid=7161/tid=7163] ppid=7159 vsize=119840 CPUtime=161.44
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6854 0 -1 4194368 8972 0 0 0 16137 7 0 0 25 0 3 0 337505676 122716160 18745 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=119840 CPUtime=160.79
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6854 0 -1 4194368 2 0 0 0 16079 0 0 0 25 0 3 0 337505676 122716160 18745 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283709 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.03
Current children cumulated vsize (KiB) 119840

[startup+222.302 s]
/proc/loadavg: 1.97 1.51 1.19 3/67 7164
/proc/meminfo: memFree=1301208/2055920 swapFree=4183424/4192956
[pid=7161] ppid=7159 vsize=130556 CPUtime=442.77
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6854 0 -1 4194304 23263 0 0 0 44261 16 0 0 23 0 3 0 337505597 133689344 21455 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 32639 21455 387 42 0 26891 0
[pid=7161/tid=7163] ppid=7159 vsize=130556 CPUtime=221.42
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6854 0 -1 4194368 11682 0 0 0 22133 9 0 0 25 0 3 0 337505676 133689344 21455 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311846 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=130556 CPUtime=220.54
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6854 0 -1 4194368 2 0 0 0 22054 0 0 0 25 0 3 0 337505676 133689344 21455 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241258 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 442.77
Current children cumulated vsize (KiB) 130556

[startup+282.302 s]
/proc/loadavg: 1.99 1.59 1.24 3/67 7164
/proc/meminfo: memFree=1276632/2055920 swapFree=4183424/4192956
[pid=7161] ppid=7159 vsize=154856 CPUtime=562.5
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6854 0 -1 4194304 29442 0 0 0 56229 21 0 0 23 0 3 0 337505597 158572544 27586 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 38714 27586 387 42 0 32966 0
[pid=7161/tid=7163] ppid=7159 vsize=154856 CPUtime=281.41
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6854 0 -1 4194368 17861 0 0 0 28126 15 0 0 25 0 3 0 337505676 158572544 27586 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=154856 CPUtime=280.29
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6854 0 -1 4194368 2 0 0 0 28029 0 0 0 25 0 3 0 337505676 158572544 27586 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283786 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.5
Current children cumulated vsize (KiB) 154856

[startup+342.303 s]
/proc/loadavg: 1.99 1.67 1.28 3/67 7164
/proc/meminfo: memFree=1258904/2055920 swapFree=4183424/4192956
[pid=7161] ppid=7159 vsize=172488 CPUtime=682.22
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6854 0 -1 4194304 33932 0 0 0 68195 27 0 0 23 0 3 0 337505597 176627712 32011 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 43122 32011 387 42 0 37374 0
[pid=7161/tid=7163] ppid=7159 vsize=172488 CPUtime=341.4
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6854 0 -1 4194368 22351 0 0 0 34120 20 0 0 25 0 3 0 337505676 176627712 32011 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4267597 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=172488 CPUtime=340.01
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6854 0 -1 4194368 2 0 0 0 34001 0 0 0 25 0 3 0 337505676 176627712 32011 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.22
Current children cumulated vsize (KiB) 172488

[startup+402.303 s]
/proc/loadavg: 1.99 1.72 1.32 3/67 7164
/proc/meminfo: memFree=1240344/2055920 swapFree=4183424/4192956
[pid=7161] ppid=7159 vsize=190856 CPUtime=801.95
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6854 0 -1 4194304 38603 0 0 0 80163 32 0 0 23 0 3 0 337505597 195436544 36682 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 47714 36682 387 42 0 41966 0
[pid=7161/tid=7163] ppid=7159 vsize=190856 CPUtime=401.38
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6854 0 -1 4194368 27022 0 0 0 40113 25 0 0 25 0 3 0 337505676 195436544 36682 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4254317 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=190856 CPUtime=399.77
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6854 0 -1 4194368 2 0 0 0 39976 1 0 0 25 0 3 0 337505676 195436544 36682 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241151 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 801.95
Current children cumulated vsize (KiB) 190856

[startup+462.302 s]
/proc/loadavg: 1.99 1.77 1.36 3/67 7164
/proc/meminfo: memFree=1222040/2055920 swapFree=4183424/4192956
[pid=7161] ppid=7159 vsize=208856 CPUtime=921.68
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6854 0 -1 4194304 43161 0 0 0 92132 36 0 0 23 0 3 0 337505597 213868544 41240 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 52214 41240 387 42 0 46466 0
[pid=7161/tid=7163] ppid=7159 vsize=208856 CPUtime=461.37
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6854 0 -1 4194368 31580 0 0 0 46108 29 0 0 25 0 3 0 337505676 213868544 41240 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4267683 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=208856 CPUtime=459.51
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6854 0 -1 4194368 2 0 0 0 45950 1 0 0 25 0 3 0 337505676 213868544 41240 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242557 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 921.68
Current children cumulated vsize (KiB) 208856

[startup+522.302 s]
/proc/loadavg: 1.99 1.81 1.40 3/67 7164
/proc/meminfo: memFree=1076248/2055920 swapFree=4183424/4192956
[pid=7161] ppid=7159 vsize=390892 CPUtime=1041.38
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6854 0 -1 4194304 92437 0 0 0 104080 58 0 0 23 0 3 0 337505597 400273408 77670 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 97723 77670 387 42 0 91975 0
[pid=7161/tid=7163] ppid=7159 vsize=390892 CPUtime=521.34
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6854 0 -1 4194368 35441 0 0 0 52102 32 0 0 25 0 3 0 337505676 400273408 77670 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=390892 CPUtime=519.24
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6854 0 -1 4194368 45417 0 0 0 51904 20 0 0 25 0 3 0 337505676 400273408 77670 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241619 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.38
Current children cumulated vsize (KiB) 390892

[startup+582.303 s]
/proc/loadavg: 1.99 1.84 1.43 3/67 7164
/proc/meminfo: memFree=1061912/2055920 swapFree=4183424/4192956
[pid=7161] ppid=7159 vsize=405376 CPUtime=1161.11
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6854 0 -1 4194304 96071 0 0 0 116049 62 0 0 23 0 3 0 337505597 415105024 81205 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 101344 81205 387 42 0 95596 0
[pid=7161/tid=7163] ppid=7159 vsize=405376 CPUtime=581.33
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6854 0 -1 4194368 39075 0 0 0 58097 36 0 0 25 0 3 0 337505676 415105024 81205 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311255 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=405376 CPUtime=578.99
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6854 0 -1 4194368 45417 0 0 0 57879 20 0 0 25 0 3 0 337505676 415105024 81205 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.11
Current children cumulated vsize (KiB) 405376



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.802 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 7164
/proc/meminfo: memFree=1058520/2055920 swapFree=4183424/4192956
[pid=7161] ppid=7159 vsize=408708 CPUtime=1200.04
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6854 0 -1 4194304 96900 0 0 0 119940 64 0 0 23 0 3 0 337505597 418516992 82001 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 102177 82001 387 42 0 96429 0
[pid=7161/tid=7163] ppid=7159 vsize=408708 CPUtime=600.82
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6854 0 -1 4194368 39904 0 0 0 60045 37 0 0 25 0 3 0 337505676 418516992 82001 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4267597 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=408708 CPUtime=598.41
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6854 0 -1 4194368 45417 0 0 0 59821 20 0 0 25 0 3 0 337505676 418516992 82001 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241619 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 408708

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.862
CPU time (s): 1200.11
CPU user time (s): 1199.41
CPU system time (s): 0.690894
CPU usage (%): 199.399
Max. virtual memory (cumulated for all children) (KiB): 408708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.41
system time used= 0.690894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96900
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= 48
involuntary context switches= 9319

runsolver used 0.51992 second user time and 1.70074 second system time

The end

Launcher Data (download as text)

Begin job on node61 on Tue Mar  6 10:04:47 UTC 2007

IDJOB= 330865
IDBENCH= 20573
IDSOLVER= 139
FILE ID= node61/330865-1173175486

PBS_JOBID= 4015259

Free space on /tmp= 66484 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq1.cnf
COMMAND LINE= /tmp/evaluation/330865-1173175486/ornithorynque /tmp/evaluation/330865-1173175486/instance-330865-1173175486.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node61/watcher-330865-1173175486 -o ROOT/results/node61/solver-330865-1173175486 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/330865-1173175486/ornithorynque /tmp/evaluation/330865-1173175486/instance-330865-1173175486.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  9158de01004aff62af67cbb9db5bcbbb

RANDOM SEED= 139305521

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node61.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:       1386560 kB
Buffers:         35328 kB
Cached:         555904 kB
SwapCached:       3496 kB
Active:         161144 kB
Inactive:       439648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1386560 kB
SwapTotal:     4192956 kB
SwapFree:      4183424 kB
Dirty:            5020 kB
Writeback:           0 kB
Mapped:          15592 kB
Slab:            54700 kB
Committed_AS:   888532 kB
PageTables:       1388 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= 66484 MiB

End job on node61 on Tue Mar  6 10:14:51 UTC 2007