Trace number 419101

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.19 1800.72

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/
industrial/crypto/mizh-md5-47-4.opb
MD5SUMc16e7463d11f4638ce6cdba1e0ba4912
Bench CategoryPURE-SAT (instances containing only clauses)
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 benchmark555.351
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables65604
Total number of constraints273506
Number of constraints which are clauses273506
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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...
2.49/2.56	c ...done
2.49/2.56	c #vars=65604 #constraints=273506 hasObjective=no
2.79/2.89	c res. mode=mod
2.79/2.89	c VSIDS like heuristics
2.79/2.89	c complete search running
3.29/3.32	c restart after 401 decisions
3.38/3.45	c nbDecision=500 #constraints=273506
3.68/3.73	c restart after 801 decisions
3.88/3.95	c nbDecision=1000 #constraints=273506
6.88/6.91	c nbDecision=1500 #constraints=273619
7.78/7.81	c restart after 1601 decisions
8.88/8.90	c nbDecision=2000 #constraints=273688
10.08/10.11	c nbDecision=2500 #constraints=273723
10.78/10.80	c nbDecision=3000 #constraints=273732
11.18/11.29	c restart after 3201 decisions
11.98/12.04	c nbDecision=3500 #constraints=273766
13.67/13.76	c nbDecision=4000 #constraints=273824
14.67/14.78	c nbDecision=4500 #constraints=273847
16.67/16.77	c nbDecision=5000 #constraints=273916
17.58/17.66	c nbDecision=5500 #constraints=273933
18.57/18.66	c nbDecision=6000 #constraints=273958
19.87/19.91	c restart after 6401 decisions
19.97/20.05	c nbDecision=6500 #constraints=274002
21.47/21.52	c nbDecision=7000 #constraints=274047
24.98/25.00	c nbDecision=7500 #constraints=274185
28.37/28.43	c nbDecision=8000 #constraints=274320
33.07/33.17	c nbDecision=8500 #constraints=274518
36.27/36.35	c nbDecision=9000 #constraints=274641
39.57/39.67	c nbDecision=9500 #constraints=274767
41.77/41.80	c nbDecision=10000 #constraints=274840
43.56/43.68	c nbDecision=10500 #constraints=274902
44.97/45.03	c nbDecision=11000 #constraints=274939
46.96/47.01	c nbDecision=11500 #constraints=275008
52.06/52.11	c nbDecision=12000 #constraints=275222
56.96/57.08	c nbDecision=12500 #constraints=275418
58.26/58.39	c restart after 12801 decisions
58.76/58.85	c nbDecision=13000 #constraints=275473
60.36/60.49	c nbDecision=13500 #constraints=275523
62.35/62.48	c nbDecision=14000 #constraints=275589
65.45/65.54	c nbDecision=14500 #constraints=275706
67.95/68.01	c nbDecision=15000 #constraints=275793
69.95/70.00	c nbDecision=15500 #constraints=275858
78.35/78.42	c nbDecision=16000 #constraints=276216
85.45/85.58	c nbDecision=16500 #constraints=276506
87.45/87.57	c nbDecision=17000 #constraints=276571
89.15/89.23	c nbDecision=17500 #constraints=276622
90.25/90.30	c nbDecision=18000 #constraints=276645
92.05/92.15	c nbDecision=18500 #constraints=276713
93.14/93.26	c nbDecision=19000 #constraints=276748
94.64/94.73	c nbDecision=19500 #constraints=276801
96.54/96.69	c nbDecision=20000 #constraints=276871
98.24/98.39	c nbDecision=20500 #constraints=276924
99.44/99.53	c nbDecision=21000 #constraints=276951
100.84/100.96	c nbDecision=21500 #constraints=276992
102.64/102.76	c nbDecision=22000 #constraints=277051
104.24/104.36	c nbDecision=22500 #constraints=277100
105.94/106.04	c nbDecision=23000 #constraints=277154
106.74/106.85	c nbDecision=23500 #constraints=277167
110.24/110.32	c nbDecision=24000 #constraints=277300
111.54/111.65	c nbDecision=24500 #constraints=277334
112.94/113.02	c nbDecision=25000 #constraints=277373
114.54/114.65	c nbDecision=25500 #constraints=277426
115.84/115.98	c restart after 25601 decisions
117.34/117.43	c nbDecision=26000 #constraints=277531
119.63/119.80	c nbDecision=26500 #constraints=277610
121.73/121.86	c nbDecision=27000 #constraints=277674
124.24/124.32	c nbDecision=27500 #constraints=277759
125.93/126.00	c nbDecision=28000 #constraints=277809
128.43/128.52	c nbDecision=28500 #constraints=277895
130.03/130.10	c nbDecision=29000 #constraints=277938
136.53/136.69	c nbDecision=29500 #constraints=278199
139.23/139.39	c nbDecision=30000 #constraints=278296
140.53/140.63	c nbDecision=30500 #constraints=278326
141.93/142.09	c nbDecision=31000 #constraints=278366
143.63/143.76	c nbDecision=31500 #constraints=278416
146.93/147.02	c nbDecision=32000 #constraints=278537
148.93/149.05	c nbDecision=32500 #constraints=278601
150.83/150.92	c nbDecision=33000 #constraints=278679
152.93/153.03	c nbDecision=33500 #constraints=278763
154.43/154.53	c nbDecision=34000 #constraints=278807
156.53/156.68	c nbDecision=34500 #constraints=278880
157.53/157.61	c nbDecision=35000 #constraints=278897
162.23/162.37	c nbDecision=35500 #constraints=279090
163.23/163.39	c nbDecision=36000 #constraints=279111
166.93/167.08	c nbDecision=36500 #constraints=279251
168.93/169.06	c nbDecision=37000 #constraints=279315
169.93/170.08	c nbDecision=37500 #constraints=279336
171.83/171.96	c nbDecision=38000 #constraints=279392
173.73/173.83	c nbDecision=38500 #constraints=279450
175.13/175.27	c nbDecision=39000 #constraints=279487
176.83/176.94	c nbDecision=39500 #constraints=279538
179.02/179.19	c nbDecision=40000 #constraints=279614
180.33/180.49	c nbDecision=40500 #constraints=279644
185.72/185.84	c nbDecision=41000 #constraints=279861
187.02/187.12	c nbDecision=41500 #constraints=279892
189.02/189.11	c nbDecision=42000 #constraints=279955
190.32/190.41	c nbDecision=42500 #constraints=279985
192.52/192.67	c nbDecision=43000 #constraints=280060
194.92/195.05	c nbDecision=43500 #constraints=280131
196.42/196.51	c nbDecision=44000 #constraints=280166
198.42/198.55	c nbDecision=44500 #constraints=280227
200.52/200.67	c nbDecision=45000 #constraints=280291
201.72/201.80	c nbDecision=45500 #constraints=280312
203.12/203.26	c nbDecision=46000 #constraints=280349
208.01/208.18	c nbDecision=46500 #constraints=280547
212.31/212.47	c nbDecision=47000 #constraints=280717
220.92/221.08	c nbDecision=47500 #constraints=281090
230.81/230.94	c nbDecision=48000 #constraints=281514
241.40/241.56	c nbDecision=48500 #constraints=281940
251.90/252.03	c nbDecision=49000 #constraints=282336
263.99/264.19	c nbDecision=49500 #constraints=282773
273.70/273.86	c nbDecision=50000 #constraints=283116
285.29/285.40	c nbDecision=50500 #constraints=283500
297.90/298.08	c nbDecision=51000 #constraints=283891
303.09/303.23	c restart after 51201 decisions
304.29/304.49	c nbDecision=51500 #constraints=284070
306.99/307.16	c nbDecision=52000 #constraints=284159
309.69/309.86	c nbDecision=52500 #constraints=284249
312.08/312.29	c nbDecision=53000 #constraints=284328
313.58/313.73	c nbDecision=53500 #constraints=284362
314.58/314.71	c nbDecision=54000 #constraints=284383
317.28/317.41	c nbDecision=54500 #constraints=284510
322.78/322.95	c nbDecision=55000 #constraints=284766
327.78/327.95	c nbDecision=55500 #constraints=284987
333.98/334.13	c nbDecision=56000 #constraints=285277
340.58/340.78	c nbDecision=56500 #constraints=285552
345.18/345.36	c nbDecision=57000 #constraints=285713
351.67/351.90	c nbDecision=57500 #constraints=285946
361.68/361.82	c nbDecision=58000 #constraints=286295
373.77/373.99	c nbDecision=58500 #constraints=286709
386.96/387.18	c nbDecision=59000 #constraints=287143
400.76/400.93	c nbDecision=59500 #constraints=287574
406.06/406.28	c nbDecision=60000 #constraints=287736
411.96/412.16	c nbDecision=60500 #constraints=287962
421.65/421.80	c nbDecision=61000 #constraints=288337
431.35/431.59	c nbDecision=61500 #constraints=288706
442.15/442.32	c nbDecision=62000 #constraints=289080
449.25/449.44	c nbDecision=62500 #constraints=289328
460.74/460.95	c nbDecision=63000 #constraints=289731
473.84/474.02	c nbDecision=63500 #constraints=290168
486.04/486.21	c nbDecision=64000 #constraints=290554
494.23/494.43	c nbDecision=64500 #constraints=290804
497.83/498.09	c nbDecision=65000 #constraints=290902
499.93/500.11	c nbDecision=65500 #constraints=290955
501.73/501.90	c nbDecision=66000 #constraints=291009
506.03/506.25	c nbDecision=66500 #constraints=291178
507.13/507.36	c nbDecision=67000 #constraints=291202
509.13/509.33	c nbDecision=67500 #constraints=291266
517.22/517.48	c nbDecision=68000 #constraints=291566
529.52/529.78	c nbDecision=68500 #constraints=292009
540.62/540.86	c nbDecision=69000 #constraints=292384
543.61/543.83	c nbDecision=69500 #constraints=292470
544.61/544.81	c nbDecision=70000 #constraints=292482
546.42/546.69	c nbDecision=70500 #constraints=292520
556.91/557.18	c nbDecision=71000 #constraints=292866
570.31/570.56	c nbDecision=71500 #constraints=293294
583.51/583.77	c nbDecision=72000 #constraints=293697
596.60/596.83	c nbDecision=72500 #constraints=294087
598.50/598.72	c nbDecision=73000 #constraints=294124
600.30/600.52	c nbDecision=73500 #constraints=294166
605.40/605.63	c nbDecision=74000 #constraints=294306
618.99/619.20	c nbDecision=74500 #constraints=294710
627.29/627.52	c nbDecision=75000 #constraints=294961
628.99/629.27	c nbDecision=75500 #constraints=295006
630.38/630.62	c nbDecision=76000 #constraints=295031
632.19/632.46	c nbDecision=76500 #constraints=295076
637.18/637.49	c nbDecision=77000 #constraints=295242
641.08/641.37	c nbDecision=77500 #constraints=295341
646.38/646.66	c nbDecision=78000 #constraints=295508
653.89/654.19	c nbDecision=78500 #constraints=295755
665.78/666.00	c nbDecision=79000 #constraints=296111
679.27/679.56	c nbDecision=79500 #constraints=296532
691.67/691.92	c nbDecision=80000 #constraints=296907
704.96/705.28	c nbDecision=80500 #constraints=297270
717.77/718.06	c nbDecision=81000 #constraints=297615
722.66/722.94	c nbDecision=81500 #constraints=297757
729.07/729.31	c nbDecision=82000 #constraints=297926
741.35/741.67	c nbDecision=82500 #constraints=298258
752.45/752.74	c nbDecision=83000 #constraints=298544
770.15/770.42	c nbDecision=83500 #constraints=298953
789.25/789.52	c nbDecision=84000 #constraints=299373
806.44/806.79	c nbDecision=84500 #constraints=299746
822.44/822.72	c nbDecision=85000 #constraints=300098
836.03/836.34	c nbDecision=85500 #constraints=300408
854.83/855.13	c nbDecision=86000 #constraints=300815
871.32/871.61	c nbDecision=86500 #constraints=301199
884.21/884.53	c nbDecision=87000 #constraints=301475
889.11/889.43	c nbDecision=87500 #constraints=301621
894.71/895.00	c nbDecision=88000 #constraints=301738
896.51/896.80	c nbDecision=88500 #constraints=301773
906.71/907.00	c nbDecision=89000 #constraints=302118
918.91/919.27	c nbDecision=89500 #constraints=302494
932.70/933.05	c nbDecision=90000 #constraints=302891
944.10/944.49	c nbDecision=90500 #constraints=303173
948.60/948.99	c nbDecision=91000 #constraints=303267
955.40/955.76	c nbDecision=91500 #constraints=303402
962.30/962.65	c nbDecision=92000 #constraints=303555
971.59/971.96	c nbDecision=92500 #constraints=303762
985.09/985.45	c nbDecision=93000 #constraints=304130
999.49/999.84	c nbDecision=93500 #constraints=304545
1014.38/1014.76	c nbDecision=94000 #constraints=304949
1025.38/1025.72	c nbDecision=94500 #constraints=305190
1032.07/1032.40	c nbDecision=95000 #constraints=305328
1036.77/1037.10	c nbDecision=95500 #constraints=305422
1052.17/1052.56	c nbDecision=96000 #constraints=305806
1064.97/1065.35	c nbDecision=96500 #constraints=306153
1077.26/1077.67	c nbDecision=97000 #constraints=306469
1090.56/1090.93	c nbDecision=97500 #constraints=306815
1104.86/1105.27	c nbDecision=98000 #constraints=307172
1119.95/1120.35	c nbDecision=98500 #constraints=307527
1132.85/1133.25	c nbDecision=99000 #constraints=307837
1139.25/1139.61	c nbDecision=99500 #constraints=307976
1152.44/1152.84	c nbDecision=100000 #constraints=308283
1166.54/1166.93	c nbDecision=100500 #constraints=308564
1174.34/1174.73	c nbDecision=101000 #constraints=308711
1184.44/1184.81	c nbDecision=101500 #constraints=308925
1201.63/1202.02	c nbDecision=102000 #constraints=309335
1217.83/1218.28	c restart after 102401 decisions
1220.23/1220.66	c nbDecision=102500 #constraints=309716
1241.52/1241.98	c nbDecision=103000 #constraints=310113
1263.11/1263.59	c nbDecision=103500 #constraints=310464
1292.70/1293.18	c nbDecision=104000 #constraints=310925
1302.00/1302.49	c nbDecision=104500 #constraints=311112
1320.50/1320.92	c nbDecision=105000 #constraints=311573
1331.40/1331.86	c nbDecision=105500 #constraints=311814
1355.89/1356.34	c nbDecision=106000 #constraints=312236
1382.98/1383.47	c nbDecision=106500 #constraints=312647
1408.68/1409.19	c nbDecision=107000 #constraints=313066
1441.46/1441.91	c nbDecision=107500 #constraints=313515
1475.56/1476.00	c nbDecision=108000 #constraints=313963
1504.05/1504.51	c nbDecision=108500 #constraints=314344
1530.04/1530.59	c nbDecision=109000 #constraints=314758
1549.74/1550.22	c nbDecision=109500 #constraints=315057
1577.33/1577.85	c nbDecision=110000 #constraints=315473
1587.52/1588.01	c nbDecision=110500 #constraints=315627
1589.32/1589.88	c nbDecision=111000 #constraints=315654
1591.02/1591.57	c nbDecision=111500 #constraints=315663
1592.82/1593.34	c nbDecision=112000 #constraints=315679
1594.72/1595.21	c nbDecision=112500 #constraints=315689
1596.22/1596.78	c nbDecision=113000 #constraints=315705
1598.22/1598.79	c nbDecision=113500 #constraints=315738
1600.71/1601.28	c nbDecision=114000 #constraints=315787
1603.81/1604.34	c nbDecision=114500 #constraints=315861
1605.21/1605.77	c nbDecision=115000 #constraints=315884
1606.82/1607.31	c nbDecision=115500 #constraints=315910
1610.62/1611.12	c nbDecision=116000 #constraints=316005
1611.92/1612.41	c nbDecision=116500 #constraints=316018
1616.32/1616.87	c nbDecision=117000 #constraints=316096
1617.72/1618.21	c nbDecision=117500 #constraints=316103
1632.41/1632.99	c nbDecision=118000 #constraints=316384
1657.41/1657.91	c nbDecision=118500 #constraints=316788
1679.60/1680.18	c nbDecision=119000 #constraints=317156
1683.20/1683.74	c nbDecision=119500 #constraints=317219
1701.60/1702.17	c nbDecision=120000 #constraints=317506
1710.49/1711.08	c nbDecision=120500 #constraints=317632
1712.59/1713.20	c nbDecision=121000 #constraints=317653
1722.48/1723.03	c nbDecision=121500 #constraints=317810
1733.78/1734.38	c nbDecision=122000 #constraints=318006
1760.38/1761.00	c nbDecision=122500 #constraints=318405
1786.87/1787.47	c nbDecision=123000 #constraints=318791
1800.08/1800.60	Received signal 15
1800.08/1800.61	
1800.08/1800.61	s UNKNOWN
1800.08/1800.61	
1800.08/1800.61	c user time= 1799.65 s
1800.08/1800.61	c system time= 0.440932 s
1800.08/1800.61	c wall clock time=1800.61

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node12/watcher-419101-1177402965 -o ROOT/results/node12/solver-419101-1177402965 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/419101-1177402965/instance-419101-1177402965.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.94 1.00 0.94 3/77 15734
/proc/meminfo: memFree=1687216/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=1468 CPUtime=0
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 216333906 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 367 164 130 317 0 46 0

