Trace number 357124

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 NameAnswerObjective functionCPU timeWall clock time
oree 0.1.2 alpha? (TO) 1800.29 1800.89

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g250.29.opb
MD5SUMb0a7c1cc13cb603591c6d50e3dba1a47
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14500
Total number of constraints461872
Number of constraints which are clauses461872
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 constraint2
Maximum length of a constraint29
Number of terms in the objective function 14500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 14500
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 14500
Number of bits of the biggest sum of numbers14
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.99/3.08	c ...done
2.99/3.08	c #vars=14500 #constraints=461873 hasObjective=yes
5.19/5.27	c res. mode=mod
5.19/5.27	c VSIDS like heuristics
5.19/5.27	c complete search running
8.39/8.50	c restart after 401 decisions
9.29/9.32	c nbDecision=500 #constraints=461904
10.59/10.65	c restart after 801 decisions
11.88/11.94	c nbDecision=1000 #constraints=461915
14.38/14.48	c nbDecision=1500 #constraints=461937
15.18/15.21	c restart after 1601 decisions
17.38/17.49	c nbDecision=2000 #constraints=461952
20.28/20.33	c nbDecision=2500 #constraints=461982
23.28/23.38	c nbDecision=3000 #constraints=462010
24.38/24.41	c restart after 3201 decisions
26.28/26.39	c nbDecision=3500 #constraints=462029
29.08/29.18	c nbDecision=4000 #constraints=462056
32.28/32.31	c nbDecision=4500 #constraints=462082
34.68/34.72	c nbDecision=5000 #constraints=462096
37.88/37.91	c nbDecision=5500 #constraints=462143
42.17/42.25	c nbDecision=6000 #constraints=462189
44.08/44.19	c restart after 6401 decisions
44.98/45.08	c nbDecision=6500 #constraints=462207
48.38/48.41	c nbDecision=7000 #constraints=462241
51.17/51.29	c nbDecision=7500 #constraints=462266
54.18/54.27	c nbDecision=8000 #constraints=462295
57.78/57.86	c nbDecision=8500 #constraints=462330
61.08/61.13	c nbDecision=9000 #constraints=462359
63.98/64.01	c nbDecision=9500 #constraints=462384
67.28/67.30	c nbDecision=10000 #constraints=462415
69.98/70.01	c nbDecision=10500 #constraints=462426
73.27/73.36	c nbDecision=11000 #constraints=462457
77.17/77.25	c nbDecision=11500 #constraints=462504
80.17/80.30	c nbDecision=12000 #constraints=462540
83.07/83.18	c nbDecision=12500 #constraints=462571
86.57/86.69	c restart after 12801 decisions
87.97/88.09	c nbDecision=13000 #constraints=462618
91.67/91.72	c nbDecision=13500 #constraints=462656
94.77/94.89	c nbDecision=14000 #constraints=462687
98.77/98.82	c nbDecision=14500 #constraints=462729
102.27/102.38	c nbDecision=15000 #constraints=462760
107.16/107.26	c nbDecision=15500 #constraints=462818
111.56/111.68	c nbDecision=16000 #constraints=462866
117.76/117.83	c nbDecision=16500 #constraints=462940
121.86/121.96	c nbDecision=17000 #constraints=462982
125.95/126.01	c nbDecision=17500 #constraints=463028
133.65/133.79	c nbDecision=18000 #constraints=463120
137.05/137.12	c nbDecision=18500 #constraints=463156
140.85/140.97	c nbDecision=19000 #constraints=463195
146.15/146.24	c nbDecision=19500 #constraints=463257
149.64/149.76	c nbDecision=20000 #constraints=463290
153.34/153.40	c nbDecision=20500 #constraints=463329
157.26/157.36	c nbDecision=21000 #constraints=463377
160.35/160.43	c nbDecision=21500 #constraints=463394
166.95/167.07	c nbDecision=22000 #constraints=463472
172.74/172.84	c nbDecision=22500 #constraints=463530
177.44/177.54	c nbDecision=23000 #constraints=463583
180.85/180.97	c nbDecision=23500 #constraints=463612
188.24/188.39	c nbDecision=24000 #constraints=463693
191.74/191.83	c nbDecision=24500 #constraints=463719
198.23/198.36	c nbDecision=25000 #constraints=463783
202.13/202.20	c nbDecision=25500 #constraints=463817
202.63/202.77	c restart after 25601 decisions
208.23/208.38	c nbDecision=26000 #constraints=463866
216.13/216.27	c nbDecision=26500 #constraints=463943
220.94/221.01	c nbDecision=27000 #constraints=463986
224.73/224.84	c nbDecision=27500 #constraints=464024
231.23/231.37	c nbDecision=28000 #constraints=464096
236.12/236.26	c nbDecision=28500 #constraints=464151
241.62/241.76	c nbDecision=29000 #constraints=464216
245.02/245.15	c nbDecision=29500 #constraints=464236
254.52/254.64	c nbDecision=30000 #constraints=464332
260.01/260.11	c nbDecision=30500 #constraints=464389
263.51/263.68	c nbDecision=31000 #constraints=464413
270.82/270.92	c nbDecision=31500 #constraints=464487
283.61/283.77	c nbDecision=32000 #constraints=464616
289.01/289.12	c nbDecision=32500 #constraints=464662
295.72/295.83	c nbDecision=33000 #constraints=464717
303.11/303.30	c nbDecision=33500 #constraints=464791
309.31/309.47	c nbDecision=34000 #constraints=464860
313.90/314.09	c nbDecision=34500 #constraints=464904
319.30/319.44	c nbDecision=35000 #constraints=464951
323.70/323.87	c nbDecision=35500 #constraints=464981
333.49/333.60	c nbDecision=36000 #constraints=465070
339.00/339.14	c nbDecision=36500 #constraints=465115
349.89/350.06	c nbDecision=37000 #constraints=465222
354.19/354.35	c nbDecision=37500 #constraints=465243
363.99/364.12	c nbDecision=38000 #constraints=465326
367.49/367.63	c nbDecision=38500 #constraints=465337
372.18/372.34	c nbDecision=39000 #constraints=465358
376.68/376.86	c nbDecision=39500 #constraints=465385
381.08/381.28	c nbDecision=40000 #constraints=465426
385.78/385.99	c nbDecision=40500 #constraints=465474
389.88/390.04	c nbDecision=41000 #constraints=465507
396.18/396.37	c nbDecision=41500 #constraints=465567
402.18/402.39	c nbDecision=42000 #constraints=465624
407.08/407.29	c nbDecision=42500 #constraints=465664
412.87/413.09	c nbDecision=43000 #constraints=465711
417.56/417.74	c nbDecision=43500 #constraints=465750
425.73/425.96	c nbDecision=44000 #constraints=465830
429.93/430.10	c nbDecision=44500 #constraints=465860
434.81/435.06	c nbDecision=45000 #constraints=465900
443.70/443.98	c nbDecision=45500 #constraints=465986
448.39/448.70	c nbDecision=46000 #constraints=466018
454.59/454.85	c nbDecision=46500 #constraints=466071
459.38/459.65	c nbDecision=47000 #constraints=466098
471.47/471.71	c nbDecision=47500 #constraints=466207
482.06/482.31	c nbDecision=48000 #constraints=466295
488.56/488.88	c nbDecision=48500 #constraints=466338
494.67/494.97	c nbDecision=49000 #constraints=466377
502.16/502.47	c nbDecision=49500 #constraints=466422
505.86/506.17	c nbDecision=50000 #constraints=466447
512.06/512.38	c nbDecision=50500 #constraints=466510
522.35/522.68	c nbDecision=51000 #constraints=466607
524.85/525.19	c restart after 51201 decisions
530.45/530.79	c nbDecision=51500 #constraints=466667
534.56/534.88	c nbDecision=52000 #constraints=466689
540.16/540.43	c nbDecision=52500 #constraints=466730
545.95/546.22	c nbDecision=53000 #constraints=466781
557.75/558.01	c nbDecision=53500 #constraints=466865
563.84/564.11	c nbDecision=54000 #constraints=466900
571.14/571.44	c nbDecision=54500 #constraints=466945
576.34/576.67	c nbDecision=55000 #constraints=466977
583.84/584.13	c nbDecision=55500 #constraints=467049
588.63/588.96	c nbDecision=56000 #constraints=467081
595.34/595.69	c nbDecision=56500 #constraints=467118
603.84/604.14	c nbDecision=57000 #constraints=467171
608.83/609.18	c nbDecision=57500 #constraints=467182
614.63/614.94	c nbDecision=58000 #constraints=467227
620.43/620.73	c nbDecision=58500 #constraints=467264
628.23/628.59	c nbDecision=59000 #constraints=467329
633.92/634.23	c nbDecision=59500 #constraints=467373
638.82/639.16	c nbDecision=60000 #constraints=467402
650.72/651.09	c nbDecision=60500 #constraints=467510
657.22/657.54	c nbDecision=61000 #constraints=467553
663.52/663.86	c nbDecision=61500 #constraints=467589
670.12/670.41	c nbDecision=62000 #constraints=467628
677.32/677.64	c nbDecision=62500 #constraints=467674
683.01/683.32	c nbDecision=63000 #constraints=467719
693.00/693.30	c nbDecision=63500 #constraints=467807
697.60/697.96	c nbDecision=64000 #constraints=467838
702.31/702.62	c nbDecision=64500 #constraints=467862
708.81/709.16	c nbDecision=65000 #constraints=467897
721.10/721.48	c nbDecision=65500 #constraints=467998
728.70/729.01	c nbDecision=66000 #constraints=468043
734.29/734.68	c nbDecision=66500 #constraints=468080
740.89/741.26	c nbDecision=67000 #constraints=468132
746.89/747.25	c nbDecision=67500 #constraints=468180
761.29/761.70	c nbDecision=68000 #constraints=468309
768.69/769.06	c nbDecision=68500 #constraints=468365
773.48/773.82	c nbDecision=69000 #constraints=468384
783.68/784.06	c nbDecision=69500 #constraints=468468
796.67/797.06	c nbDecision=70000 #constraints=468568
809.18/809.55	c nbDecision=70500 #constraints=468669
816.58/816.93	c nbDecision=71000 #constraints=468715
826.17/826.55	c nbDecision=71500 #constraints=468772
835.77/836.11	c nbDecision=72000 #constraints=468828
846.46/846.82	c nbDecision=72500 #constraints=468888
854.27/854.61	c nbDecision=73000 #constraints=468924
865.27/865.64	c nbDecision=73500 #constraints=469015
870.26/870.60	c nbDecision=74000 #constraints=469032
884.15/884.53	c nbDecision=74500 #constraints=469132
895.26/895.61	c nbDecision=75000 #constraints=469204
904.65/905.00	c nbDecision=75500 #constraints=469275
915.24/915.63	c nbDecision=76000 #constraints=469353
928.94/929.34	c nbDecision=76500 #constraints=469447
937.44/937.88	c nbDecision=77000 #constraints=469499
947.04/947.43	c nbDecision=77500 #constraints=469557
957.43/957.88	c nbDecision=78000 #constraints=469601
963.43/963.89	c nbDecision=78500 #constraints=469637
970.63/971.06	c nbDecision=79000 #constraints=469696
977.32/977.75	c nbDecision=79500 #constraints=469730
987.83/988.21	c nbDecision=80000 #constraints=469793
998.52/998.93	c nbDecision=80500 #constraints=469860
1005.12/1005.55	c nbDecision=81000 #constraints=469886
1013.31/1013.70	c nbDecision=81500 #constraints=469935
1020.81/1021.29	c nbDecision=82000 #constraints=469979
1031.82/1032.22	c nbDecision=82500 #constraints=470059
1046.91/1047.30	c nbDecision=83000 #constraints=470160
1055.51/1055.94	c nbDecision=83500 #constraints=470205
1064.20/1064.69	c nbDecision=84000 #constraints=470251
1073.00/1073.45	c nbDecision=84500 #constraints=470305
1079.30/1079.79	c nbDecision=85000 #constraints=470339
1090.10/1090.54	c nbDecision=85500 #constraints=470400
1096.69/1097.14	c nbDecision=86000 #constraints=470436
1110.20/1110.64	c nbDecision=86500 #constraints=470520
1119.49/1119.90	c nbDecision=87000 #constraints=470574
1127.79/1128.29	c nbDecision=87500 #constraints=470613
1136.68/1137.13	c nbDecision=88000 #constraints=470674
1145.28/1145.79	c nbDecision=88500 #constraints=470722
1157.37/1157.87	c nbDecision=89000 #constraints=470790
1163.67/1164.15	c nbDecision=89500 #constraints=470812
1176.18/1176.61	c nbDecision=90000 #constraints=470886
1184.18/1184.64	c nbDecision=90500 #constraints=470908
1191.87/1192.37	c nbDecision=91000 #constraints=470943
1198.96/1199.48	c nbDecision=91500 #constraints=470982
1210.56/1211.07	c nbDecision=92000 #constraints=471038
1220.57/1221.01	c nbDecision=92500 #constraints=471081
1230.86/1231.38	c nbDecision=93000 #constraints=471139
1238.76/1239.22	c nbDecision=93500 #constraints=471169
1251.55/1252.05	c nbDecision=94000 #constraints=471234
1267.25/1267.79	c nbDecision=94500 #constraints=471320
1280.55/1281.05	c nbDecision=95000 #constraints=471390
1288.84/1289.35	c nbDecision=95500 #constraints=471411
1296.44/1296.97	c nbDecision=96000 #constraints=471448
1305.33/1305.89	c nbDecision=96500 #constraints=471486
1311.23/1311.79	c nbDecision=97000 #constraints=471506
1317.63/1318.20	c nbDecision=97500 #constraints=471530
1328.23/1328.76	c nbDecision=98000 #constraints=471573
1335.83/1336.40	c nbDecision=98500 #constraints=471595
1344.33/1344.84	c nbDecision=99000 #constraints=471629
1351.73/1352.22	c nbDecision=99500 #constraints=471655
1360.82/1361.34	c nbDecision=100000 #constraints=471692
1367.02/1367.56	c nbDecision=100500 #constraints=471707
1374.62/1375.17	c nbDecision=101000 #constraints=471727
1382.82/1383.30	c nbDecision=101500 #constraints=471751
1390.61/1391.17	c nbDecision=102000 #constraints=471780
1397.71/1398.20	c restart after 102401 decisions
1400.81/1401.40	c nbDecision=102500 #constraints=471798
1409.00/1409.52	c nbDecision=103000 #constraints=471825
1415.40/1415.97	c nbDecision=103500 #constraints=471852
1425.70/1426.28	c nbDecision=104000 #constraints=471916
1434.20/1434.80	c nbDecision=104500 #constraints=471957
1446.00/1446.54	c nbDecision=105000 #constraints=472020
1457.19/1457.70	c nbDecision=105500 #constraints=472085
1467.09/1467.64	c nbDecision=106000 #constraints=472134
1484.58/1485.19	c nbDecision=106500 #constraints=472237
1495.28/1495.87	c nbDecision=107000 #constraints=472283
1507.48/1508.06	c nbDecision=107500 #constraints=472347
1521.58/1522.10	c nbDecision=108000 #constraints=472415
1530.47/1531.07	c nbDecision=108500 #constraints=472452
1544.77/1545.35	c nbDecision=109000 #constraints=472508
1554.96/1555.58	c nbDecision=109500 #constraints=472541
1563.26/1563.87	c nbDecision=110000 #constraints=472572
1576.36/1576.98	c nbDecision=110500 #constraints=472636
1586.36/1586.99	c nbDecision=111000 #constraints=472680
1595.15/1595.71	c nbDecision=111500 #constraints=472718
1605.55/1606.11	c nbDecision=112000 #constraints=472776
1620.75/1621.31	c nbDecision=112500 #constraints=472869
1631.45/1632.01	c nbDecision=113000 #constraints=472927
1644.04/1644.60	c nbDecision=113500 #constraints=472992
1655.34/1655.99	c nbDecision=114000 #constraints=473042
1678.63/1679.21	c nbDecision=114500 #constraints=473158
1694.83/1695.41	c nbDecision=115000 #constraints=473247
1718.01/1718.62	c nbDecision=115500 #constraints=473374
1745.61/1746.29	c nbDecision=116000 #constraints=473534
1756.01/1756.61	c nbDecision=116500 #constraints=473577
1780.80/1781.40	c nbDecision=117000 #constraints=473704
1800.01/1800.61	Received signal 15
1800.11/1800.77	
1800.11/1800.77	s UNKNOWN
1800.11/1800.77	
1800.11/1800.77	c user time= 1799.67 s
1800.11/1800.77	c system time= 0.512922 s
1800.11/1800.77	c wall clock time=1800.78

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node44/watcher-357124-1176987250 -o ROOT/results/node44/solver-357124-1176987250 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357124-1176987250/instance-357124-1176987250.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.98 0.99 3/77 3749
/proc/meminfo: memFree=1686344/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=1620 CPUtime=0
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 146636823 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 405 175 126 317 0 84 0

