Trace number 454940

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.4 1801.14

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_60_2.opb
MD5SUMa5ab0443a6669cc558112b6f5f13d1cd
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-72
Best CPU time to get the best result obtained on this benchmark1800.49
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -72
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)150572
Sum of products size (including duplicates)301144
Number of different products75286
Sum of products size150572

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.21	c ...done
1.19/1.21	c #vars=77286 #constraints=153575 hasObjective=yes
1.89/1.97	c res. mode=mod
1.89/1.97	c VSIDS like heuristics
1.89/1.97	c complete search running
2.49/2.56	c restart after 401 decisions
2.79/2.81	c nbDecision=500 #constraints=153575
3.19/3.24	c restart after 801 decisions
3.59/3.62	c nbDecision=1000 #constraints=153575
7.18/7.28	c nbDecision=1500 #constraints=153774
8.79/8.84	c restart after 1601 decisions
9.69/9.77	c nbDecision=2000 #constraints=153876
13.49/13.53	c nbDecision=2500 #constraints=154077
16.49/16.57	c nbDecision=3000 #constraints=154203
19.99/20.03	c restart after 3201 decisions
20.99/21.08	c nbDecision=3500 #constraints=154405
25.48/25.50	c nbDecision=4000 #constraints=154602
35.08/35.10	c nbDecision=4500 #constraints=155082
42.68/42.78	c nbDecision=5000 #constraints=155457
49.48/49.53	c nbDecision=5500 #constraints=155721
58.08/58.15	c nbDecision=6000 #constraints=156092
65.87/65.94	c restart after 6401 decisions
68.17/68.26	c nbDecision=6500 #constraints=156494
72.66/72.78	c nbDecision=7000 #constraints=156582
79.47/79.50	c nbDecision=7500 #constraints=156839
87.26/87.32	c nbDecision=8000 #constraints=157080
95.06/95.13	c nbDecision=8500 #constraints=157375
104.46/104.56	c nbDecision=9000 #constraints=157578
109.86/109.98	c nbDecision=9500 #constraints=157745
119.15/119.24	c nbDecision=10000 #constraints=158078
129.44/129.51	c nbDecision=10500 #constraints=158568
136.34/136.47	c nbDecision=11000 #constraints=158569
146.54/146.67	c nbDecision=11500 #constraints=159059
155.73/155.83	c nbDecision=12000 #constraints=159357
165.93/166.08	c nbDecision=12500 #constraints=159801
172.53/172.64	c restart after 12801 decisions
178.32/178.47	c nbDecision=13000 #constraints=160052
185.12/185.23	c nbDecision=13500 #constraints=160251
196.12/196.28	c nbDecision=14000 #constraints=160539
205.72/205.82	c nbDecision=14500 #constraints=160954
216.81/216.99	c nbDecision=15000 #constraints=161029
226.22/226.39	c nbDecision=15500 #constraints=161422
237.00/237.20	c nbDecision=16000 #constraints=161797
248.00/248.12	c nbDecision=16500 #constraints=162243
259.20/259.37	c nbDecision=17000 #constraints=162617
270.90/271.05	c nbDecision=17500 #constraints=162979
281.79/281.92	c nbDecision=18000 #constraints=163462
293.19/293.39	c nbDecision=18500 #constraints=163828
307.58/307.78	c nbDecision=19000 #constraints=163948
317.78/317.94	c nbDecision=19500 #constraints=164337
329.47/329.63	c nbDecision=20000 #constraints=164748
342.17/342.39	c nbDecision=20500 #constraints=165036
359.66/359.80	c nbDecision=21000 #constraints=165393
369.26/369.44	c nbDecision=21500 #constraints=165464
387.75/387.97	c nbDecision=22000 #constraints=165874
396.45/396.69	c nbDecision=22500 #constraints=165947
408.44/408.65	c nbDecision=23000 #constraints=166403
421.15/421.40	c nbDecision=23500 #constraints=166831
435.84/436.05	c nbDecision=24000 #constraints=167307
446.53/446.70	c nbDecision=24500 #constraints=167602
467.02/467.29	c nbDecision=25000 #constraints=167784
477.31/477.57	c nbDecision=25500 #constraints=168005
479.72/479.97	c restart after 25601 decisions
496.01/496.26	c nbDecision=26000 #constraints=168107
508.31/508.58	c nbDecision=26500 #constraints=168437
528.40/528.64	c nbDecision=27000 #constraints=168732
539.90/540.17	c nbDecision=27500 #constraints=168890
554.69/554.93	c nbDecision=28000 #constraints=169221
569.28/569.55	c nbDecision=28500 #constraints=169678
581.08/581.31	c nbDecision=29000 #constraints=170074
597.57/597.82	c nbDecision=29500 #constraints=170318
618.57/618.83	c nbDecision=30000 #constraints=170618
631.37/631.62	c nbDecision=30500 #constraints=170797
653.55/653.81	c nbDecision=31000 #constraints=171088
665.05/665.38	c nbDecision=31500 #constraints=171309
687.05/687.32	c nbDecision=32000 #constraints=171555
699.24/699.53	c nbDecision=32500 #constraints=171837
724.83/725.11	c nbDecision=33000 #constraints=172023
736.83/737.12	c nbDecision=33500 #constraints=172230
752.42/752.70	c nbDecision=34000 #constraints=172592
776.11/776.47	c nbDecision=34500 #constraints=172953
791.10/791.45	c nbDecision=35000 #constraints=172999
806.50/806.80	c nbDecision=35500 #constraints=173418
830.89/831.27	c nbDecision=36000 #constraints=173880
847.28/847.68	c nbDecision=36500 #constraints=173881
859.98/860.33	c nbDecision=37000 #constraints=174252
887.47/887.88	c nbDecision=37500 #constraints=174343
900.27/900.67	c nbDecision=38000 #constraints=174676
914.87/915.24	c nbDecision=38500 #constraints=175111
930.65/931.05	c nbDecision=39000 #constraints=175505
948.05/948.44	c nbDecision=39500 #constraints=175852
966.95/967.39	c nbDecision=40000 #constraints=176181
981.34/981.72	c nbDecision=40500 #constraints=176637
995.93/996.38	c nbDecision=41000 #constraints=177059
1012.63/1013.02	c nbDecision=41500 #constraints=177446
1032.20/1032.61	c nbDecision=42000 #constraints=177750
1062.63/1063.18	c nbDecision=42500 #constraints=178003
1077.21/1077.77	c nbDecision=43000 #constraints=178195
1106.40/1106.90	c nbDecision=43500 #constraints=178455
1136.89/1137.43	c nbDecision=44000 #constraints=178456
1151.28/1151.87	c nbDecision=44500 #constraints=178702
1167.78/1168.34	c nbDecision=45000 #constraints=179115
1185.67/1186.23	c nbDecision=45500 #constraints=179494
1214.56/1215.19	c nbDecision=46000 #constraints=179808
1231.36/1231.97	c nbDecision=46500 #constraints=179991
1254.05/1254.66	c nbDecision=47000 #constraints=180258
1272.74/1273.35	c nbDecision=47500 #constraints=180705
1292.23/1292.83	c nbDecision=48000 #constraints=180973
1324.32/1324.92	c nbDecision=48500 #constraints=181152
1344.31/1344.94	c nbDecision=49000 #constraints=181356
1363.20/1363.89	c nbDecision=49500 #constraints=181731
1382.60/1383.23	c nbDecision=50000 #constraints=182102
1405.09/1405.71	c nbDecision=50500 #constraints=182488
1419.88/1420.51	c nbDecision=51000 #constraints=182879
1432.68/1433.38	c restart after 51201 decisions
1460.37/1461.02	c nbDecision=51500 #constraints=182931
1476.07/1476.71	c nbDecision=52000 #constraints=183230
1511.25/1511.91	c nbDecision=52500 #constraints=183373
1526.45/1527.19	c nbDecision=53000 #constraints=183728
1548.54/1549.29	c nbDecision=53500 #constraints=184052
1583.82/1584.55	c nbDecision=54000 #constraints=184253
1603.12/1603.81	c nbDecision=54500 #constraints=184488
1619.72/1620.50	c nbDecision=55000 #constraints=184937
1637.22/1637.93	c nbDecision=55500 #constraints=185372
1673.10/1673.83	c nbDecision=56000 #constraints=185567
1708.38/1709.18	c nbDecision=56500 #constraints=185568
1723.58/1724.38	c nbDecision=57000 #constraints=185992
1750.27/1751.08	c nbDecision=57500 #constraints=186245
1774.36/1775.19	c nbDecision=58000 #constraints=186565
1800.06/1800.80	Received signal 15
1800.06/1800.84	
1800.06/1800.84	s UNKNOWN
1800.06/1800.84	
1800.06/1800.84	c user time= 1798.26 s
1800.06/1800.84	c system time= 1.84072 s
1800.06/1800.84	c wall clock time=1800.84

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/454940-1178034240/instance-454940-1178034240.opb
mv /tmp/evaluation/454940-1178034240/instance-454940-1178034240.opb.tmp /tmp/evaluation/454940-1178034240/instance-454940-1178034240.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node40/watcher-454940-1178034240 -o ROOT/results/node40/solver-454940-1178034240 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454940-1178034240/instance-454940-1178034240.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.95 0.98 4/77 22029
/proc/meminfo: memFree=1764920/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=1468 CPUtime=0
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 132303649 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134527390 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 367 167 131 317 0 46 0