[startup+0.0292199 s]
/proc/loadavg: 0.94 1.00 0.94 3/77 15734
/proc/meminfo: memFree=1687216/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=2008 CPUtime=0.02
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 306 0 0 0 2 0 0 0 18 0 1 0 216333906 2056192 289 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 502 289 130 317 0 181 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2008

[startup+0.101227 s]
/proc/loadavg: 0.94 1.00 0.94 3/77 15734
/proc/meminfo: memFree=1687216/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=3468 CPUtime=0.09
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 673 0 0 0 9 0 0 0 18 0 1 0 216333906 3551232 656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 867 656 130 317 0 546 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3468

[startup+0.301247 s]
/proc/loadavg: 0.94 1.00 0.94 3/77 15734
/proc/meminfo: memFree=1687216/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=7560 CPUtime=0.3
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 1688 0 0 0 29 1 0 0 19 0 1 0 216333906 7741440 1671 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 1890 1671 130 317 0 1569 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 7560

[startup+0.701286 s]
/proc/loadavg: 0.94 1.00 0.94 3/77 15734
/proc/meminfo: memFree=1687216/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=15864 CPUtime=0.69
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 3805 0 0 0 67 2 0 0 22 0 1 0 216333906 16244736 3690 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 3966 3690 130 317 0 3645 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15864

