Trace number 367066

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? (MO) 1446.08 1446.48

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=140-sizeP=71-sizeQ=140-217105354.opb
MD5SUMeca994a4da1c48383c86dd1e556e3687
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark3.44148
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables10151
Total number of constraints29821
Number of constraints which are clauses29820
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint9940
Number of terms in the objective function 71
Biggest coefficient in the objective function 1180591620717411303424
Number of bits for the biggest coefficient in the objective function 71
Sum of the numbers in the objective function 2361183241434822606847
Number of bits of the sum of numbers in the objective function 71
Biggest number in a constraint 822752278660603021077484591278675252491367932816789931674304512
Number of bits of the biggest number in a constraint 210
Biggest sum of numbers in a constraint 3291009114642412084308654416646809277848400271660251117497592779
Number of bits of the biggest sum of numbers211
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.29/0.30	c ...done
0.29/0.30	c #vars=10151 #constraints=29823 hasObjective=yes
0.39/0.40	c res. mode=mod
0.39/0.40	c VSIDS like heuristics
0.39/0.40	c complete search running
39.88/39.93	c restart after 401 decisions
42.08/42.15	c nbDecision=500 #constraints=30166
91.06/91.13	c restart after 801 decisions
111.56/111.65	c nbDecision=1000 #constraints=30593
206.33/206.42	c nbDecision=1500 #constraints=31090
234.03/234.15	c restart after 1601 decisions
304.41/304.60	c nbDecision=2000 #constraints=31512
438.27/438.42	c nbDecision=2500 #constraints=32013
577.54/577.78	c nbDecision=3000 #constraints=32505
661.02/661.29	c restart after 3201 decisions
766.48/766.71	c nbDecision=3500 #constraints=32946
947.23/947.54	c nbDecision=4000 #constraints=33444
1196.96/1197.31	c nbDecision=4500 #constraints=33941
1408.60/1409.03	c nbDecision=5000 #constraints=34435
1445.30/1445.70	Received signal 15
1445.79/1446.22	
1445.79/1446.22	s UNKNOWN
1445.79/1446.22	
1445.79/1446.22	c user time= 1442.86 s
1445.79/1446.22	c system time= 2.96755 s
1445.79/1446.22	c wall clock time=1446.22

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/node18/watcher-367066-1177003310 -o ROOT/results/node18/solver-367066-1177003310 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/367066-1177003310/instance-367066-1177003310.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 14971
/proc/meminfo: memFree=1737360/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=1468 CPUtime=0
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 148248380 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 367 165 130 317 0 46 0

