Trace number 357514

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.15 1802.62

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866-max.opb
MD5SUM0d68396ddd3adb481a49ce1422ebcaec
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables126251
Total number of constraints376501
Number of constraints which are clauses376500
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 constraint125500
Number of terms in the objective function 251
Biggest coefficient in the objective function 1809251394333065553493296640760748560207343510400633813116524750123642650624
Number of bits for the biggest coefficient in the objective function 251
Sum of the numbers in the objective function 3618502788666131106986593281521497120414687020801267626233049500247285301247
Number of bits of the sum of numbers in the objective function 251
Biggest number in a constraint 2961193260766427870080908753323559866441509279473679754522422863056280045864824078237301652581494289303756200212728639995902214134435299666298460531313288000496778442422580538845568248046109094286466596972878396512780851085312
Number of bits of the biggest number in a constraint 750
Biggest sum of numbers in a constraint 11844773043065711480323635013294239465766037117894719018089691452225120183456110041724762364928147817377348326880268577133927465386787427201119947336445574431204393880301774478140662910839812661887447658656553291795701871486491
Number of bits of the biggest sum of numbers751
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...
4.89/4.95	c ...done
4.89/4.95	c #vars=126251 #constraints=376503 hasObjective=yes
6.78/6.80	c res. mode=mod
6.78/6.80	c VSIDS like heuristics
6.78/6.80	c complete search running
1444.01/1444.46	c restart after 401 decisions
1447.41/1447.84	c nbDecision=500 #constraints=376602
1800.03/1800.50	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/node60/watcher-357514-1177002500 -o ROOT/results/node60/solver-357514-1177002500 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357514-1177002500/instance-357514-1177002500.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.94 3/64 13362
/proc/meminfo: memFree=1357592/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=1468 CPUtime=0
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 148160139 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 367 160 130 317 0 46 0