[startup+1.50137 s]
/proc/loadavg: 0.94 1.00 0.94 2/78 15735
/proc/meminfo: memFree=1666856/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=32084 CPUtime=1.5
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 7963 0 0 0 146 4 0 0 25 0 1 0 216333906 32854016 7719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 8021 7719 130 317 0 7700 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 32084

[startup+3.10154 s]
/proc/loadavg: 0.94 1.00 0.94 2/78 15735
/proc/meminfo: memFree=1644584/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=84348 CPUtime=3.09
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 21146 0 0 0 300 9 0 0 25 0 1 0 216333906 86372352 20579 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 0 0 0
/proc/15734/statm: 21087 20579 138 317 0 20766 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84348

[startup+6.30184 s]
/proc/loadavg: 0.94 1.00 0.94 2/78 15735
/proc/meminfo: memFree=1596392/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=100276 CPUtime=6.28
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 25154 0 0 0 618 10 0 0 25 0 1 0 216333906 102682624 22717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 25069 22717 139 317 0 24748 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 100276

[startup+12.7015 s]
/proc/loadavg: 0.95 1.00 0.94 2/78 15735
/proc/meminfo: memFree=1596400/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=100276 CPUtime=12.68
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 25157 0 0 0 1258 10 0 0 25 0 1 0 216333906 102682624 22720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715618 0 0 4096 17474 0 0 0 17 0 0 0
/proc/15734/statm: 25069 22720 139 317 0 24748 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 100276

