Trace number 455210

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.08 1800.77

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_25_2.opb
MD5SUM1eb933a10fcc575d2df25e98511c4b07
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-7
Best CPU time to get the best result obtained on this benchmark45.985
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -7
Optimality of the best value was proved YES
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
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 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)2960
Sum of products size (including duplicates)5920
Number of different products1480
Sum of products size2960

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.00/0.02	c ...done
0.00/0.02	c #vars=1580 #constraints=3113 hasObjective=yes
0.00/0.03	c res. mode=mod
0.00/0.03	c VSIDS like heuristics
0.00/0.03	c complete search running
0.09/0.19	c restart after 401 decisions
0.19/0.23	c nbDecision=500 #constraints=3481
0.29/0.37	c restart after 801 decisions
0.39/0.48	c nbDecision=1000 #constraints=3845
0.79/0.84	c nbDecision=1500 #constraints=4224
0.89/0.92	c restart after 1601 decisions
1.19/1.28	c nbDecision=2000 #constraints=4625
1.89/1.90	c nbDecision=2500 #constraints=4999
2.69/2.73	c nbDecision=3000 #constraints=5358
2.99/3.07	c restart after 3201 decisions
3.69/3.72	c nbDecision=3500 #constraints=5751
4.89/4.91	c nbDecision=4000 #constraints=6152
6.59/6.61	c nbDecision=4500 #constraints=6510
8.18/8.27	c nbDecision=5000 #constraints=6906
10.09/10.18	c nbDecision=5500 #constraints=7326
12.99/13.07	c nbDecision=6000 #constraints=7678
14.98/15.04	c restart after 6401 decisions
15.68/15.74	c nbDecision=6500 #constraints=8074
18.58/18.69	c nbDecision=7000 #constraints=8446
21.69/21.70	c nbDecision=7500 #constraints=8831
25.58/25.62	c nbDecision=8000 #constraints=9217
30.58/30.66	c nbDecision=8500 #constraints=9545
35.87/35.92	c nbDecision=9000 #constraints=9871
40.97/41.02	c nbDecision=9500 #constraints=10258
46.28/46.40	c nbDecision=10000 #constraints=10627
51.97/52.05	c nbDecision=10500 #constraints=11001
59.67/59.72	c nbDecision=11000 #constraints=11357
69.06/69.10	c nbDecision=11500 #constraints=11657
75.87/75.95	c nbDecision=12000 #constraints=12055
83.66/83.77	c nbDecision=12500 #constraints=12439
88.56/88.69	c restart after 12801 decisions
91.86/91.92	c nbDecision=13000 #constraints=12811
101.65/101.76	c nbDecision=13500 #constraints=13126
112.94/113.03	c nbDecision=14000 #constraints=13419
123.15/123.30	c nbDecision=14500 #constraints=13789
134.24/134.39	c nbDecision=15000 #constraints=14160
144.33/144.48	c nbDecision=15500 #constraints=14548
156.93/157.05	c nbDecision=16000 #constraints=14930
169.72/169.86	c nbDecision=16500 #constraints=15309
185.52/185.69	c nbDecision=17000 #constraints=15624
199.81/199.96	c nbDecision=17500 #constraints=16008
214.31/214.43	c nbDecision=18000 #constraints=16399
229.11/229.22	c nbDecision=18500 #constraints=16780
246.70/246.88	c nbDecision=19000 #constraints=17150
267.49/267.68	c nbDecision=19500 #constraints=17472
282.08/282.27	c nbDecision=20000 #constraints=17895
300.98/301.15	c nbDecision=20500 #constraints=18268
317.67/317.90	c nbDecision=21000 #constraints=18664
338.76/338.90	c nbDecision=21500 #constraints=19036
359.75/359.97	c nbDecision=22000 #constraints=19414
385.04/385.23	c nbDecision=22500 #constraints=19766
408.23/408.44	c nbDecision=23000 #constraints=20136
425.43/425.63	c nbDecision=23500 #constraints=20539
444.92/445.17	c nbDecision=24000 #constraints=20926
468.10/468.38	c nbDecision=24500 #constraints=21310
491.51/491.73	c nbDecision=25000 #constraints=21698
514.09/514.35	c nbDecision=25500 #constraints=22104
518.40/518.65	c restart after 25601 decisions
538.08/538.35	c nbDecision=26000 #constraints=22495
570.47/570.74	c nbDecision=26500 #constraints=22837
596.66/596.92	c nbDecision=27000 #constraints=23234
624.15/624.50	c nbDecision=27500 #constraints=23616
649.94/650.22	c nbDecision=28000 #constraints=24030
676.83/677.14	c nbDecision=28500 #constraints=24426
702.63/703.00	c nbDecision=29000 #constraints=24847
733.31/733.67	c nbDecision=29500 #constraints=25227
769.90/770.27	c nbDecision=30000 #constraints=25592
804.18/804.53	c nbDecision=30500 #constraints=25971
838.57/838.94	c nbDecision=31000 #constraints=26348
871.36/871.79	c nbDecision=31500 #constraints=26738
900.14/900.55	c nbDecision=32000 #constraints=27126
931.14/931.59	c nbDecision=32500 #constraints=27537
958.52/958.94	c nbDecision=33000 #constraints=27959
991.11/991.57	c nbDecision=33500 #constraints=28356
1025.59/1026.03	c nbDecision=34000 #constraints=28755
1066.68/1067.17	c nbDecision=34500 #constraints=29122
1102.27/1102.73	c nbDecision=35000 #constraints=29514
1139.15/1139.62	c nbDecision=35500 #constraints=29906
1173.34/1173.80	c nbDecision=36000 #constraints=30324
1206.33/1206.85	c nbDecision=36500 #constraints=30761
1253.31/1253.89	c nbDecision=37000 #constraints=31150
1293.99/1294.51	c nbDecision=37500 #constraints=31556
1336.38/1336.98	c nbDecision=38000 #constraints=31948
1373.17/1373.71	c nbDecision=38500 #constraints=32367
1412.65/1413.20	c nbDecision=39000 #constraints=32779
1453.13/1453.72	c nbDecision=39500 #constraints=33193
1496.31/1496.94	c nbDecision=40000 #constraints=33608
1555.09/1555.72	c nbDecision=40500 #constraints=33977
1591.28/1591.94	c nbDecision=41000 #constraints=34411
1631.97/1632.68	c nbDecision=41500 #constraints=34820
1679.25/1679.95	c nbDecision=42000 #constraints=35236
1720.43/1721.12	c nbDecision=42500 #constraints=35644
1754.92/1755.69	c nbDecision=43000 #constraints=36053
1794.90/1795.62	c nbDecision=43500 #constraints=36462
1800.01/1800.70	Received signal 15
1800.01/1800.75	
1800.01/1800.75	s UNKNOWN
1800.01/1800.75	
1800.01/1800.75	c user time= 1799.73 s
1800.01/1800.75	c system time= 0.330949 s
1800.01/1800.75	c wall clock time=1800.75

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455210-1178039158/instance-455210-1178039158.opb
mv /tmp/evaluation/455210-1178039158/instance-455210-1178039158.opb.tmp /tmp/evaluation/455210-1178039158/instance-455210-1178039158.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node33/watcher-455210-1178039158 -o ROOT/results/node33/solver-455210-1178039158 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455210-1178039158/instance-455210-1178039158.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.91 0.98 0.99 3/77 679
/proc/meminfo: memFree=1831464/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=1468 CPUtime=0
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 251831290 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 367 166 131 317 0 46 0

