Trace number 455630

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) 1802.27 1802.75

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_60_1.opb
MD5SUM6856221d5d444d2079d321f11fb11f0b
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-74
Best CPU time to get the best result obtained on this benchmark1800.53
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -74
Optimality of the best value was proved NO
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)151172
Sum of products size (including duplicates)302344
Number of different products75586
Sum of products size151172

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...
1.19/1.22	c ...done
1.19/1.22	c #vars=77586 #constraints=154175 hasObjective=yes
1.89/1.99	c res. mode=mod
1.89/1.99	c VSIDS like heuristics
1.89/1.99	c complete search running
2.49/2.59	c restart after 401 decisions
2.79/2.84	c nbDecision=500 #constraints=154175
3.20/3.27	c restart after 801 decisions
3.59/3.66	c nbDecision=1000 #constraints=154175
7.29/7.33	c nbDecision=1500 #constraints=154374
8.79/8.87	c restart after 1601 decisions
9.68/9.79	c nbDecision=2000 #constraints=154476
14.58/14.61	c nbDecision=2500 #constraints=154753
22.48/22.51	c nbDecision=3000 #constraints=155180
22.98/23.02	c restart after 3201 decisions
24.08/24.17	c nbDecision=3500 #constraints=155180
28.88/28.93	c nbDecision=4000 #constraints=155392
37.48/37.56	c nbDecision=4500 #constraints=155806
46.77/46.87	c nbDecision=5000 #constraints=156184
50.08/50.14	c nbDecision=5500 #constraints=156276
60.17/60.20	c nbDecision=6000 #constraints=156683
62.17/62.27	c restart after 6401 decisions
63.97/64.03	c nbDecision=6500 #constraints=156684
67.67/67.70	c nbDecision=7000 #constraints=156783
78.27/78.37	c nbDecision=7500 #constraints=157183
81.67/81.77	c nbDecision=8000 #constraints=157239
91.36/91.41	c nbDecision=8500 #constraints=157681
101.17/101.29	c nbDecision=9000 #constraints=158164
110.66/110.74	c nbDecision=9500 #constraints=158581
119.96/120.06	c nbDecision=10000 #constraints=158961
129.76/129.85	c nbDecision=10500 #constraints=159370
140.05/140.18	c nbDecision=11000 #constraints=159843
150.05/150.14	c nbDecision=11500 #constraints=160179
160.55/160.64	c nbDecision=12000 #constraints=160647
170.65/170.78	c nbDecision=12500 #constraints=161079
176.85/176.91	c restart after 12801 decisions
183.14/183.27	c nbDecision=13000 #constraints=161272
190.44/190.51	c nbDecision=13500 #constraints=161471
200.93/201.06	c nbDecision=14000 #constraints=161852
211.73/211.88	c nbDecision=14500 #constraints=162249
226.53/226.60	c nbDecision=15000 #constraints=162605
233.83/233.94	c nbDecision=15500 #constraints=162695
249.13/249.20	c nbDecision=16000 #constraints=163092
260.63/260.74	c nbDecision=16500 #constraints=163093
267.91/268.01	c nbDecision=17000 #constraints=163218
283.22/283.36	c nbDecision=17500 #constraints=163578
295.31/295.44	c nbDecision=18000 #constraints=163579
303.10/303.28	c nbDecision=18500 #constraints=163741
315.11/315.20	c nbDecision=19000 #constraints=164065
327.31/327.40	c nbDecision=19500 #constraints=164547
337.70/337.87	c nbDecision=20000 #constraints=164932
349.49/349.67	c nbDecision=20500 #constraints=165328
361.19/361.30	c nbDecision=21000 #constraints=165784
375.19/375.34	c nbDecision=21500 #constraints=165994
386.39/386.58	c nbDecision=22000 #constraints=166470
398.28/398.42	c nbDecision=22500 #constraints=166923
410.19/410.31	c nbDecision=23000 #constraints=167390
431.28/431.40	c nbDecision=23500 #constraints=167431
440.98/441.18	c nbDecision=24000 #constraints=167634
455.17/455.37	c nbDecision=24500 #constraints=167929
474.87/475.00	c nbDecision=25000 #constraints=168383
486.56/486.75	c nbDecision=25500 #constraints=168384
488.66/488.81	c restart after 25601 decisions
504.56/504.73	c nbDecision=26000 #constraints=168410
515.65/515.83	c nbDecision=26500 #constraints=168809
528.05/528.28	c nbDecision=27000 #constraints=169265
549.24/549.43	c nbDecision=27500 #constraints=169333
560.24/560.49	c nbDecision=28000 #constraints=169665
574.14/574.39	c nbDecision=28500 #constraints=170036
586.53/586.77	c nbDecision=29000 #constraints=170517
599.63/599.86	c nbDecision=29500 #constraints=170969
614.03/614.26	c nbDecision=30000 #constraints=171349
628.02/628.24	c nbDecision=30500 #constraints=171763
642.02/642.27	c nbDecision=31000 #constraints=172181
666.21/666.48	c nbDecision=31500 #constraints=172623
678.31/678.52	c nbDecision=32000 #constraints=172633
693.31/693.50	c nbDecision=32500 #constraints=173089
705.60/705.87	c nbDecision=33000 #constraints=173514
720.70/720.91	c nbDecision=33500 #constraints=173900
735.60/735.83	c nbDecision=34000 #constraints=174301
760.49/760.71	c nbDecision=34500 #constraints=174480
785.28/785.55	c nbDecision=35000 #constraints=174481
797.88/798.14	c nbDecision=35500 #constraints=174820
822.68/822.93	c nbDecision=36000 #constraints=174942
835.57/835.89	c nbDecision=36500 #constraints=175346
851.27/851.59	c nbDecision=37000 #constraints=175736
869.46/869.73	c nbDecision=37500 #constraints=176046
896.55/896.89	c nbDecision=38000 #constraints=176323
910.15/910.43	c nbDecision=38500 #constraints=176526
936.84/937.18	c nbDecision=39000 #constraints=176780
950.74/951.00	c nbDecision=39500 #constraints=177032
968.43/968.79	c nbDecision=40000 #constraints=177379
995.93/996.24	c nbDecision=40500 #constraints=177693
1015.52/1015.84	c nbDecision=41000 #constraints=177721
1032.01/1032.37	c nbDecision=41500 #constraints=178148
1046.41/1046.70	c nbDecision=42000 #constraints=178580
1063.21/1063.53	c nbDecision=42500 #constraints=178971
1094.70/1095.06	c nbDecision=43000 #constraints=179056
1108.60/1108.94	c nbDecision=43500 #constraints=179425
1138.49/1138.85	c nbDecision=44000 #constraints=179507
1169.18/1169.52	c nbDecision=44500 #constraints=179508
1197.47/1197.83	c nbDecision=45000 #constraints=179958
1215.57/1215.97	c nbDecision=45500 #constraints=179959
1230.86/1231.21	c nbDecision=46000 #constraints=180408
1261.76/1262.11	c nbDecision=46500 #constraints=180414
1278.15/1278.53	c nbDecision=47000 #constraints=180857
1295.94/1296.38	c nbDecision=47500 #constraints=181220
1328.34/1328.75	c nbDecision=48000 #constraints=181305
1345.53/1345.92	c nbDecision=48500 #constraints=181650
1367.73/1368.16	c nbDecision=49000 #constraints=181936
1384.73/1385.19	c nbDecision=49500 #constraints=182357
1405.82/1406.27	c nbDecision=50000 #constraints=182687
1424.31/1424.70	c nbDecision=50500 #constraints=183087
1440.52/1440.91	c nbDecision=51000 #constraints=183525
1456.01/1456.41	c restart after 51201 decisions
1482.90/1483.31	c nbDecision=51500 #constraints=183531
1498.49/1498.95	c nbDecision=52000 #constraints=183830
1519.29/1519.72	c nbDecision=52500 #constraints=184179
1561.28/1561.70	c nbDecision=53000 #constraints=184414
1579.77/1580.25	c nbDecision=53500 #constraints=184470
1599.26/1599.78	c nbDecision=54000 #constraints=184856
1633.76/1634.26	c nbDecision=54500 #constraints=185293
1653.25/1653.74	c nbDecision=55000 #constraints=185314
1673.25/1673.78	c nbDecision=55500 #constraints=185730
1690.24/1690.78	c nbDecision=56000 #constraints=186136
1727.64/1728.17	c nbDecision=56500 #constraints=186169
1746.63/1747.15	c nbDecision=57000 #constraints=186603
1766.72/1767.29	c nbDecision=57500 #constraints=187038
1788.62/1789.12	c nbDecision=58000 #constraints=187323
1800.02/1800.50	Received signal 15

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455630-1178046883/instance-455630-1178046883.opb
mv /tmp/evaluation/455630-1178046883/instance-455630-1178046883.opb.tmp /tmp/evaluation/455630-1178046883/instance-455630-1178046883.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node57/watcher-455630-1178046883 -o ROOT/results/node57/solver-455630-1178046883 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455630-1178046883/instance-455630-1178046883.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.85 0.97 0.94 3/64 5334
/proc/meminfo: memFree=1882384/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=1468 CPUtime=0
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 245824294 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827760 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 367 164 131 317 0 46 0

