Trace number 455570

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.27 1800.83

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_25_4.opb
MD5SUMde244e44f140b74baa9d32bfcc24f10d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-84
Best CPU time to get the best result obtained on this benchmark1800.15
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -84
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
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 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31508
Sum of products size (including duplicates)63016
Number of different products15754
Sum of products size31508

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=16754 #constraints=33011 hasObjective=yes
0.39/0.40	c res. mode=mod
0.39/0.40	c VSIDS like heuristics
0.39/0.40	c complete search running
1.19/1.21	c restart after 401 decisions
1.19/1.29	c nbDecision=500 #constraints=33163
1.89/1.95	c restart after 801 decisions
1.99/2.08	c nbDecision=1000 #constraints=33284
4.29/4.32	c nbDecision=1500 #constraints=33682
4.80/4.88	c restart after 1601 decisions
5.89/5.95	c nbDecision=2000 #constraints=33899
8.79/8.87	c nbDecision=2500 #constraints=34368
11.69/11.79	c nbDecision=3000 #constraints=34790
12.98/13.05	c restart after 3201 decisions
14.30/14.34	c nbDecision=3500 #constraints=35014
17.49/17.54	c nbDecision=4000 #constraints=35501
20.68/20.70	c nbDecision=4500 #constraints=35864
23.98/24.06	c nbDecision=5000 #constraints=36302
27.49/27.58	c nbDecision=5500 #constraints=36738
31.19/31.22	c nbDecision=6000 #constraints=37176
34.09/34.17	c restart after 6401 decisions
35.98/36.06	c nbDecision=6500 #constraints=37543
39.49/39.57	c nbDecision=7000 #constraints=37863
43.28/43.36	c nbDecision=7500 #constraints=38328
47.07/47.15	c nbDecision=8000 #constraints=38782
50.78/50.84	c nbDecision=8500 #constraints=39262
54.58/54.68	c nbDecision=9000 #constraints=39735
58.87/58.91	c nbDecision=9500 #constraints=40187
62.68/62.76	c nbDecision=10000 #constraints=40668
66.67/66.76	c nbDecision=10500 #constraints=41149
70.78/70.82	c nbDecision=11000 #constraints=41637
75.07/75.19	c nbDecision=11500 #constraints=42106
79.97/80.04	c nbDecision=12000 #constraints=42546
84.57/84.69	c nbDecision=12500 #constraints=43008
87.57/87.63	c restart after 12801 decisions
93.07/93.10	c nbDecision=13000 #constraints=43280
98.17/98.28	c nbDecision=13500 #constraints=43684
103.37/103.49	c nbDecision=14000 #constraints=44127
107.86/107.94	c nbDecision=14500 #constraints=44617
112.56/112.67	c nbDecision=15000 #constraints=45099
118.76/118.82	c nbDecision=15500 #constraints=45516
123.36/123.48	c nbDecision=16000 #constraints=46006
128.26/128.31	c nbDecision=16500 #constraints=46493
133.26/133.31	c nbDecision=17000 #constraints=46977
138.46/138.53	c nbDecision=17500 #constraints=47457
143.86/143.93	c nbDecision=18000 #constraints=47930
150.65/150.71	c nbDecision=18500 #constraints=48356
156.15/156.23	c nbDecision=19000 #constraints=48833
168.15/168.22	c nbDecision=19500 #constraints=49081
173.86/173.92	c nbDecision=20000 #constraints=49559
179.25/179.35	c nbDecision=20500 #constraints=50045
186.95/187.01	c nbDecision=21000 #constraints=50461
194.34/194.40	c nbDecision=21500 #constraints=50891
200.75/200.83	c nbDecision=22000 #constraints=51355
207.54/207.69	c nbDecision=22500 #constraints=51808
213.84/213.97	c nbDecision=23000 #constraints=52280
222.04/222.11	c nbDecision=23500 #constraints=52704
228.14/228.22	c nbDecision=24000 #constraints=53184
236.13/236.28	c nbDecision=24500 #constraints=53618
244.14/244.22	c nbDecision=25000 #constraints=54057
251.23/251.37	c nbDecision=25500 #constraints=54520
252.93/253.03	c restart after 25601 decisions
267.83/267.97	c nbDecision=26000 #constraints=54744
274.72/274.81	c nbDecision=26500 #constraints=55219
283.90/284.07	c nbDecision=27000 #constraints=55637
291.28/291.43	c nbDecision=27500 #constraints=56103
300.27/300.43	c nbDecision=28000 #constraints=56535
307.23/307.45	c nbDecision=28500 #constraints=57011
318.22/318.44	c nbDecision=29000 #constraints=57413
328.21/328.42	c nbDecision=29500 #constraints=57820
339.29/339.56	c nbDecision=30000 #constraints=58215
351.09/351.32	c nbDecision=30500 #constraints=58608
361.79/362.03	c nbDecision=31000 #constraints=59009
371.58/371.88	c nbDecision=31500 #constraints=59439
381.78/382.06	c nbDecision=32000 #constraints=59865
392.58/392.82	c nbDecision=32500 #constraints=60280
403.78/404.06	c nbDecision=33000 #constraints=60698
411.97/412.22	c nbDecision=33500 #constraints=61164
424.87/425.13	c nbDecision=34000 #constraints=61548
440.06/440.34	c nbDecision=34500 #constraints=61892
453.36/453.68	c nbDecision=35000 #constraints=62274
465.86/466.19	c nbDecision=35500 #constraints=62678
478.86/479.19	c nbDecision=36000 #constraints=63083
500.55/500.89	c nbDecision=36500 #constraints=63393
516.05/516.30	c nbDecision=37000 #constraints=63666
529.95/530.25	c nbDecision=37500 #constraints=64051
545.14/545.46	c nbDecision=38000 #constraints=64416
561.34/561.64	c nbDecision=38500 #constraints=64770
588.03/588.32	c nbDecision=39000 #constraints=64951
613.63/613.92	c nbDecision=39500 #constraints=65161
629.52/629.80	c nbDecision=40000 #constraints=65544
641.92/642.24	c nbDecision=40500 #constraints=65983
653.41/653.72	c nbDecision=41000 #constraints=66441
663.91/664.27	c nbDecision=41500 #constraints=66912
675.91/676.25	c nbDecision=42000 #constraints=67355
686.21/686.51	c nbDecision=42500 #constraints=67825
697.51/697.80	c nbDecision=43000 #constraints=68278
708.90/709.25	c nbDecision=43500 #constraints=68739
727.60/727.96	c nbDecision=44000 #constraints=69109
743.49/743.89	c nbDecision=44500 #constraints=69500
756.79/757.17	c nbDecision=45000 #constraints=69937
770.69/771.10	c nbDecision=45500 #constraints=70365
796.98/797.33	c nbDecision=46000 #constraints=70614
826.67/827.06	c nbDecision=46500 #constraints=70814
838.76/839.14	c nbDecision=47000 #constraints=71272
856.07/856.43	c nbDecision=47500 #constraints=71714
871.26/871.61	c nbDecision=48000 #constraints=72132
886.66/887.02	c nbDecision=48500 #constraints=72565
906.15/906.55	c nbDecision=49000 #constraints=73006
935.85/936.24	c nbDecision=49500 #constraints=73234
956.64/957.10	c nbDecision=50000 #constraints=73637
978.43/978.87	c nbDecision=50500 #constraints=74008
992.63/993.02	c nbDecision=51000 #constraints=74479
1000.43/1000.85	c restart after 51201 decisions
1024.92/1025.37	c nbDecision=51500 #constraints=74701
1041.52/1041.96	c nbDecision=52000 #constraints=75141
1071.61/1072.10	c nbDecision=52500 #constraints=75381
1087.91/1088.32	c nbDecision=53000 #constraints=75805
1105.10/1105.53	c nbDecision=53500 #constraints=76242
1123.39/1123.87	c nbDecision=54000 #constraints=76662
1141.50/1141.92	c nbDecision=54500 #constraints=77100
1169.29/1169.73	c nbDecision=55000 #constraints=77437
1188.89/1189.36	c nbDecision=55500 #constraints=77859
1209.78/1210.29	c nbDecision=56000 #constraints=78264
1230.47/1230.92	c nbDecision=56500 #constraints=78682
1251.57/1252.04	c nbDecision=57000 #constraints=79127
1273.36/1273.82	c nbDecision=57500 #constraints=79524
1290.25/1290.72	c nbDecision=58000 #constraints=79986
1328.36/1328.82	c nbDecision=58500 #constraints=80210
1342.75/1343.28	c nbDecision=59000 #constraints=80675
1367.34/1367.83	c nbDecision=59500 #constraints=81079
1382.84/1383.39	c nbDecision=60000 #constraints=81555
1398.03/1398.50	c nbDecision=60500 #constraints=82031
1419.22/1419.76	c nbDecision=61000 #constraints=82462
1446.02/1446.55	c nbDecision=61500 #constraints=82785
1465.82/1466.30	c nbDecision=62000 #constraints=83207
1488.31/1488.87	c nbDecision=62500 #constraints=83602
1511.61/1512.14	c nbDecision=63000 #constraints=84007
1528.20/1528.70	c nbDecision=63500 #constraints=84470
1554.39/1554.94	c nbDecision=64000 #constraints=84849
1582.09/1582.61	c nbDecision=64500 #constraints=85207
1598.29/1598.89	c nbDecision=65000 #constraints=85667
1615.28/1615.87	c nbDecision=65500 #constraints=86131
1656.47/1657.07	c nbDecision=66000 #constraints=86339
1677.26/1677.88	c nbDecision=66500 #constraints=86746
1708.15/1708.76	c nbDecision=67000 #constraints=87160
1729.95/1730.53	c nbDecision=67500 #constraints=87460
1767.44/1768.01	c nbDecision=68000 #constraints=87745
1785.04/1785.60	c nbDecision=68500 #constraints=88153
1800.04/1800.60	Received signal 15
1800.04/1800.60	
1800.04/1800.60	s UNKNOWN
1800.04/1800.60	
1800.04/1800.60	c user time= 1798.36 s
1800.04/1800.60	c system time= 1.69274 s
1800.04/1800.60	c wall clock time=1800.61

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455570-1178045778/instance-455570-1178045778.opb
mv /tmp/evaluation/455570-1178045778/instance-455570-1178045778.opb.tmp /tmp/evaluation/455570-1178045778/instance-455570-1178045778.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node26/watcher-455570-1178045778 -o ROOT/results/node26/solver-455570-1178045778 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455570-1178045778/instance-455570-1178045778.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 0.97 0.98 3/77 2019
/proc/meminfo: memFree=1864376/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=1468 CPUtime=0
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 252494604 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 367 167 131 317 0 46 0