[startup+25.5018 s]
/proc/loadavg: 0.96 1.00 0.94 2/78 15735
/proc/meminfo: memFree=1596528/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=100276 CPUtime=25.48
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 25158 0 0 0 2537 11 0 0 25 0 1 0 216333906 102682624 22721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 25069 22721 139 317 0 24748 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 100276

[startup+51.1013 s]
/proc/loadavg: 0.97 1.00 0.94 2/78 15735
/proc/meminfo: memFree=1596656/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=100276 CPUtime=51.06
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 25167 0 0 0 5095 11 0 0 25 0 1 0 216333906 102682624 22730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562768 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 25069 22730 139 317 0 24748 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 100276

[startup+102.305 s]
/proc/loadavg: 0.99 1.00 0.94 2/78 15735
/proc/meminfo: memFree=1596720/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=100276 CPUtime=102.25
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 25184 0 0 0 10214 11 0 0 25 0 1 0 216333906 102682624 22747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 25069 22747 139 317 0 24748 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 100276

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.94 2/78 15735
/proc/meminfo: memFree=1596656/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=100276 CPUtime=162.23
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 25202 0 0 0 16211 12 0 0 25 0 1 0 216333906 102682624 22765 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562702 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 25069 22765 139 317 0 24748 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 100276

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.94 2/78 15735
/proc/meminfo: memFree=1595440/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=101452 CPUtime=222.21
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 25492 0 0 0 22208 13 0 0 25 0 1 0 216333906 103886848 23055 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712587 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 25363 23055 139 317 0 25042 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 101452

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.94 2/78 15735
/proc/meminfo: memFree=1590448/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=106464 CPUtime=282.19
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 26758 0 0 0 28205 14 0 0 25 0 1 0 216333906 109019136 24321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 26616 24321 139 317 0 26295 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 106464

