Trace number 2086729

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 0.3.2? (TO) 1800.13 1807.46

General information on the benchmark

Namecsp/js-taillard-20/
normalized-js-taillard-20-100-5.xml
MD5SUMae7430fa0ee17432c782e1ef242ba179
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1679
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4180
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.18/0.21	c Seed is 1226855353
0.18/0.21	c Constructing HOME/instance-2086729-1247726772.xml  with 27360 constraints
0.38/0.46	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-2086729-1247726772/watcher-2086729-1247726772 -o /tmp/evaluation-result-2086729-1247726772/solver-2086729-1247726772 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1226855353 HOME/instance-2086729-1247726772.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.01 2.00 2.00 4/81 14165
/proc/meminfo: memFree=1465672/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=18576 CPUtime=0
/proc/14165/stat : 14165 (runsolver) R 14163 14165 14008 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59740544 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 248761609511 0 0 4096 24578 0 0 0 17 1 0 0
/proc/14165/statm: 4644 284 249 26 0 2626 0

[startup+0.172047 s]
/proc/loadavg: 2.01 2.00 2.00 4/81 14165
/proc/meminfo: memFree=1465672/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=8412 CPUtime=0.15
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 1860 663 0 0 14 1 0 0 18 0 1 0 59740544 8613888 1208 996147200 134512640 135215973 4294956304 18446744073709551615 134608549 0 0 4096 0 0 0 0 17 1 0 0
/proc/14165/statm: 2103 1208 388 171 0 1028 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 8412

[startup+0.201049 s]
/proc/loadavg: 2.01 2.00 2.00 4/81 14165
/proc/meminfo: memFree=1465672/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=8544 CPUtime=0.18
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 1943 663 0 0 17 1 0 0 18 0 1 0 59740544 8749056 1291 996147200 134512640 135215973 4294956304 18446744073709551615 134906919 0 0 4096 0 0 0 0 17 1 0 0
/proc/14165/statm: 2136 1291 388 171 0 1061 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 8544

[startup+0.301061 s]
/proc/loadavg: 2.01 2.00 2.00 4/81 14165
/proc/meminfo: memFree=1465672/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=10896 CPUtime=0.27
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 2700 663 0 0 26 1 0 0 19 0 1 0 59740544 11157504 1793 996147200 134512640 135215973 4294956304 18446744073709551615 134608549 0 0 4096 0 0 0 0 17 1 0 0
/proc/14165/statm: 2724 1793 388 171 0 1649 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10896

[startup+0.701094 s]
/proc/loadavg: 2.01 2.00 2.00 4/81 14165
/proc/meminfo: memFree=1465672/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=20408 CPUtime=0.67
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 5939 663 0 0 64 3 0 0 23 0 1 0 59740544 20897792 4226 996147200 134512640 135215973 4294956304 18446744073709551615 134908075 0 0 4096 0 0 0 0 17 1 0 0
/proc/14165/statm: 5102 4226 404 171 0 4027 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 20408