[startup+0.102337 s]
/proc/loadavg: 0.94 0.97 0.98 3/77 2019
/proc/meminfo: memFree=1864376/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=3324 CPUtime=0.1
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 626 0 0 0 10 0 0 0 18 0 1 0 252494604 3403776 609 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 831 609 131 317 0 510 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3324

[startup+0.201345 s]
/proc/loadavg: 0.94 0.97 0.98 3/77 2019
/proc/meminfo: memFree=1864376/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=7232 CPUtime=0.19
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 1604 0 0 0 19 0 0 0 18 0 1 0 252494604 7405568 1587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 1808 1587 132 317 0 1487 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7232

[startup+0.301353 s]
/proc/loadavg: 0.94 0.97 0.98 3/77 2019
/proc/meminfo: memFree=1864376/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=13536 CPUtime=0.29
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 3214 0 0 0 28 1 0 0 19 0 1 0 252494604 13860864 3164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 3384 3164 137 317 0 3063 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13536

[startup+0.701391 s]
/proc/loadavg: 0.94 0.97 0.98 3/77 2019
/proc/meminfo: memFree=1864376/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=16424 CPUtime=0.69
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 3919 0 0 0 68 1 0 0 23 0 1 0 252494604 16818176 3643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134590783 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 4106 3643 139 317 0 3785 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16424

