Trace number 456752

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
oree 0.1.2 alpha? (TO) 1800.09 1800.06

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_5_80.opb
MD5SUM611c10fb20bc9774d31ac4d0681f384d
Bench CategorySATUNSAT-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark32.1831
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1502
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 80
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31412
Sum of products size (including duplicates)62824
Number of different products15706
Sum of products size31412

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.19/0.26	c ...done
0.19/0.26	c #vars=16706 #constraints=32915 hasObjective=no
0.29/0.32	c res. mode=mod
0.29/0.32	c VSIDS like heuristics
0.29/0.32	c complete search running
0.39/0.50	c restart after 401 decisions
0.49/0.53	c nbDecision=500 #constraints=32922
0.59/0.64	c restart after 801 decisions
0.69/0.72	c nbDecision=1000 #constraints=32924
0.89/0.92	c nbDecision=1500 #constraints=32930
0.89/0.97	c restart after 1601 decisions
1.10/1.14	c nbDecision=2000 #constraints=32938
1.29/1.38	c nbDecision=2500 #constraints=32957
1.59/1.63	c nbDecision=3000 #constraints=32966
1.69/1.72	c restart after 3201 decisions
1.79/1.87	c nbDecision=3500 #constraints=32974
1.99/2.09	c nbDecision=4000 #constraints=32978
2.29/2.32	c nbDecision=4500 #constraints=32985
2.59/2.61	c nbDecision=5000 #constraints=32998
2.79/2.84	c nbDecision=5500 #constraints=33006
3.09/3.18	c nbDecision=6000 #constraints=33026
3.29/3.38	c restart after 6401 decisions
3.39/3.45	c nbDecision=6500 #constraints=33034
3.69/3.70	c nbDecision=7000 #constraints=33040
3.89/3.99	c nbDecision=7500 #constraints=33051
4.29/4.31	c nbDecision=8000 #constraints=33060
4.59/4.62	c nbDecision=8500 #constraints=33072
4.89/4.93	c nbDecision=9000 #constraints=33082
5.19/5.22	c nbDecision=9500 #constraints=33086
5.49/5.58	c nbDecision=10000 #constraints=33099
5.79/5.89	c nbDecision=10500 #constraints=33106
6.19/6.20	c nbDecision=11000 #constraints=33113
6.49/6.53	c nbDecision=11500 #constraints=33122
6.89/6.96	c nbDecision=12000 #constraints=33141
7.29/7.34	c nbDecision=12500 #constraints=33155
7.49/7.53	c restart after 12801 decisions
7.59/7.68	c nbDecision=13000 #constraints=33157
8.09/8.10	c nbDecision=13500 #constraints=33169
8.39/8.47	c nbDecision=14000 #constraints=33180
8.79/8.83	c nbDecision=14500 #constraints=33186
9.19/9.27	c nbDecision=15000 #constraints=33203
9.59/9.67	c nbDecision=15500 #constraints=33212
10.09/10.10	c nbDecision=16000 #constraints=33226
10.49/10.55	c nbDecision=16500 #constraints=33235
10.99/11.01	c nbDecision=17000 #constraints=33244
11.29/11.39	c nbDecision=17500 #constraints=33248
11.80/11.86	c nbDecision=18000 #constraints=33261
12.30/12.33	c nbDecision=18500 #constraints=33270
12.70/12.74	c nbDecision=19000 #constraints=33277
13.20/13.27	c nbDecision=19500 #constraints=33293
13.70/13.75	c nbDecision=20000 #constraints=33306
14.10/14.19	c nbDecision=20500 #constraints=33313
14.69/14.73	c nbDecision=21000 #constraints=33332
15.19/15.29	c nbDecision=21500 #constraints=33346
15.79/15.80	c nbDecision=22000 #constraints=33352
16.29/16.34	c nbDecision=22500 #constraints=33365
16.89/16.94	c nbDecision=23000 #constraints=33374
17.50/17.51	c nbDecision=23500 #constraints=33387
17.99/18.04	c nbDecision=24000 #constraints=33397
18.60/18.68	c nbDecision=24500 #constraints=33416
19.19/19.29	c nbDecision=25000 #constraints=33425
19.89/19.91	c nbDecision=25500 #constraints=33438
19.89/19.98	c restart after 25601 decisions
20.49/20.55	c nbDecision=26000 #constraints=33446
21.09/21.17	c nbDecision=26500 #constraints=33455
21.79/21.82	c nbDecision=27000 #constraints=33470
22.49/22.52	c nbDecision=27500 #constraints=33483
22.99/23.09	c nbDecision=28000 #constraints=33491
23.99/24.00	c nbDecision=28500 #constraints=33513
24.89/24.94	c nbDecision=29000 #constraints=33527
25.79/25.89	c nbDecision=29500 #constraints=33537
26.59/26.66	c nbDecision=30000 #constraints=33545
27.39/27.42	c nbDecision=30500 #constraints=33553
28.09/28.16	c nbDecision=31000 #constraints=33560
28.89/28.98	c nbDecision=31500 #constraints=33567
29.49/29.52	c nbDecision=32000 #constraints=33575
30.09/30.12	c nbDecision=32500 #constraints=33580
30.69/30.73	c nbDecision=33000 #constraints=33587
31.39/31.41	c nbDecision=33500 #constraints=33593
31.99/32.02	c nbDecision=34000 #constraints=33597
32.59/32.62	c nbDecision=34500 #constraints=33602
33.09/33.15	c nbDecision=35000 #constraints=33606
33.69/33.78	c nbDecision=35500 #constraints=33611
34.19/34.27	c nbDecision=36000 #constraints=33614
34.89/34.94	c nbDecision=36500 #constraints=33619
35.39/35.49	c nbDecision=37000 #constraints=33623
35.99/36.05	c nbDecision=37500 #constraints=33637
36.59/36.65	c nbDecision=38000 #constraints=33650
37.39/37.49	c nbDecision=38500 #constraints=33660
38.39/38.42	c nbDecision=39000 #constraints=33664
39.19/39.29	c nbDecision=39500 #constraints=33668
39.99/40.08	c nbDecision=40000 #constraints=33676
40.69/40.79	c nbDecision=40500 #constraints=33680
41.60/41.60	c nbDecision=41000 #constraints=33688
42.30/42.33	c nbDecision=41500 #constraints=33693
43.00/43.03	c nbDecision=42000 #constraints=33702
44.19/44.22	c nbDecision=42500 #constraints=33755
45.19/45.21	c nbDecision=43000 #constraints=33781
46.59/46.64	c nbDecision=43500 #constraints=33816
47.79/47.85	c nbDecision=44000 #constraints=33853
48.99/49.08	c nbDecision=44500 #constraints=33897
50.49/50.59	c nbDecision=45000 #constraints=33954
52.39/52.45	c nbDecision=45500 #constraints=34015
53.99/54.05	c nbDecision=46000 #constraints=34077
56.20/56.28	c nbDecision=46500 #constraints=34134
59.09/59.13	c nbDecision=47000 #constraints=34216
62.29/62.30	c nbDecision=47500 #constraints=34269
65.99/66.01	c nbDecision=48000 #constraints=34333
70.09/70.15	c nbDecision=48500 #constraints=34352
74.80/74.84	c nbDecision=49000 #constraints=34434
80.49/80.51	c nbDecision=49500 #constraints=34569
87.09/87.10	c nbDecision=50000 #constraints=34678
95.50/95.56	c nbDecision=50500 #constraints=34942
106.59/106.69	c nbDecision=51000 #constraints=35216
110.59/110.63	c restart after 51201 decisions
115.99/116.06	c nbDecision=51500 #constraints=35237
121.89/121.94	c nbDecision=52000 #constraints=35267
126.89/126.92	c nbDecision=52500 #constraints=35518
132.40/132.44	c nbDecision=53000 #constraints=35762
139.49/139.54	c nbDecision=53500 #constraints=36006
145.79/145.88	c nbDecision=54000 #constraints=36237
151.70/151.72	c nbDecision=54500 #constraints=36468
158.69/158.72	c nbDecision=55000 #constraints=36701
163.80/163.87	c nbDecision=55500 #constraints=36737
166.00/166.08	c nbDecision=56000 #constraints=36761
168.30/168.31	c nbDecision=56500 #constraints=36785
171.29/171.30	c nbDecision=57000 #constraints=36819
175.19/175.28	c nbDecision=57500 #constraints=36838
180.49/180.53	c nbDecision=58000 #constraints=36851
188.19/188.27	c nbDecision=58500 #constraints=36872
195.99/196.02	c nbDecision=59000 #constraints=36883
205.59/205.62	c nbDecision=59500 #constraints=36897
214.19/214.29	c nbDecision=60000 #constraints=36906
223.70/223.74	c nbDecision=60500 #constraints=36916
233.80/233.81	c nbDecision=61000 #constraints=36927
243.10/243.10	c nbDecision=61500 #constraints=36937
253.20/253.20	c nbDecision=62000 #constraints=36947
263.30/263.33	c nbDecision=62500 #constraints=36957
273.80/273.84	c nbDecision=63000 #constraints=36967
284.90/284.93	c nbDecision=63500 #constraints=36977
294.90/294.90	c nbDecision=64000 #constraints=36984
305.20/305.22	c nbDecision=64500 #constraints=36993
315.80/315.83	c nbDecision=65000 #constraints=37001
325.20/325.22	c nbDecision=65500 #constraints=37008
332.30/332.30	c nbDecision=66000 #constraints=37026
337.20/337.22	c nbDecision=66500 #constraints=37039
343.69/343.77	c nbDecision=67000 #constraints=37050
350.49/350.58	c nbDecision=67500 #constraints=37061
356.99/357.09	c nbDecision=68000 #constraints=37073
363.89/364.00	c nbDecision=68500 #constraints=37084
371.39/371.40	c nbDecision=69000 #constraints=37093
379.30/379.33	c nbDecision=69500 #constraints=37103
385.70/385.72	c nbDecision=70000 #constraints=37115
392.90/392.97	c nbDecision=70500 #constraints=37127
401.60/401.65	c nbDecision=71000 #constraints=37143
411.80/411.88	c nbDecision=71500 #constraints=37244
425.10/425.16	c nbDecision=72000 #constraints=37393
442.40/442.48	c nbDecision=72500 #constraints=37556
469.71/469.70	c nbDecision=73000 #constraints=37801
498.40/498.49	c nbDecision=73500 #constraints=37977
518.60/518.61	c nbDecision=74000 #constraints=37992
532.40/532.41	c nbDecision=74500 #constraints=38015
542.80/542.85	c nbDecision=75000 #constraints=38035
550.40/550.46	c nbDecision=75500 #constraints=38047
558.90/558.99	c nbDecision=76000 #constraints=38057
566.20/566.21	c nbDecision=76500 #constraints=38067
573.10/573.14	c nbDecision=77000 #constraints=38080
578.60/578.61	c nbDecision=77500 #constraints=38092
585.41/585.48	c nbDecision=78000 #constraints=38116
594.70/594.79	c nbDecision=78500 #constraints=38156
606.50/606.53	c nbDecision=79000 #constraints=38254
623.99/624.08	c nbDecision=79500 #constraints=38314
639.90/639.97	c nbDecision=80000 #constraints=38355
653.50/653.58	c nbDecision=80500 #constraints=38377
669.20/669.22	c nbDecision=81000 #constraints=38452
691.80/691.83	c nbDecision=81500 #constraints=38674
717.80/717.84	c nbDecision=82000 #constraints=39008
739.80/739.80	c nbDecision=82500 #constraints=39274
742.70/742.73	c nbDecision=83000 #constraints=39298
747.30/747.36	c nbDecision=83500 #constraints=39338
756.30/756.36	c nbDecision=84000 #constraints=39384
764.00/764.05	c nbDecision=84500 #constraints=39453
771.40/771.42	c nbDecision=85000 #constraints=39480
783.81/783.86	c nbDecision=85500 #constraints=39498
798.01/798.07	c nbDecision=86000 #constraints=39513
810.40/810.45	c nbDecision=86500 #constraints=39525
824.70/824.70	c nbDecision=87000 #constraints=39539
837.90/837.92	c nbDecision=87500 #constraints=39555
850.60/850.65	c nbDecision=88000 #constraints=39568
864.70/864.73	c nbDecision=88500 #constraints=39580
878.00/878.09	c nbDecision=89000 #constraints=39591
892.10/892.18	c nbDecision=89500 #constraints=39602
903.50/903.59	c nbDecision=90000 #constraints=39619
916.90/916.93	c nbDecision=90500 #constraints=39649
939.60/939.63	c nbDecision=91000 #constraints=39786
973.30/973.33	c nbDecision=91500 #constraints=39984
1027.51/1027.56	c nbDecision=92000 #constraints=40365
1054.01/1054.07	c nbDecision=92500 #constraints=40474
1060.21/1060.23	c nbDecision=93000 #constraints=40497
1074.20/1074.25	c nbDecision=93500 #constraints=40548
1092.91/1092.95	c nbDecision=94000 #constraints=40631
1110.41/1110.46	c nbDecision=94500 #constraints=40663
1114.80/1114.81	c nbDecision=95000 #constraints=40726
1120.30/1120.31	c nbDecision=95500 #constraints=40757
1127.00/1127.02	c nbDecision=96000 #constraints=40768
1135.70/1135.74	c nbDecision=96500 #constraints=40775
1144.20/1144.28	c nbDecision=97000 #constraints=40784
1152.50/1152.54	c nbDecision=97500 #constraints=40789
1160.60/1160.63	c nbDecision=98000 #constraints=40801
1169.61/1169.63	c nbDecision=98500 #constraints=40808
1178.01/1178.01	c nbDecision=99000 #constraints=40816
1186.31/1186.37	c nbDecision=99500 #constraints=40823
1195.51/1195.50	c nbDecision=100000 #constraints=40830
1205.81/1205.89	c nbDecision=100500 #constraints=40837
1215.41/1215.50	c nbDecision=101000 #constraints=40843
1226.91/1226.99	c nbDecision=101500 #constraints=40849
1238.11/1238.14	c nbDecision=102000 #constraints=40854
1246.31/1246.33	c restart after 102401 decisions
1248.51/1248.52	c nbDecision=102500 #constraints=40859
1258.81/1258.84	c nbDecision=103000 #constraints=40866
1267.91/1267.90	c nbDecision=103500 #constraints=40872
1275.91/1275.91	c nbDecision=104000 #constraints=40885
1284.91/1284.99	c nbDecision=104500 #constraints=40914
1295.31/1295.37	c nbDecision=105000 #constraints=40932
1310.22/1310.24	c nbDecision=105500 #constraints=40963
1324.52/1324.59	c nbDecision=106000 #constraints=40997
1337.01/1337.04	c nbDecision=106500 #constraints=41046
1354.11/1354.13	c nbDecision=107000 #constraints=41107
1371.51/1371.50	c nbDecision=107500 #constraints=41149
1391.11/1391.14	c nbDecision=108000 #constraints=41214
1413.71/1413.77	c nbDecision=108500 #constraints=41278
1440.32/1440.34	c nbDecision=109000 #constraints=41341
1467.01/1467.08	c nbDecision=109500 #constraints=41395
1496.71/1496.77	c nbDecision=110000 #constraints=41483
1521.61/1521.66	c nbDecision=110500 #constraints=41500
1556.52/1556.55	c nbDecision=111000 #constraints=41642
1596.02/1596.08	c nbDecision=111500 #constraints=41786
1646.41/1646.41	c nbDecision=112000 #constraints=42107
1682.42/1682.42	c nbDecision=112500 #constraints=42317
1688.22/1688.29	c nbDecision=113000 #constraints=42338
1698.12/1698.14	c nbDecision=113500 #constraints=42414
1722.21/1722.21	c nbDecision=114000 #constraints=42442
1748.71/1748.79	c nbDecision=114500 #constraints=42465
1773.51/1773.51	c nbDecision=115000 #constraints=42478
1799.72/1799.77	c nbDecision=115500 #constraints=42491
1800.03/1800.00	Received signal 15
1800.03/1800.00	
1800.03/1800.00	s UNKNOWN
1800.03/1800.00	
1800.03/1800.00	c user time= 1799.69 s
1800.03/1800.00	c system time= 0.351946 s
1800.03/1800.00	c wall clock time=1800.01

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/456752-1178363185/instance-456752-1178363185.opb
mv /tmp/evaluation/456752-1178363185/instance-456752-1178363185.opb.tmp /tmp/evaluation/456752-1178363185/instance-456752-1178363185.opb

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node16/watcher-456752-1178363185 -o ROOT/results/node16/solver-456752-1178363185 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/456752-1178363185/instance-456752-1178363185.opb mod 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 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.92 0.97 0.82 3/77 19800
/proc/meminfo: memFree=1841144/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=1468 CPUtime=0
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 185 0 0 0 0 0 0 0 18 0 1 0 284236144 1503232 168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134709525 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 367 168 131 317 0 46 0

