Trace number 2080371

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.16 1802.78

General information on the benchmark

Namecsp/js-taillard-15/
normalized-js-taillard-15-95-8.xml
MD5SUM31f84ce3b363624035dc20528456a27e
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 benchmark11.8992
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints1785
Maximum constraint arity2
Maximum domain size1225
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1785
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.17/0.20	c Seed is 779059191
0.17/0.20	c Constructing HOME/instance-2080371-1247717597.xml  with 11445 constraints
0.17/0.20	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-2080371-1247717597/watcher-2080371-1247717597 -o /tmp/evaluation-result-2080371-1247717597/solver-2080371-1247717597 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 779059191 HOME/instance-2080371-1247717597.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.22 2.20 2.11 4/81 15937
/proc/meminfo: memFree=680160/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=5356 CPUtime=0
/proc/15937/stat : 15937 (pcssolve) R 15935 15937 15206 0 -1 4194304 266 0 0 0 0 0 0 0 20 0 1 0 58822424 5484544 234 996147200 4194304 4889804 548682068800 18446744073709551615 237947486591 0 0 4100 65536 0 0 0 17 1 0 0
/proc/15937/statm: 1339 234 195 169 0 50 0

[startup+0.0166361 s]
/proc/loadavg: 2.22 2.20 2.11 4/81 15937
/proc/meminfo: memFree=680160/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=5356 CPUtime=0
/proc/15937/stat : 15937 (pcssolve) S 15935 15937 15206 0 -1 4194304 339 474 0 0 0 0 0 0 23 0 1 0 58822424 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15937/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101622 s]
/proc/loadavg: 2.22 2.20 2.11 4/81 15937
/proc/meminfo: memFree=680160/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=6528 CPUtime=0.08
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 1315 661 0 0 8 0 0 0 18 0 1 0 58822424 6684672 836 996147200 134512640 135215973 4294956304 18446744073709551615 134837542 0 0 4096 0 0 0 0 17 1 0 0
/proc/15937/statm: 1632 836 388 171 0 557 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6528

[startup+0.301641 s]
/proc/loadavg: 2.22 2.20 2.11 4/81 15937
/proc/meminfo: memFree=680160/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=11584 CPUtime=0.28
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 2999 661 0 0 27 1 0 0 19 0 1 0 58822424 11862016 2047 996147200 134512640 135215973 4294956304 18446744073709551615 134902586 0 0 4096 0 0 0 0 17 1 0 0
/proc/15937/statm: 2896 2047 404 171 0 1821 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11584

[startup+0.701676 s]
/proc/loadavg: 2.22 2.20 2.11 4/81 15937
/proc/meminfo: memFree=680160/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=15524 CPUtime=0.68
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 4402 661 0 0 66 2 0 0 23 0 1 0 58822424 15896576 2824 996147200 134512640 135215973 4294956304 18446744073709551615 134609894 0 0 4096 0 0 0 0 17 1 0 0
/proc/15937/statm: 3881 2824 408 171 0 2806 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 15524

[startup+1.50174 s]
/proc/loadavg: 2.22 2.20 2.11 3/82 15942
/proc/meminfo: memFree=670296/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=15668 CPUtime=1.47
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 4424 661 0 0 145 2 0 0 25 0 1 0 58822424 16044032 2846 996147200 134512640 135215973 4294956304 18446744073709551615 135094460 0 0 4096 0 0 0 0 17 1 0 0
/proc/15937/statm: 3917 2846 408 171 0 2842 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 15668

[startup+3.10187 s]
/proc/loadavg: 2.22 2.20 2.11 3/82 15942
/proc/meminfo: memFree=669848/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=15804 CPUtime=3.06
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 4525 661 0 0 304 2 0 0 25 0 1 0 58822424 16183296 2947 996147200 134512640 135215973 4294956304 18446744073709551615 134581782 0 0 4096 0 0 0 0 17 1 0 0
/proc/15937/statm: 3951 2947 408 171 0 2876 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15804