[startup+1.50147 s]
/proc/loadavg: 0.94 0.97 0.98 2/78 2020
/proc/meminfo: memFree=1848304/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=19380 CPUtime=1.49
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 4674 0 0 0 148 1 0 0 25 0 1 0 252494604 19845120 4398 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602744 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 4845 4398 139 317 0 4524 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19380

[startup+3.10161 s]
/proc/loadavg: 0.94 0.97 0.98 2/78 2020
/proc/meminfo: memFree=1844272/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=25412 CPUtime=3.1
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 6166 0 0 0 307 3 0 0 25 0 1 0 252494604 26021888 5890 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 6353 5890 139 317 0 6032 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 25412

[startup+6.30191 s]
/proc/loadavg: 0.95 0.97 0.98 2/78 2020
/proc/meminfo: memFree=1832880/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=35908 CPUtime=6.29
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 8818 0 0 0 625 4 0 0 25 0 1 0 252494604 36769792 8542 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 8977 8542 139 317 0 8656 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35908

[startup+12.7015 s]
/proc/loadavg: 0.95 0.97 0.98 2/78 2020
/proc/meminfo: memFree=1810544/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=57524 CPUtime=12.69
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 14200 0 0 0 1263 6 0 0 25 0 1 0 252494604 58904576 13924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 14381 13924 139 317 0 14060 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57524

[startup+25.5017 s]
/proc/loadavg: 0.96 0.97 0.98 2/78 2020
/proc/meminfo: memFree=1773424/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=92764 CPUtime=25.48
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 23035 0 0 0 2537 11 0 0 25 0 1 0 252494604 94990336 22759 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 23191 22759 139 317 0 22870 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 92764