[startup+0.0493121 s]
/proc/loadavg: 0.85 0.95 0.98 4/77 22029
/proc/meminfo: memFree=1764920/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=2392 CPUtime=0.04
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 408 0 0 0 4 0 0 0 18 0 1 0 132303649 2449408 391 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 598 391 131 317 0 277 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2392

[startup+0.101321 s]
/proc/loadavg: 0.85 0.95 0.98 4/77 22029
/proc/meminfo: memFree=1764920/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=3448 CPUtime=0.09
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 668 0 0 0 9 0 0 0 18 0 1 0 132303649 3530752 651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 862 652 131 317 0 541 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3448

[startup+0.301363 s]
/proc/loadavg: 0.85 0.95 0.98 4/77 22029
/proc/meminfo: memFree=1764920/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=7408 CPUtime=0.29
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 1650 0 0 0 28 1 0 0 19 0 1 0 132303649 7585792 1633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 1852 1633 131 317 0 1531 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7408

[startup+0.701445 s]
/proc/loadavg: 0.85 0.95 0.98 4/77 22029
/proc/meminfo: memFree=1764920/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=19720 CPUtime=0.69
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 4769 0 0 0 67 2 0 0 23 0 1 0 132303649 20193280 4719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 4930 4719 132 317 0 4609 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19720