[startup+0.081883 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 3749
/proc/meminfo: memFree=1686344/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=3244 CPUtime=0.07
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 636 0 0 0 7 0 0 0 18 0 1 0 146636823 3321856 585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 811 585 130 317 0 490 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3244

[startup+0.101884 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 3749
/proc/meminfo: memFree=1686344/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=3640 CPUtime=0.09
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 752 0 0 0 9 0 0 0 18 0 1 0 146636823 3727360 701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 910 702 130 317 0 589 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3640

[startup+0.301904 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 3749
/proc/meminfo: memFree=1686344/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=8388 CPUtime=0.29
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 1946 0 0 0 28 1 0 0 19 0 1 0 146636823 8589312 1862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 2097 1862 130 317 0 1776 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8388

[startup+0.701945 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 3749
/proc/meminfo: memFree=1686344/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=17752 CPUtime=0.69
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 4334 0 0 0 67 2 0 0 23 0 1 0 146636823 18178048 4185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 4438 4185 130 317 0 4117 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17752

[startup+1.50203 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 3750
/proc/meminfo: memFree=1663168/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=36348 CPUtime=1.49
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 9098 0 0 0 145 4 0 0 25 0 1 0 146636823 37220352 8820 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134831089 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 9087 8820 130 317 0 8766 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36348

[startup+3.10119 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 3750
/proc/meminfo: memFree=1637504/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=88808 CPUtime=3.09
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 19766 0 0 0 299 10 0 0 25 0 1 0 146636823 90939392 19231 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134543614 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 22202 19234 136 317 0 21881 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 88808

[startup+6.30152 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 3750
/proc/meminfo: memFree=1576320/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=138000 CPUtime=6.29
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 34771 0 0 0 613 16 0 0 25 0 1 0 146636823 141312000 31078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 34500 31078 139 317 0 34179 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 138000

[startup+12.7012 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 3750
/proc/meminfo: memFree=1561984/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=138000 CPUtime=12.68
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 34771 0 0 0 1252 16 0 0 25 0 1 0 146636823 141312000 31078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 34500 31078 139 317 0 34179 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 138000

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 3750
/proc/meminfo: memFree=1562176/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=138000 CPUtime=25.48
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 34771 0 0 0 2532 16 0 0 25 0 1 0 146636823 141312000 31078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604450 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 34500 31078 139 317 0 34179 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 138000

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 3750
/proc/meminfo: memFree=1562176/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=138000 CPUtime=51.07
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 34772 0 0 0 5091 16 0 0 25 0 1 0 146636823 141312000 31079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 34500 31079 139 317 0 34179 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 138000

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 3750
/proc/meminfo: memFree=1562240/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=138000 CPUtime=102.27
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 34776 0 0 0 10210 17 0 0 25 0 1 0 146636823 141312000 31083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 34500 31083 139 317 0 34179 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 138000

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3750
/proc/meminfo: memFree=1560960/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=139480 CPUtime=162.25
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 35144 0 0 0 16207 18 0 0 25 0 1 0 146636823 142827520 31451 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604327 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 34870 31451 139 317 0 34549 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 139480

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3750
/proc/meminfo: memFree=1551168/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=149196 CPUtime=222.23
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 37571 0 0 0 22203 20 0 0 25 0 1 0 146636823 152776704 33878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715618 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 37299 33878 139 317 0 36978 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 149196

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3750
/proc/meminfo: memFree=1541824/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=158964 CPUtime=282.21
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 39899 0 0 0 28200 21 0 0 25 0 1 0 146636823 162779136 36206 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 39741 36206 139 317 0 39420 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 158964

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3750
/proc/meminfo: memFree=1533248/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=167948 CPUtime=342.2
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 42031 0 0 0 34197 23 0 0 25 0 1 0 146636823 171978752 38338 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 41987 38338 139 317 0 41666 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 167948

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3750
/proc/meminfo: memFree=1526080/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=175292 CPUtime=402.18
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 43829 0 0 0 40194 24 0 0 25 0 1 0 146636823 179499008 40136 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 43823 40136 139 317 0 43502 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 175292

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 3928
/proc/meminfo: memFree=1518976/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=180840 CPUtime=462.08
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 45270 0 0 0 46183 25 0 0 25 0 1 0 146636823 185180160 41577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 45210 41577 139 317 0 44889 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 180840

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3948
/proc/meminfo: memFree=1513472/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=188460 CPUtime=522.05
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 47037 0 0 0 52179 26 0 0 25 0 1 0 146636823 192983040 43344 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 47115 43344 139 317 0 46794 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 188460

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3948
/proc/meminfo: memFree=1506880/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=194728 CPUtime=582.04
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 48573 0 0 0 58177 27 0 0 25 0 1 0 146636823 199401472 44880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 48682 44880 139 317 0 48361 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 194728

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3948
/proc/meminfo: memFree=1502272/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=199272 CPUtime=642.02
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 49714 0 0 0 64174 28 0 0 25 0 1 0 146636823 204054528 46021 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 49818 46021 139 317 0 49497 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 199272


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3948
/proc/meminfo: memFree=1479040/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=223680 CPUtime=881.95
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 55537 0 0 0 88162 33 0 0 25 0 1 0 146636823 229048320 51844 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 55920 51844 139 317 0 55599 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 223680

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3948
/proc/meminfo: memFree=1473728/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=228832 CPUtime=941.94
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 56895 0 0 0 94159 35 0 0 25 0 1 0 146636823 234323968 53202 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 57208 53202 139 317 0 56887 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 228832

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3948
/proc/meminfo: memFree=1468928/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=234000 CPUtime=1001.92
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 58076 0 0 0 100156 36 0 0 25 0 1 0 146636823 239616000 54383 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 58500 54383 139 317 0 58179 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 234000

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3948
/proc/meminfo: memFree=1463360/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=239872 CPUtime=1061.9
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 59506 0 0 0 106153 37 0 0 25 0 1 0 146636823 245628928 55813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 59968 55813 139 317 0 59647 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 239872

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3948
/proc/meminfo: memFree=1458048/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=245100 CPUtime=1121.89
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 60811 0 0 0 112150 39 0 0 25 0 1 0 146636823 250982400 57118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 61275 57118 139 317 0 60954 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 245100

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3948
/proc/meminfo: memFree=1453952/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=248756 CPUtime=1181.87
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 61819 0 0 0 118147 40 0 0 25 0 1 0 146636823 254726144 58126 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 62189 58126 139 317 0 61868 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 248756

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3948
/proc/meminfo: memFree=1449920/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=253392 CPUtime=1241.85
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 62804 0 0 0 124144 41 0 0 25 0 1 0 146636823 259473408 59111 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 63348 59111 139 317 0 63027 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 253392

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3948
/proc/meminfo: memFree=1445312/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=259168 CPUtime=1301.84
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 63966 0 0 0 130142 42 0 0 25 0 1 0 146636823 265388032 60273 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 64792 60273 139 317 0 64471 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 259168

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3948
/proc/meminfo: memFree=1443584/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=260768 CPUtime=1361.82
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 64400 0 0 0 136139 43 0 0 25 0 1 0 146636823 267026432 60707 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 65192 60707 139 317 0 64871 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 260768

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3948
/proc/meminfo: memFree=1442048/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=262336 CPUtime=1421.8
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 64778 0 0 0 142137 43 0 0 25 0 1 0 146636823 268632064 61085 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563761 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 65584 61085 139 317 0 65263 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 262336

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3948
/proc/meminfo: memFree=1437824/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=266688 CPUtime=1481.78
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 65850 0 0 0 148133 45 0 0 25 0 1 0 146636823 273088512 62157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 66672 62157 139 317 0 66351 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 266688

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3948
/proc/meminfo: memFree=1433536/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=271208 CPUtime=1541.77
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 66915 0 0 0 154131 46 0 0 25 0 1 0 146636823 277716992 63222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 67802 63222 139 317 0 67481 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 271208

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3948
/proc/meminfo: memFree=1429952/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=274508 CPUtime=1601.75
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 67800 0 0 0 160128 47 0 0 25 0 1 0 146636823 281096192 64107 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 68627 64107 139 317 0 68306 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 274508

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3948
/proc/meminfo: memFree=1424960/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=280432 CPUtime=1661.73
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 69052 0 0 0 166125 48 0 0 25 0 1 0 146636823 287162368 65359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 70108 65359 139 317 0 69787 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 280432

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3948
/proc/meminfo: memFree=1419968/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=285268 CPUtime=1721.71
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 70304 0 0 0 172122 49 0 0 25 0 1 0 146636823 292114432 66611 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 71317 66611 139 317 0 70996 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 285268

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3948
/proc/meminfo: memFree=1413824/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=292188 CPUtime=1781.7
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 71821 0 0 0 178120 50 0 0 25 0 1 0 146636823 299200512 68128 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 73047 68128 139 317 0 72726 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 292188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3948
/proc/meminfo: memFree=1412352/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=293372 CPUtime=1800.01
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 72174 0 0 0 179950 51 0 0 25 0 1 0 146636823 300412928 68481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 73343 68481 139 317 0 73022 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 293372

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

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

[startup+1800.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3948
/proc/meminfo: memFree=1412352/2055920 swapFree=4150992/4192956
[pid=3749] ppid=3747 vsize=293504 CPUtime=1800.2
/proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 72194 0 0 0 179969 51 0 0 25 0 1 0 146636823 300548096 68501 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3749/statm: 73376 68501 155 317 0 73055 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 293504

Child status: 0
Real time (s): 1800.89
CPU time (s): 1800.29
CPU user time (s): 1799.73
CPU system time (s): 0.558915
CPU usage (%): 99.9667
Max. virtual memory (cumulated for all children) (KiB): 293504

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

runsolver used 2.11868 second user time and 4.42733 second system time

The end

Launcher Data (download as text)

Begin job on node44 on Thu Apr 19 12:54:11 UTC 2007

IDJOB= 357124
IDBENCH= 2058
IDSOLVER= 172
FILE ID= node44/357124-1176987250

PBS_JOBID= 4630350

Free space on /tmp= 66402 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g250.29.opb
COMMAND LINE= oree /tmp/evaluation/357124-1176987250/instance-357124-1176987250.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node44/watcher-357124-1176987250 -o ROOT/results/node44/solver-357124-1176987250 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357124-1176987250/instance-357124-1176987250.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  b0a7c1cc13cb603591c6d50e3dba1a47

RANDOM SEED= 579096687

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node44.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.234
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.234
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:       1686880 kB
Buffers:         41556 kB
Cached:         233644 kB
SwapCached:      18832 kB
Active:          83464 kB
Inactive:       221592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1686880 kB
SwapTotal:     4192956 kB
SwapFree:      4150992 kB
Dirty:           13080 kB
Writeback:           0 kB
Mapped:          32924 kB
Slab:            49536 kB
Committed_AS:   499304 kB
PageTables:       1736 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= 66402 MiB

End job on node44 on Thu Apr 19 13:24:14 UTC 2007