[startup+0.106253 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 14971
/proc/meminfo: memFree=1737360/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=3712 CPUtime=0.1
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 726 0 0 0 10 0 0 0 18 0 1 0 148248380 3801088 708 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 928 708 130 317 0 607 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3712

[startup+0.201263 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 14971
/proc/meminfo: memFree=1737360/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=5692 CPUtime=0.19
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 1231 0 0 0 19 0 0 0 18 0 1 0 148248380 5828608 1213 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 1423 1213 130 317 0 1102 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5692

[startup+0.301272 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 14971
/proc/meminfo: memFree=1737360/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=7608 CPUtime=0.29
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 1708 0 0 0 29 0 0 0 19 0 1 0 148248380 7790592 1624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284160 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 1902 1624 131 317 0 1581 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7608

[startup+0.70131 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 14971
/proc/meminfo: memFree=1737360/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=12648 CPUtime=0.69
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 3008 0 0 0 68 1 0 0 23 0 1 0 148248380 12951552 2825 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284244 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 3162 2825 139 317 0 2841 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12648

[startup+1.50139 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 14972
/proc/meminfo: memFree=1726408/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=12648 CPUtime=1.49
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 3029 0 0 0 148 1 0 0 25 0 1 0 148248380 12951552 2846 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 3162 2846 139 317 0 2841 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12648

[startup+3.10154 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 14972
/proc/meminfo: memFree=1725640/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=16144 CPUtime=3.09
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 4327 0 0 0 307 2 0 0 25 0 1 0 148248380 16531456 3397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 4036 3398 139 317 0 3715 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16144

[startup+6.30185 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 14972
/proc/meminfo: memFree=1714824/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=28372 CPUtime=6.29
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 9825 0 0 0 625 4 0 0 25 0 1 0 148248380 29052928 5920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712497 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 7093 5920 170 317 0 6772 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28372

[startup+12.7015 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 14972
/proc/meminfo: memFree=1698632/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=53596 CPUtime=12.69
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 20391 0 0 0 1261 8 0 0 25 0 1 0 148248380 54882304 11274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 13399 11274 170 317 0 13078 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 53596

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 14972
/proc/meminfo: memFree=1656072/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=98124 CPUtime=25.48
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 39244 0 0 0 2534 14 0 0 25 0 1 0 148248380 100478976 20534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278995 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 24531 20534 170 317 0 24210 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 98124

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 14972
/proc/meminfo: memFree=1611848/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=154436 CPUtime=51.08
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 65492 0 0 0 5084 24 0 0 25 0 1 0 148248380 158142464 31645 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 38609 31645 170 317 0 38288 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 154436

[startup+102.301 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 14972
/proc/meminfo: memFree=1500936/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=288532 CPUtime=102.26
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 125744 0 0 0 10180 46 0 0 25 0 1 0 148248380 295456768 59019 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 72133 59019 170 317 0 71812 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 288532

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14972
/proc/meminfo: memFree=1387464/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=422960 CPUtime=162.25
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 180464 0 0 0 16157 68 0 0 25 0 1 0 148248380 433111040 87508 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713788 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 105740 87508 170 317 0 105419 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 422960

[startup+222.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14972
/proc/meminfo: memFree=1309576/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=520608 CPUtime=222.23
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 226222 0 0 0 22138 85 0 0 25 0 1 0 148248380 533102592 106725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712546 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 130152 106725 170 317 0 129831 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 520608

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14972
/proc/meminfo: memFree=1182536/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=685560 CPUtime=282.22
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 282046 0 0 0 28115 107 0 0 25 0 1 0 148248380 702013440 138780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284135 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 171390 138780 170 317 0 171069 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 685560

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14972
/proc/meminfo: memFree=1118152/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=759008 CPUtime=342.19
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 317063 0 0 0 34100 119 0 0 25 0 1 0 148248380 777224192 154547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134590739 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 189752 154547 170 317 0 189431 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 759008

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14972
/proc/meminfo: memFree=1059208/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=827144 CPUtime=402.18
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 350155 0 0 0 40088 130 0 0 25 0 1 0 148248380 846995456 169244 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 206786 169244 170 317 0 206465 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 827144

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14972
/proc/meminfo: memFree=996296/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=900472 CPUtime=462.16
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 386537 0 0 0 46072 144 0 0 25 0 1 0 148248380 922083328 185092 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 225118 185092 170 317 0 224797 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 900472

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14972
/proc/meminfo: memFree=939720/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=970892 CPUtime=522.14
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 420199 0 0 0 52058 156 0 0 25 0 1 0 148248380 994193408 199239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541574 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 242723 199239 170 317 0 242402 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 970892

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14972
/proc/meminfo: memFree=879176/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=1047240 CPUtime=582.13
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 455958 0 0 0 58044 169 0 0 25 0 1 0 148248380 1072373760 214208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 261810 214208 170 317 0 261489 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1047240

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14972
/proc/meminfo: memFree=839944/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=1096824 CPUtime=642.11
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 479651 0 0 0 64035 176 0 0 25 0 1 0 148248380 1123147776 223966 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718632 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 274206 223966 170 317 0 273885 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 1096824

[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14972
/proc/meminfo: memFree=816008/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=1126652 CPUtime=702.1
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 493550 0 0 0 70028 182 0 0 25 0 1 0 148248380 1153691648 229823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 281663 229823 170 317 0 281342 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 1126652

[startup+762.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14972
/proc/meminfo: memFree=676680/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=1333720 CPUtime=762.09
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 543478 0 0 0 76008 201 0 0 25 0 1 0 148248380 1365729280 264600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271317 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 333430 264600 170 317 0 333109 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 1333720

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14972
/proc/meminfo: memFree=631368/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=1387436 CPUtime=822.07
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 569091 0 0 0 81996 211 0 0 25 0 1 0 148248380 1420734464 276116 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134742678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 346859 276116 170 317 0 346538 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 1387436

[startup+882.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14972
/proc/meminfo: memFree=577160/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=1449192 CPUtime=882.05
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 599497 0 0 0 87982 223 0 0 25 0 1 0 148248380 1483972608 289393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 362298 289393 170 317 0 361977 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 1449192

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14972
/proc/meminfo: memFree=532936/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=1501508 CPUtime=942.04
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 624464 0 0 0 93971 233 0 0 25 0 1 0 148248380 1537544192 300653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554561 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 375377 300653 170 317 0 375056 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 1501508

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14974
/proc/meminfo: memFree=491400/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=1548440 CPUtime=1002.02
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 647287 0 0 0 99963 239 0 0 25 0 1 0 148248380 1585602560 310782 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 387110 310782 170 317 0 386789 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 1548440

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14974
/proc/meminfo: memFree=466824/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=1578764 CPUtime=1062
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 662293 0 0 0 105955 245 0 0 25 0 1 0 148248380 1616654336 317287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270612 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 394691 317287 170 317 0 394370 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1578764

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14974
/proc/meminfo: memFree=432584/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=1616432 CPUtime=1121.99
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 680812 0 0 0 111947 252 0 0 25 0 1 0 148248380 1655226368 325457 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 404108 325457 170 317 0 403787 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1616432

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14974
/proc/meminfo: memFree=391240/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=1664860 CPUtime=1181.97
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 704273 0 0 0 117936 261 0 0 25 0 1 0 148248380 1704816640 335842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 416215 335842 170 317 0 415894 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 1664860

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14974
/proc/meminfo: memFree=366088/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=1693724 CPUtime=1241.95
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 718162 0 0 0 123928 267 0 0 25 0 1 0 148248380 1734373376 342071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 423431 342071 170 317 0 423110 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1693724

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14974
/proc/meminfo: memFree=328328/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=1736996 CPUtime=1301.94
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 739317 0 0 0 129919 275 0 0 25 0 1 0 148248380 1778683904 351418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 434249 351418 170 317 0 433928 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1736996

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14974
/proc/meminfo: memFree=281480/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=1792584 CPUtime=1361.92
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 766913 0 0 0 135907 285 0 0 25 0 1 0 148248380 1835606016 363373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 448146 363373 170 317 0 447825 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1792584

[startup+1422.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14974
/proc/meminfo: memFree=241928/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=1836932 CPUtime=1421.91
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 788543 0 0 0 141896 295 0 0 25 0 1 0 148248380 1881018368 372953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 459233 372953 170 317 0 458912 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1836932



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1445.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14974
/proc/meminfo: memFree=236808/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=1843268 CPUtime=1445.3
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 791454 0 0 0 144234 296 0 0 25 0 1 0 148248380 1887506432 374256 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746922 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 460817 374256 170 317 0 460496 0
Current children cumulated CPU time (s) 1445.3
Current children cumulated vsize (KiB) 1843268

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

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

[startup+1445.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14974
/proc/meminfo: memFree=236808/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=1843268 CPUtime=1445.49
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 791475 0 0 0 144253 296 0 0 25 0 1 0 148248380 1887506432 374277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 460817 374277 170 317 0 460496 0
Current children cumulated CPU time (s) 1445.49
Current children cumulated vsize (KiB) 1843268

[startup+1446.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14974
/proc/meminfo: memFree=236808/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=0 CPUtime=1445.9
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194308 791510 0 0 0 144287 303 0 0 25 0 1 0 148248380 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1445.9
Current children cumulated vsize (KiB) 0

[startup+1446.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14974
/proc/meminfo: memFree=236808/2055920 swapFree=4147128/4192956
[pid=14971] ppid=14969 vsize=0 CPUtime=1446
/proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194308 791510 0 0 0 144287 313 0 0 25 0 1 0 148248380 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14971/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1446
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1446.48
CPU time (s): 1446.08
CPU user time (s): 1442.87
CPU system time (s): 3.20951
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 1843268

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

runsolver used 1.76673 second user time and 3.43048 second system time

The end

Launcher Data (download as text)

Begin job on node18 on Thu Apr 19 17:21:50 UTC 2007

IDJOB= 367066
IDBENCH= 3004
IDSOLVER= 172
FILE ID= node18/367066-1177003310

PBS_JOBID= 4630471

Free space on /tmp= 66483 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=140-sizeP=71-sizeQ=140-217105354.opb
COMMAND LINE= oree /tmp/evaluation/367066-1177003310/instance-367066-1177003310.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-367066-1177003310 -o ROOT/results/node18/solver-367066-1177003310 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/367066-1177003310/instance-367066-1177003310.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  eca994a4da1c48383c86dd1e556e3687

RANDOM SEED= 318072437

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node18.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.234
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.234
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:       1737704 kB
Buffers:         36140 kB
Cached:         195108 kB
SwapCached:      14164 kB
Active:          76368 kB
Inactive:       180288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1737704 kB
SwapTotal:     4192956 kB
SwapFree:      4147128 kB
Dirty:            2472 kB
Writeback:           0 kB
Mapped:          32480 kB
Slab:            47068 kB
Committed_AS:  4401260 kB
PageTables:       1780 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= 66483 MiB

End job on node18 on Thu Apr 19 17:45:58 UTC 2007