[startup+1.50161 s]
/proc/loadavg: 0.85 0.95 0.98 2/78 22030
/proc/meminfo: memFree=1734584/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=58304 CPUtime=1.49
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 14528 0 0 0 142 7 0 0 25 0 1 0 132303649 59703296 14284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602739 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 14576 14284 137 317 0 14255 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58304

[startup+3.10195 s]
/proc/loadavg: 0.85 0.95 0.98 2/78 22030
/proc/meminfo: memFree=1703096/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=63320 CPUtime=3.09
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 15778 0 0 0 302 7 0 0 25 0 1 0 132303649 64839680 15534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 15830 15534 138 317 0 15509 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63320

[startup+6.30162 s]
/proc/loadavg: 0.86 0.95 0.98 2/78 22030
/proc/meminfo: memFree=1698872/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=72608 CPUtime=6.29
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 18078 0 0 0 621 8 0 0 25 0 1 0 132303649 74350592 16784 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 18152 16784 139 317 0 17831 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 72608

[startup+12.702 s]
/proc/loadavg: 0.87 0.95 0.98 2/78 22030
/proc/meminfo: memFree=1681080/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=91160 CPUtime=12.69
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 22737 0 0 0 1258 11 0 0 25 0 1 0 132303649 93347840 21443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 22790 21443 139 317 0 22469 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 91160

[startup+25.5016 s]
/proc/loadavg: 0.90 0.96 0.98 2/78 22030
/proc/meminfo: memFree=1654456/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=118164 CPUtime=25.48
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 29083 0 0 0 2535 13 0 0 25 0 1 0 132303649 120999936 27789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 29541 27789 139 317 0 29220 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 118164

[startup+51.102 s]
/proc/loadavg: 0.93 0.96 0.98 2/78 22030
/proc/meminfo: memFree=1600184/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=176876 CPUtime=51.07
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 42763 0 0 0 5088 19 0 0 25 0 1 0 132303649 181121024 41469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 44219 41469 139 317 0 43898 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 176876

