Trace number 364442

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.13 1800.75

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par16-5.opb
MD5SUM75a2677621940e78209c6b1a1d09ddfe
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1015
Best CPU time to get the best result obtained on this benchmark1.64375
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1015
Optimality of the best value was proved YES
Number of variables2030
Total number of constraints4373
Number of constraints which are clauses4373
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 2030
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 2030
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2030
Number of bits of the biggest sum of numbers11
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.01/0.03	c ...done
0.01/0.03	c #vars=2030 #constraints=4374 hasObjective=yes
0.01/0.06	c res. mode=mod
0.01/0.06	c VSIDS like heuristics
0.01/0.06	c complete search running
1.19/1.25	c restart after 401 decisions
1.49/1.54	c nbDecision=500 #constraints=4854
2.49/2.59	c restart after 801 decisions
3.39/3.42	c nbDecision=1000 #constraints=5346
5.69/5.78	c nbDecision=1500 #constraints=5846
6.29/6.31	c restart after 1601 decisions
8.39/8.45	c nbDecision=2000 #constraints=6339
12.38/12.47	c nbDecision=2500 #constraints=6834
16.39/16.43	c nbDecision=3000 #constraints=7337
18.29/18.30	c restart after 3201 decisions
21.89/21.98	c nbDecision=3500 #constraints=7827
28.28/28.34	c nbDecision=4000 #constraints=8328
34.97/35.04	c nbDecision=4500 #constraints=8827
44.78/44.88	c nbDecision=5000 #constraints=9325
53.27/53.39	c nbDecision=5500 #constraints=9828
64.77/64.83	c nbDecision=6000 #constraints=10328
73.96/74.01	c restart after 6401 decisions
76.16/76.23	c nbDecision=6500 #constraints=10824
88.56/88.63	c nbDecision=7000 #constraints=11325
104.46/104.59	c nbDecision=7500 #constraints=11823
118.05/118.17	c nbDecision=8000 #constraints=12321
136.54/136.65	c nbDecision=8500 #constraints=12824
152.54/152.66	c nbDecision=9000 #constraints=13324
171.43/171.54	c nbDecision=9500 #constraints=13824
193.22/193.36	c nbDecision=10000 #constraints=14321
212.72/212.87	c nbDecision=10500 #constraints=14822
239.20/239.39	c nbDecision=11000 #constraints=15320
260.90/261.03	c nbDecision=11500 #constraints=15823
291.49/291.69	c nbDecision=12000 #constraints=16319
315.18/315.35	c nbDecision=12500 #constraints=16820
333.57/333.74	c restart after 12801 decisions
346.77/346.99	c nbDecision=13000 #constraints=17311
372.47/372.65	c nbDecision=13500 #constraints=17813
407.05/407.25	c nbDecision=14000 #constraints=18316
435.64/435.89	c nbDecision=14500 #constraints=18811
470.33/470.57	c nbDecision=15000 #constraints=19317
502.12/502.37	c nbDecision=15500 #constraints=19813
538.11/538.38	c nbDecision=16000 #constraints=20316
575.39/575.64	c nbDecision=16500 #constraints=20814
609.88/610.15	c nbDecision=17000 #constraints=21316
651.07/651.31	c nbDecision=17500 #constraints=21815
687.05/687.36	c nbDecision=18000 #constraints=22315
733.64/733.98	c nbDecision=18500 #constraints=22812
769.12/769.44	c nbDecision=19000 #constraints=23313
815.31/815.65	c nbDecision=19500 #constraints=23813
852.80/853.11	c nbDecision=20000 #constraints=24312
901.88/902.22	c nbDecision=20500 #constraints=24818
944.26/944.61	c nbDecision=21000 #constraints=25312
988.75/989.14	c nbDecision=21500 #constraints=25816
1036.64/1037.02	c nbDecision=22000 #constraints=26314
1079.91/1080.39	c nbDecision=22500 #constraints=26814
1137.20/1137.67	c nbDecision=23000 #constraints=27312
1181.29/1181.78	c nbDecision=23500 #constraints=27813
1238.96/1239.41	c nbDecision=24000 #constraints=28312
1284.95/1285.47	c nbDecision=24500 #constraints=28816
1342.42/1342.93	c nbDecision=25000 #constraints=29314
1397.31/1397.81	c nbDecision=25500 #constraints=29813
1407.10/1407.61	c restart after 25601 decisions
1448.20/1448.73	c nbDecision=26000 #constraints=30306
1509.46/1510.05	c nbDecision=26500 #constraints=30806
1560.26/1560.87	c nbDecision=27000 #constraints=31309
1631.23/1631.89	c nbDecision=27500 #constraints=31804
1686.50/1687.12	c nbDecision=28000 #constraints=32309
1757.58/1758.25	c nbDecision=28500 #constraints=32804
1800.08/1800.70	Received signal 15
1800.08/1800.73	
1800.08/1800.73	s UNKNOWN
1800.08/1800.73	
1800.08/1800.73	c user time= 1799.85 s
1800.08/1800.73	c system time= 0.264959 s
1800.08/1800.73	c wall clock time=1800.73

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/node23/watcher-364442-1176988097 -o ROOT/results/node23/solver-364442-1176988097 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/364442-1176988097/instance-364442-1176988097.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.66 0.96 0.98 2/77 13206
/proc/meminfo: memFree=1832072/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=1468 CPUtime=0
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 146726822 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712529 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 367 162 127 317 0 46 0

