Trace number 2081758

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
pcs-restart 0.3.2? (TO) 1800.15 1810.54

General information on the benchmark

Namecsp/super-js/super-js-taillard-20/
normalized-super-js-taillard-20-28.xml
MD5SUM5e35e44ffc93b7d1cb552d0f7ecb97a7
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark20.8368
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints12940
Maximum constraint arity2
Maximum domain size1551
Number of constraints which are defined in extension0
Number of constraints which are defined in intension12940
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c has big domains
0.00/0.02	c big-domain mode
0.17/0.23	c Seed is 783536903
0.17/0.23	c Constructing HOME/instance-2081758-1247720387.xml  with 82480 constraints
1.26/1.38	c Solving

Verifier Data 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2081758-1247720387/watcher-2081758-1247720387 -o /tmp/evaluation-result-2081758-1247720387/solver-2081758-1247720387 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 783536903 HOME/instance-2081758-1247720387.xml 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.07 2.02 2.00 4/81 17192
/proc/meminfo: memFree=1368272/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=18576 CPUtime=0
/proc/17192/stat : 17192 (runsolver) R 17190 17192 15251 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59105066 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 238487661863 0 0 4096 24578 0 0 0 17 1 0 0
/proc/17192/statm: 4644 284 249 26 0 2626 0

[startup+0.0751941 s]
/proc/loadavg: 2.07 2.02 2.00 4/81 17192
/proc/meminfo: memFree=1368272/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=5820 CPUtime=0.05
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 1076 659 0 0 5 0 0 0 18 0 1 0 59105066 5959680 707 996147200 134512640 135215973 4294956304 18446744073709551615 134533259 0 0 4096 0 0 0 0 17 1 0 0
/proc/17192/statm: 1455 707 388 171 0 380 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5820

[startup+0.101158 s]
/proc/loadavg: 2.07 2.02 2.00 4/81 17192
/proc/meminfo: memFree=1368272/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=6416 CPUtime=0.07
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 1279 659 0 0 7 0 0 0 18 0 1 0 59105066 6569984 836 996147200 134512640 135215973 4294956304 18446744073709551615 4159050586 0 0 4096 0 0 0 0 17 1 0 0
/proc/17192/statm: 1604 836 388 171 0 529 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6416

[startup+0.301202 s]
/proc/loadavg: 2.07 2.02 2.00 4/81 17192
/proc/meminfo: memFree=1368272/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=10976 CPUtime=0.27
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 2710 659 0 0 27 0 0 0 19 0 1 0 59105066 11239424 1803 996147200 134512640 135215973 4294956304 18446744073709551615 134725959 0 0 4096 0 0 0 0 17 1 0 0
/proc/17192/statm: 2744 1803 388 171 0 1669 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10976

[startup+0.701273 s]
/proc/loadavg: 2.07 2.02 2.00 4/81 17192
/proc/meminfo: memFree=1368272/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=20200 CPUtime=0.67
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 5698 659 0 0 65 2 0 0 23 0 1 0 59105066 20684800 3604 996147200 134512640 135215973 4294956304 18446744073709551615 4158960480 0 0 4096 0 0 0 0 17 1 0 0
/proc/17192/statm: 5050 3604 388 171 0 3975 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 20200

[startup+1.50144 s]
/proc/loadavg: 2.07 2.02 2.00 3/82 17197
/proc/meminfo: memFree=1349192/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=44316 CPUtime=1.46
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 14049 659 0 0 140 6 0 0 25 0 1 0 59105066 45379584 9155 996147200 134512640 135215973 4294956304 18446744073709551615 134976733 0 0 4096 0 0 0 0 17 1 0 0
/proc/17192/statm: 11079 9155 404 171 0 10004 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 44316

[startup+3.10174 s]
/proc/loadavg: 2.07 2.02 2.00 3/82 17197
/proc/meminfo: memFree=1322248/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=67820 CPUtime=3.05
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 23113 659 0 0 295 10 0 0 25 0 1 0 59105066 69447680 14937 996147200 134512640 135215973 4294956304 18446744073709551615 135097781 0 0 4096 0 0 0 0 17 1 0 0
/proc/17192/statm: 16955 14937 404 171 0 15880 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 67820

