Trace number 2082791

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 1801.2

General information on the benchmark

Namecsp/super-jobShop/
super-jobShop-e0ddr2/normalized-super-jobShop-e0ddr2-1.xml
MD5SUMaf5beca91c4f6bb4fbd0be7fcf1b0eaa
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.51577
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints845
Maximum constraint arity2
Maximum domain size128
Number of constraints which are defined in extension0
Number of constraints which are defined in intension845
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.21	c Seed is 699799164
0.17/0.21	c Constructing HOME/instance-2082791-1247721579.xml  with 5015 constraints
0.17/0.21	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-2082791-1247721579/watcher-2082791-1247721579 -o /tmp/evaluation-result-2082791-1247721579/solver-2082791-1247721579 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 699799164 HOME/instance-2082791-1247721579.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: 1.92 1.98 1.99 4/72 20824
/proc/meminfo: memFree=1485752/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=5356 CPUtime=0
/proc/20824/stat : 20824 (pcssolve) R 20822 20824 18594 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 59221802 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 264840473247 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/20824/statm: 1339 241 200 169 0 50 0
[pid=20825] ppid=20824 vsize=3676 CPUtime=0
/proc/20825/stat : 20825 (fgrep) R 20824 20824 18594 0 -1 4194304 130 0 0 0 0 0 0 0 22 0 1 0 59221802 3764224 97 996147200 4194304 4274172 548682068976 18446744073709551615 4255168 0 0 4096 0 0 0 0 17 1 0 0
/proc/20825/statm: 919 97 79 19 0 43 0
[pid=20826] ppid=20824 vsize=5356 CPUtime=0
/proc/20826/stat : 20826 (pcssolve) R 20824 20824 18594 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 59221802 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 264840473247 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/20826/statm: 1339 241 200 169 0 50 0