[startup+0.014471 s]
/proc/loadavg: 0.66 0.96 0.98 2/77 13206
/proc/meminfo: memFree=1832072/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=1732 CPUtime=0.01
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 238 0 0 0 1 0 0 0 18 0 1 0 146726822 1773568 220 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 433 220 130 317 0 112 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1732

[startup+0.101486 s]
/proc/loadavg: 0.66 0.96 0.98 2/77 13206
/proc/meminfo: memFree=1832072/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=3152 CPUtime=0.09
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 589 0 0 0 9 0 0 0 18 0 1 0 146726822 3227648 571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270574 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 788 571 138 317 0 467 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3152

[startup+0.301524 s]
/proc/loadavg: 0.66 0.96 0.98 2/77 13206
/proc/meminfo: memFree=1832072/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=3152 CPUtime=0.29
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 590 0 0 0 29 0 0 0 20 0 1 0 146726822 3227648 572 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279022 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 788 572 138 317 0 467 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3152

[startup+0.701602 s]
/proc/loadavg: 0.66 0.96 0.98 2/77 13206
/proc/meminfo: memFree=1832072/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=3280 CPUtime=0.69
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 601 0 0 0 69 0 0 0 24 0 1 0 146726822 3358720 583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 820 583 138 317 0 499 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3280

[startup+1.50176 s]
/proc/loadavg: 0.66 0.96 0.98 2/78 13207
/proc/meminfo: memFree=1830080/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=3544 CPUtime=1.49
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 688 0 0 0 149 0 0 0 25 0 1 0 146726822 3629056 670 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 886 670 138 317 0 565 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3544

[startup+3.10107 s]
/proc/loadavg: 0.66 0.96 0.98 2/78 13207
/proc/meminfo: memFree=1829504/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=4200 CPUtime=3.09
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 847 0 0 0 309 0 0 0 25 0 1 0 146726822 4300800 829 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711032 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 1050 829 138 317 0 729 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4200

[startup+6.30168 s]
/proc/loadavg: 0.69 0.96 0.98 2/78 13207
/proc/meminfo: memFree=1828224/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=5272 CPUtime=6.29
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 1119 0 0 0 629 0 0 0 25 0 1 0 146726822 5398528 1101 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710752 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 1318 1101 138 317 0 997 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5272

[startup+12.7019 s]
/proc/loadavg: 0.71 0.97 0.98 2/78 13207
/proc/meminfo: memFree=1826624/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=6740 CPUtime=12.68
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 1474 0 0 0 1268 0 0 0 25 0 1 0 146726822 6901760 1456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 1685 1456 138 317 0 1364 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 6740

[startup+25.5014 s]
/proc/loadavg: 0.78 0.97 0.98 2/78 13207
/proc/meminfo: memFree=1824768/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=8460 CPUtime=25.48
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 1908 0 0 0 2547 1 0 0 25 0 1 0 146726822 8663040 1890 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278987 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 2115 1890 138 317 0 1794 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 8460

[startup+51.1013 s]
/proc/loadavg: 0.85 0.97 0.98 2/78 13207
/proc/meminfo: memFree=1822400/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=11184 CPUtime=51.08
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 2570 0 0 0 5106 2 0 0 25 0 1 0 146726822 11452416 2492 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 2796 2492 138 317 0 2475 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 11184