[startup+6.30137 s]
/proc/loadavg: 2.06 2.02 2.00 3/82 17197
/proc/meminfo: memFree=1301256/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=88260 CPUtime=6.22
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 32223 659 0 0 608 14 0 0 25 0 1 0 59105066 90378240 17130 996147200 134512640 135215973 4294956304 18446744073709551615 134957837 0 0 4096 0 0 0 0 17 1 0 0
/proc/17192/statm: 22065 17130 408 171 0 20990 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 88260

[startup+12.7016 s]
/proc/loadavg: 2.06 2.02 2.00 3/82 17197
/proc/meminfo: memFree=1294600/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=88396 CPUtime=12.55
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 39005 659 0 0 1238 17 0 0 25 0 1 0 59105066 90517504 18599 996147200 134512640 135215973 4294956304 18446744073709551615 134902593 0 0 4096 0 0 0 0 17 1 0 0
/proc/17192/statm: 22099 18599 408 171 0 21024 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 88396

[startup+25.5011 s]
/proc/loadavg: 2.04 2.02 2.00 3/82 17197
/proc/meminfo: memFree=1292040/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=88664 CPUtime=25.23
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 50756 659 0 0 2501 22 0 0 25 0 1 0 59105066 90791936 18689 996147200 134512640 135215973 4294956304 18446744073709551615 134584968 0 0 4096 0 0 0 0 17 1 0 0
/proc/17192/statm: 22166 18689 408 171 0 21091 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 88664

[startup+51.1011 s]
/proc/loadavg: 2.03 2.01 2.00 3/82 17197
/proc/meminfo: memFree=1288072/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=89064 CPUtime=50.58
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 78224 659 0 0 5023 35 0 0 25 0 1 0 59105066 91201536 19661 996147200 134512640 135215973 4294956304 18446744073709551615 134588124 0 0 4096 0 0 0 0 17 1 0 0
/proc/17192/statm: 22266 19661 408 171 0 21191 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 89064

