Trace number 2083055

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 1808.75

General information on the benchmark

Namecsp/fapp/fapp34/
normalized-fapp34-0750-2.xml
MD5SUM20a8e08ca27a05d758abe6eb5654c79a
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 benchmark25.3951
Satisfiable
(Un)Satisfiability was proved
Number of variables750
Number of constraints8639
Maximum constraint arity2
Maximum domain size998
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8639
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.20	c Seed is 2032739437
0.18/0.20	c Constructing HOME/instance-2083055-1247722212.xml  with 54264 constraints
0.87/0.95	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-2083055-1247722212/watcher-2083055-1247722212 -o /tmp/evaluation-result-2083055-1247722212/solver-2083055-1247722212 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2032739437 HOME/instance-2083055-1247722212.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.00 2.00 2.00 4/72 16864
/proc/meminfo: memFree=1216952/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=5260 CPUtime=0
/proc/16864/stat : 16864 (pcssolve) R 16862 16864 13226 0 -1 4194304 66 0 0 0 0 0 0 0 22 0 1 0 59287863 5386240 50 996147200 4194304 4889804 548682068800 18446744073709551615 255233893018 0 0 4096 0 0 0 0 17 1 0 0
/proc/16864/statm: 1315 50 37 169 0 14 0

[startup+0.0967179 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 16864
/proc/meminfo: memFree=1216952/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=6604 CPUtime=0.07
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 1299 667 0 0 7 0 0 0 18 0 1 0 59287863 6762496 889 996147200 134512640 135215973 4294956304 18446744073709551615 4159079073 0 0 4096 0 0 0 0 17 1 0 0
/proc/16864/statm: 1651 889 386 171 0 576 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6604

[startup+0.101711 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 16864
/proc/meminfo: memFree=1216952/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=6732 CPUtime=0.07
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 1342 667 0 0 7 0 0 0 18 0 1 0 59287863 6893568 899 996147200 134512640 135215973 4294956304 18446744073709551615 4159049839 0 0 4096 0 0 0 0 17 1 0 0
/proc/16864/statm: 1683 899 386 171 0 608 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6732

[startup+0.30382 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 16864
/proc/meminfo: memFree=1216952/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=11912 CPUtime=0.27
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 2744 667 0 0 26 1 0 0 19 0 1 0 59287863 12197888 1930 996147200 134512640 135215973 4294956304 18446744073709551615 7919227 0 0 4096 0 0 0 0 17 1 0 0
/proc/16864/statm: 2978 1930 386 171 0 1903 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 11912

[startup+0.701777 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 16864
/proc/meminfo: memFree=1216952/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=21460 CPUtime=0.67
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 6066 667 0 0 65 2 0 0 23 0 1 0 59287863 21975040 3843 996147200 134512640 135215973 4294956304 18446744073709551615 4160505750 0 0 4096 0 0 0 0 17 1 0 0
/proc/16864/statm: 5365 3843 386 171 0 4290 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 21460

[startup+1.50187 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=1194160/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=28900 CPUtime=1.46
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 9488 667 0 0 142 4 0 0 25 0 1 0 59287863 29593600 6208 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/16864/statm: 7225 6208 410 171 0 6150 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 28900

[startup+3.10103 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=1192176/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=29228 CPUtime=3.04
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 9608 667 0 0 300 4 0 0 25 0 1 0 59287863 29929472 6258 996147200 134512640 135215973 4294956304 18446744073709551615 134589867 0 0 4096 0 0 0 0 17 1 0 0
/proc/16864/statm: 7307 6258 410 171 0 6232 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 29228

[startup+6.30137 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=1189872/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=30172 CPUtime=6.22
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 9918 667 0 0 617 5 0 0 25 0 1 0 59287863 30896128 6463 996147200 134512640 135215973 4294956304 18446744073709551615 134583923 0 0 4096 0 0 0 0 17 1 0 0
/proc/16864/statm: 7543 6463 410 171 0 6468 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 30172

[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=1183280/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=33908 CPUtime=12.57
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 10974 667 0 0 1252 5 0 0 25 0 1 0 59287863 34721792 7310 996147200 134512640 135215973 4294956304 18446744073709551615 134583387 0 0 4096 0 0 0 0 17 1 0 0
/proc/16864/statm: 8477 7310 410 171 0 7402 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 33908

[startup+25.5014 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=1174704/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=34040 CPUtime=25.26
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 11155 667 0 0 2521 5 0 0 25 0 1 0 59287863 34856960 7491 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/16864/statm: 8510 7491 410 171 0 7435 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 34040

[startup+51.1012 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=1156848/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=38740 CPUtime=50.66
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 18384 667 0 0 5058 8 0 0 25 0 1 0 59287863 39669760 8428 996147200 134512640 135215973 4294956304 18446744073709551615 134585668 0 0 4096 0 0 0 0 17 1 0 0
/proc/16864/statm: 9685 8428 413 171 0 8610 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 38740

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=1119600/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=44936 CPUtime=101.47
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 48291 667 0 0 10129 18 0 0 25 0 1 0 59287863 46014464 9994 996147200 134512640 135215973 4294956304 18446744073709551615 134583507 0 0 4096 0 0 0 0 17 1 0 0
/proc/16864/statm: 11234 9994 413 171 0 10159 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 44936

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=1069296/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=57344 CPUtime=161
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 82333 667 0 0 16069 31 0 0 25 0 1 0 59287863 58720256 13110 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 1 0 0
/proc/16864/statm: 14336 13110 413 171 0 13261 0
Current children cumulated CPU time (s) 161
Current children cumulated vsize (KiB) 57344

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=1018096/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=70808 CPUtime=220.54
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 112823 667 0 0 22014 40 0 0 25 0 1 0 59287863 72507392 16481 996147200 134512640 135215973 4294956304 18446744073709551615 134591470 0 0 4096 0 0 0 0 17 1 0 0
/proc/16864/statm: 17702 16481 413 171 0 16627 0
Current children cumulated CPU time (s) 220.54
Current children cumulated vsize (KiB) 70808

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=970224/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=84536 CPUtime=280.07
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 141832 667 0 0 27958 49 0 0 25 0 1 0 59287863 86564864 19969 996147200 134512640 135215973 4294956304 18446744073709551615 134583434 0 0 4096 0 0 0 0 17 1 0 0
/proc/16864/statm: 21134 19969 413 171 0 20059 0
Current children cumulated CPU time (s) 280.07
Current children cumulated vsize (KiB) 84536

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=927856/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=90864 CPUtime=339.61
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 168384 667 0 0 33903 58 0 0 25 0 1 0 59287863 93044736 21705 996147200 134512640 135215973 4294956304 18446744073709551615 134583557 0 0 4096 0 0 0 0 17 1 0 0
/proc/16864/statm: 22716 21705 413 171 0 21641 0
Current children cumulated CPU time (s) 339.61
Current children cumulated vsize (KiB) 90864

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=881072/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=95216 CPUtime=399.15
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 196311 667 0 0 39849 66 0 0 25 0 1 0 59287863 97501184 22795 996147200 134512640 135215973 4294956304 18446744073709551615 134597355 0 0 4096 0 0 0 0 17 1 0 0
/proc/16864/statm: 23804 22795 413 171 0 22729 0
Current children cumulated CPU time (s) 399.15
Current children cumulated vsize (KiB) 95216

[startup+462.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=834480/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=108808 CPUtime=458.68
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 216638 667 0 0 45796 72 0 0 25 0 1 0 59287863 111419392 26202 996147200 134512640 135215973 4294956304 18446744073709551615 134599824 0 0 4096 0 0 0 0 17 1 0 0
/proc/16864/statm: 27202 26202 413 171 0 26127 0
Current children cumulated CPU time (s) 458.68
Current children cumulated vsize (KiB) 108808

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=786928/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=119500 CPUtime=518.24
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 229540 667 0 0 51748 76 0 0 25 0 1 0 59287863 122368000 28858 996147200 134512640 135215973 4294956304 18446744073709551615 135096346 0 0 4096 0 0 0 0 17 1 0 0
/proc/16864/statm: 29875 28858 413 171 0 28800 0
Current children cumulated CPU time (s) 518.24
Current children cumulated vsize (KiB) 119500

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=745712/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=125956 CPUtime=577.76
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 267133 667 0 0 57690 86 0 0 25 0 1 0 59287863 128978944 30496 996147200 134512640 135215973 4294956304 18446744073709551615 134591853 0 0 4096 0 0 0 0 17 1 0 0
/proc/16864/statm: 31489 30496 413 171 0 30414 0
Current children cumulated CPU time (s) 577.76
Current children cumulated vsize (KiB) 125956

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=703920/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=133864 CPUtime=637.3
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 309092 667 0 0 63630 100 0 0 25 0 1 0 59287863 137076736 32458 996147200 134512640 135215973 4294956304 18446744073709551615 4158960200 0 0 4096 0 0 0 0 17 1 0 0
/proc/16864/statm: 33466 32458 413 171 0 32391 0
Current children cumulated CPU time (s) 637.3
Current children cumulated vsize (KiB) 133864

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=553520/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=169212 CPUtime=875.44
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 454997 667 0 0 87396 148 0 0 25 0 1 0 59287863 173273088 41311 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 1 0 0
/proc/16864/statm: 42303 41311 413 171 0 41228 0
Current children cumulated CPU time (s) 875.44
Current children cumulated vsize (KiB) 169212

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=516144/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=181308 CPUtime=934.97
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 491517 667 0 0 93337 160 0 0 25 0 1 0 59287863 185659392 43581 996147200 134512640 135215973 4294956304 18446744073709551615 134600408 0 0 4096 0 0 0 0 17 1 0 0
/proc/16864/statm: 45327 43581 413 171 0 44252 0
Current children cumulated CPU time (s) 934.97
Current children cumulated vsize (KiB) 181308

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=479664/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=187852 CPUtime=994.51
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 528029 667 0 0 99280 171 0 0 25 0 1 0 59287863 192360448 45219 996147200 134512640 135215973 4294956304 18446744073709551615 134970093 0 0 4096 0 0 0 0 17 1 0 0
/proc/16864/statm: 46963 45219 413 171 0 45888 0
Current children cumulated CPU time (s) 994.51
Current children cumulated vsize (KiB) 187852

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=439600/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=197356 CPUtime=1054.04
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 555853 667 0 0 105225 179 0 0 25 0 1 0 59287863 202092544 47616 996147200 134512640 135215973 4294956304 18446744073709551615 134585708 0 0 4096 0 0 0 0 17 1 0 0
/proc/16864/statm: 49339 47616 413 171 0 48264 0
Current children cumulated CPU time (s) 1054.04
Current children cumulated vsize (KiB) 197356

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16901
/proc/meminfo: memFree=1102888/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=212464 CPUtime=1113.97
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 586666 667 0 0 111207 190 0 0 25 0 1 0 59287863 217563136 51343 996147200 134512640 135215973 4294956304 18446744073709551615 134585469 0 0 4096 0 0 0 0 17 0 0 0
/proc/16864/statm: 53116 51343 413 171 0 52041 0
Current children cumulated CPU time (s) 1113.97
Current children cumulated vsize (KiB) 212464

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16901
/proc/meminfo: memFree=1080680/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=218800 CPUtime=1173.95
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 621509 667 0 0 117195 200 0 0 25 0 1 0 59287863 224051200 53145 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/16864/statm: 54700 53145 413 171 0 53625 0
Current children cumulated CPU time (s) 1173.95
Current children cumulated vsize (KiB) 218800

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16901
/proc/meminfo: memFree=1055272/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=230412 CPUtime=1233.92
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 644118 667 0 0 123186 206 0 0 25 0 1 0 59287863 235941888 56061 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 0 0 0
/proc/16864/statm: 57603 56061 413 171 0 56528 0
Current children cumulated CPU time (s) 1233.92
Current children cumulated vsize (KiB) 230412

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16903
/proc/meminfo: memFree=1047080/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=238332 CPUtime=1293.91
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 662302 667 0 0 129180 211 0 0 25 0 1 0 59287863 244051968 58030 996147200 134512640 135215973 4294956304 18446744073709551615 134597380 0 0 4096 0 0 0 0 17 0 0 0
/proc/16864/statm: 59583 58030 413 171 0 58508 0
Current children cumulated CPU time (s) 1293.91
Current children cumulated vsize (KiB) 238332

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16903
/proc/meminfo: memFree=1034280/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=248628 CPUtime=1353.87
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 682972 667 0 0 135170 217 0 0 25 0 1 0 59287863 254595072 60605 996147200 134512640 135215973 4294956304 18446744073709551615 134583442 0 0 4096 0 0 0 0 17 0 0 0
/proc/16864/statm: 62157 60605 413 171 0 61082 0
Current children cumulated CPU time (s) 1353.87
Current children cumulated vsize (KiB) 248628

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16903
/proc/meminfo: memFree=1019504/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=262208 CPUtime=1413.85
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 710132 667 0 0 141159 226 0 0 25 0 1 0 59287863 268500992 64030 996147200 134512640 135215973 4294956304 18446744073709551615 134597422 0 0 4096 0 0 0 0 17 0 0 0
/proc/16864/statm: 65552 64030 413 171 0 64477 0
Current children cumulated CPU time (s) 1413.85
Current children cumulated vsize (KiB) 262208

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16903
/proc/meminfo: memFree=1005616/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=273556 CPUtime=1473.83
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 737028 667 0 0 147149 234 0 0 25 0 1 0 59287863 280121344 66862 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 0 0 0
/proc/16864/statm: 68389 66862 413 171 0 67314 0
Current children cumulated CPU time (s) 1473.83
Current children cumulated vsize (KiB) 273556

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16903
/proc/meminfo: memFree=993776/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=279096 CPUtime=1533.79
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 758522 667 0 0 153139 240 0 0 25 0 1 0 59287863 285794304 68240 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/16864/statm: 69774 68240 413 171 0 68699 0
Current children cumulated CPU time (s) 1533.79
Current children cumulated vsize (KiB) 279096

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16903
/proc/meminfo: memFree=982576/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=287808 CPUtime=1593.77
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 791905 667 0 0 159128 249 0 0 25 0 1 0 59287863 294715392 70415 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/16864/statm: 71952 70415 413 171 0 70877 0
Current children cumulated CPU time (s) 1593.77
Current children cumulated vsize (KiB) 287808

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16903
/proc/meminfo: memFree=969520/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=294804 CPUtime=1653.75
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 818214 667 0 0 165118 257 0 0 25 0 1 0 59287863 301879296 72190 996147200 134512640 135215973 4294956304 18446744073709551615 134583383 0 0 4096 0 0 0 0 17 0 0 0
/proc/16864/statm: 73701 72190 413 171 0 72626 0
Current children cumulated CPU time (s) 1653.75
Current children cumulated vsize (KiB) 294804

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16903
/proc/meminfo: memFree=957296/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=301136 CPUtime=1713.72
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 841553 667 0 0 171109 263 0 0 25 0 1 0 59287863 308363264 73768 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/16864/statm: 75284 73768 413 171 0 74209 0
Current children cumulated CPU time (s) 1713.72
Current children cumulated vsize (KiB) 301136

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16903
/proc/meminfo: memFree=943792/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=308392 CPUtime=1773.7
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 868505 667 0 0 177099 271 0 0 25 0 1 0 59287863 315793408 75589 996147200 134512640 135215973 4294956304 18446744073709551615 134585800 0 0 4096 0 0 0 0 17 0 0 0
/proc/16864/statm: 77098 75589 413 171 0 76023 0
Current children cumulated CPU time (s) 1773.7
Current children cumulated vsize (KiB) 308392



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16903
/proc/meminfo: memFree=937776/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=312540 CPUtime=1800.09
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 879119 667 0 0 179735 274 0 0 25 0 1 0 59287863 320040960 76615 996147200 134512640 135215973 4294956304 18446744073709551615 134902469 0 0 4096 0 0 0 0 17 0 0 0
/proc/16864/statm: 78135 76615 413 171 0 77060 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 312540

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

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

[startup+1808.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16903
/proc/meminfo: memFree=937776/2055920 swapFree=4192812/4192956
[pid=16864] ppid=16862 vsize=312540 CPUtime=1800.09
/proc/16864/stat : 16864 (pcs.big) R 16862 16864 13226 0 -1 4194304 879119 667 0 0 179735 274 0 0 25 0 1 0 59287863 320040960 76615 996147200 134512640 135215973 4294956304 18446744073709551615 134902469 0 0 4096 0 0 0 0 17 0 0 0
/proc/16864/statm: 78135 76615 413 171 0 77060 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 312540

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.75
CPU time (s): 1800.16
CPU user time (s): 1797.36
CPU system time (s): 2.79857
CPU usage (%): 99.525
Max. virtual memory (cumulated for all children) (KiB): 312540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.36
system time used= 2.79857
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 879786
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= 30
involuntary context switches= 24750

runsolver used 1.89171 second user time and 4.90225 second system time

The end

Launcher Data 

Begin job on node19 at 2009-07-16 07:30:12
IDJOB=2083055
IDBENCH=57691
IDSOLVER=733
FILE ID=node19/2083055-1247722212
PBS_JOBID= 9521369
Free space on /tmp= 66392 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/fapp/fapp34/normalized-fapp34-0750-2.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083055-1247722212/watcher-2083055-1247722212 -o /tmp/evaluation-result-2083055-1247722212/solver-2083055-1247722212 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 2032739437 HOME/instance-2083055-1247722212.xml

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

MD5SUM BENCH= 20a8e08ca27a05d758abe6eb5654c79a
RANDOM SEED=2032739437

node19.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:       1217432 kB
Buffers:         71940 kB
Cached:         411132 kB
SwapCached:          0 kB
Active:         341504 kB
Inactive:       428364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1217432 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2968 kB
Writeback:           0 kB
Mapped:         298332 kB
Slab:            53488 kB
Committed_AS:   850964 kB
PageTables:       2400 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= 66380 MiB
End job on node19 at 2009-07-16 08:00:23