Trace number 362482

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.19 1802.72

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran12x21.opb
MD5SUMc8eb834e0a7928e8a3e340a1c0512bdc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.18697
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables7812
Total number of constraints285
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints285
Minimum length of a constraint31
Maximum length of a constraint630
Number of terms in the objective function 7812
Biggest coefficient in the objective function 1825
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 530518
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 530518
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.07/0.09	c ...done
0.07/0.09	c #vars=7812 #constraints=319 hasObjective=yes
0.09/0.19	c res. mode=mod
0.09/0.19	c VSIDS like heuristics
0.09/0.19	c complete search running
0.19/0.22	c restart after 401 decisions
0.19/0.23	c nbDecision=500 #constraints=319
0.19/0.25	c restart after 801 decisions
0.19/0.26	c nbDecision=1000 #constraints=319
0.19/0.30	c nbDecision=1500 #constraints=319
0.29/0.30	c restart after 1601 decisions
0.29/0.33	c nbDecision=2000 #constraints=319
0.29/0.37	c nbDecision=2500 #constraints=319
0.29/0.39	c nbDecision=3000 #constraints=319
0.39/0.41	c restart after 3201 decisions
0.39/0.43	c nbDecision=3500 #constraints=319
0.39/0.46	c nbDecision=4000 #constraints=319
0.39/0.49	c nbDecision=4500 #constraints=319
0.49/0.51	c nbDecision=5000 #constraints=319
0.49/0.53	c nbDecision=5500 #constraints=319
0.69/0.76	c nbDecision=6000 #constraints=331
3.99/4.09	c restart after 6401 decisions
4.09/4.11	c nbDecision=6500 #constraints=511
4.09/4.14	c nbDecision=7000 #constraints=511
4.09/4.18	c nbDecision=7500 #constraints=511
4.19/4.21	c nbDecision=8000 #constraints=511
4.19/4.23	c nbDecision=8500 #constraints=511
4.19/4.25	c nbDecision=9000 #constraints=511
6.09/6.13	c nbDecision=9500 #constraints=600
8.59/8.66	c nbDecision=10000 #constraints=702
11.19/11.27	c nbDecision=10500 #constraints=804
13.89/13.99	c nbDecision=11000 #constraints=906
16.78/16.81	c nbDecision=11500 #constraints=1008
19.69/19.73	c nbDecision=12000 #constraints=1110
21.99/22.06	c nbDecision=12500 #constraints=1187
24.28/24.38	c restart after 12801 decisions
24.38/24.47	c nbDecision=13000 #constraints=1263
24.48/24.52	c nbDecision=13500 #constraints=1263
24.48/24.56	c nbDecision=14000 #constraints=1263
24.58/24.61	c nbDecision=14500 #constraints=1263
24.58/24.65	c nbDecision=15000 #constraints=1263
24.68/24.70	c nbDecision=15500 #constraints=1263
29.28/29.37	c nbDecision=16000 #constraints=1436
32.48/32.59	c nbDecision=16500 #constraints=1601
34.28/34.39	c nbDecision=17000 #constraints=1652
42.48/42.58	c nbDecision=17500 #constraints=1804
47.97/48.00	c nbDecision=18000 #constraints=1906
57.28/57.37	c nbDecision=18500 #constraints=2045
59.87/59.99	c nbDecision=19000 #constraints=2094
69.97/70.09	c nbDecision=19500 #constraints=2233
72.78/72.86	c nbDecision=20000 #constraints=2282
83.37/83.49	c nbDecision=20500 #constraints=2421
86.88/86.99	c nbDecision=21000 #constraints=2482
97.67/97.76	c nbDecision=21500 #constraints=2609
104.86/104.94	c nbDecision=22000 #constraints=2709
112.77/112.86	c nbDecision=22500 #constraints=2797
124.37/124.42	c nbDecision=23000 #constraints=2933
128.67/128.76	c nbDecision=23500 #constraints=2985
140.86/140.93	c nbDecision=24000 #constraints=3121
145.45/145.53	c nbDecision=24500 #constraints=3173
158.15/158.29	c nbDecision=25000 #constraints=3309
166.65/166.78	c nbDecision=25500 #constraints=3410
166.75/166.81	c restart after 25601 decisions
167.45/167.52	c nbDecision=26000 #constraints=3410
167.55/167.68	c nbDecision=26500 #constraints=3410
167.75/167.86	c nbDecision=27000 #constraints=3410
167.95/168.06	c nbDecision=27500 #constraints=3410
168.05/168.20	c nbDecision=28000 #constraints=3410
177.95/178.02	c nbDecision=28500 #constraints=3497
186.85/186.92	c nbDecision=29000 #constraints=3598
202.34/202.42	c nbDecision=29500 #constraints=3737
206.54/206.62	c nbDecision=30000 #constraints=3786
222.74/222.88	c nbDecision=30500 #constraints=3925
227.14/227.22	c nbDecision=31000 #constraints=3974
244.14/244.26	c nbDecision=31500 #constraints=4113
249.33/249.44	c nbDecision=32000 #constraints=4174
266.43/266.58	c nbDecision=32500 #constraints=4301
277.22/277.34	c nbDecision=33000 #constraints=4401
291.33/291.50	c nbDecision=33500 #constraints=4501
296.62/296.72	c nbDecision=34000 #constraints=4563
306.41/306.54	c nbDecision=34500 #constraints=4677
316.41/316.56	c nbDecision=35000 #constraints=4791
323.51/323.61	c nbDecision=35500 #constraints=4867
334.21/334.32	c nbDecision=36000 #constraints=4981
360.80/360.93	c nbDecision=36500 #constraints=5109
366.60/366.73	c nbDecision=37000 #constraints=5158
389.10/389.29	c nbDecision=37500 #constraints=5297
394.80/394.96	c nbDecision=38000 #constraints=5359
425.09/425.20	c nbDecision=38500 #constraints=5526
466.07/466.25	c nbDecision=39000 #constraints=5684
510.27/510.44	c nbDecision=39500 #constraints=5839
517.17/517.38	c nbDecision=40000 #constraints=5900
556.85/557.07	c nbDecision=40500 #constraints=6037
599.45/599.62	c nbDecision=41000 #constraints=6229
625.94/626.17	c nbDecision=41500 #constraints=6343
679.73/679.90	c nbDecision=42000 #constraints=6483
687.33/687.53	c nbDecision=42500 #constraints=6544
730.12/730.34	c nbDecision=43000 #constraints=6665
758.90/759.20	c nbDecision=43500 #constraints=6822
806.40/806.61	c nbDecision=44000 #constraints=6987
865.68/865.95	c nbDecision=44500 #constraints=7127
873.88/874.15	c nbDecision=45000 #constraints=7188
920.67/920.98	c nbDecision=45500 #constraints=7309
951.87/952.12	c nbDecision=46000 #constraints=7466
992.75/993.02	c nbDecision=46500 #constraints=7595
1068.15/1068.54	c nbDecision=47000 #constraints=7771
1068.86/1069.22	c nbDecision=47500 #constraints=7771
1127.72/1128.17	c nbDecision=48000 #constraints=7953
1161.12/1161.54	c nbDecision=48500 #constraints=8110
1194.21/1194.62	c nbDecision=49000 #constraints=8189
1286.79/1287.26	c nbDecision=49500 #constraints=8415
1287.49/1287.99	c nbDecision=50000 #constraints=8415
1350.47/1350.93	c nbDecision=50500 #constraints=8597
1386.06/1386.57	c nbDecision=51000 #constraints=8754
1409.36/1409.86	c restart after 51201 decisions
1412.46/1412.97	c nbDecision=51500 #constraints=8805
1413.16/1413.66	c nbDecision=52000 #constraints=8805
1413.66/1414.20	c nbDecision=52500 #constraints=8805
1414.36/1414.89	c nbDecision=53000 #constraints=8805
1415.26/1415.73	c nbDecision=53500 #constraints=8805
1451.35/1451.86	c nbDecision=54000 #constraints=8919
1527.43/1527.94	c nbDecision=54500 #constraints=9059
1537.12/1537.65	c nbDecision=55000 #constraints=9120
1597.81/1598.37	c nbDecision=55500 #constraints=9281
1658.30/1658.85	c nbDecision=56000 #constraints=9449
1696.99/1697.53	c nbDecision=56500 #constraints=9563
1778.67/1779.23	c nbDecision=57000 #constraints=9703
1789.27/1789.80	c nbDecision=57500 #constraints=9764
1800.07/1800.60	Received signal 15

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node43/watcher-362482-1176846230 -o ROOT/results/node43/solver-362482-1176846230 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362482-1176846230/instance-362482-1176846230.opb mod 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 23335
/proc/meminfo: memFree=1245584/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=1620 CPUtime=0
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 132534860 1658880 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 405 174 126 317 0 84 0

