Trace number 2088336

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
pcs-restart 0.3.2? (TO) 1800.05 1802.32

General information on the benchmark

Namecsp/rand-3-28-28-fcd/
normalized-rand-3-28-28-93-632-fcd-20_ext.xml
MD5SUM32b57063e2f0c446c073816e5dba0a1d
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
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 variables28
Number of constraints93
Maximum constraint arity3
Maximum domain size28
Number of constraints which are defined in extension93
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.05	c small-domain mode
0.00/0.06	c Seed is 800661677
0.00/0.06	c Constructing HOME/instance-2088336-1247729141.xml  with 93 constraints
1.97/2.03	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-2088336-1247729141/watcher-2088336-1247729141 -o /tmp/evaluation-result-2088336-1247729141/solver-2088336-1247729141 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 800661677 HOME/instance-2088336-1247729141.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/73 11349
/proc/meminfo: memFree=1298280/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=5256 CPUtime=0
/proc/11349/stat : 11349 (pcssolve) R 11347 11349 10716 0 -1 4194304 63 0 0 0 0 0 0 0 22 0 1 0 59978985 5382144 48 996147200 4194304 4889804 548682068800 18446744073709551615 234208935191 0 0 4096 0 0 0 0 17 1 0 0
/proc/11349/statm: 1314 48 37 169 0 13 0