[startup+0.093596 s]
/proc/loadavg: 0.92 0.97 0.82 3/77 19800
/proc/meminfo: memFree=1841144/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=3052 CPUtime=0.08
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 584 0 0 0 8 0 0 0 18 0 1 0 284236144 3125248 567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 763 568 131 317 0 442 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3052

[startup+0.101593 s]
/proc/loadavg: 0.92 0.97 0.82 3/77 19800
/proc/meminfo: memFree=1841144/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=3324 CPUtime=0.09
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 626 0 0 0 9 0 0 0 18 0 1 0 284236144 3403776 609 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278905 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 831 609 131 317 0 510 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3324

[startup+0.301552 s]
/proc/loadavg: 0.92 0.97 0.82 3/77 19800
/proc/meminfo: memFree=1841144/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=14044 CPUtime=0.29
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 3326 0 0 0 28 1 0 0 19 0 1 0 284236144 14381056 3276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 3511 3276 137 317 0 3190 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14044

[startup+0.701467 s]
/proc/loadavg: 0.92 0.97 0.82 3/77 19800
/proc/meminfo: memFree=1841144/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=16264 CPUtime=0.69
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 3894 0 0 0 67 2 0 0 23 0 1 0 284236144 16654336 3618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 4066 3618 139 317 0 3745 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16264