[startup+0.0913279 s]
/proc/loadavg: 0.85 0.97 0.94 3/64 5334
/proc/meminfo: memFree=1882384/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=3184 CPUtime=0.08
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 614 0 0 0 8 0 0 0 18 0 1 0 245824294 3260416 597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 796 598 131 317 0 475 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3184

[startup+0.101329 s]
/proc/loadavg: 0.85 0.97 0.94 3/64 5334
/proc/meminfo: memFree=1882384/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=3448 CPUtime=0.09
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 664 0 0 0 9 0 0 0 18 0 1 0 245824294 3530752 647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 862 647 131 317 0 541 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3448

[startup+0.301345 s]
/proc/loadavg: 0.85 0.97 0.94 3/64 5334
/proc/meminfo: memFree=1882384/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=7276 CPUtime=0.29
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 1636 0 0 0 29 0 0 0 19 0 1 0 245824294 7450624 1619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 1819 1619 131 317 0 1498 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7276

[startup+0.701379 s]
/proc/loadavg: 0.85 0.97 0.94 3/64 5334
/proc/meminfo: memFree=1882384/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=19560 CPUtime=0.69
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 4710 0 0 0 67 2 0 0 22 0 1 0 245824294 20029440 4660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 4890 4661 132 317 0 4569 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19560