[startup+342.301 s]
/proc/loadavg: 1.03 1.01 0.95 2/78 15735
/proc/meminfo: memFree=1583920/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=112912 CPUtime=342.18
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 28381 0 0 0 34202 16 0 0 25 0 1 0 216333906 115621888 25944 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 28228 25944 139 317 0 27907 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 112912

[startup+402.301 s]
/proc/loadavg: 1.01 1.01 0.95 2/78 15735
/proc/meminfo: memFree=1578224/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=118580 CPUtime=402.16
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 29822 0 0 0 40198 18 0 0 25 0 1 0 216333906 121425920 27385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 29645 27385 139 317 0 29324 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 118580

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 15735
/proc/meminfo: memFree=1572976/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=123704 CPUtime=462.14
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 31104 0 0 0 46195 19 0 0 25 0 1 0 216333906 126672896 28667 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 30926 28667 139 317 0 30605 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 123704

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 15735
/proc/meminfo: memFree=1569840/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=126984 CPUtime=522.12
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 31960 0 0 0 52192 20 0 0 25 0 1 0 216333906 130031616 29458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712565 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 31746 29458 139 317 0 31425 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 126984

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 15735
/proc/meminfo: memFree=1566448/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=130288 CPUtime=582.11
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 32798 0 0 0 58189 22 0 0 25 0 1 0 216333906 133414912 30296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 32572 30296 139 317 0 32251 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 130288