[startup+1.5013 s]
/proc/loadavg: 0.92 0.97 0.82 2/78 19801
/proc/meminfo: memFree=1826992/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=16264 CPUtime=1.49
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 3894 0 0 0 147 2 0 0 25 0 1 0 284236144 16654336 3618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 4066 3618 139 317 0 3745 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16264

[startup+3.10196 s]
/proc/loadavg: 0.93 0.97 0.82 2/78 19801
/proc/meminfo: memFree=1826800/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=16932 CPUtime=3.09
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 4053 0 0 0 307 2 0 0 25 0 1 0 284236144 17338368 3777 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 4233 3777 139 317 0 3912 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16932

[startup+6.30129 s]
/proc/loadavg: 0.93 0.97 0.82 2/78 19801
/proc/meminfo: memFree=1824880/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=18676 CPUtime=6.29
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 4500 0 0 0 627 2 0 0 25 0 1 0 284236144 19124224 4224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 4669 4224 139 317 0 4348 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18676

[startup+12.7019 s]
/proc/loadavg: 0.94 0.97 0.82 2/78 19801
/proc/meminfo: memFree=1821680/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=21744 CPUtime=12.7
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 5269 0 0 0 1267 3 0 0 25 0 1 0 284236144 22265856 4993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 5436 4993 139 317 0 5115 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 21744