[startup+0.0931389 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 679
/proc/meminfo: memFree=1831464/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=3044 CPUtime=0.08
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 550 0 0 0 8 0 0 0 18 0 1 0 251831290 3117056 533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604316 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 761 533 139 317 0 440 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3044

[startup+0.101141 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 679
/proc/meminfo: memFree=1831464/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=3044 CPUtime=0.09
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 561 0 0 0 9 0 0 0 18 0 1 0 251831290 3117056 544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 761 544 139 317 0 440 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3044

[startup+0.301182 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 679
/proc/meminfo: memFree=1831464/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=3704 CPUtime=0.29
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 739 0 0 0 29 0 0 0 19 0 1 0 251831290 3792896 722 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 926 722 139 317 0 605 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3704

[startup+0.701263 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 679
/proc/meminfo: memFree=1831464/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=5032 CPUtime=0.69
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 1043 0 0 0 69 0 0 0 22 0 1 0 251831290 5152768 1026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715691 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 1258 1026 139 317 0 937 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5032

[startup+1.50243 s]
/proc/loadavg: 0.91 0.98 0.99 2/78 680
/proc/meminfo: memFree=1826976/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=6628 CPUtime=1.49
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 1448 0 0 0 149 0 0 0 25 0 1 0 251831290 6787072 1431 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714050 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 1657 1431 139 317 0 1336 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6628

[startup+3.10175 s]
/proc/loadavg: 0.91 0.98 0.99 2/78 680
/proc/meminfo: memFree=1825376/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=8712 CPUtime=3.09
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 1915 0 0 0 308 1 0 0 25 0 1 0 251831290 8921088 1898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 2178 1898 139 317 0 1857 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8712

[startup+6.30141 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 680
/proc/meminfo: memFree=1822368/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=10460 CPUtime=6.29
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 2415 0 0 0 628 1 0 0 25 0 1 0 251831290 10711040 2355 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 2615 2355 139 317 0 2294 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10460

[startup+12.7017 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 680
/proc/meminfo: memFree=1819872/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=12956 CPUtime=12.69
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 3047 0 0 0 1267 2 0 0 25 0 1 0 251831290 13266944 2987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 3239 2987 139 317 0 2918 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12956

[startup+25.5013 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 680
/proc/meminfo: memFree=1815904/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=17176 CPUtime=25.48
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 4017 0 0 0 2545 3 0 0 25 0 1 0 251831290 17588224 3957 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 4294 3957 139 317 0 3973 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17176

[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 680
/proc/meminfo: memFree=1812256/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=20628 CPUtime=51.07
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 4929 0 0 0 5103 4 0 0 25 0 1 0 251831290 21123072 4869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 5157 4869 139 317 0 4836 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 20628

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 680
/proc/meminfo: memFree=1806752/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=27592 CPUtime=102.25
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 6387 0 0 0 10220 5 0 0 25 0 1 0 251831290 28254208 6242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 6898 6242 139 317 0 6577 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 27592

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 680
/proc/meminfo: memFree=1802464/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=31648 CPUtime=162.23
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 7460 0 0 0 16216 7 0 0 25 0 1 0 251831290 32407552 7315 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 7912 7315 139 317 0 7591 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 31648

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 680
/proc/meminfo: memFree=1799328/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=34692 CPUtime=222.2
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 8227 0 0 0 22212 8 0 0 25 0 1 0 251831290 35524608 8082 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 8673 8082 139 317 0 8352 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 34692

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 680
/proc/meminfo: memFree=1796448/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=37620 CPUtime=282.18
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 8933 0 0 0 28209 9 0 0 25 0 1 0 251831290 38522880 8788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 9405 8788 139 317 0 9084 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 37620

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 680
/proc/meminfo: memFree=1793888/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=39872 CPUtime=342.15
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 9570 0 0 0 34205 10 0 0 25 0 1 0 251831290 40828928 9425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 9968 9425 139 317 0 9647 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 39872

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 680
/proc/meminfo: memFree=1791904/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=41732 CPUtime=402.13
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 10063 0 0 0 40202 11 0 0 25 0 1 0 251831290 42733568 9918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711017 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 10433 9918 139 317 0 10112 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 41732

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 680
/proc/meminfo: memFree=1789088/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=44244 CPUtime=462.11
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 10745 0 0 0 46199 12 0 0 25 0 1 0 251831290 45305856 10600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 11061 10600 139 317 0 10740 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 44244

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 680
/proc/meminfo: memFree=1785952/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=49840 CPUtime=522.09
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 12012 0 0 0 52195 14 0 0 25 0 1 0 251831290 51036160 11339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 12460 11339 139 317 0 12139 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 49840

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 680
/proc/meminfo: memFree=1784480/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=51420 CPUtime=582.06
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 12415 0 0 0 58192 14 0 0 25 0 1 0 251831290 52654080 11742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 12855 11742 139 317 0 12534 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 51420

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 680
/proc/meminfo: memFree=1782560/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=53268 CPUtime=642.05
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 12880 0 0 0 64190 15 0 0 25 0 1 0 251831290 54546432 12207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 13317 12207 139 317 0 12996 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 53268


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 680
/proc/meminfo: memFree=1775520/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=61044 CPUtime=881.95
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 14812 0 0 0 88176 19 0 0 25 0 1 0 251831290 62509056 13937 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 15261 13937 139 317 0 14940 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 61044

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 680
/proc/meminfo: memFree=1773728/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=63004 CPUtime=941.93
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 15262 0 0 0 94173 20 0 0 25 0 1 0 251831290 64516096 14387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 15751 14387 139 317 0 15430 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 63004

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 680
/proc/meminfo: memFree=1771936/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=64568 CPUtime=1001.91
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 15716 0 0 0 100170 21 0 0 25 0 1 0 251831290 66117632 14841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 16142 14841 139 317 0 15821 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 64568

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 680
/proc/meminfo: memFree=1770400/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=66016 CPUtime=1061.88
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 16084 0 0 0 106166 22 0 0 25 0 1 0 251831290 67600384 15209 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 16504 15209 139 317 0 16183 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 66016

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 680
/proc/meminfo: memFree=1769120/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=67072 CPUtime=1121.86
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 16407 0 0 0 112163 23 0 0 25 0 1 0 251831290 68681728 15532 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 16768 15532 139 317 0 16447 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 67072

[startup+1182.3 s]
/proc/loadavg: 1.11 1.02 1.00 2/78 680
/proc/meminfo: memFree=1767264/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=68644 CPUtime=1181.84
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 16854 0 0 0 118160 24 0 0 25 0 1 0 251831290 70291456 15979 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 17161 15979 139 317 0 16840 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 68644

[startup+1242.3 s]
/proc/loadavg: 1.11 1.03 1.00 2/78 680
/proc/meminfo: memFree=1765728/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=69988 CPUtime=1241.82
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 17216 0 0 0 124157 25 0 0 25 0 1 0 251831290 71667712 16341 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718322 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 17497 16341 139 317 0 17176 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 69988

[startup+1302.3 s]
/proc/loadavg: 1.11 1.04 1.00 2/78 680
/proc/meminfo: memFree=1764512/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=71168 CPUtime=1301.8
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 17555 0 0 0 130154 26 0 0 25 0 1 0 251831290 72876032 16647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 17792 16647 139 317 0 17471 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 71168

[startup+1362.3 s]
/proc/loadavg: 1.10 1.04 1.00 2/78 680
/proc/meminfo: memFree=1763104/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=72348 CPUtime=1361.77
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 17930 0 0 0 136151 26 0 0 25 0 1 0 251831290 74084352 16989 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563761 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 18087 16989 139 317 0 17766 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 72348

[startup+1422.31 s]
/proc/loadavg: 1.09 1.05 1.00 2/78 680
/proc/meminfo: memFree=1761504/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=73924 CPUtime=1421.75
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 18383 0 0 0 142147 28 0 0 25 0 1 0 251831290 75698176 17376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 18481 17376 139 317 0 18160 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 73924

[startup+1482.3 s]
/proc/loadavg: 1.08 1.05 1.00 2/78 680
/proc/meminfo: memFree=1760096/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=75516 CPUtime=1481.72
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 18768 0 0 0 148144 28 0 0 25 0 1 0 251831290 77328384 17728 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 18879 17728 139 317 0 18558 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 75516

[startup+1542.3 s]
/proc/loadavg: 1.08 1.06 1.00 2/78 680
/proc/meminfo: memFree=1759136/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=76304 CPUtime=1541.7
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 19008 0 0 0 154141 29 0 0 25 0 1 0 251831290 78135296 17968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 19076 17968 139 317 0 18755 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 76304

[startup+1602.3 s]
/proc/loadavg: 1.07 1.06 1.00 2/78 680
/proc/meminfo: memFree=1757600/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=77492 CPUtime=1601.68
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 19385 0 0 0 160138 30 0 0 25 0 1 0 251831290 79351808 18345 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563527 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 19373 18345 139 317 0 19052 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 77492

[startup+1662.3 s]
/proc/loadavg: 1.11 1.08 1.01 2/78 680
/proc/meminfo: memFree=1756256/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=79060 CPUtime=1661.66
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 19814 0 0 0 166135 31 0 0 25 0 1 0 251831290 80957440 18675 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 19765 18675 139 317 0 19444 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 79060

[startup+1722.3 s]
/proc/loadavg: 1.08 1.07 1.01 2/78 680
/proc/meminfo: memFree=1755040/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=80512 CPUtime=1721.63
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 20211 0 0 0 172132 31 0 0 25 0 1 0 251831290 82444288 19006 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 20128 19006 139 317 0 19807 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 80512

[startup+1782.3 s]
/proc/loadavg: 1.03 1.06 1.00 2/78 680
/proc/meminfo: memFree=1753312/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=82076 CPUtime=1781.6
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 20683 0 0 0 178128 32 0 0 25 0 1 0 251831290 84045824 19412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 20519 19412 139 317 0 20198 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 82076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.02 1.05 1.00 2/78 680
/proc/meminfo: memFree=1752864/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=82596 CPUtime=1800.01
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 20825 0 0 0 179968 33 0 0 25 0 1 0 251831290 84578304 19521 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 20649 19521 139 317 0 20328 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 82596

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.02 1.05 1.00 2/78 680
/proc/meminfo: memFree=1752864/2055920 swapFree=4147808/4192956
[pid=679] ppid=677 vsize=82596 CPUtime=1800.01
/proc/679/stat : 679 (oree) R 677 679 32446 0 -1 4194304 20825 0 0 0 179968 33 0 0 25 0 1 0 251831290 84578304 19521 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/679/statm: 20649 19521 139 317 0 20328 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 82596

Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.08
CPU user time (s): 1799.74
CPU system time (s): 0.342947
CPU usage (%): 99.9616
Max. virtual memory (cumulated for all children) (KiB): 82596

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

runsolver used 1.43178 second user time and 4.13937 second system time

The end

Launcher Data (download as text)

Begin job on node33 on Tue May  1 17:05:58 UTC 2007

IDJOB= 455210
IDBENCH= 48248
IDSOLVER= 172
FILE ID= node33/455210-1178039158

PBS_JOBID= 4728436

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_50_25_2.opb
COMMAND LINE= oree /tmp/evaluation/455210-1178039158/instance-455210-1178039158.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node33/convwatcher-455210-1178039158 -o ROOT/results/node33/conversion-455210-1178039158 -C 600 -M 1800 /tmp/evaluation/455210-1178039158/substituteSizeProductKeyword /tmp/evaluation/455210-1178039158/instance-455210-1178039158.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  1eb933a10fcc575d2df25e98511c4b07

RANDOM SEED= 98993107

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node33.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.272
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.272
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:       1831808 kB
Buffers:         75220 kB
Cached:          65096 kB
SwapCached:      13432 kB
Active:         112884 kB
Inactive:        50980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1831808 kB
SwapTotal:     4192956 kB
SwapFree:      4147808 kB
Dirty:            1364 kB
Writeback:           0 kB
Mapped:          29796 kB
Slab:            45544 kB
Committed_AS:  5148832 kB
PageTables:       1992 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 node33 on Tue May  1 17:36:01 UTC 2007