[startup+6.30213 s]
/proc/loadavg: 2.20 2.20 2.11 3/82 15942
/proc/meminfo: memFree=665240/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=21636 CPUtime=6.22
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 6480 661 0 0 619 3 0 0 25 0 1 0 58822424 22155264 4069 996147200 134512640 135215973 4294956304 18446744073709551615 134609781 0 0 4096 0 0 0 0 17 1 0 0
/proc/15937/statm: 5409 4069 408 171 0 4334 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 21636

[startup+12.7016 s]
/proc/loadavg: 2.18 2.19 2.10 3/82 15942
/proc/meminfo: memFree=664152/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=22504 CPUtime=12.56
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 6732 661 0 0 1252 4 0 0 25 0 1 0 58822424 23044096 4288 996147200 134512640 135215973 4294956304 18446744073709551615 134983629 0 0 4096 0 0 0 0 17 1 0 0
/proc/15937/statm: 5626 4288 408 171 0 4551 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 22504

[startup+25.5017 s]
/proc/loadavg: 2.22 2.20 2.11 3/82 15942
/proc/meminfo: memFree=660824/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=25936 CPUtime=25.24
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 7767 661 0 0 2520 4 0 0 25 0 1 0 58822424 26558464 5129 996147200 134512640 135215973 4294956304 18446744073709551615 134583658 0 0 4096 0 0 0 0 17 1 0 0
/proc/15937/statm: 6484 5129 408 171 0 5409 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 25936

[startup+51.1017 s]
/proc/loadavg: 2.14 2.18 2.10 3/82 15942
/proc/meminfo: memFree=656088/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=31420 CPUtime=50.6
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 9267 661 0 0 5055 5 0 0 25 0 1 0 58822424 32174080 6372 996147200 134512640 135215973 4294956304 18446744073709551615 134957837 0 0 4096 0 0 0 0 17 1 0 0
/proc/15937/statm: 7855 6372 408 171 0 6780 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 31420

[startup+102.307 s]
/proc/loadavg: 2.11 2.17 2.10 3/82 15942
/proc/meminfo: memFree=643224/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=45512 CPUtime=101.32
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 13056 661 0 0 10124 8 0 0 25 0 1 0 58822424 46604288 9519 996147200 134512640 135215973 4294956304 18446744073709551615 134532656 0 0 4096 0 0 0 0 17 1 0 0
/proc/15937/statm: 11378 9519 408 171 0 10303 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 45512

[startup+162.302 s]
/proc/loadavg: 2.27 2.20 2.11 3/82 15942
/proc/meminfo: memFree=629336/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=57828 CPUtime=160.75
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 16500 661 0 0 16065 10 0 0 25 0 1 0 58822424 59215872 12963 996147200 134512640 135215973 4294956304 18446744073709551615 4158960067 0 0 4096 0 0 0 0 17 1 0 0
/proc/15937/statm: 14457 12963 408 171 0 13382 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 57828

[startup+222.302 s]
/proc/loadavg: 2.10 2.16 2.10 3/73 16059
/proc/meminfo: memFree=1352816/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=74420 CPUtime=220.21
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 20983 661 0 0 22006 15 0 0 25 0 1 0 58822424 76206080 16421 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 18605 16421 408 171 0 17530 0
Current children cumulated CPU time (s) 220.21
Current children cumulated vsize (KiB) 74420

[startup+282.301 s]
/proc/loadavg: 2.03 2.13 2.09 3/73 16059
/proc/meminfo: memFree=1331184/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=89436 CPUtime=280.2
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 25087 661 0 0 28002 18 0 0 25 0 1 0 58822424 91582464 20525 996147200 134512640 135215973 4294956304 18446744073709551615 134957935 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 22359 20525 408 171 0 21284 0
Current children cumulated CPU time (s) 280.2
Current children cumulated vsize (KiB) 89436