[startup+1.50145 s]
/proc/loadavg: 0.85 0.97 0.94 2/65 5335
/proc/meminfo: memFree=1852488/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=58572 CPUtime=1.49
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 14596 0 0 0 144 5 0 0 25 0 1 0 245824294 59977728 14352 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 14643 14352 137 317 0 14322 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58572

[startup+3.10159 s]
/proc/loadavg: 0.85 0.97 0.94 2/65 5335
/proc/meminfo: memFree=1820424/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=63588 CPUtime=3.09
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 15849 0 0 0 303 6 0 0 25 0 1 0 245824294 65114112 15605 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606729 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 15897 15605 138 317 0 15576 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63588

[startup+6.30187 s]
/proc/loadavg: 0.86 0.97 0.94 2/65 5335
/proc/meminfo: memFree=1816144/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=72740 CPUtime=6.29
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 18119 0 0 0 622 7 0 0 25 0 1 0 245824294 74485760 16821 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 18185 16821 139 317 0 17864 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 72740

[startup+12.7014 s]
/proc/loadavg: 0.87 0.97 0.94 2/65 5335
/proc/meminfo: memFree=1798224/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=91448 CPUtime=12.69
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 22815 0 0 0 1260 9 0 0 25 0 1 0 245824294 93642752 21517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 22862 21517 139 317 0 22541 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 91448

[startup+25.5015 s]
/proc/loadavg: 0.90 0.97 0.94 2/65 5335
/proc/meminfo: memFree=1771664/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=118536 CPUtime=25.48
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 29172 0 0 0 2537 11 0 0 25 0 1 0 245824294 121380864 27874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 29634 27874 139 317 0 29313 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 118536

[startup+51.1018 s]
/proc/loadavg: 0.93 0.97 0.94 2/65 5335
/proc/meminfo: memFree=1720400/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=174476 CPUtime=51.07
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 42116 0 0 0 5090 17 0 0 25 0 1 0 245824294 178663424 40818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712520 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 43619 40818 139 317 0 43298 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 174476