[startup+25.5013 s]
/proc/loadavg: 0.95 0.97 0.82 2/78 19801
/proc/meminfo: memFree=1818224/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=24956 CPUtime=25.49
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 6074 0 0 0 2546 3 0 0 25 0 1 0 284236144 25554944 5798 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 6239 5798 139 317 0 5918 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24956

[startup+51.1019 s]
/proc/loadavg: 0.96 0.97 0.82 2/78 19801
/proc/meminfo: memFree=1812016/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=31248 CPUtime=51.09
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 7655 0 0 0 5105 4 0 0 25 0 1 0 284236144 31997952 7379 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 7812 7379 139 317 0 7491 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 31248

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.83 2/78 19801
/proc/meminfo: memFree=1787632/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=55456 CPUtime=102.29
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 13689 0 0 0 10222 7 0 0 25 0 1 0 284236144 56786944 13413 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 13864 13413 139 317 0 13543 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 55456

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.83 2/78 19801
/proc/meminfo: memFree=1749424/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=95560 CPUtime=162.29
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 23205 0 0 0 16217 12 0 0 25 0 1 0 284236144 97853440 22929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 23890 22929 139 317 0 23569 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 95560

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.84 2/78 19801
/proc/meminfo: memFree=1749232/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=95692 CPUtime=222.3
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 23253 0 0 0 22217 13 0 0 25 0 1 0 284236144 97988608 22977 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712543 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 23923 22977 139 317 0 23602 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 95692

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.85 2/78 19801
/proc/meminfo: memFree=1749168/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=95692 CPUtime=282.3
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 23253 0 0 0 28217 13 0 0 25 0 1 0 284236144 97988608 22977 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 23923 22977 139 317 0 23602 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 95692

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.85 2/78 19801
/proc/meminfo: memFree=1749104/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=95828 CPUtime=342.29
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 23275 0 0 0 34216 13 0 0 25 0 1 0 284236144 98127872 22999 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 23957 22999 139 317 0 23636 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 95828

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.86 2/78 19801
/proc/meminfo: memFree=1749104/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=95828 CPUtime=402.3
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 23292 0 0 0 40216 14 0 0 25 0 1 0 284236144 98127872 23016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 23957 23016 139 317 0 23636 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 95828

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.86 2/78 19801
/proc/meminfo: memFree=1737648/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=106372 CPUtime=462.3
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 26174 0 0 0 46214 16 0 0 25 0 1 0 284236144 108924928 25898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 26593 25898 139 317 0 26272 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 106372