[startup+0.013188 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 13362
/proc/meminfo: memFree=1357592/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=1600 CPUtime=0.01
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 223 0 0 0 1 0 0 0 18 0 1 0 148160139 1638400 205 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 400 206 130 317 0 79 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1600

[startup+0.101197 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 13362
/proc/meminfo: memFree=1357592/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=3588 CPUtime=0.09
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 688 0 0 0 9 0 0 0 18 0 1 0 148160139 3674112 670 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 897 670 130 317 0 576 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3588

[startup+0.301215 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 13362
/proc/meminfo: memFree=1357592/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=7808 CPUtime=0.29
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 1771 0 0 0 29 0 0 0 19 0 1 0 148160139 7995392 1720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 1952 1720 130 317 0 1631 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7808

[startup+0.701255 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 13362
/proc/meminfo: memFree=1357592/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=16248 CPUtime=0.69
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 3938 0 0 0 68 1 0 0 22 0 1 0 148160139 16637952 3822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 4062 3822 130 317 0 3741 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16248

[startup+1.50133 s]
/proc/loadavg: 0.92 0.98 0.94 2/65 13363
/proc/meminfo: memFree=1336464/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=33260 CPUtime=1.49
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 8281 0 0 0 145 4 0 0 25 0 1 0 148160139 34058240 8036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 8315 8036 130 317 0 7994 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33260

[startup+3.10149 s]
/proc/loadavg: 0.93 0.98 0.94 2/65 13363
/proc/meminfo: memFree=1313040/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=66224 CPUtime=3.09
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 16702 0 0 0 301 8 0 0 25 0 1 0 148160139 67813376 16200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 16556 16200 130 317 0 16235 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66224

[startup+6.30181 s]
/proc/loadavg: 0.93 0.98 0.94 2/65 13363
/proc/meminfo: memFree=1237456/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=122348 CPUtime=6.29
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 31637 0 0 0 614 15 0 0 25 0 1 0 148160139 125284352 30200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 30587 30200 137 317 0 30266 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 122348

[startup+12.7024 s]
/proc/loadavg: 0.94 0.98 0.94 2/65 13363
/proc/meminfo: memFree=1229520/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=130136 CPUtime=12.68
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 33581 0 0 0 1253 15 0 0 25 0 1 0 148160139 133259264 32144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 32534 32144 137 317 0 32213 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 130136

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.94 2/65 13363
/proc/meminfo: memFree=1217488/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=152312 CPUtime=25.49
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 39135 0 0 0 2531 18 0 0 25 0 1 0 148160139 155967488 35124 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 38078 35124 139 317 0 37757 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 152312

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.94 2/65 13363
/proc/meminfo: memFree=1211664/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=159388 CPUtime=51.06
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 40900 0 0 0 5088 18 0 0 25 0 1 0 148160139 163213312 36625 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 39847 36625 139 317 0 39526 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 159388

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.94 2/65 13363
/proc/meminfo: memFree=1192400/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=181464 CPUtime=102.26
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 47910 0 0 0 10205 21 0 0 25 0 1 0 148160139 185819136 41406 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710858 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 45366 41406 139 317 0 45045 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 181464

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 13363
/proc/meminfo: memFree=1177104/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=199680 CPUtime=162.23
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 56678 0 0 0 16199 24 0 0 25 0 1 0 148160139 204472320 45273 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 49920 45273 170 317 0 49599 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 199680

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 13363
/proc/meminfo: memFree=1153936/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=225624 CPUtime=222.22
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 64710 0 0 0 22195 27 0 0 25 0 1 0 148160139 231038976 51053 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541544 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 56406 51053 170 317 0 56085 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 225624

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 13363
/proc/meminfo: memFree=1135696/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=246088 CPUtime=282.21
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 71386 0 0 0 28191 30 0 0 25 0 1 0 148160139 251994112 55617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 61522 55617 170 317 0 61201 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 246088

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 13363
/proc/meminfo: memFree=1115728/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=267836 CPUtime=342.19
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 79364 0 0 0 34186 33 0 0 25 0 1 0 148160139 274264064 60593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 66959 60593 170 317 0 66638 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 267836

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 13363
/proc/meminfo: memFree=1089936/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=295192 CPUtime=402.17
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 89892 0 0 0 40181 36 0 0 25 0 1 0 148160139 302276608 67221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 73798 67221 170 317 0 73477 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 295192

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 13363
/proc/meminfo: memFree=1067024/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=319544 CPUtime=462.16
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 99138 0 0 0 46176 40 0 0 25 0 1 0 148160139 327213056 72743 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284223 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 79886 72743 170 317 0 79565 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 319544

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 13363
/proc/meminfo: memFree=1049168/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=338740 CPUtime=522.14
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 106470 0 0 0 52172 42 0 0 25 0 1 0 148160139 346869760 77195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713816 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 84685 77195 170 317 0 84364 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 338740

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 13363
/proc/meminfo: memFree=1032208/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=356312 CPUtime=582.13
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 113696 0 0 0 58168 45 0 0 25 0 1 0 148160139 364863488 81424 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 89078 81424 170 317 0 88757 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 356312

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 13363
/proc/meminfo: memFree=1013456/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=376308 CPUtime=642.12
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 121093 0 0 0 64164 48 0 0 25 0 1 0 148160139 385339392 86096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 94077 86096 170 317 0 93756 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 376308


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

/proc/meminfo: memFree=890128/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=504812 CPUtime=1002.02
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 171386 0 0 0 100134 68 0 0 25 0 1 0 148160139 516927488 116834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 126203 116834 170 317 0 125882 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 504812

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 13363
/proc/meminfo: memFree=885328/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=509680 CPUtime=1062.01
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 173771 0 0 0 106131 70 0 0 25 0 1 0 148160139 521912320 118022 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 127420 118022 170 317 0 127099 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 509680

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 13363
/proc/meminfo: memFree=876624/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=518736 CPUtime=1121.99
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 178286 0 0 0 112128 71 0 0 25 0 1 0 148160139 531185664 120198 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 129684 120198 170 317 0 129363 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 518736

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 13363
/proc/meminfo: memFree=861584/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=533704 CPUtime=1181.98
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 186557 0 0 0 118123 75 0 0 25 0 1 0 148160139 546512896 123889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279021 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 133426 123889 170 317 0 133105 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 533704

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 13363
/proc/meminfo: memFree=844496/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=550196 CPUtime=1241.97
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 192214 0 0 0 124120 77 0 0 25 0 1 0 148160139 563400704 127867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279024 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 137549 127867 170 317 0 137228 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 550196

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 13363
/proc/meminfo: memFree=827408/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=569252 CPUtime=1301.95
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 198979 0 0 0 130116 79 0 0 25 0 1 0 148160139 582914048 132462 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713793 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 142313 132462 170 317 0 141992 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 569252

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 13363
/proc/meminfo: memFree=805136/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=591956 CPUtime=1361.94
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 208165 0 0 0 136111 83 0 0 25 0 1 0 148160139 606162944 138007 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272567 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 147989 138007 170 317 0 147668 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 591956

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 13363
/proc/meminfo: memFree=798608/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=599428 CPUtime=1421.92
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 212197 0 0 0 142108 84 0 0 25 0 1 0 148160139 613814272 139639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 149857 139639 170 317 0 149536 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 599428

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 13363
/proc/meminfo: memFree=784336/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=614452 CPUtime=1481.9
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 217676 0 0 0 148105 85 0 0 25 0 1 0 148160139 629198848 143153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554564 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 153613 143153 170 317 0 153292 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 614452

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 13363
/proc/meminfo: memFree=761808/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=640884 CPUtime=1541.89
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 225296 0 0 0 154101 88 0 0 25 0 1 0 148160139 656265216 148759 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710753 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 160221 148759 170 317 0 159900 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 640884

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 13363
/proc/meminfo: memFree=745168/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=660284 CPUtime=1601.88
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 235668 0 0 0 160095 93 0 0 25 0 1 0 148160139 676130816 152910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712596 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 165071 152910 170 317 0 164750 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 660284

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 13363
/proc/meminfo: memFree=723792/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=684312 CPUtime=1661.85
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 245666 0 0 0 166088 97 0 0 25 0 1 0 148160139 700735488 158264 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712596 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 171078 158264 170 317 0 170757 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 684312

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 13363
/proc/meminfo: memFree=712208/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=697436 CPUtime=1721.85
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 251412 0 0 0 172085 100 0 0 25 0 1 0 148160139 714174464 161165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278906 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 174359 161165 170 317 0 174038 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 697436

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 13363
/proc/meminfo: memFree=661008/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=749416 CPUtime=1781.82
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 267575 0 0 0 178076 106 0 0 25 0 1 0 148160139 767401984 173915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270572 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 187354 173915 170 317 0 187033 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 749416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 13363
/proc/meminfo: memFree=654416/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=756536 CPUtime=1800.03
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 270295 0 0 0 179895 108 0 0 25 0 1 0 148160139 774692864 175577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 189134 175577 170 317 0 188813 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 756536

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.94 2/66 13364
/proc/meminfo: memFree=654408/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=756536 CPUtime=1800.93
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 270295 0 0 0 179985 108 0 0 25 0 1 0 148160139 774692864 175577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713827 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 189134 175577 170 317 0 188813 0
Current children cumulated CPU time (s) 1800.93
Current children cumulated vsize (KiB) 756536

[startup+1802.2 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 13364
/proc/meminfo: memFree=654408/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=756536 CPUtime=1801.73
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 270295 0 0 0 180065 108 0 0 25 0 1 0 148160139 774692864 175577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 189134 175577 170 317 0 188813 0
Current children cumulated CPU time (s) 1801.73
Current children cumulated vsize (KiB) 756536

[startup+1802.6 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 13364
/proc/meminfo: memFree=654408/2055920 swapFree=4181684/4192956
[pid=13362] ppid=13360 vsize=0 CPUtime=1802.12
/proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4195332 270295 0 0 0 180095 117 0 0 25 0 1 0 148160139 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13362/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.62
CPU time (s): 1802.15
CPU user time (s): 1800.96
CPU system time (s): 1.19182
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 756536

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

runsolver used 1.41778 second user time and 3.52246 second system time

The end

Launcher Data (download as text)

Begin job on node60 on Thu Apr 19 17:08:22 UTC 2007

IDJOB= 357514
IDBENCH= 2965
IDSOLVER= 172
FILE ID= node60/357514-1177002500

PBS_JOBID= 4630493

Free space on /tmp= 66392 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=500-sizeP=251-sizeQ=500-280035866-max.opb
COMMAND LINE= oree /tmp/evaluation/357514-1177002500/instance-357514-1177002500.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node60/watcher-357514-1177002500 -o ROOT/results/node60/solver-357514-1177002500 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357514-1177002500/instance-357514-1177002500.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  0d68396ddd3adb481a49ce1422ebcaec

RANDOM SEED= 265154306

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node60.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.214
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.214
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:       1358064 kB
Buffers:         28268 kB
Cached:         595432 kB
SwapCached:       5028 kB
Active:         100892 kB
Inactive:       533716 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1358064 kB
SwapTotal:     4192956 kB
SwapFree:      4181684 kB
Dirty:           26548 kB
Writeback:           0 kB
Mapped:          15400 kB
Slab:            49324 kB
Committed_AS:  1584332 kB
PageTables:       1464 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= 66392 MiB

End job on node60 on Thu Apr 19 17:38:24 UTC 2007