[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.94 2/65 5335
/proc/meminfo: memFree=1647184/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=240552 CPUtime=102.27
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 60080 0 0 0 10201 26 0 0 25 0 1 0 245824294 246325248 58782 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 60138 58782 139 317 0 59817 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 240552

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 5335
/proc/meminfo: memFree=1532176/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=360996 CPUtime=162.25
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 88999 0 0 0 16187 38 0 0 25 0 1 0 245824294 369659904 87701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 90249 87701 139 317 0 89928 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 360996

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 5335
/proc/meminfo: memFree=1424784/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=495684 CPUtime=222.23
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 115526 0 0 0 22174 49 0 0 25 0 1 0 245824294 507580416 114228 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718322 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 123921 114228 139 317 0 123600 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 495684

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 5335
/proc/meminfo: memFree=1385936/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=530264 CPUtime=282.22
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 125236 0 0 0 28168 54 0 0 25 0 1 0 245824294 542990336 123938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 132566 123938 139 317 0 132245 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 530264

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 5335
/proc/meminfo: memFree=1327760/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=581940 CPUtime=342.2
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 139738 0 0 0 34160 60 0 0 25 0 1 0 245824294 595906560 138440 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 145485 138440 139 317 0 145164 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 581940

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 5335
/proc/meminfo: memFree=1249232/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=653392 CPUtime=402.18
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 159726 0 0 0 40150 68 0 0 25 0 1 0 245824294 669073408 158428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713878 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 163348 158428 139 317 0 163027 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 653392

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 5335
/proc/meminfo: memFree=1201552/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=695964 CPUtime=462.16
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 171405 0 0 0 46143 73 0 0 25 0 1 0 245824294 712667136 170107 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 173991 170107 139 317 0 173670 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 695964

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 5335
/proc/meminfo: memFree=1172624/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=723584 CPUtime=522.15
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 179376 0 0 0 52139 76 0 0 25 0 1 0 245824294 740950016 178078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602744 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 180896 178078 139 317 0 180575 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 723584

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 5335
/proc/meminfo: memFree=1118864/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=770148 CPUtime=582.13
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 192068 0 0 0 58132 81 0 0 25 0 1 0 245824294 788631552 190770 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 192537 190770 139 317 0 192216 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 770148

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 5335
/proc/meminfo: memFree=1011536/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=964856 CPUtime=642.12
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 235865 0 0 0 64115 97 0 0 25 0 1 0 245824294 988012544 217275 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562754 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 241214 217275 139 317 0 240893 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 964856


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

/proc/meminfo: memFree=731280/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=1204676 CPUtime=1062.01
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 306081 0 0 0 106074 127 0 0 25 0 1 0 245824294 1233588224 287491 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 301169 287491 139 317 0 300848 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1204676

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 5337
/proc/meminfo: memFree=706256/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=1225388 CPUtime=1121.99
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 312036 0 0 0 112070 129 0 0 25 0 1 0 245824294 1254797312 293446 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 306347 293446 139 317 0 306026 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1225388

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 5337
/proc/meminfo: memFree=689168/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=1240516 CPUtime=1181.97
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 316611 0 0 0 118066 131 0 0 25 0 1 0 245824294 1270288384 298021 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 310129 298021 139 317 0 309808 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 1240516

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 5337
/proc/meminfo: memFree=667728/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=1257412 CPUtime=1241.96
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 321628 0 0 0 124063 133 0 0 25 0 1 0 245824294 1287589888 303038 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 314353 303038 139 317 0 314032 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1257412

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 5337
/proc/meminfo: memFree=632528/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=1289444 CPUtime=1301.95
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 330406 0 0 0 130058 137 0 0 25 0 1 0 245824294 1320390656 311816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 322361 311816 139 317 0 322040 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1289444

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 5337
/proc/meminfo: memFree=613520/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=1305404 CPUtime=1361.93
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 335176 0 0 0 136053 140 0 0 25 0 1 0 245824294 1336733696 316586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 326351 316586 139 317 0 326030 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1305404

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 5337
/proc/meminfo: memFree=556368/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=1352980 CPUtime=1421.92
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 349423 0 0 0 142047 145 0 0 25 0 1 0 245824294 1385451520 330833 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 338245 330833 139 317 0 337924 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1352980

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 5337
/proc/meminfo: memFree=537360/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=1368756 CPUtime=1481.9
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 354159 0 0 0 148043 147 0 0 25 0 1 0 245824294 1401606144 335569 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 342189 335569 139 317 0 341868 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1368756

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 5337
/proc/meminfo: memFree=502352/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=1400180 CPUtime=1541.88
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 362898 0 0 0 154037 151 0 0 25 0 1 0 245824294 1433784320 344308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 350045 344308 139 317 0 349724 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1400180

[startup+1602.3 s]
/proc/loadavg: 1.06 0.99 0.95 2/65 5337
/proc/meminfo: memFree=481360/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=1419272 CPUtime=1601.87
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 369110 0 0 0 160034 153 0 0 25 0 1 0 245824294 1453334528 350520 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 354818 350520 139 317 0 354497 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1419272

[startup+1662.3 s]
/proc/loadavg: 1.08 1.00 0.95 2/65 5337
/proc/meminfo: memFree=450448/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=1443216 CPUtime=1661.85
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 375932 0 0 0 166030 155 0 0 25 0 1 0 245824294 1477853184 357342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 360804 357342 139 317 0 360483 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1443216

[startup+1722.3 s]
/proc/loadavg: 1.07 1.01 0.96 2/65 5337
/proc/meminfo: memFree=427408/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=1462612 CPUtime=1721.84
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 381580 0 0 0 172027 157 0 0 25 0 1 0 245824294 1497714688 362990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 365653 362990 139 317 0 365332 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1462612

[startup+1782.3 s]
/proc/loadavg: 1.02 1.01 0.96 2/65 5337
/proc/meminfo: memFree=358608/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=1757552 CPUtime=1781.82
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 449517 0 0 0 178001 181 0 0 25 0 1 0 245824294 1799733248 380032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 439388 380032 139 317 0 439067 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1757552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.02 1.01 0.96 2/65 5337
/proc/meminfo: memFree=351696/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=1764596 CPUtime=1800.02
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 451281 0 0 0 179820 182 0 0 25 0 1 0 245824294 1806946304 381796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 441149 381796 139 317 0 440828 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1764596

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

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 1.02 1.01 0.96 2/66 5338
/proc/meminfo: memFree=351688/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=1764596 CPUtime=1800.91
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 451281 0 0 0 179909 182 0 0 25 0 1 0 245824294 1806946304 381796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 441149 381796 139 317 0 440828 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 1764596

[startup+1802.2 s]
/proc/loadavg: 1.02 1.01 0.96 2/66 5338
/proc/meminfo: memFree=351688/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=1764596 CPUtime=1801.71
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4194304 451281 0 0 0 179989 182 0 0 25 0 1 0 245824294 1806946304 381796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 441149 381796 139 317 0 440828 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 1764596

[startup+1802.6 s]
/proc/loadavg: 1.02 1.01 0.96 2/66 5338
/proc/meminfo: memFree=351688/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=0 CPUtime=1802.12
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4195332 451281 0 0 0 180020 192 0 0 25 0 1 0 245824294 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.12
Current children cumulated vsize (KiB) 0

[startup+1802.7 s]
/proc/loadavg: 1.02 1.01 0.96 2/66 5338
/proc/meminfo: memFree=351688/2055920 swapFree=4183136/4192956
[pid=5334] ppid=5332 vsize=0 CPUtime=1802.22
/proc/5334/stat : 5334 (oree) R 5332 5334 5266 0 -1 4195332 451281 0 0 0 180020 202 0 0 25 0 1 0 245824294 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5334/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.22
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.75
CPU time (s): 1802.27
CPU user time (s): 1800.2
CPU system time (s): 2.06969
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 1764596

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

runsolver used 1.2928 second user time and 3.65144 second system time

The end

Launcher Data (download as text)

Begin job on node57 on Tue May  1 19:14:43 UTC 2007

IDJOB= 455630
IDBENCH= 48276
IDSOLVER= 172
FILE ID= node57/455630-1178046883

PBS_JOBID= 4728498

Free space on /tmp= 66561 MiB

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

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  6856221d5d444d2079d321f11fb11f0b

RANDOM SEED= 272628019

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node57.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.239
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.239
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1882856 kB
Buffers:         36624 kB
Cached:          72192 kB
SwapCached:       3520 kB
Active:          77728 kB
Inactive:        42996 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1882856 kB
SwapTotal:     4192956 kB
SwapFree:      4183136 kB
Dirty:            3604 kB
Writeback:           0 kB
Mapped:          15112 kB
Slab:            38428 kB
Committed_AS:  4737496 kB
PageTables:       1408 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= 66561 MiB

End job on node57 on Tue May  1 19:44:46 UTC 2007