[startup+1.50117 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 14170
/proc/meminfo: memFree=1444096/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=38540 CPUtime=1.47
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 11911 663 0 0 141 6 0 0 25 0 1 0 59740544 39464960 7283 996147200 134512640 135215973 4294956304 18446744073709551615 134533329 0 0 4096 0 0 0 0 17 1 0 0
/proc/14165/statm: 9635 7283 408 171 0 8560 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 38540

[startup+3.10131 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 14170
/proc/meminfo: memFree=1437184/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=38672 CPUtime=3.06
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 12193 663 0 0 300 6 0 0 25 0 1 0 59740544 39600128 7565 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 1 0 0
/proc/14165/statm: 9668 7565 408 171 0 8593 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 38672

[startup+6.30261 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 14170
/proc/meminfo: memFree=1436544/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=38864 CPUtime=6.25
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 12234 663 0 0 619 6 0 0 25 0 1 0 59740544 39796736 7606 996147200 134512640 135215973 4294956304 18446744073709551615 134648297 0 0 4096 0 0 0 0 17 1 0 0
/proc/14165/statm: 9716 7606 408 171 0 8641 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 38864

[startup+12.7012 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 14170
/proc/meminfo: memFree=1436224/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=39216 CPUtime=12.61
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 12351 663 0 0 1255 6 0 0 25 0 1 0 59740544 40157184 7709 996147200 134512640 135215973 4294956304 18446744073709551615 134982814 0 0 4096 0 0 0 0 17 1 0 0
/proc/14165/statm: 9804 7709 408 171 0 8729 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 39216

[startup+25.5014 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14170
/proc/meminfo: memFree=1434304/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=40476 CPUtime=25.35
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 12919 663 0 0 2529 6 0 0 25 0 1 0 59740544 41447424 8179 996147200 134512640 135215973 4294956304 18446744073709551615 135095011 0 0 4096 0 0 0 0 17 1 0 0
/proc/14165/statm: 10119 8179 408 171 0 9044 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 40476

[startup+51.1017 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14170
/proc/meminfo: memFree=1430976/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=43320 CPUtime=50.82
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 13900 663 0 0 5075 7 0 0 25 0 1 0 59740544 44359680 9031 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/14165/statm: 10830 9031 408 171 0 9755 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 43320

[startup+102.301 s]
/proc/loadavg: 1.96 1.98 1.99 3/73 14203
/proc/meminfo: memFree=1429144/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=51880 CPUtime=101.81
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 16398 663 0 0 10172 9 0 0 25 0 1 0 59740544 53125120 11272 996147200 134512640 135215973 4294956304 18446744073709551615 134590497 0 0 4096 0 0 0 0 17 0 0 0
/proc/14165/statm: 12970 11272 408 171 0 11895 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 51880

[startup+162.302 s]
/proc/loadavg: 1.98 1.98 1.99 3/73 14203
/proc/meminfo: memFree=1412824/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=61392 CPUtime=161.57
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 18995 663 0 0 16146 11 0 0 25 0 1 0 59740544 62865408 13356 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/14165/statm: 15348 13356 408 171 0 14273 0
Current children cumulated CPU time (s) 161.57
Current children cumulated vsize (KiB) 61392

[startup+222.305 s]
/proc/loadavg: 2.04 2.00 2.00 3/73 14203
/proc/meminfo: memFree=1394584/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=70288 CPUtime=221.33
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 21436 663 0 0 22121 12 0 0 25 0 1 0 59740544 71974912 15507 996147200 134512640 135215973 4294956304 18446744073709551615 134648036 0 0 4096 0 0 0 0 17 0 0 0
/proc/14165/statm: 17572 15507 408 171 0 16497 0
Current children cumulated CPU time (s) 221.33
Current children cumulated vsize (KiB) 70288

[startup+282.302 s]
/proc/loadavg: 2.05 2.01 2.00 3/73 14203
/proc/meminfo: memFree=1378456/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=76016 CPUtime=281.09
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 23069 663 0 0 28095 14 0 0 25 0 1 0 59740544 77840384 17140 996147200 134512640 135215973 4294956304 18446744073709551615 4158960249 0 0 4096 0 0 0 0 17 0 0 0
/proc/14165/statm: 19004 17140 408 171 0 17929 0
Current children cumulated CPU time (s) 281.09
Current children cumulated vsize (KiB) 76016

[startup+342.301 s]
/proc/loadavg: 2.13 2.04 2.01 3/73 14205
/proc/meminfo: memFree=1359256/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=87820 CPUtime=340.84
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 26252 663 0 0 34068 16 0 0 25 0 1 0 59740544 89927680 19298 996147200 134512640 135215973 4294956304 18446744073709551615 134902562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14165/statm: 21955 19298 408 171 0 20880 0
Current children cumulated CPU time (s) 340.84
Current children cumulated vsize (KiB) 87820

[startup+402.302 s]
/proc/loadavg: 2.09 2.04 2.00 3/73 14205
/proc/meminfo: memFree=1342040/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=94964 CPUtime=400.61
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 28270 663 0 0 40043 18 0 0 25 0 1 0 59740544 97243136 21316 996147200 134512640 135215973 4294956304 18446744073709551615 134589885 0 0 4096 0 0 0 0 17 0 0 0
/proc/14165/statm: 23741 21316 408 171 0 22666 0
Current children cumulated CPU time (s) 400.61
Current children cumulated vsize (KiB) 94964

[startup+462.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/73 14205
/proc/meminfo: memFree=1321560/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=102376 CPUtime=460.36
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 30378 663 0 0 46017 19 0 0 25 0 1 0 59740544 104833024 23424 996147200 134512640 135215973 4294956304 18446744073709551615 134982800 0 0 4096 0 0 0 0 17 0 0 0
/proc/14165/statm: 25594 23424 408 171 0 24519 0
Current children cumulated CPU time (s) 460.36
Current children cumulated vsize (KiB) 102376

[startup+522.302 s]
/proc/loadavg: 2.01 2.02 2.00 3/73 14205
/proc/meminfo: memFree=1299864/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=110880 CPUtime=520.13
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 32748 663 0 0 51992 21 0 0 25 0 1 0 59740544 113541120 25794 996147200 134512640 135215973 4294956304 18446744073709551615 134581366 0 0 4096 0 0 0 0 17 0 0 0
/proc/14165/statm: 27720 25794 408 171 0 26645 0
Current children cumulated CPU time (s) 520.13
Current children cumulated vsize (KiB) 110880

[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 14205
/proc/meminfo: memFree=1283160/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=125796 CPUtime=579.89
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 36701 663 0 0 57965 24 0 0 25 0 1 0 59740544 128815104 27698 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 0 0 0
/proc/14165/statm: 31449 27698 408 171 0 30374 0
Current children cumulated CPU time (s) 579.89
Current children cumulated vsize (KiB) 125796

[startup+642.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 14205
/proc/meminfo: memFree=1266520/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=133992 CPUtime=639.65
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 38956 663 0 0 63939 26 0 0 25 0 1 0 59740544 137207808 29953 996147200 134512640 135215973 4294956304 18446744073709551615 134532711 0 0 4096 0 0 0 0 17 0 0 0
/proc/14165/statm: 33498 29953 408 171 0 32423 0
Current children cumulated CPU time (s) 639.65
Current children cumulated vsize (KiB) 133992

[startup+702.302 s]

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

[startup+882.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14205
/proc/meminfo: memFree=1204568/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=163924 CPUtime=878.68
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 47270 663 0 0 87835 33 0 0 25 0 1 0 59740544 167858176 38267 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/14165/statm: 40981 38267 408 171 0 39906 0
Current children cumulated CPU time (s) 878.68
Current children cumulated vsize (KiB) 163924

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14211
/proc/meminfo: memFree=1187480/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=170828 CPUtime=938.43
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 49182 663 0 0 93810 33 0 0 25 0 1 0 59740544 174927872 40179 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/14165/statm: 42707 40179 408 171 0 41632 0
Current children cumulated CPU time (s) 938.43
Current children cumulated vsize (KiB) 170828

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14211
/proc/meminfo: memFree=1170776/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=177464 CPUtime=998.2
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 51024 663 0 0 99785 35 0 0 25 0 1 0 59740544 181723136 42021 996147200 134512640 135215973 4294956304 18446744073709551615 134592237 0 0 4096 0 0 0 0 17 0 0 0
/proc/14165/statm: 44366 42021 408 171 0 43291 0
Current children cumulated CPU time (s) 998.2
Current children cumulated vsize (KiB) 177464

[startup+1062.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/73 14211
/proc/meminfo: memFree=1157208/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=184020 CPUtime=1057.95
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 52838 663 0 0 105759 36 0 0 25 0 1 0 59740544 188436480 43835 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/14165/statm: 46005 43835 408 171 0 44930 0
Current children cumulated CPU time (s) 1057.95
Current children cumulated vsize (KiB) 184020

[startup+1122.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/73 14211
/proc/meminfo: memFree=1142872/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=190696 CPUtime=1117.71
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 54681 663 0 0 111733 38 0 0 25 0 1 0 59740544 195272704 45678 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 0 0 0
/proc/14165/statm: 47674 45678 408 171 0 46599 0
Current children cumulated CPU time (s) 1117.71
Current children cumulated vsize (KiB) 190696

[startup+1182.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/73 14211
/proc/meminfo: memFree=1124440/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=197896 CPUtime=1177.47
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 56685 663 0 0 117709 38 0 0 25 0 1 0 59740544 202645504 47682 996147200 134512640 135215973 4294956304 18446744073709551615 134583658 0 0 4096 0 0 0 0 17 0 0 0
/proc/14165/statm: 49474 47682 408 171 0 48399 0
Current children cumulated CPU time (s) 1177.47
Current children cumulated vsize (KiB) 197896

[startup+1242.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/73 14211
/proc/meminfo: memFree=1105816/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=205064 CPUtime=1237.23
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 58664 663 0 0 123683 40 0 0 25 0 1 0 59740544 209985536 49661 996147200 134512640 135215973 4294956304 18446744073709551615 134592229 0 0 4096 0 0 0 0 17 0 0 0
/proc/14165/statm: 51266 49661 408 171 0 50191 0
Current children cumulated CPU time (s) 1237.23
Current children cumulated vsize (KiB) 205064

[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 14211
/proc/meminfo: memFree=1088984/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=229772 CPUtime=1296.99
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 65058 663 0 0 129655 44 0 0 25 0 1 0 59740544 235286528 51958 996147200 134512640 135215973 4294956304 18446744073709551615 7278744 0 0 4096 0 0 0 0 17 0 0 0
/proc/14165/statm: 57443 51958 408 171 0 56368 0
Current children cumulated CPU time (s) 1296.99
Current children cumulated vsize (KiB) 229772

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 14211
/proc/meminfo: memFree=1068184/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=238944 CPUtime=1356.74
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 67581 663 0 0 135629 45 0 0 25 0 1 0 59740544 244678656 54481 996147200 134512640 135215973 4294956304 18446744073709551615 134592277 0 0 4096 0 0 0 0 17 0 0 0
/proc/14165/statm: 59736 54481 408 171 0 58661 0
Current children cumulated CPU time (s) 1356.74
Current children cumulated vsize (KiB) 238944

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 14211
/proc/meminfo: memFree=1048152/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=247488 CPUtime=1416.51
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 69918 663 0 0 141604 47 0 0 25 0 1 0 59740544 253427712 56818 996147200 134512640 135215973 4294956304 18446744073709551615 134524388 0 0 4096 0 0 0 0 17 0 0 0
/proc/14165/statm: 61872 56818 408 171 0 60797 0
Current children cumulated CPU time (s) 1416.51
Current children cumulated vsize (KiB) 247488

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 14211
/proc/meminfo: memFree=1013016/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=268260 CPUtime=1476.26
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 75438 663 0 0 147576 50 0 0 25 0 1 0 59740544 274698240 61760 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/14165/statm: 67065 61760 408 171 0 65990 0
Current children cumulated CPU time (s) 1476.26
Current children cumulated vsize (KiB) 268260

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14211
/proc/meminfo: memFree=1004440/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=271132 CPUtime=1536.02
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 76359 663 0 0 153551 51 0 0 25 0 1 0 59740544 277639168 62681 996147200 134512640 135215973 4294956304 18446744073709551615 134641100 0 0 4096 0 0 0 0 17 0 0 0
/proc/14165/statm: 67783 62681 408 171 0 66708 0
Current children cumulated CPU time (s) 1536.02
Current children cumulated vsize (KiB) 271132

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14211
/proc/meminfo: memFree=982680/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=280108 CPUtime=1595.79
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 78816 663 0 0 159526 53 0 0 25 0 1 0 59740544 286830592 65138 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 0 0 0
/proc/14165/statm: 70027 65138 408 171 0 68952 0
Current children cumulated CPU time (s) 1595.79
Current children cumulated vsize (KiB) 280108

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14211
/proc/meminfo: memFree=959576/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=288324 CPUtime=1655.53
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 81121 663 0 0 165499 54 0 0 25 0 1 0 59740544 295243776 67443 996147200 134512640 135215973 4294956304 18446744073709551615 134589885 0 0 4096 0 0 0 0 17 0 0 0
/proc/14165/statm: 72081 67443 408 171 0 71006 0
Current children cumulated CPU time (s) 1655.53
Current children cumulated vsize (KiB) 288324

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14211
/proc/meminfo: memFree=943960/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=295884 CPUtime=1715.3
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 83249 663 0 0 171475 55 0 0 25 0 1 0 59740544 302985216 69571 996147200 134512640 135215973 4294956304 18446744073709551615 134589874 0 0 4096 0 0 0 0 17 0 0 0
/proc/14165/statm: 73971 69571 408 171 0 72896 0
Current children cumulated CPU time (s) 1715.3
Current children cumulated vsize (KiB) 295884

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14211
/proc/meminfo: memFree=929944/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=302444 CPUtime=1775.06
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 85112 663 0 0 177449 57 0 0 25 0 1 0 59740544 309702656 71434 996147200 134512640 135215973 4294956304 18446744073709551615 134590678 0 0 4096 0 0 0 0 17 0 0 0
/proc/14165/statm: 75611 71434 408 171 0 74536 0
Current children cumulated CPU time (s) 1775.06
Current children cumulated vsize (KiB) 302444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14211
/proc/meminfo: memFree=923800/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=305232 CPUtime=1800.07
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 85908 663 0 0 179949 58 0 0 25 0 1 0 59740544 312557568 72230 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 0 0 0
/proc/14165/statm: 76308 72230 408 171 0 75233 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 305232

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

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

[startup+1807.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14211
/proc/meminfo: memFree=923800/2055920 swapFree=4192812/4192956
[pid=14165] ppid=14163 vsize=305232 CPUtime=1800.07
/proc/14165/stat : 14165 (pcs.big) R 14163 14165 14008 0 -1 4194304 85908 663 0 0 179949 58 0 0 25 0 1 0 59740544 312557568 72230 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 0 0 0
/proc/14165/statm: 76308 72230 408 171 0 75233 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 305232

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1807.46
CPU time (s): 1800.13
CPU user time (s): 1799.5
CPU system time (s): 0.630904
CPU usage (%): 99.5944
Max. virtual memory (cumulated for all children) (KiB): 305232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.630904
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86571
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= 29
involuntary context switches= 25642

runsolver used 1.68674 second user time and 4.89825 second system time

The end

Launcher Data 

Begin job on node55 at 2009-07-16 08:46:12
IDJOB=2086729
IDBENCH=58619
IDSOLVER=733
FILE ID=node55/2086729-1247726772
PBS_JOBID= 9521620
Free space on /tmp= 66372 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/js-taillard-20/normalized-js-taillard-20-100-5.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2086729-1247726772/watcher-2086729-1247726772 -o /tmp/evaluation-result-2086729-1247726772/solver-2086729-1247726772 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1226855353 HOME/instance-2086729-1247726772.xml

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

MD5SUM BENCH= ae7430fa0ee17432c782e1ef242ba179
RANDOM SEED=1226855353

node55.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.231
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.231
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:       1466088 kB
Buffers:         85172 kB
Cached:         374440 kB
SwapCached:          0 kB
Active:         229944 kB
Inactive:       286964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1466088 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2328 kB
Writeback:           0 kB
Mapped:          77676 kB
Slab:            57988 kB
Committed_AS:   601348 kB
PageTables:       1876 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= 66372 MiB
End job on node55 at 2009-07-16 09:16:22