[startup+342.301 s]
/proc/loadavg: 2.01 2.10 2.08 3/73 16059
/proc/meminfo: memFree=1316528/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=101816 CPUtime=340.18
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 28585 661 0 0 33997 21 0 0 25 0 1 0 58822424 104259584 24023 996147200 134512640 135215973 4294956304 18446744073709551615 134590354 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 25454 24023 408 171 0 24379 0
Current children cumulated CPU time (s) 340.18
Current children cumulated vsize (KiB) 101816

[startup+402.301 s]
/proc/loadavg: 2.00 2.08 2.08 3/73 16059
/proc/meminfo: memFree=1277744/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=127180 CPUtime=400.16
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 35402 661 0 0 39990 26 0 0 25 0 1 0 58822424 130232320 28501 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 31795 28501 408 171 0 30720 0
Current children cumulated CPU time (s) 400.16
Current children cumulated vsize (KiB) 127180

[startup+462.302 s]
/proc/loadavg: 2.00 2.06 2.07 3/73 16059
/proc/meminfo: memFree=1261424/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=141344 CPUtime=460.14
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 39351 661 0 0 45985 29 0 0 25 0 1 0 58822424 144736256 32450 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 35336 32450 408 171 0 34261 0
Current children cumulated CPU time (s) 460.14
Current children cumulated vsize (KiB) 141344

[startup+522.302 s]
/proc/loadavg: 2.00 2.05 2.06 3/73 16059
/proc/meminfo: memFree=1241648/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=156656 CPUtime=520.12
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 43611 661 0 0 51980 32 0 0 25 0 1 0 58822424 160415744 36710 996147200 134512640 135215973 4294956304 18446744073709551615 134907400 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 39164 36710 408 171 0 38089 0
Current children cumulated CPU time (s) 520.12
Current children cumulated vsize (KiB) 156656

[startup+582.302 s]
/proc/loadavg: 2.00 2.04 2.06 3/73 16059
/proc/meminfo: memFree=1224112/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=169916 CPUtime=580.1
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 47270 661 0 0 57975 35 0 0 25 0 1 0 58822424 173993984 40369 996147200 134512640 135215973 4294956304 18446744073709551615 134590485 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 42479 40369 408 171 0 41404 0
Current children cumulated CPU time (s) 580.1
Current children cumulated vsize (KiB) 169916