[startup+522.302 s]
/proc/loadavg: 1.04 0.99 0.87 2/78 19801
/proc/meminfo: memFree=1732784/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=110952 CPUtime=522.3
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 27357 0 0 0 52214 16 0 0 25 0 1 0 284236144 113614848 27081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 27738 27081 139 317 0 27417 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 110952

[startup+582.301 s]
/proc/loadavg: 1.01 0.99 0.88 2/78 19801
/proc/meminfo: memFree=1732528/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=111232 CPUtime=582.31
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 27441 0 0 0 58214 17 0 0 25 0 1 0 284236144 113901568 27165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 27808 27165 139 317 0 27487 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 111232

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.89 2/78 19801
/proc/meminfo: memFree=1726000/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=121224 CPUtime=642.31
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 29067 0 0 0 64213 18 0 0 25 0 1 0 284236144 124133376 28791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 30306 28791 139 317 0 29985 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 121224


################
# More data... #
################

[startup+822.302 s]
/proc/loadavg: 1.00 0.99 0.90 3/78 19801
/proc/meminfo: memFree=1705584/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=143632 CPUtime=822.3
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 34136 0 0 0 82209 21 0 0 25 0 1 0 284236144 147079168 33860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 35908 33860 139 317 0 35587 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 143632

[startup+882.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 19801
/proc/meminfo: memFree=1705584/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=143632 CPUtime=882.3
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 34136 0 0 0 88209 21 0 0 25 0 1 0 284236144 147079168 33860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 35908 33860 139 317 0 35587 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 143632

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 19801
/proc/meminfo: memFree=1701872/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=147700 CPUtime=942.31
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 35115 0 0 0 94208 23 0 0 25 0 1 0 284236144 151244800 34839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 36925 34839 139 317 0 36604 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 147700

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 19801
/proc/meminfo: memFree=1694832/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=154992 CPUtime=1002.3
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 36852 0 0 0 100206 24 0 0 25 0 1 0 284236144 158711808 36576 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 38748 36576 139 317 0 38427 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 154992

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 19801
/proc/meminfo: memFree=1688176/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=161112 CPUtime=1062.3
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 38529 0 0 0 106205 25 0 0 25 0 1 0 284236144 164978688 38253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 40278 38253 139 317 0 39957 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 161112

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 19801
/proc/meminfo: memFree=1683440/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=165684 CPUtime=1122.3
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 39690 0 0 0 112204 26 0 0 25 0 1 0 284236144 169660416 39414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 41421 39414 139 317 0 41100 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 165684

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 19801
/proc/meminfo: memFree=1683504/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=165684 CPUtime=1182.31
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 39690 0 0 0 118204 27 0 0 25 0 1 0 284236144 169660416 39414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 41421 39414 139 317 0 41100 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 165684

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 19801
/proc/meminfo: memFree=1683440/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=165684 CPUtime=1242.31
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 39690 0 0 0 124204 27 0 0 25 0 1 0 284236144 169660416 39414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 41421 39414 139 317 0 41100 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 165684

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 19801
/proc/meminfo: memFree=1682544/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=166648 CPUtime=1302.32
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 39906 0 0 0 130204 28 0 0 25 0 1 0 284236144 170647552 39630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 41662 39630 139 317 0 41341 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 166648

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 19801
/proc/meminfo: memFree=1679600/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=169556 CPUtime=1362.31
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 40633 0 0 0 136202 29 0 0 25 0 1 0 284236144 173625344 40357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 42389 40357 139 317 0 42068 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 169556

[startup+1422.31 s]
/proc/loadavg: 1.05 1.00 0.91 2/78 19801
/proc/meminfo: memFree=1676208/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=172436 CPUtime=1422.31
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 41504 0 0 0 142202 29 0 0 25 0 1 0 284236144 176574464 41228 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 43109 41228 139 317 0 42788 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 172436

[startup+1482.3 s]
/proc/loadavg: 1.05 1.01 0.92 2/78 19801
/proc/meminfo: memFree=1674416/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=174372 CPUtime=1482.31
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 41990 0 0 0 148201 30 0 0 25 0 1 0 284236144 178556928 41714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 43593 41714 139 317 0 43272 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 174372

[startup+1542.3 s]
/proc/loadavg: 1.02 1.01 0.92 2/78 19801
/proc/meminfo: memFree=1672496/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=176224 CPUtime=1542.31
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 42441 0 0 0 154200 31 0 0 25 0 1 0 284236144 180453376 42165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 44056 42165 139 317 0 43735 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 176224

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 19801
/proc/meminfo: memFree=1668208/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=180232 CPUtime=1602.31
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 43488 0 0 0 160199 32 0 0 25 0 1 0 284236144 184557568 43212 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 45058 43212 139 317 0 44737 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 180232

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 19801
/proc/meminfo: memFree=1658864/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=189064 CPUtime=1662.31
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 45843 0 0 0 166198 33 0 0 25 0 1 0 284236144 193601536 45567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 47266 45567 139 317 0 46945 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 189064

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 19803
/proc/meminfo: memFree=1656112/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=191672 CPUtime=1722.31
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 46522 0 0 0 172197 34 0 0 25 0 1 0 284236144 196272128 46246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 47918 46246 139 317 0 47597 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 191672

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 19803
/proc/meminfo: memFree=1656048/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=191672 CPUtime=1782.32
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 46523 0 0 0 178197 35 0 0 25 0 1 0 284236144 196272128 46247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 47918 46247 139 317 0 47597 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 191672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 19803
/proc/meminfo: memFree=1656048/2055920 swapFree=4148600/4192956
[pid=19800] ppid=19798 vsize=191672 CPUtime=1800.03
/proc/19800/stat : 19800 (oree) R 19798 19800 19483 0 -1 4194304 46523 0 0 0 179968 35 0 0 25 0 1 0 284236144 196272128 46247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19800/statm: 47918 46247 139 317 0 47597 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 191672

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

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

Child status: 0
Real time (s): 1800.06
CPU time (s): 1800.09
CPU user time (s): 1799.7
CPU system time (s): 0.383941
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 191672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.7
system time used= 0.383941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46539
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= 8
involuntary context switches= 36507

runsolver used 1.56776 second user time and 4.32334 second system time

The end

Launcher Data (download as text)

Begin job on node16 on Sat May  5 11:06:25 UTC 2007

IDJOB= 456752
IDBENCH= 48295
IDSOLVER= 172
FILE ID= node16/456752-1178363185

PBS_JOBID= 5188988

Free space on /tmp= 66563 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_25_5_80.opb
COMMAND LINE= oree /tmp/evaluation/456752-1178363185/instance-456752-1178363185.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node16/convwatcher-456752-1178363185 -o ROOT/results/node16/conversion-456752-1178363185 -C 600 -M 1800 /tmp/evaluation/456752-1178363185/substituteSizeProductKeyword /tmp/evaluation/456752-1178363185/instance-456752-1178363185.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node16/watcher-456752-1178363185 -o ROOT/results/node16/solver-456752-1178363185 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/456752-1178363185/instance-456752-1178363185.opb mod           

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  611c10fb20bc9774d31ac4d0681f384d

RANDOM SEED= 90834508

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node16.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.232
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.232
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:       1841616 kB
Buffers:         37472 kB
Cached:         105308 kB
SwapCached:      12192 kB
Active:         110816 kB
Inactive:        55164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1841616 kB
SwapTotal:     4192956 kB
SwapFree:      4148600 kB
Dirty:            1828 kB
Writeback:           0 kB
Mapped:          30128 kB
Slab:            33916 kB
Committed_AS: 14126968 kB
PageTables:       1836 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= 66563 MiB

End job on node16 on Sat May  5 11:36:27 UTC 2007