[startup+102.305 s]
/proc/loadavg: 0.93 0.97 0.98 2/78 13207
/proc/meminfo: memFree=1819328/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=14116 CPUtime=102.26
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 3315 0 0 0 10223 3 0 0 25 0 1 0 146726822 14454784 3237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272567 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 3529 3237 138 317 0 3208 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 14116

[startup+162.302 s]
/proc/loadavg: 0.97 0.97 0.98 2/78 13207
/proc/meminfo: memFree=1816640/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=17028 CPUtime=162.23
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 3977 0 0 0 16219 4 0 0 25 0 1 0 146726822 17436672 3899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 4257 3899 138 317 0 3936 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 17028

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13207
/proc/meminfo: memFree=1814464/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=19096 CPUtime=222.21
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 4497 0 0 0 22216 5 0 0 25 0 1 0 146726822 19554304 4419 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 4774 4419 138 317 0 4453 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 19096

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13207
/proc/meminfo: memFree=1812672/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=21028 CPUtime=282.19
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 4947 0 0 0 28213 6 0 0 25 0 1 0 146726822 21532672 4869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 5257 4869 138 317 0 4936 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 21028

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13207
/proc/meminfo: memFree=1811008/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=22624 CPUtime=342.17
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 5354 0 0 0 34210 7 0 0 25 0 1 0 146726822 23166976 5276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 5656 5276 138 317 0 5335 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 22624

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13207
/proc/meminfo: memFree=1809408/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=24644 CPUtime=402.15
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 5871 0 0 0 40207 8 0 0 25 0 1 0 146726822 25235456 5673 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 6161 5673 138 317 0 5840 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 24644

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13207
/proc/meminfo: memFree=1807936/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=25980 CPUtime=462.13
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 6226 0 0 0 46204 9 0 0 25 0 1 0 146726822 26603520 6028 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 6495 6028 138 317 0 6174 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 25980

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13207
/proc/meminfo: memFree=1806592/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=27420 CPUtime=522.11
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 6557 0 0 0 52201 10 0 0 25 0 1 0 146726822 28078080 6359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 6855 6359 138 317 0 6534 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 27420

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13207
/proc/meminfo: memFree=1805312/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=28724 CPUtime=582.09
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 6849 0 0 0 58198 11 0 0 25 0 1 0 146726822 29413376 6651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 7181 6651 138 317 0 6860 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 28724

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13207
/proc/meminfo: memFree=1804096/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=29812 CPUtime=642.08
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 7131 0 0 0 64196 12 0 0 25 0 1 0 146726822 30527488 6933 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 7453 6933 138 317 0 7132 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 29812


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13207
/proc/meminfo: memFree=1799552/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=34856 CPUtime=881.98
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 8241 0 0 0 88184 14 0 0 25 0 1 0 146726822 35692544 8043 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 8714 8043 138 317 0 8393 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 34856

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13207
/proc/meminfo: memFree=1798592/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=35952 CPUtime=941.96
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 8486 0 0 0 94181 15 0 0 25 0 1 0 146726822 36814848 8288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 8988 8288 138 317 0 8667 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 35952

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13207
/proc/meminfo: memFree=1797632/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=36900 CPUtime=1001.94
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 8722 0 0 0 100178 16 0 0 25 0 1 0 146726822 37785600 8524 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 9225 8524 138 317 0 8904 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 36900

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13207
/proc/meminfo: memFree=1796672/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=37692 CPUtime=1061.92
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 8962 0 0 0 106175 17 0 0 25 0 1 0 146726822 38596608 8764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 9423 8764 138 317 0 9102 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 37692

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13207
/proc/meminfo: memFree=1795776/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=38800 CPUtime=1121.9
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 9177 0 0 0 112172 18 0 0 25 0 1 0 146726822 39731200 8979 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 9700 8979 138 317 0 9379 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 38800

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13207
/proc/meminfo: memFree=1794880/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=39792 CPUtime=1181.89
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 9403 0 0 0 118170 19 0 0 25 0 1 0 146726822 40747008 9205 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 9948 9205 138 317 0 9627 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 39792

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13207
/proc/meminfo: memFree=1793984/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=40576 CPUtime=1241.86
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 9603 0 0 0 124167 19 0 0 25 0 1 0 146726822 41549824 9405 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 10144 9405 138 317 0 9823 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 40576

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13207
/proc/meminfo: memFree=1793088/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=41492 CPUtime=1301.85
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 9827 0 0 0 130165 20 0 0 25 0 1 0 146726822 42487808 9629 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 10373 9629 138 317 0 10052 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 41492

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13207
/proc/meminfo: memFree=1792320/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=42020 CPUtime=1361.82
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 10005 0 0 0 136162 20 0 0 25 0 1 0 146726822 43028480 9807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 10505 9807 138 317 0 10184 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 42020

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13207
/proc/meminfo: memFree=1791488/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=42808 CPUtime=1421.8
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 10205 0 0 0 142159 21 0 0 25 0 1 0 146726822 43835392 10007 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 10702 10007 138 317 0 10381 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 42808

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13207
/proc/meminfo: memFree=1790720/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=43484 CPUtime=1481.78
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 10392 0 0 0 148156 22 0 0 25 0 1 0 146726822 44527616 10194 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 10871 10194 138 317 0 10550 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 43484

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13207
/proc/meminfo: memFree=1789952/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=44272 CPUtime=1541.76
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 10594 0 0 0 154153 23 0 0 25 0 1 0 146726822 45334528 10396 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 11068 10396 138 317 0 10747 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 44272

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13207
/proc/meminfo: memFree=1789248/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=44924 CPUtime=1601.73
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 10762 0 0 0 160150 23 0 0 25 0 1 0 146726822 46002176 10564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 11231 10564 138 317 0 10910 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 44924

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13207
/proc/meminfo: memFree=1788544/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=45708 CPUtime=1661.72
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 10940 0 0 0 166148 24 0 0 25 0 1 0 146726822 46804992 10742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 11427 10742 138 317 0 11106 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 45708

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13207
/proc/meminfo: memFree=1787776/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=46292 CPUtime=1721.7
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 11111 0 0 0 172145 25 0 0 25 0 1 0 146726822 47403008 10913 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 11573 10913 138 317 0 11252 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 46292