[startup+51.1011 s]
/proc/loadavg: 0.97 0.97 0.98 2/78 2020
/proc/meminfo: memFree=1711408/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=158728 CPUtime=51.08
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 38755 0 0 0 5088 20 0 0 25 0 1 0 252494604 162537472 38479 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711546 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 39682 38479 139 317 0 39361 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 158728

[startup+102.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2020
/proc/meminfo: memFree=1600240/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=276836 CPUtime=102.27
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 66220 0 0 0 10196 31 0 0 25 0 1 0 252494604 283480064 65944 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 69209 65944 139 317 0 68888 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 276836

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2020
/proc/meminfo: memFree=1499952/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=366284 CPUtime=162.25
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 91233 0 0 0 16183 42 0 0 25 0 1 0 252494604 375074816 90957 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 91571 90957 139 317 0 91250 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 366284

[startup+222.306 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2020
/proc/meminfo: memFree=1409840/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=495760 CPUtime=222.24
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 122365 0 0 0 22170 54 0 0 25 0 1 0 252494604 507658240 113443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 123940 113443 139 317 0 123619 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 495760

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2020
/proc/meminfo: memFree=1350640/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=546888 CPUtime=282.23
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 137123 0 0 0 28161 62 0 0 25 0 1 0 252494604 560013312 128168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 136722 128168 139 317 0 136401 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 546888

[startup+342.301 s]
/proc/loadavg: 1.14 1.00 0.99 2/78 2232
/proc/meminfo: memFree=1292200/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=595664 CPUtime=342.09
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 151697 0 0 0 34140 69 0 0 25 0 1 0 252494604 609959936 142742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 148916 142742 139 317 0 148595 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 595664

[startup+402.302 s]
/proc/loadavg: 1.05 1.00 0.99 2/78 2232
/proc/meminfo: memFree=1243440/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=638076 CPUtime=402.08
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 163908 0 0 0 40133 75 0 0 25 0 1 0 252494604 653389824 154953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 159519 154953 139 317 0 159198 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 638076

[startup+462.301 s]
/proc/loadavg: 1.02 1.00 0.99 2/78 2232
/proc/meminfo: memFree=1205360/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=669900 CPUtime=462.06
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 173431 0 0 0 46126 80 0 0 25 0 1 0 252494604 685977600 164476 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 167475 164476 139 317 0 167154 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 669900

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 2232
/proc/meminfo: memFree=1178480/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=693680 CPUtime=522.04
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 180196 0 0 0 52120 84 0 0 25 0 1 0 252494604 710328320 171241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 173420 171241 139 317 0 173099 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 693680

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 2232
/proc/meminfo: memFree=1155760/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=712592 CPUtime=582.03
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 185702 0 0 0 58116 87 0 0 25 0 1 0 252494604 729694208 176747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 178148 176747 139 317 0 177827 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 712592

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 2232
/proc/meminfo: memFree=1132912/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=734080 CPUtime=642.02
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 191876 0 0 0 64110 92 0 0 25 0 1 0 252494604 751697920 182405 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 183520 182405 139 317 0 183199 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 734080


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

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 2232
/proc/meminfo: memFree=963888/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=991420 CPUtime=941.94
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 259482 0 0 0 94072 122 0 0 25 0 1 0 252494604 1015214080 224661 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711029 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 247855 224661 139 317 0 247534 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 991420

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 2232
/proc/meminfo: memFree=936752/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=1014344 CPUtime=1001.93
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 266152 0 0 0 100067 126 0 0 25 0 1 0 252494604 1038688256 231331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 253586 231331 139 317 0 253265 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 1014344

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 2232
/proc/meminfo: memFree=926000/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=1023328 CPUtime=1061.91
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 268846 0 0 0 106063 128 0 0 25 0 1 0 252494604 1047887872 234025 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 255832 234025 139 317 0 255511 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 1023328

[startup+1122.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 2232
/proc/meminfo: memFree=894640/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=1049304 CPUtime=1121.89
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 276706 0 0 0 112057 132 0 0 25 0 1 0 252494604 1074487296 241885 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 262326 241885 139 317 0 262005 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 1049304

[startup+1182.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 2232
/proc/meminfo: memFree=870960/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=1069672 CPUtime=1181.88
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 282703 0 0 0 118052 136 0 0 25 0 1 0 252494604 1095344128 247882 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 267418 247882 139 317 0 267097 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 1069672

[startup+1242.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/78 2232
/proc/meminfo: memFree=846832/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=1089788 CPUtime=1241.87
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 288634 0 0 0 124047 140 0 0 25 0 1 0 252494604 1115942912 253813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 272447 253813 139 317 0 272126 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1089788

[startup+1302.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 2232
/proc/meminfo: memFree=818672/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=1112288 CPUtime=1301.85
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 295603 0 0 0 130041 144 0 0 25 0 1 0 252494604 1138982912 260782 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 278072 260782 139 317 0 277751 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1112288

[startup+1362.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 2232
/proc/meminfo: memFree=802160/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=1126868 CPUtime=1361.84
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 299731 0 0 0 136038 146 0 0 25 0 1 0 252494604 1153912832 264910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718520 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 281717 264910 139 317 0 281396 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1126868

[startup+1422.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 2232
/proc/meminfo: memFree=770480/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=1153036 CPUtime=1421.83
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 307636 0 0 0 142032 151 0 0 25 0 1 0 252494604 1180708864 272815 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 288259 272815 139 317 0 287938 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1153036

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 2232
/proc/meminfo: memFree=746416/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=1173408 CPUtime=1481.81
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 313619 0 0 0 148026 155 0 0 25 0 1 0 252494604 1201569792 278798 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 293352 278798 139 317 0 293031 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1173408

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2232
/proc/meminfo: memFree=724592/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=1191652 CPUtime=1541.8
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 319109 0 0 0 154021 159 0 0 25 0 1 0 252494604 1220251648 284288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 297913 284288 139 317 0 297592 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1191652

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2232
/proc/meminfo: memFree=699824/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=1210976 CPUtime=1601.78
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 325285 0 0 0 160016 162 0 0 25 0 1 0 252494604 1240039424 290464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 302744 290464 139 317 0 302423 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1210976

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2232
/proc/meminfo: memFree=686448/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=1222408 CPUtime=1661.77
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 328595 0 0 0 166013 164 0 0 25 0 1 0 252494604 1251745792 293774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 305602 293774 139 317 0 305281 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1222408

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2232
/proc/meminfo: memFree=670448/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=1236812 CPUtime=1721.75
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 332644 0 0 0 172010 165 0 0 25 0 1 0 252494604 1266495488 297823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 309203 297823 139 317 0 308882 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1236812

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2232
/proc/meminfo: memFree=651888/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=1251640 CPUtime=1781.73
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 337278 0 0 0 178006 167 0 0 25 0 1 0 252494604 1281679360 302457 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602407 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 312910 302457 139 317 0 312589 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1251640



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2232
/proc/meminfo: memFree=639536/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=1261968 CPUtime=1800.04
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 340287 0 0 0 179835 169 0 0 25 0 1 0 252494604 1292255232 305466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 315492 305466 139 317 0 315171 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1261968

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 1.00 2/79 2233
/proc/meminfo: memFree=1066984/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=0 CPUtime=1800.14
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194308 340303 0 0 0 179837 177 0 0 25 0 1 0 252494604 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2233
/proc/meminfo: memFree=1066984/2055920 swapFree=4170208/4192956
[pid=2019] ppid=2017 vsize=0 CPUtime=1800.23
/proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194308 340303 0 0 0 179837 186 0 0 25 0 1 0 252494604 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2019/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.83
CPU time (s): 1800.27
CPU user time (s): 1798.38
CPU system time (s): 1.89071
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 1261968

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

runsolver used 1.40579 second user time and 3.9534 second system time

The end

Launcher Data (download as text)

Begin job on node26 on Tue May  1 18:56:18 UTC 2007

IDJOB= 455570
IDBENCH= 48272
IDSOLVER= 172
FILE ID= node26/455570-1178045778

PBS_JOBID= 4728476

Free space on /tmp= 66563 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_25_4.opb
COMMAND LINE= oree /tmp/evaluation/455570-1178045778/instance-455570-1178045778.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node26/convwatcher-455570-1178045778 -o ROOT/results/node26/conversion-455570-1178045778 -C 600 -M 1800 /tmp/evaluation/455570-1178045778/substituteSizeProductKeyword /tmp/evaluation/455570-1178045778/instance-455570-1178045778.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  de244e44f140b74baa9d32bfcc24f10d

RANDOM SEED= 950552916

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node26.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.213
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.213
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:       1864848 kB
Buffers:         40480 kB
Cached:          62168 kB
SwapCached:       3160 kB
Active:          53816 kB
Inactive:        73456 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1864848 kB
SwapTotal:     4192956 kB
SwapFree:      4170208 kB
Dirty:            1820 kB
Writeback:           0 kB
Mapped:          30784 kB
Slab:            49420 kB
Committed_AS:  2467412 kB
PageTables:       1716 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 node26 on Tue May  1 19:26:21 UTC 2007