[startup+642.301 s]
/proc/loadavg: 1.05 1.01 0.95 2/78 15737
/proc/meminfo: memFree=1563504/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=133228 CPUtime=642.08
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 33528 0 0 0 64186 22 0 0 25 0 1 0 216333906 136425472 31026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 33307 31026 139 317 0 32986 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 133228


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

[startup+882.301 s]
/proc/loadavg: 1.04 1.04 0.97 2/78 15737
/proc/meminfo: memFree=1552560/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=144112 CPUtime=882.02
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 36252 0 0 0 88176 26 0 0 25 0 1 0 216333906 147570688 33750 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 36028 33750 139 317 0 35707 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 144112

[startup+942.301 s]
/proc/loadavg: 1.01 1.03 0.97 2/78 15737
/proc/meminfo: memFree=1548400/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=148348 CPUtime=942
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 37303 0 0 0 94172 28 0 0 25 0 1 0 216333906 151908352 34801 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712520 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 37087 34801 139 317 0 36766 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 148348

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 0.97 2/78 15737
/proc/meminfo: memFree=1545200/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=151688 CPUtime=1001.99
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 38108 0 0 0 100170 29 0 0 25 0 1 0 216333906 155328512 35606 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 37922 35606 139 317 0 37601 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 151688

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 0.97 2/78 15737
/proc/meminfo: memFree=1541680/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=155120 CPUtime=1061.97
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 39007 0 0 0 106167 30 0 0 25 0 1 0 216333906 158842880 36505 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 38780 36505 139 317 0 38459 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 155120

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 0.97 2/78 15737
/proc/meminfo: memFree=1536432/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=160436 CPUtime=1121.95
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 40291 0 0 0 112164 31 0 0 25 0 1 0 216333906 164286464 37789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 40109 37789 139 317 0 39788 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 160436

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 0.97 2/78 15737
/proc/meminfo: memFree=1533424/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=163544 CPUtime=1181.94
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 41046 0 0 0 118161 33 0 0 25 0 1 0 216333906 167469056 38544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 40886 38544 139 317 0 40565 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 163544

[startup+1242.3 s]
/proc/loadavg: 1.06 1.02 0.98 2/78 15737
/proc/meminfo: memFree=1530032/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=167064 CPUtime=1241.92
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 41877 0 0 0 124158 34 0 0 25 0 1 0 216333906 171073536 39375 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 41766 39375 139 317 0 41445 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 167064