[startup+642.301 s]
/proc/loadavg: 2.00 2.03 2.05 3/73 16059
/proc/meminfo: memFree=1207856/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=182916 CPUtime=640.08
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 50896 661 0 0 63970 38 0 0 25 0 1 0 58822424 187305984 43995 996147200 134512640 135215973 4294956304 18446744073709551615 134592176 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 45729 43995 408 171 0 44654 0
Current children cumulated CPU time (s) 640.08
Current children cumulated vsize (KiB) 182916

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.03 3/73 16059
/proc/meminfo: memFree=1129968/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=248840 CPUtime=879.99
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 69121 661 0 0 87947 52 0 0 25 0 1 0 58822424 254812160 58123 996147200 134512640 135215973 4294956304 18446744073709551615 135094975 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 62210 58123 408 171 0 61135 0
Current children cumulated CPU time (s) 879.99
Current children cumulated vsize (KiB) 248840

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.02 3/73 16059
/proc/meminfo: memFree=1108592/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=261756 CPUtime=939.97
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 72667 661 0 0 93940 57 0 0 25 0 1 0 58822424 268038144 61669 996147200 134512640 135215973 4294956304 18446744073709551615 134600073 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 65439 61669 408 171 0 64364 0
Current children cumulated CPU time (s) 939.97
Current children cumulated vsize (KiB) 261756

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/73 16059
/proc/meminfo: memFree=1091376/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=279496 CPUtime=999.95
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 77421 661 0 0 99935 60 0 0 25 0 1 0 58822424 286203904 65910 996147200 134512640 135215973 4294956304 18446744073709551615 134592202 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 69874 65910 408 171 0 68799 0
Current children cumulated CPU time (s) 999.95
Current children cumulated vsize (KiB) 279496

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/73 16059
/proc/meminfo: memFree=1077936/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=291836 CPUtime=1059.93
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 80835 661 0 0 105930 63 0 0 25 0 1 0 58822424 298840064 69324 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 72959 69324 408 171 0 71884 0
Current children cumulated CPU time (s) 1059.93
Current children cumulated vsize (KiB) 291836

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/73 16059
/proc/meminfo: memFree=1064688/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=303340 CPUtime=1119.91
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 84038 661 0 0 111925 66 0 0 25 0 1 0 58822424 310620160 72527 996147200 134512640 135215973 4294956304 18446744073709551615 134982814 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 75835 72527 408 171 0 74760 0
Current children cumulated CPU time (s) 1119.91
Current children cumulated vsize (KiB) 303340

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16059
/proc/meminfo: memFree=1053232/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=313516 CPUtime=1179.89
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 86887 661 0 0 117921 68 0 0 25 0 1 0 58822424 321040384 75376 996147200 134512640 135215973 4294956304 18446744073709551615 134600351 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 78379 75376 408 171 0 77304 0
Current children cumulated CPU time (s) 1179.89
Current children cumulated vsize (KiB) 313516

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16059
/proc/meminfo: memFree=1039984/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=325204 CPUtime=1239.87
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 90128 661 0 0 123917 70 0 0 25 0 1 0 58822424 333008896 78617 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 81301 78617 408 171 0 80226 0
Current children cumulated CPU time (s) 1239.87
Current children cumulated vsize (KiB) 325204

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16059
/proc/meminfo: memFree=1028976/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=334872 CPUtime=1299.85
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 92857 661 0 0 129912 73 0 0 25 0 1 0 58822424 342908928 81346 996147200 134512640 135215973 4294956304 18446744073709551615 134583653 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 83718 81346 408 171 0 82643 0
Current children cumulated CPU time (s) 1299.85
Current children cumulated vsize (KiB) 334872

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16059
/proc/meminfo: memFree=1015216/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=347208 CPUtime=1359.82
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 96290 661 0 0 135906 76 0 0 25 0 1 0 58822424 355540992 84779 996147200 134512640 135215973 4294956304 18446744073709551615 134590435 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 86802 84779 408 171 0 85727 0
Current children cumulated CPU time (s) 1359.82
Current children cumulated vsize (KiB) 347208

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16059
/proc/meminfo: memFree=1000688/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=360112 CPUtime=1419.81
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 99855 661 0 0 141903 78 0 0 25 0 1 0 58822424 368754688 88344 996147200 134512640 135215973 4294956304 18446744073709551615 134587268 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 90028 88344 408 171 0 88953 0
Current children cumulated CPU time (s) 1419.81
Current children cumulated vsize (KiB) 360112

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16059
/proc/meminfo: memFree=911792/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=373564 CPUtime=1479.78
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 103539 661 0 0 147898 80 0 0 25 0 1 0 58822424 382529536 92028 996147200 134512640 135215973 4294956304 18446744073709551615 134592223 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 93391 92028 408 171 0 92316 0
Current children cumulated CPU time (s) 1479.78
Current children cumulated vsize (KiB) 373564

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16059
/proc/meminfo: memFree=862384/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=421584 CPUtime=1539.77
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 115903 661 0 0 153890 87 0 0 25 0 1 0 58822424 431702016 96199 996147200 134512640 135215973 4294956304 18446744073709551615 134957922 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 105396 96199 408 171 0 104321 0
Current children cumulated CPU time (s) 1539.77
Current children cumulated vsize (KiB) 421584

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16059
/proc/meminfo: memFree=789168/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=435740 CPUtime=1599.75
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 119803 661 0 0 159885 90 0 0 25 0 1 0 58822424 446197760 100099 996147200 134512640 135215973 4294956304 18446744073709551615 134590052 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 108935 100099 408 171 0 107860 0
Current children cumulated CPU time (s) 1599.75
Current children cumulated vsize (KiB) 435740