[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/82 17203
/proc/meminfo: memFree=1280384/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=91416 CPUtime=101.3
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 114240 659 0 0 10076 54 0 0 25 0 1 0 59105066 93609984 20527 996147200 134512640 135215973 4294956304 18446744073709551615 134648269 0 0 4096 0 0 0 0 17 1 0 0
/proc/17192/statm: 22854 20527 408 171 0 21779 0
Current children cumulated CPU time (s) 101.3
Current children cumulated vsize (KiB) 91416

[startup+162.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17203
/proc/meminfo: memFree=1274048/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=94692 CPUtime=160.72
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 148553 659 0 0 16003 69 0 0 25 0 1 0 59105066 96964608 21522 996147200 134512640 135215973 4294956304 18446744073709551615 134589852 0 0 4096 0 0 0 0 17 1 0 0
/proc/17192/statm: 23673 21522 408 171 0 22598 0
Current children cumulated CPU time (s) 160.72
Current children cumulated vsize (KiB) 94692

[startup+222.301 s]
/proc/loadavg: 2.08 2.02 2.01 3/82 17203
/proc/meminfo: memFree=1249536/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=137512 CPUtime=220.15
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 187504 659 0 0 21928 87 0 0 25 0 1 0 59105066 140812288 26354 996147200 134512640 135215973 4294956304 18446744073709551615 134532961 0 0 4096 0 0 0 0 17 1 0 0
/proc/17192/statm: 34378 26354 408 171 0 33303 0
Current children cumulated CPU time (s) 220.15
Current children cumulated vsize (KiB) 137512

[startup+282.302 s]
/proc/loadavg: 2.03 2.01 2.00 3/82 17203
/proc/meminfo: memFree=1245888/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=138832 CPUtime=279.59
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 221337 659 0 0 27858 101 0 0 25 0 1 0 59105066 142163968 26722 996147200 134512640 135215973 4294956304 18446744073709551615 134976881 0 0 4096 0 0 0 0 17 1 0 0
/proc/17192/statm: 34708 26722 408 171 0 33633 0
Current children cumulated CPU time (s) 279.59
Current children cumulated vsize (KiB) 138832

[startup+342.302 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 17203
/proc/meminfo: memFree=1240192/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=140924 CPUtime=339.02
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 249057 659 0 0 33788 114 0 0 25 0 1 0 59105066 144306176 27068 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 1 0 0
/proc/17192/statm: 35231 27068 408 171 0 34156 0
Current children cumulated CPU time (s) 339.02
Current children cumulated vsize (KiB) 140924

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17203
/proc/meminfo: memFree=1236616/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=142232 CPUtime=398.45
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 281848 659 0 0 39717 128 0 0 25 0 1 0 59105066 145645568 27429 996147200 134512640 135215973 4294956304 18446744073709551615 134600159 0 0 4096 0 0 0 0 17 1 0 0
/proc/17192/statm: 35558 27429 408 171 0 34483 0
Current children cumulated CPU time (s) 398.45
Current children cumulated vsize (KiB) 142232

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17203
/proc/meminfo: memFree=1232712/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=143540 CPUtime=457.88
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 312285 659 0 0 45646 142 0 0 25 0 1 0 59105066 146984960 27851 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 1 0 0
/proc/17192/statm: 35885 27851 408 171 0 34810 0
Current children cumulated CPU time (s) 457.88
Current children cumulated vsize (KiB) 143540

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17203
/proc/meminfo: memFree=1227016/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=144696 CPUtime=517.31
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 350732 659 0 0 51572 159 0 0 25 0 1 0 59105066 148168704 28210 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 1 0 0
/proc/17192/statm: 36174 28210 408 171 0 35099 0
Current children cumulated CPU time (s) 517.31
Current children cumulated vsize (KiB) 144696

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17203
/proc/meminfo: memFree=1223240/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=147912 CPUtime=576.75
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 399701 659 0 0 57494 181 0 0 25 0 1 0 59105066 151461888 28573 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 1 0 0
/proc/17192/statm: 36978 28573 408 171 0 35903 0
Current children cumulated CPU time (s) 576.75
Current children cumulated vsize (KiB) 147912

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17203
/proc/meminfo: memFree=1219784/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=149048 CPUtime=636.18
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 442492 659 0 0 63418 200 0 0 25 0 1 0 59105066 152625152 28929 996147200 134512640 135215973 4294956304 18446744073709551615 134641100 0 0 4096 0 0 0 0 17 1 0 0
/proc/17192/statm: 37262 28929 408 171 0 36187 0
Current children cumulated CPU time (s) 636.18
Current children cumulated vsize (KiB) 149048

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17203
/proc/meminfo: memFree=1201864/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=153340 CPUtime=873.9
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 548010 659 0 0 87141 249 0 0 25 0 1 0 59105066 157020160 30602 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 1 0 0
/proc/17192/statm: 38335 30602 408 171 0 37260 0
Current children cumulated CPU time (s) 873.9
Current children cumulated vsize (KiB) 153340

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17203
/proc/meminfo: memFree=1194056/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=154780 CPUtime=933.33
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 570296 659 0 0 93073 260 0 0 25 0 1 0 59105066 158494720 31015 996147200 134512640 135215973 4294956304 18446744073709551615 134588235 0 0 4096 0 0 0 0 17 1 0 0
/proc/17192/statm: 38695 31015 408 171 0 37620 0
Current children cumulated CPU time (s) 933.33
Current children cumulated vsize (KiB) 154780

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17203
/proc/meminfo: memFree=1192264/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=155932 CPUtime=992.76
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 603971 659 0 0 99000 276 0 0 25 0 1 0 59105066 159674368 31363 996147200 134512640 135215973 4294956304 18446744073709551615 134957761 0 0 4096 0 0 0 0 17 1 0 0
/proc/17192/statm: 38983 31363 408 171 0 37908 0
Current children cumulated CPU time (s) 992.76
Current children cumulated vsize (KiB) 155932

[startup+1062.3 s]
/proc/loadavg: 1.92 1.98 1.99 4/83 17247
/proc/meminfo: memFree=1377400/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=163292 CPUtime=1052.24
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 645652 659 0 0 104928 296 0 0 25 0 1 0 59105066 167211008 32275 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 0 0 0
/proc/17192/statm: 40823 32275 408 171 0 39748 0
Current children cumulated CPU time (s) 1052.24
Current children cumulated vsize (KiB) 163292

[startup+1122.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/83 17247
/proc/meminfo: memFree=1295480/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=164728 CPUtime=1112.21
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 676248 659 0 0 110912 309 0 0 25 0 1 0 59105066 168681472 32718 996147200 134512640 135215973 4294956304 18446744073709551615 134641100 0 0 4096 0 0 0 0 17 0 0 0
/proc/17192/statm: 41182 32718 408 171 0 40107 0
Current children cumulated CPU time (s) 1112.21
Current children cumulated vsize (KiB) 164728

[startup+1182.3 s]
/proc/loadavg: 2.17 2.06 2.02 3/83 17247
/proc/meminfo: memFree=1269752/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=166828 CPUtime=1172.19
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 711477 659 0 0 116895 324 0 0 25 0 1 0 59105066 170831872 33309 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 0 0 0
/proc/17192/statm: 41707 33309 408 171 0 40632 0
Current children cumulated CPU time (s) 1172.19
Current children cumulated vsize (KiB) 166828

[startup+1242.3 s]
/proc/loadavg: 2.17 2.08 2.02 3/83 17247
/proc/meminfo: memFree=1258744/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=168116 CPUtime=1232.16
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 764629 659 0 0 122869 347 0 0 25 0 1 0 59105066 172150784 33676 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/17192/statm: 42029 33676 408 171 0 40954 0
Current children cumulated CPU time (s) 1232.16
Current children cumulated vsize (KiB) 168116

[startup+1302.3 s]
/proc/loadavg: 2.20 2.09 2.03 3/83 17247
/proc/meminfo: memFree=1255224/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=171404 CPUtime=1292.14
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 814155 659 0 0 128847 367 0 0 25 0 1 0 59105066 175517696 34557 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/17192/statm: 42851 34557 408 171 0 41776 0
Current children cumulated CPU time (s) 1292.14
Current children cumulated vsize (KiB) 171404

[startup+1362.3 s]
/proc/loadavg: 2.40 2.18 2.06 3/83 17247
/proc/meminfo: memFree=1253880/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=172440 CPUtime=1352.1
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 869334 659 0 0 134819 391 0 0 25 0 1 0 59105066 176578560 34881 996147200 134512640 135215973 4294956304 18446744073709551615 134592184 0 0 4096 0 0 0 0 17 0 0 0
/proc/17192/statm: 43110 34881 408 171 0 42035 0
Current children cumulated CPU time (s) 1352.1
Current children cumulated vsize (KiB) 172440

[startup+1422.31 s]
/proc/loadavg: 2.20 2.16 2.06 3/83 17247
/proc/meminfo: memFree=1252216/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=173752 CPUtime=1412.08
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 900112 659 0 0 140806 402 0 0 25 0 1 0 59105066 177922048 35299 996147200 134512640 135215973 4294956304 18446744073709551615 135096568 0 0 4096 0 0 0 0 17 0 0 0
/proc/17192/statm: 43438 35299 408 171 0 42363 0
Current children cumulated CPU time (s) 1412.08
Current children cumulated vsize (KiB) 173752

[startup+1482.3 s]
/proc/loadavg: 2.42 2.21 2.08 3/83 17247
/proc/meminfo: memFree=1249912/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=175824 CPUtime=1472.04
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 940640 659 0 0 146785 419 0 0 25 0 1 0 59105066 180043776 35876 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/17192/statm: 43956 35876 408 171 0 42881 0
Current children cumulated CPU time (s) 1472.04
Current children cumulated vsize (KiB) 175824

[startup+1542.3 s]
/proc/loadavg: 2.73 2.33 2.13 3/83 17247
/proc/meminfo: memFree=1246264/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=179224 CPUtime=1532.01
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 1001529 659 0 0 152757 444 0 0 25 0 1 0 59105066 183525376 36804 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/17192/statm: 44806 36804 408 171 0 43731 0
Current children cumulated CPU time (s) 1532.01
Current children cumulated vsize (KiB) 179224

[startup+1602.3 s]
/proc/loadavg: 2.85 2.44 2.17 3/83 17247
/proc/meminfo: memFree=1244984/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=180264 CPUtime=1591.99
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 1041102 659 0 0 158740 459 0 0 25 0 1 0 59105066 184590336 37116 996147200 134512640 135215973 4294956304 18446744073709551615 134582274 0 0 4096 0 0 0 0 17 0 0 0
/proc/17192/statm: 45066 37116 408 171 0 43991 0
Current children cumulated CPU time (s) 1591.99
Current children cumulated vsize (KiB) 180264

[startup+1662.3 s]
/proc/loadavg: 2.64 2.46 2.20 4/83 17247
/proc/meminfo: memFree=1243192/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=181316 CPUtime=1651.96
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 1062220 659 0 0 164727 469 0 0 25 0 1 0 59105066 185667584 37465 996147200 134512640 135215973 4294956304 18446744073709551615 134599882 0 0 4096 0 0 0 0 17 0 0 0
/proc/17192/statm: 45329 37465 408 171 0 44254 0
Current children cumulated CPU time (s) 1651.96
Current children cumulated vsize (KiB) 181316

[startup+1722.3 s]
/proc/loadavg: 2.30 2.40 2.19 3/83 17247
/proc/meminfo: memFree=1241400/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=182772 CPUtime=1711.94
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 1090517 659 0 0 170712 482 0 0 25 0 1 0 59105066 187158528 37886 996147200 134512640 135215973 4294956304 18446744073709551615 135096327 0 0 4096 0 0 0 0 17 0 0 0
/proc/17192/statm: 45693 37886 408 171 0 44618 0
Current children cumulated CPU time (s) 1711.94
Current children cumulated vsize (KiB) 182772

[startup+1782.3 s]
/proc/loadavg: 2.68 2.48 2.22 3/83 17247
/proc/meminfo: memFree=1237112/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=186116 CPUtime=1771.91
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 1124104 659 0 0 176698 493 0 0 25 0 1 0 59105066 190582784 38767 996147200 134512640 135215973 4294956304 18446744073709551615 134641100 0 0 4096 0 0 0 0 17 0 0 0
/proc/17192/statm: 46529 38767 408 171 0 45454 0
Current children cumulated CPU time (s) 1771.91
Current children cumulated vsize (KiB) 186116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.5 s]
/proc/loadavg: 2.52 2.46 2.23 3/83 17247
/proc/meminfo: memFree=1236472/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=186640 CPUtime=1800.1
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 1137572 659 0 0 179512 498 0 0 25 0 1 0 59105066 191119360 38918 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/17192/statm: 46660 38918 408 171 0 45585 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 186640

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

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

[startup+1810.5 s]
/proc/loadavg: 2.52 2.46 2.23 3/83 17247
/proc/meminfo: memFree=1236472/2055920 swapFree=4192812/4192956
[pid=17192] ppid=17190 vsize=186640 CPUtime=1800.1
/proc/17192/stat : 17192 (pcs.big) R 17190 17192 15251 0 -1 4194304 1137572 659 0 0 179512 498 0 0 25 0 1 0 59105066 191119360 38918 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/17192/statm: 46660 38918 408 171 0 45585 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 186640

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1810.54
CPU time (s): 1800.15
CPU user time (s): 1795.13
CPU system time (s): 5.02124
CPU usage (%): 99.4265
Max. virtual memory (cumulated for all children) (KiB): 186784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.13
system time used= 5.02124
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1138231
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= 21
involuntary context switches= 45113

runsolver used 2.05069 second user time and 6.19106 second system time

The end

Launcher Data 

Begin job on node23 at 2009-07-16 06:59:47
IDJOB=2081758
IDBENCH=57489
IDSOLVER=734
FILE ID=node23/2081758-1247720387
PBS_JOBID= 9521392
Free space on /tmp= 66352 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/super-js/super-js-taillard-20/normalized-super-js-taillard-20-28.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2081758-1247720387/watcher-2081758-1247720387 -o /tmp/evaluation-result-2081758-1247720387/solver-2081758-1247720387 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 783536903 HOME/instance-2081758-1247720387.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 5e35e44ffc93b7d1cb552d0f7ecb97a7
RANDOM SEED=783536903

node23.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.277
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.277
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:       1368752 kB
Buffers:         81568 kB
Cached:         393412 kB
SwapCached:          0 kB
Active:         217496 kB
Inactive:       390320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1368752 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3360 kB
Writeback:           0 kB
Mapped:         153180 kB
Slab:            64424 kB
Committed_AS:   667092 kB
PageTables:       2076 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 node23 at 2009-07-16 07:29:59