[startup+0.0768791 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 23335
/proc/meminfo: memFree=1245584/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=2992 CPUtime=0.07
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 559 0 0 0 7 0 0 0 18 0 1 0 132534860 3063808 541 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 748 541 131 317 0 427 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2992

[startup+0.10188 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 23335
/proc/meminfo: memFree=1245584/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=4132 CPUtime=0.09
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 821 0 0 0 9 0 0 0 18 0 1 0 132534860 4231168 803 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 1033 803 137 317 0 712 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4132

[startup+0.301897 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 23335
/proc/meminfo: memFree=1245584/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=4396 CPUtime=0.29
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 888 0 0 0 29 0 0 0 19 0 1 0 132534860 4501504 870 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 1099 870 138 317 0 778 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4396

[startup+0.701932 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 23335
/proc/meminfo: memFree=1245584/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=4808 CPUtime=0.69
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 990 0 0 0 69 0 0 0 22 0 1 0 132534860 4923392 972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 1202 972 139 317 0 881 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4808

[startup+1.502 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 23336
/proc/meminfo: memFree=1241672/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=6304 CPUtime=1.49
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 1385 0 0 0 149 0 0 0 25 0 1 0 132534860 6455296 1367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602744 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 1576 1367 139 317 0 1255 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6304

[startup+3.10114 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 23336
/proc/meminfo: memFree=1239304/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=9964 CPUtime=3.09
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 2264 0 0 0 309 0 0 0 25 0 1 0 132534860 10203136 2246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 2491 2246 139 317 0 2170 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9964

[startup+6.30142 s]
/proc/loadavg: 0.93 0.98 0.99 3/78 23336
/proc/meminfo: memFree=1233544/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=16600 CPUtime=6.29
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 3883 0 0 0 628 1 0 0 25 0 1 0 132534860 16998400 3865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 4150 3865 139 317 0 3829 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16600

[startup+12.702 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 23336
/proc/meminfo: memFree=1221256/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=28652 CPUtime=12.68
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 6754 0 0 0 1266 2 0 0 25 0 1 0 132534860 29339648 6736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602744 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 7163 6736 139 317 0 6842 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 28652

[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 23336
/proc/meminfo: memFree=1200712/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=47772 CPUtime=25.48
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 11344 0 0 0 2543 5 0 0 25 0 1 0 132534860 48918528 11326 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 11943 11326 139 317 0 11622 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 47772

[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 23336
/proc/meminfo: memFree=1164616/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=86016 CPUtime=51.07
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 20363 0 0 0 5098 9 0 0 25 0 1 0 132534860 88080384 20345 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 21504 20345 139 317 0 21183 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 86016

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 23336
/proc/meminfo: memFree=1117192/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=136496 CPUtime=102.27
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 32171 0 0 0 10214 13 0 0 25 0 1 0 132534860 139771904 32153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 34124 32153 139 317 0 33803 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 136496

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23336
/proc/meminfo: memFree=1078664/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=175364 CPUtime=162.25
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 41819 0 0 0 16208 17 0 0 25 0 1 0 132534860 179572736 41801 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 43841 41801 139 317 0 43520 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 175364

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23336
/proc/meminfo: memFree=1034376/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=226008 CPUtime=222.24
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 52811 0 0 0 22202 22 0 0 25 0 1 0 132534860 231432192 52793 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716169 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 56502 52793 139 317 0 56181 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 226008

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23336
/proc/meminfo: memFree=1006664/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=252716 CPUtime=282.23
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 59733 0 0 0 28197 26 0 0 25 0 1 0 132534860 258781184 59715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 63179 59715 139 317 0 62858 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 252716

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23336
/proc/meminfo: memFree=965128/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=299916 CPUtime=342.21
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 70120 0 0 0 34190 31 0 0 25 0 1 0 132534860 307113984 70102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 74979 70102 139 317 0 74658 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 299916

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23336
/proc/meminfo: memFree=940232/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=326556 CPUtime=402.2
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 76406 0 0 0 40186 34 0 0 25 0 1 0 132534860 334393344 76388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 81639 76388 139 317 0 81318 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 326556

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23336
/proc/meminfo: memFree=919176/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=349848 CPUtime=462.18
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 81580 0 0 0 46182 36 0 0 25 0 1 0 132534860 358244352 81552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 87462 81552 139 317 0 87141 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 349848

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23336
/proc/meminfo: memFree=899272/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=372440 CPUtime=522.17
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 86562 0 0 0 52178 39 0 0 25 0 1 0 132534860 381378560 86534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 93110 86534 139 317 0 92789 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 372440

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23336
/proc/meminfo: memFree=875528/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=401520 CPUtime=582.16
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 92440 0 0 0 58174 42 0 0 25 0 1 0 132534860 411156480 92412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 100380 92412 139 317 0 100059 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 401520

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 23336
/proc/meminfo: memFree=851080/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=433136 CPUtime=642.14
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 98524 0 0 0 64170 44 0 0 25 0 1 0 132534860 443531264 98496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 108284 98496 139 317 0 107963 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 433136


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

/proc/meminfo: memFree=749440/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=536396 CPUtime=1061.96
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 123571 0 0 0 106135 61 0 0 25 0 1 0 132534860 549269504 123542 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 134099 123542 139 317 0 133778 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 536396

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23534
/proc/meminfo: memFree=731976/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=559160 CPUtime=1121.92
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 128204 0 0 0 112129 63 0 0 25 0 1 0 132534860 572579840 128175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 139790 128175 139 317 0 139469 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 559160

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23534
/proc/meminfo: memFree=718216/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=574264 CPUtime=1181.91
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 131652 0 0 0 118126 65 0 0 25 0 1 0 132534860 588046336 131623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712569 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 143566 131623 139 317 0 143245 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 574264

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23534
/proc/meminfo: memFree=706312/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=587264 CPUtime=1241.9
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 134662 0 0 0 124124 66 0 0 25 0 1 0 132534860 601358336 134576 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271379 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 146816 134576 139 317 0 146495 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 587264

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23534
/proc/meminfo: memFree=690568/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=604592 CPUtime=1301.89
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 138589 0 0 0 130121 68 0 0 25 0 1 0 132534860 619102208 138503 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 151148 138503 139 317 0 150827 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 604592

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23534
/proc/meminfo: memFree=679560/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=616028 CPUtime=1361.87
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 141363 0 0 0 136118 69 0 0 25 0 1 0 132534860 630812672 141267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 154007 141267 139 317 0 153686 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 616028

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23534
/proc/meminfo: memFree=659080/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=646144 CPUtime=1421.86
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 146451 0 0 0 142114 72 0 0 25 0 1 0 132534860 661651456 146355 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 161536 146355 139 317 0 161215 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 646144

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23534
/proc/meminfo: memFree=642760/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=668156 CPUtime=1481.84
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 150582 0 0 0 148109 75 0 0 25 0 1 0 132534860 684191744 150485 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 167039 150485 139 317 0 166718 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 668156

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23534
/proc/meminfo: memFree=630408/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=679744 CPUtime=1541.83
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 153602 0 0 0 154106 77 0 0 25 0 1 0 132534860 696057856 153505 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 169936 153505 139 317 0 169615 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 679744

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23534
/proc/meminfo: memFree=619720/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=691492 CPUtime=1601.81
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 156306 0 0 0 160103 78 0 0 25 0 1 0 132534860 708087808 156209 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 172873 156209 139 317 0 172552 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 691492

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23534
/proc/meminfo: memFree=609672/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=703260 CPUtime=1661.79
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 158785 0 0 0 166100 79 0 0 25 0 1 0 132534860 720138240 158688 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 175815 158688 139 317 0 175494 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 703260

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23534
/proc/meminfo: memFree=598344/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=714984 CPUtime=1721.78
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 161630 0 0 0 172097 81 0 0 25 0 1 0 132534860 732143616 161533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563369 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 178746 161533 139 317 0 178425 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 714984

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23534
/proc/meminfo: memFree=588552/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=723544 CPUtime=1781.77
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 164093 0 0 0 178094 83 0 0 25 0 1 0 132534860 740909056 163996 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 180886 163996 139 317 0 180565 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 723544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23534
/proc/meminfo: memFree=583368/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=728104 CPUtime=1800.07
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 165322 0 0 0 179924 83 0 0 25 0 1 0 132534860 745578496 165225 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 182026 165225 139 317 0 181705 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 728104

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: 0.99 0.98 0.99 2/78 23534
/proc/meminfo: memFree=583368/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=728240 CPUtime=1800.87
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 165488 0 0 0 180003 84 0 0 25 0 1 0 132534860 745717760 165391 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 182060 165391 139 317 0 181739 0
Current children cumulated CPU time (s) 1800.87
Current children cumulated vsize (KiB) 728240

[startup+1802.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 23535
/proc/meminfo: memFree=582592/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=728368 CPUtime=1801.67
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 165530 0 0 0 180083 84 0 0 25 0 1 0 132534860 745848832 165433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 182092 165433 139 317 0 181771 0
Current children cumulated CPU time (s) 1801.67
Current children cumulated vsize (KiB) 728368

[startup+1802.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 23535
/proc/meminfo: memFree=582592/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=728368 CPUtime=1802.07
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 165539 0 0 0 180123 84 0 0 25 0 1 0 132534860 745848832 165442 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284171 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 182092 165442 139 317 0 181771 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 728368

[startup+1802.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 23535
/proc/meminfo: memFree=582592/2055920 swapFree=4184784/4192956
[pid=23335] ppid=23333 vsize=0 CPUtime=1802.17
/proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4195332 165539 0 0 0 180124 93 0 0 25 0 1 0 132534860 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23335/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.72
CPU time (s): 1802.19
CPU user time (s): 1801.24
CPU system time (s): 0.946856
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 728368

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

runsolver used 2.11968 second user time and 4.40633 second system time

The end

Launcher Data (download as text)

Begin job on node43 on Tue Apr 17 21:43:51 UTC 2007

IDJOB= 362482
IDBENCH= 1563
IDSOLVER= 172
FILE ID= node43/362482-1176846230

PBS_JOBID= 4590163

Free space on /tmp= 66508 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran12x21.opb
COMMAND LINE= oree /tmp/evaluation/362482-1176846230/instance-362482-1176846230.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node43/watcher-362482-1176846230 -o ROOT/results/node43/solver-362482-1176846230 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/362482-1176846230/instance-362482-1176846230.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  c8eb834e0a7928e8a3e340a1c0512bdc

RANDOM SEED= 407067757

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node43.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.218
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.218
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:       1246120 kB
Buffers:         66924 kB
Cached:         512560 kB
SwapCached:       2596 kB
Active:         452764 kB
Inactive:       275552 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1246120 kB
SwapTotal:     4192956 kB
SwapFree:      4184784 kB
Dirty:            1612 kB
Writeback:           0 kB
Mapped:         163196 kB
Slab:            66888 kB
Committed_AS:  1712076 kB
PageTables:       1888 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= 66508 MiB

End job on node43 on Tue Apr 17 22:13:53 UTC 2007