[startup+0.110149 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 20824
/proc/meminfo: memFree=1485752/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=7000 CPUtime=0.09
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 1493 661 0 0 9 0 0 0 18 0 1 0 59221802 7168000 1008 996147200 134512640 135215973 4294956304 18446744073709551615 134649110 0 0 4096 0 0 0 0 17 1 0 0
/proc/20824/statm: 1750 1008 404 171 0 675 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7000

[startup+0.201159 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 20824
/proc/meminfo: memFree=1485752/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=8420 CPUtime=0.17
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 1980 661 0 0 17 0 0 0 18 0 1 0 59221802 8622080 1337 996147200 134512640 135215973 4294956304 18446744073709551615 134590055 0 0 4096 0 0 0 0 17 1 0 0
/proc/20824/statm: 2105 1337 408 171 0 1030 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 8420

[startup+0.301169 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 20824
/proc/meminfo: memFree=1485752/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=8420 CPUtime=0.27
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 1984 661 0 0 27 0 0 0 19 0 1 0 59221802 8622080 1341 996147200 134512640 135215973 4294956304 18446744073709551615 134585776 0 0 4096 0 0 0 0 17 1 0 0
/proc/20824/statm: 2105 1341 408 171 0 1030 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 8420

[startup+0.701212 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 20824
/proc/meminfo: memFree=1485752/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=9776 CPUtime=0.67
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 2357 661 0 0 67 0 0 0 23 0 1 0 59221802 10010624 1505 996147200 134512640 135215973 4294956304 18446744073709551615 134583244 0 0 4096 0 0 0 0 17 1 0 0
/proc/20824/statm: 2444 1505 408 171 0 1369 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 9776

[startup+1.50129 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 20829
/proc/meminfo: memFree=1481136/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=10052 CPUtime=1.47
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 2436 661 0 0 146 1 0 0 25 0 1 0 59221802 10293248 1584 996147200 134512640 135215973 4294956304 18446744073709551615 134591100 0 0 4096 0 0 0 0 17 1 0 0
/proc/20824/statm: 2513 1584 408 171 0 1438 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10052

[startup+3.10146 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 20829
/proc/meminfo: memFree=1480624/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=10300 CPUtime=3.05
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 2515 661 0 0 304 1 0 0 25 0 1 0 59221802 10547200 1663 996147200 134512640 135215973 4294956304 18446744073709551615 134591908 0 0 4096 0 0 0 0 17 1 0 0
/proc/20824/statm: 2575 1663 408 171 0 1500 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 10300

[startup+6.30179 s]
/proc/loadavg: 1.93 1.98 1.99 3/73 20829
/proc/meminfo: memFree=1479664/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=11412 CPUtime=6.22
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 2835 661 0 0 621 1 0 0 25 0 1 0 59221802 11685888 1950 996147200 134512640 135215973 4294956304 18446744073709551615 134532711 0 0 4096 0 0 0 0 17 1 0 0
/proc/20824/statm: 2853 1950 408 171 0 1778 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 11412

[startup+12.7014 s]
/proc/loadavg: 1.93 1.98 1.99 3/70 20832
/proc/meminfo: memFree=1507528/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=13568 CPUtime=12.59
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 3488 661 0 0 1258 1 0 0 25 0 1 0 59221802 13893632 2538 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/20824/statm: 3392 2538 408 171 0 2317 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 13568

[startup+25.5018 s]
/proc/loadavg: 1.95 1.98 1.99 3/70 20832
/proc/meminfo: memFree=1438152/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=17528 CPUtime=25.34
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 4562 661 0 0 2532 2 0 0 25 0 1 0 59221802 17948672 3418 996147200 134512640 135215973 4294956304 18446744073709551615 134533020 0 0 4096 0 0 0 0 17 1 0 0
/proc/20824/statm: 4382 3418 408 171 0 3307 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 17528

[startup+51.1014 s]
/proc/loadavg: 1.96 1.98 1.99 3/73 20860
/proc/meminfo: memFree=1524336/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=27720 CPUtime=50.92
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 7412 661 0 0 5087 5 0 0 25 0 1 0 59221802 28385280 6011 996147200 134512640 135215973 4294956304 18446744073709551615 134957743 0 0 4096 0 0 0 0 17 0 0 0
/proc/20824/statm: 6930 6011 408 171 0 5855 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 27720

[startup+102.302 s]
/proc/loadavg: 1.98 1.98 1.99 3/73 20860
/proc/meminfo: memFree=1480240/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=45612 CPUtime=102.11
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 12360 661 0 0 10202 9 0 0 25 0 1 0 59221802 46706688 10317 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/20824/statm: 11403 10317 408 171 0 10328 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 45612

[startup+162.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 20860
/proc/meminfo: memFree=1420336/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=73364 CPUtime=162.08
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 19980 661 0 0 16193 15 0 0 25 0 1 0 59221802 75124736 16655 996147200 134512640 135215973 4294956304 18446744073709551615 134902553 0 0 4096 0 0 0 0 17 0 0 0
/proc/20824/statm: 18341 16655 408 171 0 17266 0
Current children cumulated CPU time (s) 162.08
Current children cumulated vsize (KiB) 73364

[startup+222.307 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 20860
/proc/meminfo: memFree=1362096/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=93840 CPUtime=222.06
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 25865 661 0 0 22185 21 0 0 25 0 1 0 59221802 96092160 22540 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/20824/statm: 23460 22540 408 171 0 22385 0
Current children cumulated CPU time (s) 222.06
Current children cumulated vsize (KiB) 93840

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 20860
/proc/meminfo: memFree=1309552/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=118536 CPUtime=282.03
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 32554 661 0 0 28178 25 0 0 25 0 1 0 59221802 121380864 27180 996147200 134512640 135215973 4294956304 18446744073709551615 134597311 0 0 4096 0 0 0 0 17 0 0 0
/proc/20824/statm: 29634 27180 408 171 0 28559 0
Current children cumulated CPU time (s) 282.03
Current children cumulated vsize (KiB) 118536

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 20860
/proc/meminfo: memFree=1260024/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=137744 CPUtime=342.01
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 37835 661 0 0 34172 29 0 0 25 0 1 0 59221802 141049856 31948 996147200 134512640 135215973 4294956304 18446744073709551615 134982947 0 0 4096 0 0 0 0 17 0 0 0
/proc/20824/statm: 34436 31948 408 171 0 33361 0
Current children cumulated CPU time (s) 342.01
Current children cumulated vsize (KiB) 137744

[startup+402.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 20860
/proc/meminfo: memFree=1213368/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=152488 CPUtime=401.99
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 41998 661 0 0 40167 32 0 0 25 0 1 0 59221802 156147712 36111 996147200 134512640 135215973 4294956304 18446744073709551615 134648399 0 0 4096 0 0 0 0 17 0 0 0
/proc/20824/statm: 38122 36111 408 171 0 37047 0
Current children cumulated CPU time (s) 401.99
Current children cumulated vsize (KiB) 152488

[startup+462.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 20860
/proc/meminfo: memFree=1163640/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=170072 CPUtime=461.96
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 46977 661 0 0 46160 36 0 0 25 0 1 0 59221802 174153728 41090 996147200 134512640 135215973 4294956304 18446744073709551615 134532976 0 0 4096 0 0 0 0 17 0 0 0
/proc/20824/statm: 42518 41090 408 171 0 41443 0
Current children cumulated CPU time (s) 461.96
Current children cumulated vsize (KiB) 170072

[startup+522.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 20860
/proc/meminfo: memFree=1113848/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=202936 CPUtime=521.94
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 55713 661 0 0 52154 40 0 0 25 0 1 0 59221802 207806464 45729 996147200 134512640 135215973 4294956304 18446744073709551615 134610822 0 0 4096 0 0 0 0 17 0 0 0
/proc/20824/statm: 50734 45729 408 171 0 49659 0
Current children cumulated CPU time (s) 521.94
Current children cumulated vsize (KiB) 202936

[startup+582.302 s]
/proc/loadavg: 2.07 2.00 2.00 3/73 20860
/proc/meminfo: memFree=1062392/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=220668 CPUtime=581.91
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 60648 661 0 0 58147 44 0 0 25 0 1 0 59221802 225964032 50664 996147200 134512640 135215973 4294956304 18446744073709551615 134982947 0 0 4096 0 0 0 0 17 0 0 0
/proc/20824/statm: 55167 50664 408 171 0 54092 0
Current children cumulated CPU time (s) 581.91
Current children cumulated vsize (KiB) 220668

[startup+642.301 s]
/proc/loadavg: 2.16 2.03 2.01 3/73 20860
/proc/meminfo: memFree=1009976/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=236768 CPUtime=641.89

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

[startup+822.302 s]
/proc/loadavg: 2.17 2.07 2.01 3/73 20860
/proc/meminfo: memFree=842296/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=296060 CPUtime=821.82
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 81721 661 0 0 82120 62 0 0 25 0 1 0 59221802 303165440 70712 996147200 134512640 135215973 4294956304 18446744073709551615 134648596 0 0 4096 0 0 0 0 17 0 0 0
/proc/20824/statm: 74015 70712 408 171 0 72940 0
Current children cumulated CPU time (s) 821.82
Current children cumulated vsize (KiB) 296060

[startup+882.307 s]
/proc/loadavg: 2.23 2.10 2.02 3/73 20860
/proc/meminfo: memFree=794744/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=312904 CPUtime=881.8
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 86473 661 0 0 88114 66 0 0 25 0 1 0 59221802 320413696 75464 996147200 134512640 135215973 4294956304 18446744073709551615 11746910 0 0 4096 0 0 0 0 17 0 0 0
/proc/20824/statm: 78226 75464 408 171 0 77151 0
Current children cumulated CPU time (s) 881.8
Current children cumulated vsize (KiB) 312904

[startup+942.302 s]
/proc/loadavg: 2.08 2.08 2.02 3/73 20860
/proc/meminfo: memFree=742776/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=330412 CPUtime=941.77
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 91423 661 0 0 94107 70 0 0 25 0 1 0 59221802 338341888 80414 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 0 0 0
/proc/20824/statm: 82603 80414 408 171 0 81528 0
Current children cumulated CPU time (s) 941.77
Current children cumulated vsize (KiB) 330412

[startup+1002.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/73 20860
/proc/meminfo: memFree=689720/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=348176 CPUtime=1001.75
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 96454 661 0 0 100102 73 0 0 25 0 1 0 59221802 356532224 85445 996147200 134512640 135215973 4294956304 18446744073709551615 134587409 0 0 4096 0 0 0 0 17 0 0 0
/proc/20824/statm: 87044 85445 408 171 0 85969 0
Current children cumulated CPU time (s) 1001.75
Current children cumulated vsize (KiB) 348176

[startup+1062.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/73 20860
/proc/meminfo: memFree=645240/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=395656 CPUtime=1061.73
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 108817 661 0 0 106092 81 0 0 25 0 1 0 59221802 405151744 89615 996147200 134512640 135215973 4294956304 18446744073709551615 134585477 0 0 4096 0 0 0 0 17 0 0 0
/proc/20824/statm: 98914 89615 408 171 0 97839 0
Current children cumulated CPU time (s) 1061.73
Current children cumulated vsize (KiB) 395656

[startup+1122.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/73 20860
/proc/meminfo: memFree=597944/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=413264 CPUtime=1121.7
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 113757 661 0 0 112084 86 0 0 25 0 1 0 59221802 423182336 94555 996147200 134512640 135215973 4294956304 18446744073709551615 4158853399 0 0 4096 0 0 0 0 17 0 0 0
/proc/20824/statm: 103316 94555 408 171 0 102241 0
Current children cumulated CPU time (s) 1121.7
Current children cumulated vsize (KiB) 413264

[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 20860
/proc/meminfo: memFree=544888/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=432516 CPUtime=1181.68
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 119161 661 0 0 118079 89 0 0 25 0 1 0 59221802 442896384 99959 996147200 134512640 135215973 4294956304 18446744073709551615 134585806 0 0 4096 0 0 0 0 17 0 0 0
/proc/20824/statm: 108129 99959 408 171 0 107054 0
Current children cumulated CPU time (s) 1181.68
Current children cumulated vsize (KiB) 432516

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 20860
/proc/meminfo: memFree=499256/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=444708 CPUtime=1241.65
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 122600 661 0 0 124073 92 0 0 25 0 1 0 59221802 455380992 103398 996147200 134512640 135215973 4294956304 18446744073709551615 134532689 0 0 4096 0 0 0 0 17 0 0 0
/proc/20824/statm: 111177 103398 408 171 0 110102 0
Current children cumulated CPU time (s) 1241.65
Current children cumulated vsize (KiB) 444708

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 20860
/proc/meminfo: memFree=453112/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=456780 CPUtime=1301.63
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 126026 661 0 0 130067 96 0 0 25 0 1 0 59221802 467742720 106824 996147200 134512640 135215973 4294956304 18446744073709551615 135095236 0 0 4096 0 0 0 0 17 0 0 0
/proc/20824/statm: 114195 106824 408 171 0 113120 0
Current children cumulated CPU time (s) 1301.63
Current children cumulated vsize (KiB) 456780

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 20860
/proc/meminfo: memFree=402104/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=471660 CPUtime=1361.61
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 130225 661 0 0 136062 99 0 0 25 0 1 0 59221802 482979840 111023 996147200 134512640 135215973 4294956304 18446744073709551615 134908305 0 0 4096 0 0 0 0 17 0 0 0
/proc/20824/statm: 117915 111023 408 171 0 116840 0
Current children cumulated CPU time (s) 1361.61
Current children cumulated vsize (KiB) 471660

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20860
/proc/meminfo: memFree=349496/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=489728 CPUtime=1421.59
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 135294 661 0 0 142056 103 0 0 25 0 1 0 59221802 501481472 116092 996147200 134512640 135215973 4294956304 18446744073709551615 134907454 0 0 4096 0 0 0 0 17 0 0 0
/proc/20824/statm: 122432 116092 408 171 0 121357 0
Current children cumulated CPU time (s) 1421.59
Current children cumulated vsize (KiB) 489728

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20860
/proc/meminfo: memFree=281464/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=529796 CPUtime=1481.56
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 145859 661 0 0 148047 109 0 0 25 0 1 0 59221802 542511104 124608 996147200 134512640 135215973 4294956304 18446744073709551615 134648245 0 0 4096 0 0 0 0 17 0 0 0
/proc/20824/statm: 132449 124608 408 171 0 131374 0
Current children cumulated CPU time (s) 1481.56
Current children cumulated vsize (KiB) 529796

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20860
/proc/meminfo: memFree=239480/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=541460 CPUtime=1541.54
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 149325 661 0 0 154043 111 0 0 25 0 1 0 59221802 554455040 128074 996147200 134512640 135215973 4294956304 18446744073709551615 135094310 0 0 4096 0 0 0 0 17 0 0 0
/proc/20824/statm: 135365 128074 408 171 0 134290 0
Current children cumulated CPU time (s) 1541.54
Current children cumulated vsize (KiB) 541460

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20860
/proc/meminfo: memFree=192504/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=557060 CPUtime=1601.51
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 153747 661 0 0 160037 114 0 0 25 0 1 0 59221802 570429440 132496 996147200 134512640 135215973 4294956304 18446744073709551615 4158960128 0 0 4096 0 0 0 0 17 0 0 0
/proc/20824/statm: 139265 132496 408 171 0 138190 0
Current children cumulated CPU time (s) 1601.51
Current children cumulated vsize (KiB) 557060

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 20900
/proc/meminfo: memFree=961128/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=570976 CPUtime=1661.48
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 157705 661 0 0 166029 119 0 0 25 0 1 0 59221802 584679424 136454 996147200 134512640 135215973 4294956304 18446744073709551615 134583400 0 0 4096 0 0 0 0 17 0 0 0
/proc/20824/statm: 142744 136454 408 171 0 141669 0
Current children cumulated CPU time (s) 1661.48
Current children cumulated vsize (KiB) 570976

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 20900
/proc/meminfo: memFree=932328/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=583784 CPUtime=1721.45
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 161339 661 0 0 172023 122 0 0 25 0 1 0 59221802 597794816 140088 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/20824/statm: 145946 140088 408 171 0 144871 0
Current children cumulated CPU time (s) 1721.45
Current children cumulated vsize (KiB) 583784

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 20900
/proc/meminfo: memFree=901672/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=598248 CPUtime=1781.32
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 165450 661 0 0 178007 125 0 0 25 0 1 0 59221802 612605952 144199 996147200 134512640 135215973 4294956304 18446744073709551615 134591235 0 0 4096 0 0 0 0 17 0 0 0
/proc/20824/statm: 149562 144199 408 171 0 148487 0
Current children cumulated CPU time (s) 1781.32
Current children cumulated vsize (KiB) 598248



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 20900
/proc/meminfo: memFree=894184/2055920 swapFree=4192812/4192956
[pid=20824] ppid=20822 vsize=602252 CPUtime=1800.05
/proc/20824/stat : 20824 (pcs.big) R 20822 20824 18594 0 -1 4194304 166598 661 0 0 179878 127 0 0 25 0 1 0 59221802 616706048 145347 996147200 134512640 135215973 4294956304 18446744073709551615 134600035 0 0 4096 0 0 0 0 17 0 0 0
/proc/20824/statm: 150563 145347 408 171 0 149488 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 602252

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.2
CPU time (s): 1800.16
CPU user time (s): 1798.79
CPU system time (s): 1.36979
CPU usage (%): 99.9422
Max. virtual memory (cumulated for all children) (KiB): 602252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.79
system time used= 1.36979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167259
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= 19
involuntary context switches= 6869

runsolver used 2.72758 second user time and 5.29619 second system time

The end

Launcher Data 

Begin job on node44 at 2009-07-16 07:19:39
IDJOB=2082791
IDBENCH=57638
IDSOLVER=733
FILE ID=node44/2082791-1247721579
PBS_JOBID= 9521406
Free space on /tmp= 66260 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/super-jobShop/super-jobShop-e0ddr2/normalized-super-jobShop-e0ddr2-1.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2082791-1247721579/watcher-2082791-1247721579 -o /tmp/evaluation-result-2082791-1247721579/solver-2082791-1247721579 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 699799164 HOME/instance-2082791-1247721579.xml

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

MD5SUM BENCH= af5beca91c4f6bb4fbd0be7fcf1b0eaa
RANDOM SEED=699799164

node44.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.219
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.219
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:       1486232 kB
Buffers:         80896 kB
Cached:         324452 kB
SwapCached:          0 kB
Active:         180484 kB
Inactive:       303416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1486232 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1868 kB
Writeback:           0 kB
Mapped:          89996 kB
Slab:            70952 kB
Committed_AS:   624740 kB
PageTables:       1908 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= 66272 MiB
End job on node44 at 2009-07-16 07:49:42