[startup+1782.3 s]
/proc/loadavg: 1.03 0.99 0.98 2/78 13207
/proc/meminfo: memFree=1787008/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=47104 CPUtime=1781.68
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 11323 0 0 0 178142 26 0 0 25 0 1 0 146726822 48234496 11092 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 11776 11092 138 317 0 11455 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 47104



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.02 0.99 0.98 2/78 13207
/proc/meminfo: memFree=1786752/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=47232 CPUtime=1800.08
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 11374 0 0 0 179982 26 0 0 25 0 1 0 146726822 48365568 11143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 11808 11143 138 317 0 11487 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 47232

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

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

[startup+1800.71 s]
/proc/loadavg: 1.02 0.99 0.98 2/78 13207
/proc/meminfo: memFree=1786752/2055920 swapFree=4169120/4192956
[pid=13206] ppid=13204 vsize=47232 CPUtime=1800.08
/proc/13206/stat : 13206 (oree) R 13204 13206 13149 0 -1 4194304 11374 0 0 0 179982 26 0 0 25 0 1 0 146726822 48365568 11143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13206/statm: 11808 11143 138 317 0 11487 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 47232

Child status: 0
Real time (s): 1800.75
CPU time (s): 1800.13
CPU user time (s): 1799.85
CPU system time (s): 0.273958
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (KiB): 47232

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

runsolver used 2.09468 second user time and 4.45932 second system time

The end

Launcher Data (download as text)

Begin job on node23 on Thu Apr 19 13:08:17 UTC 2007

IDJOB= 364442
IDBENCH= 2113
IDSOLVER= 172
FILE ID= node23/364442-1176988097

PBS_JOBID= 4630438

Free space on /tmp= 66454 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-5.opb
COMMAND LINE= oree /tmp/evaluation/364442-1176988097/instance-364442-1176988097.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node23/watcher-364442-1176988097 -o ROOT/results/node23/solver-364442-1176988097 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/364442-1176988097/instance-364442-1176988097.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  75a2677621940e78209c6b1a1d09ddfe

RANDOM SEED= 36692015

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node23.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.276
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.276
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:       1832544 kB
Buffers:         18172 kB
Cached:         117852 kB
SwapCached:       2288 kB
Active:          69912 kB
Inactive:        88400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1832544 kB
SwapTotal:     4192956 kB
SwapFree:      4169120 kB
Dirty:            1488 kB
Writeback:           0 kB
Mapped:          29800 kB
Slab:            50668 kB
Committed_AS:  2458704 kB
PageTables:       1796 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= 66454 MiB

End job on node23 on Thu Apr 19 13:38:20 UTC 2007