[startup+0.0242491 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 11349
/proc/meminfo: memFree=1298280/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=5356 CPUtime=0
/proc/11349/stat : 11349 (pcssolve) S 11347 11349 10716 0 -1 4194304 339 368 0 0 0 0 0 0 23 0 1 0 59978985 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11349/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101254 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 11349
/proc/meminfo: memFree=1298280/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=5088 CPUtime=0.08
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 934 974 0 0 4 0 3 1 23 0 1 0 59978985 5210112 543 996147200 134512640 135095119 4294956304 18446744073709551615 2285183 0 0 4096 0 0 0 0 17 1 0 0
/proc/11349/statm: 1272 543 375 142 0 226 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5088

[startup+0.301276 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 11349
/proc/meminfo: memFree=1298280/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=7596 CPUtime=0.28
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 1198 974 0 0 24 0 3 1 24 0 1 0 59978985 7778304 807 996147200 134512640 135095119 4294956304 18446744073709551615 2285191 0 0 4096 0 0 0 0 17 1 0 0
/proc/11349/statm: 1899 807 375 142 0 853 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7596

[startup+0.701327 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 11349
/proc/meminfo: memFree=1298280/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=12968 CPUtime=0.68
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 1748 974 0 0 63 1 3 1 25 0 1 0 59978985 13279232 1357 996147200 134512640 135095119 4294956304 18446744073709551615 134769842 0 0 4096 0 0 0 0 17 1 0 0
/proc/11349/statm: 3242 1357 375 142 0 2196 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12968

[startup+1.50143 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11355
/proc/meminfo: memFree=1292640/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=23360 CPUtime=1.47
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 2850 974 0 0 141 2 3 1 25 0 1 0 59978985 23920640 2459 996147200 134512640 135095119 4294956304 18446744073709551615 134653704 0 0 4096 0 0 0 0 17 1 0 0
/proc/11349/statm: 5840 2459 375 142 0 4794 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 23360

[startup+3.10164 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11355
/proc/meminfo: memFree=1286496/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=30204 CPUtime=3.05
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 3590 974 0 0 298 3 3 1 25 0 1 0 59978985 30928896 3198 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/11349/statm: 7551 3198 389 142 0 6505 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 30204

[startup+6.30204 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11355
/proc/meminfo: memFree=1286560/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=30204 CPUtime=6.22
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 3607 974 0 0 615 3 3 1 25 0 1 0 59978985 30928896 3215 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/11349/statm: 7551 3215 389 142 0 6505 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 30204

[startup+12.7019 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11355
/proc/meminfo: memFree=1286368/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=30204 CPUtime=12.56
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 3663 974 0 0 1249 3 3 1 25 0 1 0 59978985 30928896 3271 996147200 134512640 135095119 4294956304 18446744073709551615 134927011 0 0 4096 0 0 0 0 17 1 0 0
/proc/11349/statm: 7551 3271 389 142 0 6505 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 30204

[startup+25.5015 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11355
/proc/meminfo: memFree=1286112/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=30720 CPUtime=25.24
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 3830 974 0 0 2517 3 3 1 25 0 1 0 59978985 31457280 3373 996147200 134512640 135095119 4294956304 18446744073709551615 134916512 0 0 4096 0 0 0 0 17 1 0 0
/proc/11349/statm: 7680 3373 389 142 0 6634 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 30720

[startup+51.1017 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11355
/proc/meminfo: memFree=1285344/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=31492 CPUtime=50.6
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 4174 974 0 0 5053 3 3 1 25 0 1 0 59978985 32247808 3588 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 1 0 0
/proc/11349/statm: 7873 3588 389 142 0 6827 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 31492

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11355
/proc/meminfo: memFree=1283680/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=32772 CPUtime=101.32
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 4869 974 0 0 10124 4 3 1 25 0 1 0 59978985 33558528 3961 996147200 134512640 135095119 4294956304 18446744073709551615 134926973 0 0 4096 0 0 0 0 17 1 0 0
/proc/11349/statm: 8193 3961 389 142 0 7147 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 32772

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11355
/proc/meminfo: memFree=1281312/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=33284 CPUtime=160.76
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 5618 974 0 0 16067 5 3 1 25 0 1 0 59978985 34082816 4581 996147200 134512640 135095119 4294956304 18446744073709551615 134926973 0 0 4096 0 0 0 0 17 1 0 0
/proc/11349/statm: 8321 4581 389 142 0 7275 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 33284

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11387
/proc/meminfo: memFree=1509920/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=35332 CPUtime=220.68
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 6471 974 0 0 22057 7 3 1 25 0 1 0 59978985 36179968 4921 996147200 134512640 135095119 4294956304 18446744073709551615 134918139 0 0 4096 0 0 0 0 17 0 0 0
/proc/11349/statm: 8833 4921 389 142 0 7787 0
Current children cumulated CPU time (s) 220.68
Current children cumulated vsize (KiB) 35332

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11387
/proc/meminfo: memFree=1506144/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=35332 CPUtime=280.66
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 6944 974 0 0 28054 8 3 1 25 0 1 0 59978985 36179968 5394 996147200 134512640 135095119 4294956304 18446744073709551615 134918139 0 0 4096 0 0 0 0 17 0 0 0
/proc/11349/statm: 8833 5394 389 142 0 7787 0
Current children cumulated CPU time (s) 280.66
Current children cumulated vsize (KiB) 35332

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11387
/proc/meminfo: memFree=1501024/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=36616 CPUtime=340.64
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 7900 974 0 0 34051 9 3 1 25 0 1 0 59978985 37494784 6093 996147200 134512640 135095119 4294956304 18446744073709551615 134927008 0 0 4096 0 0 0 0 17 0 0 0
/proc/11349/statm: 9154 6093 389 142 0 8108 0
Current children cumulated CPU time (s) 340.64
Current children cumulated vsize (KiB) 36616

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11387
/proc/meminfo: memFree=1497696/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=40712 CPUtime=400.61
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 9328 974 0 0 40047 10 3 1 25 0 1 0 59978985 41689088 6496 996147200 134512640 135095119 4294956304 18446744073709551615 134918159 0 0 4096 0 0 0 0 17 0 0 0
/proc/11349/statm: 10178 6496 389 142 0 9132 0
Current children cumulated CPU time (s) 400.61
Current children cumulated vsize (KiB) 40712

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11387
/proc/meminfo: memFree=1492128/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=40712 CPUtime=460.59
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 9820 974 0 0 46044 11 3 1 25 0 1 0 59978985 41689088 6988 996147200 134512640 135095119 4294956304 18446744073709551615 134916458 0 0 4096 0 0 0 0 17 0 0 0
/proc/11349/statm: 10178 6988 389 142 0 9132 0
Current children cumulated CPU time (s) 460.59
Current children cumulated vsize (KiB) 40712

[startup+522.305 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11387
/proc/meminfo: memFree=1489120/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=40712 CPUtime=520.56
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 10342 974 0 0 52041 11 3 1 25 0 1 0 59978985 41689088 7510 996147200 134512640 135095119 4294956304 18446744073709551615 134918069 0 0 4096 0 0 0 0 17 0 0 0
/proc/11349/statm: 10178 7510 389 142 0 9132 0
Current children cumulated CPU time (s) 520.56
Current children cumulated vsize (KiB) 40712

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11387
/proc/meminfo: memFree=1483296/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=43016 CPUtime=580.53
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 12163 974 0 0 58037 12 3 1 25 0 1 0 59978985 44048384 8753 996147200 134512640 135095119 4294956304 18446744073709551615 134918231 0 0 4096 0 0 0 0 17 0 0 0
/proc/11349/statm: 10754 8753 389 142 0 9708 0
Current children cumulated CPU time (s) 580.53
Current children cumulated vsize (KiB) 43016

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11387
/proc/meminfo: memFree=1480544/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=43016 CPUtime=640.51
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 12403 974 0 0 64035 12 3 1 25 0 1 0 59978985 44048384 8993 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 0 0 0
/proc/11349/statm: 10754 8993 389 142 0 9708 0
Current children cumulated CPU time (s) 640.51
Current children cumulated vsize (KiB) 43016

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11387
/proc/meminfo: memFree=1465504/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=51208 CPUtime=880.41
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 15873 974 0 0 88022 15 3 1 25 0 1 0 59978985 52436992 10414 996147200 134512640 135095119 4294956304 18446744073709551615 134927091 0 0 4096 0 0 0 0 17 0 0 0
/proc/11349/statm: 12802 10414 389 142 0 11756 0
Current children cumulated CPU time (s) 880.41
Current children cumulated vsize (KiB) 51208

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11387
/proc/meminfo: memFree=1462688/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=52124 CPUtime=940.38
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 16353 974 0 0 94018 16 3 1 25 0 1 0 59978985 53374976 10894 996147200 134512640 135095119 4294956304 18446744073709551615 134909807 0 0 4096 0 0 0 0 17 0 0 0
/proc/11349/statm: 13031 10894 389 142 0 11985 0
Current children cumulated CPU time (s) 940.38
Current children cumulated vsize (KiB) 52124

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11387
/proc/meminfo: memFree=1459040/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=53428 CPUtime=1000.36
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 16954 974 0 0 100015 17 3 1 25 0 1 0 59978985 54710272 11495 996147200 134512640 135095119 4294956304 18446744073709551615 134918241 0 0 4096 0 0 0 0 17 0 0 0
/proc/11349/statm: 13357 11495 389 142 0 12311 0
Current children cumulated CPU time (s) 1000.36
Current children cumulated vsize (KiB) 53428

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11387
/proc/meminfo: memFree=1455072/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=54740 CPUtime=1060.33
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 17527 974 0 0 106012 17 3 1 25 0 1 0 59978985 56053760 12068 996147200 134512640 135095119 4294956304 18446744073709551615 134918253 0 0 4096 0 0 0 0 17 0 0 0
/proc/11349/statm: 13685 12068 389 142 0 12639 0
Current children cumulated CPU time (s) 1060.33
Current children cumulated vsize (KiB) 54740

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11387
/proc/meminfo: memFree=1443936/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=67792 CPUtime=1120.3
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 21034 974 0 0 112008 18 3 1 25 0 1 0 59978985 69419008 14421 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/11349/statm: 16948 14421 389 142 0 15902 0
Current children cumulated CPU time (s) 1120.3
Current children cumulated vsize (KiB) 67792

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11387
/proc/meminfo: memFree=1440736/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=67792 CPUtime=1180.28
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 21289 974 0 0 118005 19 3 1 25 0 1 0 59978985 69419008 14676 996147200 134512640 135095119 4294956304 18446744073709551615 134918238 0 0 4096 0 0 0 0 17 0 0 0
/proc/11349/statm: 16948 14676 389 142 0 15902 0
Current children cumulated CPU time (s) 1180.28
Current children cumulated vsize (KiB) 67792

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11387
/proc/meminfo: memFree=1437344/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=67792 CPUtime=1240.25
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 21544 974 0 0 124002 19 3 1 25 0 1 0 59978985 69419008 14931 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/11349/statm: 16948 14931 389 142 0 15902 0
Current children cumulated CPU time (s) 1240.25
Current children cumulated vsize (KiB) 67792

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11387
/proc/meminfo: memFree=1433888/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=67792 CPUtime=1300.23
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 21802 974 0 0 129999 20 3 1 25 0 1 0 59978985 69419008 15189 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/11349/statm: 16948 15189 389 142 0 15902 0
Current children cumulated CPU time (s) 1300.23
Current children cumulated vsize (KiB) 67792

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11387
/proc/meminfo: memFree=1422816/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=67792 CPUtime=1360.2
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 22039 974 0 0 135996 20 3 1 25 0 1 0 59978985 69419008 15426 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/11349/statm: 16948 15426 389 142 0 15902 0
Current children cumulated CPU time (s) 1360.2
Current children cumulated vsize (KiB) 67792

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11387
/proc/meminfo: memFree=1420896/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=84176 CPUtime=1420.19
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 26364 974 0 0 141992 23 3 1 25 0 1 0 59978985 86196224 15654 996147200 134512640 135095119 4294956304 18446744073709551615 134926993 0 0 4096 0 0 0 0 17 0 0 0
/proc/11349/statm: 21044 15654 389 142 0 19998 0
Current children cumulated CPU time (s) 1420.19
Current children cumulated vsize (KiB) 84176

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11387
/proc/meminfo: memFree=1418592/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=84572 CPUtime=1480.15
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 26687 974 0 0 147988 23 3 1 25 0 1 0 59978985 86601728 15977 996147200 134512640 135095119 4294956304 18446744073709551615 134918178 0 0 4096 0 0 0 0 17 0 0 0
/proc/11349/statm: 21143 15977 389 142 0 20097 0
Current children cumulated CPU time (s) 1480.15
Current children cumulated vsize (KiB) 84572

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11387
/proc/meminfo: memFree=1415392/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=85624 CPUtime=1540.13
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 27222 974 0 0 153984 25 3 1 25 0 1 0 59978985 87678976 16512 996147200 134512640 135095119 4294956304 18446744073709551615 134918249 0 0 4096 0 0 0 0 17 0 0 0
/proc/11349/statm: 21406 16512 389 142 0 20360 0
Current children cumulated CPU time (s) 1540.13
Current children cumulated vsize (KiB) 85624

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11389
/proc/meminfo: memFree=1412064/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=87056 CPUtime=1600.1
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 27823 974 0 0 159981 25 3 1 25 0 1 0 59978985 89145344 17113 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/11349/statm: 21764 17113 389 142 0 20718 0
Current children cumulated CPU time (s) 1600.1
Current children cumulated vsize (KiB) 87056

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11389
/proc/meminfo: memFree=1408800/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=88368 CPUtime=1660.08
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 28397 974 0 0 165978 26 3 1 25 0 1 0 59978985 90488832 17687 996147200 134512640 135095119 4294956304 18446744073709551615 134918178 0 0 4096 0 0 0 0 17 0 0 0
/proc/11349/statm: 22092 17687 389 142 0 21046 0
Current children cumulated CPU time (s) 1660.08
Current children cumulated vsize (KiB) 88368

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11389
/proc/meminfo: memFree=1405728/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=89680 CPUtime=1720.06
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 28964 974 0 0 171974 28 3 1 25 0 1 0 59978985 91832320 18254 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/11349/statm: 22420 18254 389 142 0 21374 0
Current children cumulated CPU time (s) 1720.06
Current children cumulated vsize (KiB) 89680

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11389
/proc/meminfo: memFree=1402080/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=90992 CPUtime=1780.04
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 29550 974 0 0 177971 29 3 1 25 0 1 0 59978985 93175808 18840 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 0 0 0
/proc/11349/statm: 22748 18840 389 142 0 21702 0
Current children cumulated CPU time (s) 1780.04
Current children cumulated vsize (KiB) 90992



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11389
/proc/meminfo: memFree=1400736/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=91380 CPUtime=1800.03
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 29719 974 0 0 179970 29 3 1 25 0 1 0 59978985 93573120 19009 996147200 134512640 135095119 4294956304 18446744073709551615 134918267 0 0 4096 0 0 0 0 17 0 0 0
/proc/11349/statm: 22845 19009 389 142 0 21799 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 91380

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

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

[startup+1802.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11389
/proc/meminfo: memFree=1400736/2055920 swapFree=4192812/4192956
[pid=11349] ppid=11347 vsize=91380 CPUtime=1800.03
/proc/11349/stat : 11349 (pcs.small) R 11347 11349 10716 0 -1 4194304 29719 974 0 0 179970 29 3 1 25 0 1 0 59978985 93573120 19009 996147200 134512640 135095119 4294956304 18446744073709551615 134918267 0 0 4096 0 0 0 0 17 0 0 0
/proc/11349/statm: 22845 19009 389 142 0 21799 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 91380

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1802.32
CPU time (s): 1800.05
CPU user time (s): 1799.74
CPU system time (s): 0.316951
CPU usage (%): 99.8743
Max. virtual memory (cumulated for all children) (KiB): 91380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.316951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30693
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= 22
involuntary context switches= 9210

runsolver used 2.18067 second user time and 6.02408 second system time

The end

Launcher Data 

Begin job on node54 at 2009-07-16 09:25:42
IDJOB=2088336
IDBENCH=58911
IDSOLVER=734
FILE ID=node54/2088336-1247729141
PBS_JOBID= 9521568
Free space on /tmp= 66224 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-20_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2088336-1247729141/watcher-2088336-1247729141 -o /tmp/evaluation-result-2088336-1247729141/solver-2088336-1247729141 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 800661677 HOME/instance-2088336-1247729141.xml

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

MD5SUM BENCH= 32b57063e2f0c446c073816e5dba0a1d
RANDOM SEED=800661677

node54.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.232
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.232
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:       1298760 kB
Buffers:         77812 kB
Cached:         393632 kB
SwapCached:          0 kB
Active:         361524 kB
Inactive:       305636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1298760 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7580 kB
Writeback:           0 kB
Mapped:         207060 kB
Slab:            75024 kB
Committed_AS:   685584 kB
PageTables:       2132 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66284 MiB
End job on node54 at 2009-07-16 09:55:46