[startup+102.306 s]
/proc/loadavg: 0.97 0.96 0.98 2/78 22030
/proc/meminfo: memFree=1529848/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=240312 CPUtime=102.26
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 60020 0 0 0 10200 26 0 0 25 0 1 0 132303649 246079488 58726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604251 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 60078 58726 139 317 0 59757 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 240312

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22030
/proc/meminfo: memFree=1433976/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=344296 CPUtime=162.23
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 84311 0 0 0 16186 37 0 0 25 0 1 0 132303649 352559104 83017 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 86074 83017 139 317 0 85753 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 344296

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22030
/proc/meminfo: memFree=1367864/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=402024 CPUtime=222.22
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 100507 0 0 0 22177 45 0 0 25 0 1 0 132303649 411672576 99213 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 100506 99213 139 317 0 100185 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 402024

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22030
/proc/meminfo: memFree=1250040/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=547280 CPUtime=282.19
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 129948 0 0 0 28162 57 0 0 25 0 1 0 132303649 560414720 128654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 136820 128654 139 317 0 136499 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 547280

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22030
/proc/meminfo: memFree=1187640/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=603028 CPUtime=342.17
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 145484 0 0 0 34154 63 0 0 25 0 1 0 132303649 617500672 144190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 150757 144190 139 317 0 150436 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 603028

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22030
/proc/meminfo: memFree=1142584/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=644504 CPUtime=402.15
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 156945 0 0 0 40147 68 0 0 25 0 1 0 132303649 659972096 155651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 161126 155651 139 317 0 160805 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 644504

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22030
/proc/meminfo: memFree=1078456/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=700900 CPUtime=462.12
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 172634 0 0 0 46137 75 0 0 25 0 1 0 132303649 717721600 171340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 175225 171340 139 317 0 174904 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 700900

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22030
/proc/meminfo: memFree=1040376/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=734636 CPUtime=522.11
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 182136 0 0 0 52132 79 0 0 25 0 1 0 132303649 752267264 180842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 183659 180842 139 317 0 183338 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 734636

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22030
/proc/meminfo: memFree=957048/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=912412 CPUtime=582.08
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 220398 0 0 0 58115 93 0 0 25 0 1 0 132303649 934309888 201647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 228103 201647 139 317 0 227782 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 912412

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22030
/proc/meminfo: memFree=915640/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=946936 CPUtime=642.06
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 230638 0 0 0 64108 98 0 0 25 0 1 0 132303649 969662464 211887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 236734 211887 139 317 0 236413 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 946936


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

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22030
/proc/meminfo: memFree=721848/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=1111792 CPUtime=941.95
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 278981 0 0 0 94076 119 0 0 25 0 1 0 132303649 1138475008 260230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 277948 260230 139 317 0 277627 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 1111792

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22030
/proc/meminfo: memFree=666808/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=1160624 CPUtime=1001.93
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 292759 0 0 0 100069 124 0 0 25 0 1 0 132303649 1188478976 274008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718671 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 290156 274008 139 317 0 289835 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 1160624

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/84 22200
/proc/meminfo: memFree=626816/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=1192932 CPUtime=1061.83
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 302427 0 0 0 106053 130 0 0 25 0 1 0 132303649 1221562368 283676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 298233 283676 139 317 0 297912 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 1192932

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22228
/proc/meminfo: memFree=608504/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=1209092 CPUtime=1121.79
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 307245 0 0 0 112048 131 0 0 25 0 1 0 132303649 1238110208 288494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 302273 288494 139 317 0 301952 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 1209092

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22228
/proc/meminfo: memFree=569912/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=1241184 CPUtime=1181.77
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 316867 0 0 0 118041 136 0 0 25 0 1 0 132303649 1270972416 298116 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 310296 298116 139 317 0 309975 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 1241184

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22228
/proc/meminfo: memFree=531448/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=1273208 CPUtime=1241.75
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 326447 0 0 0 124036 139 0 0 25 0 1 0 132303649 1303764992 307696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 318302 307696 139 317 0 317981 0
Current children cumulated CPU time (s) 1241.75
Current children cumulated vsize (KiB) 1273208

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22228
/proc/meminfo: memFree=496312/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=1305060 CPUtime=1301.74
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 335213 0 0 0 130031 143 0 0 25 0 1 0 132303649 1336381440 316462 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 326265 316462 139 317 0 325944 0
Current children cumulated CPU time (s) 1301.74
Current children cumulated vsize (KiB) 1305060

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22228
/proc/meminfo: memFree=475576/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=1323480 CPUtime=1361.71
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 340600 0 0 0 136026 145 0 0 25 0 1 0 132303649 1355243520 321849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 330870 321849 139 317 0 330549 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 1323480

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22228
/proc/meminfo: memFree=420152/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=1368396 CPUtime=1421.69
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 354214 0 0 0 142020 149 0 0 25 0 1 0 132303649 1401237504 335463 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 342099 335463 139 317 0 341778 0
Current children cumulated CPU time (s) 1421.69
Current children cumulated vsize (KiB) 1368396

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22228
/proc/meminfo: memFree=401208/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=1384176 CPUtime=1481.66
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 358945 0 0 0 148014 152 0 0 25 0 1 0 132303649 1417396224 340194 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 346044 340194 139 317 0 345723 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 1384176

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22228
/proc/meminfo: memFree=385144/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=1399840 CPUtime=1541.64
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 362976 0 0 0 154011 153 0 0 25 0 1 0 132303649 1433436160 344225 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 349960 344225 139 317 0 349639 0
Current children cumulated CPU time (s) 1541.64
Current children cumulated vsize (KiB) 1399840

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22228
/proc/meminfo: memFree=358200/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=1421968 CPUtime=1601.62
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 369981 0 0 0 160006 156 0 0 25 0 1 0 132303649 1456095232 351230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 355492 351230 139 317 0 355171 0
Current children cumulated CPU time (s) 1601.62
Current children cumulated vsize (KiB) 1421968

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22228
/proc/meminfo: memFree=310264/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=1462340 CPUtime=1661.6
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 381667 0 0 0 165999 161 0 0 25 0 1 0 132303649 1497436160 362916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 365585 362916 139 317 0 365264 0
Current children cumulated CPU time (s) 1661.6
Current children cumulated vsize (KiB) 1462340

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22228
/proc/meminfo: memFree=295800/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=1474952 CPUtime=1721.57
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 385614 0 0 0 171995 162 0 0 25 0 1 0 132303649 1510350848 366863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 368738 366863 139 317 0 368417 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 1474952

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22228
/proc/meminfo: memFree=237688/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=1762144 CPUtime=1781.55
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 451033 0 0 0 177972 183 0 0 25 0 1 0 132303649 1804435456 381062 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 440536 381062 139 317 0 440215 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 1762144



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22228
/proc/meminfo: memFree=235064/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=1764256 CPUtime=1800.06
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194304 451573 0 0 0 179822 184 0 0 25 0 1 0 132303649 1806598144 381602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 441064 381602 139 317 0 440743 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1764256

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

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