[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/73 16059
/proc/meminfo: memFree=653360/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=448564 CPUtime=1659.72
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 123331 661 0 0 165880 92 0 0 25 0 1 0 58822424 459329536 103627 996147200 134512640 135215973 4294956304 18446744073709551615 134648399 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 112141 103627 408 171 0 111066 0
Current children cumulated CPU time (s) 1659.72
Current children cumulated vsize (KiB) 448564

[startup+1722.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/73 16059
/proc/meminfo: memFree=565616/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=464184 CPUtime=1719.7
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 127587 661 0 0 171875 95 0 0 25 0 1 0 58822424 475324416 107883 996147200 134512640 135215973 4294956304 18446744073709551615 134957761 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 116046 107883 408 171 0 114971 0
Current children cumulated CPU time (s) 1719.7
Current children cumulated vsize (KiB) 464184

[startup+1782.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/73 16059
/proc/meminfo: memFree=516272/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=475888 CPUtime=1779.68
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 130815 661 0 0 177869 99 0 0 25 0 1 0 58822424 487309312 111111 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 118972 111111 408 171 0 117897 0
Current children cumulated CPU time (s) 1779.68
Current children cumulated vsize (KiB) 475888



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.7 s]
/proc/loadavg: 2.06 2.04 2.00 3/73 16059
/proc/meminfo: memFree=509808/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=481748 CPUtime=1800.08
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 132396 661 0 0 179908 100 0 0 25 0 1 0 58822424 493309952 112692 996147200 134512640 135215973 4294956304 18446744073709551615 4158960486 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 120437 112692 408 171 0 119362 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 481748

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

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

[startup+1802.7 s]
/proc/loadavg: 2.06 2.04 2.00 3/73 16059
/proc/meminfo: memFree=509808/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=481748 CPUtime=1800.08
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 132396 661 0 0 179908 100 0 0 25 0 1 0 58822424 493309952 112692 996147200 134512640 135215973 4294956304 18446744073709551615 4158960486 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 120437 112692 408 171 0 119362 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 481748

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1802.78
CPU time (s): 1800.16
CPU user time (s): 1799.09
CPU system time (s): 1.07684
CPU usage (%): 99.8552
Max. virtual memory (cumulated for all children) (KiB): 481748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 1.07684
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133057
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= 23
involuntary context switches= 13605

runsolver used 2.31165 second user time and 5.76312 second system time

The end

Launcher Data 

Begin job on node69 at 2009-07-16 06:13:17
IDJOB=2080371
IDBENCH=57076
IDSOLVER=733
FILE ID=node69/2080371-1247717597
PBS_JOBID= 9521475
Free space on /tmp= 66408 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/js-taillard-15/normalized-js-taillard-15-95-8.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2080371-1247717597/watcher-2080371-1247717597 -o /tmp/evaluation-result-2080371-1247717597/solver-2080371-1247717597 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 779059191 HOME/instance-2080371-1247717597.xml

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

MD5SUM BENCH= 31f84ce3b363624035dc20528456a27e
RANDOM SEED=779059191

node69.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.211
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.211
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:        680640 kB
Buffers:         82500 kB
Cached:         445588 kB
SwapCached:          0 kB
Active:         887008 kB
Inactive:       406428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        680640 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1972 kB
Writeback:           0 kB
Mapped:         785784 kB
Slab:            65496 kB
Committed_AS:  1334988 kB
PageTables:       3416 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= 66416 MiB
End job on node69 at 2009-07-16 06:43:22