[startup+1302.3 s]
/proc/loadavg: 1.02 1.01 0.98 2/78 15737
/proc/meminfo: memFree=1527984/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=169060 CPUtime=1301.91
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 42386 0 0 0 130156 35 0 0 25 0 1 0 216333906 173117440 39884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715791 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 42265 39884 139 317 0 41944 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 169060

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 15737
/proc/meminfo: memFree=1525104/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=172000 CPUtime=1361.89
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 43117 0 0 0 136153 36 0 0 25 0 1 0 216333906 176128000 40615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 43000 40615 139 317 0 42679 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 172000

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 15737
/proc/meminfo: memFree=1522928/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=174280 CPUtime=1421.87
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 43665 0 0 0 142150 37 0 0 25 0 1 0 216333906 178462720 41163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 43570 41163 139 317 0 43249 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 174280

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 15737
/proc/meminfo: memFree=1520368/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=176820 CPUtime=1481.86
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 44306 0 0 0 148148 38 0 0 25 0 1 0 216333906 181063680 41804 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 44205 41804 139 317 0 43884 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 176820

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 15737
/proc/meminfo: memFree=1517104/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=180024 CPUtime=1541.83
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 45126 0 0 0 154145 38 0 0 25 0 1 0 216333906 184344576 42624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 45006 42624 139 317 0 44685 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 180024

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 15737
/proc/meminfo: memFree=1513584/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=183556 CPUtime=1601.81
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 45999 0 0 0 160142 39 0 0 25 0 1 0 216333906 187961344 43497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 45889 43497 139 317 0 45568 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 183556

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 15737
/proc/meminfo: memFree=1511600/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=185560 CPUtime=1661.81
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 46511 0 0 0 166140 41 0 0 25 0 1 0 216333906 190013440 44009 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 46390 44009 139 317 0 46069 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 185560

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 15737
/proc/meminfo: memFree=1509232/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=187976 CPUtime=1721.78
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 47102 0 0 0 172136 42 0 0 25 0 1 0 216333906 192487424 44600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 46994 44600 139 317 0 46673 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 187976

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 15737
/proc/meminfo: memFree=1505328/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=192080 CPUtime=1781.77
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 48074 0 0 0 178134 43 0 0 25 0 1 0 216333906 196689920 45572 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 48020 45572 139 317 0 47699 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 192080



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 15737
/proc/meminfo: memFree=1503856/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=193452 CPUtime=1800.08
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 48417 0 0 0 179964 44 0 0 25 0 1 0 216333906 198094848 45915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 48363 45915 139 317 0 48042 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 193452

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 15737
/proc/meminfo: memFree=1503856/2055920 swapFree=4160020/4192956
[pid=15734] ppid=15732 vsize=0 CPUtime=1800.17
/proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194308 48433 0 0 0 179971 46 0 0 25 0 1 0 216333906 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15734/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.19
CPU user time (s): 1799.72
CPU system time (s): 0.471928
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 193452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.471928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48433
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= 4116

runsolver used 1.62375 second user time and 4.32634 second system time

The end

Launcher Data (download as text)

Begin job on node12 on Tue Apr 24 08:22:45 UTC 2007

IDJOB= 419101
IDBENCH= 47749
IDSOLVER= 172
FILE ID= node12/419101-1177402965

PBS_JOBID= 4675632

Free space on /tmp= 66376 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/crypto/mizh-md5-47-4.opb
COMMAND LINE= oree /tmp/evaluation/419101-1177402965/instance-419101-1177402965.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-419101-1177402965 -o ROOT/results/node12/solver-419101-1177402965 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/419101-1177402965/instance-419101-1177402965.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  c16e7463d11f4638ce6cdba1e0ba4912

RANDOM SEED= 88568504

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node12.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.239
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.239
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:       1687688 kB
Buffers:         41484 kB
Cached:         217536 kB
SwapCached:      11824 kB
Active:         188012 kB
Inactive:       122260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1687688 kB
SwapTotal:     4192956 kB
SwapFree:      4160020 kB
Dirty:           10956 kB
Writeback:           0 kB
Mapped:          58020 kB
Slab:            43380 kB
Committed_AS:  6120060 kB
PageTables:       1872 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= 66376 MiB

End job on node12 on Tue Apr 24 08:52:48 UTC 2007