[startup+1801 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22228
/proc/meminfo: memFree=235064/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=0 CPUtime=1800.25
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194308 451589 0 0 0 179831 194 0 0 25 0 1 0 132303649 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0

[startup+1801.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22228
/proc/meminfo: memFree=235064/2055920 swapFree=4157412/4192956
[pid=22029] ppid=22027 vsize=0 CPUtime=1800.35
/proc/22029/stat : 22029 (oree) R 22027 22029 21784 0 -1 4194308 451589 0 0 0 179831 204 0 0 25 0 1 0 132303649 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22029/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.14
CPU time (s): 1800.4
CPU user time (s): 1798.31
CPU system time (s): 2.08568
CPU usage (%): 99.9587
Max. virtual memory (cumulated for all children) (KiB): 1764256

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

runsolver used 1.38079 second user time and 4.06738 second system time

The end

Launcher Data (download as text)

Begin job on node40 on Tue May  1 15:44:01 UTC 2007

IDJOB= 454940
IDBENCH= 48230
IDSOLVER= 172
FILE ID= node40/454940-1178034240

PBS_JOBID= 4728412

Free space on /tmp= 66541 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_2.opb
COMMAND LINE= oree /tmp/evaluation/454940-1178034240/instance-454940-1178034240.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node40/convwatcher-454940-1178034240 -o ROOT/results/node40/conversion-454940-1178034240 -C 600 -M 1800 /tmp/evaluation/454940-1178034240/substituteSizeProductKeyword /tmp/evaluation/454940-1178034240/instance-454940-1178034240.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  a5ab0443a6669cc558112b6f5f13d1cd

RANDOM SEED= 744581526

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node40.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.283
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.283
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:       1765328 kB
Buffers:         63500 kB
Cached:         138184 kB
SwapCached:      15100 kB
Active:         103420 kB
Inactive:       122244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1765328 kB
SwapTotal:     4192956 kB
SwapFree:      4157412 kB
Dirty:            3516 kB
Writeback:           0 kB
Mapped:          30132 kB
Slab:            50304 kB
Committed_AS:  3022672 kB
PageTables:       1932 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= 66541 MiB

End job on node40 on Tue May  1 16:14:04 UTC 2007