Trace number 2091647

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.09 1803.82

General information on the benchmark

Namecsp/rand-2-50-23-fcd/
normalized-rand-2-50-23-587-230-fcd-42_ext.xml
MD5SUM8137b8feea9b6597a8f9ebfed5f0d9a7
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark6.83196
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints462
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension462
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c small-domain mode
0.17/0.21	c Seed is 1777208716
0.17/0.21	c Constructing HOME/instance-2091647-1247733088.xml  with 10602 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-2091647-1247733088/watcher-2091647-1247733088 -o /tmp/evaluation-result-2091647-1247733088/solver-2091647-1247733088 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1777208716 HOME/instance-2091647-1247733088.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.98 2.00 2.00 4/81 21516
/proc/meminfo: memFree=1581328/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=5356 CPUtime=0
/proc/21516/stat : 21516 (pcssolve) R 21514 21516 20963 0 -1 4194304 290 0 0 0 0 0 0 0 24 0 1 0 60371568 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 271638391455 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/21516/statm: 1339 241 200 169 0 50 0
[pid=21517] ppid=21516 vsize=3676 CPUtime=0
/proc/21517/stat : 21517 (fgrep) R 21516 21516 20963 0 -1 4194304 136 0 0 0 0 0 0 0 25 0 1 0 60371569 3764224 103 996147200 4194304 4274172 548682068976 18446744073709551615 271638560224 0 0 4096 0 0 0 0 17 1 0 0
/proc/21517/statm: 919 103 84 19 0 43 0
[pid=21518] ppid=21516 vsize=5356 CPUtime=0
/proc/21518/stat : 21518 (pcssolve) R 21516 21516 20963 0 -1 4194368 0 0 0 0 0 0 0 0 24 0 1 0 60371569 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 271638391455 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/21518/statm: 1339 241 200 169 0 50 0

[startup+0.0879521 s]
/proc/loadavg: 1.98 2.00 2.00 4/81 21516
/proc/meminfo: memFree=1581328/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=5432 CPUtime=0.06
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 1071 822 0 0 6 0 0 0 18 0 1 0 60371568 5562368 680 996147200 134512640 135095119 4294956304 18446744073709551615 7324179 0 0 4096 0 0 0 0 17 1 0 0
/proc/21516/statm: 1358 680 364 142 0 312 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5432

[startup+0.10195 s]
/proc/loadavg: 1.98 2.00 2.00 4/81 21516
/proc/meminfo: memFree=1581328/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=5700 CPUtime=0.07
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 1128 822 0 0 7 0 0 0 18 0 1 0 60371568 5836800 737 996147200 134512640 135095119 4294956304 18446744073709551615 7356038 0 0 4096 0 0 0 0 17 1 0 0
/proc/21516/statm: 1425 737 364 142 0 379 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5700

[startup+0.301975 s]
/proc/loadavg: 1.98 2.00 2.00 4/81 21516
/proc/meminfo: memFree=1581328/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=8088 CPUtime=0.27
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 1789 822 0 0 27 0 0 0 19 0 1 0 60371568 8282112 1300 996147200 134512640 135095119 4294956304 18446744073709551615 134642864 0 0 4096 0 0 0 0 17 1 0 0
/proc/21516/statm: 2022 1300 378 142 0 976 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 8088

[startup+0.702014 s]
/proc/loadavg: 1.98 2.00 2.00 4/81 21516
/proc/meminfo: memFree=1581328/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=8088 CPUtime=0.67
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 1793 822 0 0 67 0 0 0 23 0 1 0 60371568 8282112 1304 996147200 134512640 135095119 4294956304 18446744073709551615 134641280 0 0 4096 0 0 0 0 17 1 0 0
/proc/21516/statm: 2022 1304 378 142 0 976 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 8088

[startup+1.5011 s]
/proc/loadavg: 1.98 2.00 2.00 3/82 21522
/proc/meminfo: memFree=1577480/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=8088 CPUtime=1.46
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 1799 822 0 0 146 0 0 0 25 0 1 0 60371568 8282112 1310 996147200 134512640 135095119 4294956304 18446744073709551615 134617043 0 0 4096 0 0 0 0 17 1 0 0
/proc/21516/statm: 2022 1310 378 142 0 976 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 8088

[startup+3.10126 s]
/proc/loadavg: 1.98 2.00 2.00 3/82 21522
/proc/meminfo: memFree=1577288/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=8088 CPUtime=3.05
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 1811 822 0 0 305 0 0 0 25 0 1 0 60371568 8282112 1322 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/21516/statm: 2022 1322 378 142 0 976 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 8088

[startup+6.30259 s]
/proc/loadavg: 1.98 2.00 2.00 3/82 21522
/proc/meminfo: memFree=1577096/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=8088 CPUtime=6.22
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 1832 822 0 0 622 0 0 0 25 0 1 0 60371568 8282112 1343 996147200 134512640 135095119 4294956304 18446744073709551615 134617070 0 0 4096 0 0 0 0 17 1 0 0
/proc/21516/statm: 2022 1343 378 142 0 976 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 8088

[startup+12.7012 s]
/proc/loadavg: 1.98 2.00 2.00 3/82 21522
/proc/meminfo: memFree=1576328/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=9760 CPUtime=12.56
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 2177 822 0 0 1255 1 0 0 25 0 1 0 60371568 9994240 1559 996147200 134512640 135095119 4294956304 18446744073709551615 134577763 0 0 4096 0 0 0 0 17 1 0 0
/proc/21516/statm: 2440 1559 378 142 0 1394 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 9760

[startup+25.5016 s]
/proc/loadavg: 1.98 2.00 2.00 3/82 21522
/proc/meminfo: memFree=1575176/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=11180 CPUtime=25.24
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 2746 822 0 0 2523 1 0 0 25 0 1 0 60371568 11448320 1871 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/21516/statm: 2795 1871 378 142 0 1749 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 11180

[startup+51.1012 s]
/proc/loadavg: 1.99 2.00 2.00 3/82 21522
/proc/meminfo: memFree=1572104/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=14180 CPUtime=50.6
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 3799 822 0 0 5058 2 0 0 25 0 1 0 60371568 14520320 2634 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/21516/statm: 3545 2634 378 142 0 2499 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 14180

[startup+102.306 s]
/proc/loadavg: 2.03 2.01 2.00 3/82 21522
/proc/meminfo: memFree=1567752/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=18604 CPUtime=101.32
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 5366 822 0 0 10129 3 0 0 25 0 1 0 60371568 19050496 3688 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/21516/statm: 4651 3688 378 142 0 3605 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 18604

[startup+162.302 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 21522
/proc/meminfo: memFree=1561672/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=28968 CPUtime=160.75
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 8411 822 0 0 16070 5 0 0 25 0 1 0 60371568 29663232 5195 996147200 134512640 135095119 4294956304 18446744073709551615 134570724 0 0 4096 0 0 0 0 17 1 0 0
/proc/21516/statm: 7242 5195 378 142 0 6196 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 28968

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 21522
/proc/meminfo: memFree=1559816/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=29364 CPUtime=220.19
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 8883 822 0 0 22013 6 0 0 25 0 1 0 60371568 30068736 5667 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/21516/statm: 7341 5667 378 142 0 6295 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 29364

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 21522
/proc/meminfo: memFree=1556680/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=31212 CPUtime=279.63
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 9682 822 0 0 27956 7 0 0 25 0 1 0 60371568 31961088 6466 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/21516/statm: 7803 6466 378 142 0 6757 0
Current children cumulated CPU time (s) 279.63
Current children cumulated vsize (KiB) 31212

[startup+342.302 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 21556
/proc/meminfo: memFree=1568024/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=32792 CPUtime=339.09
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 10402 822 0 0 33901 8 0 0 25 0 1 0 60371568 33579008 7186 996147200 134512640 135095119 4294956304 18446744073709551615 134570998 0 0 4096 0 0 0 0 17 0 0 0
/proc/21516/statm: 8198 7186 378 142 0 7152 0
Current children cumulated CPU time (s) 339.09
Current children cumulated vsize (KiB) 32792

[startup+402.301 s]
/proc/loadavg: 1.97 1.98 1.99 3/73 21556
/proc/meminfo: memFree=1558552/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=42700 CPUtime=399.07
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 13192 822 0 0 39897 10 0 0 25 0 1 0 60371568 43724800 7927 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/21516/statm: 10675 7927 378 142 0 9629 0
Current children cumulated CPU time (s) 399.07
Current children cumulated vsize (KiB) 42700

[startup+462.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 21556
/proc/meminfo: memFree=1550680/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=44404 CPUtime=459.05
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 13918 822 0 0 45894 11 0 0 25 0 1 0 60371568 45469696 8653 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/21516/statm: 11101 8653 378 142 0 10055 0
Current children cumulated CPU time (s) 459.05
Current children cumulated vsize (KiB) 44404

[startup+522.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 21556
/proc/meminfo: memFree=1537944/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=55496 CPUtime=519.03
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 16955 822 0 0 51890 13 0 0 25 0 1 0 60371568 56827904 10665 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/21516/statm: 13874 10665 378 142 0 12828 0
Current children cumulated CPU time (s) 519.03
Current children cumulated vsize (KiB) 55496

[startup+582.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 21556
/proc/meminfo: memFree=1534040/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=55496 CPUtime=579
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 17241 822 0 0 57887 13 0 0 25 0 1 0 60371568 56827904 10951 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/21516/statm: 13874 10951 378 142 0 12828 0
Current children cumulated CPU time (s) 579
Current children cumulated vsize (KiB) 55496

[startup+642.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 21556
/proc/meminfo: memFree=1529752/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=55496 CPUtime=638.99

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

[startup+822.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 21556
/proc/meminfo: memFree=1510040/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=57736 CPUtime=818.92
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 18845 822 0 0 81876 16 0 0 25 0 1 0 60371568 59121664 12555 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/21516/statm: 14434 12555 378 142 0 13388 0
Current children cumulated CPU time (s) 818.92
Current children cumulated vsize (KiB) 57736

[startup+882.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 21556
/proc/meminfo: memFree=1506712/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=59056 CPUtime=878.89
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 19411 822 0 0 87873 16 0 0 25 0 1 0 60371568 60473344 13121 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/21516/statm: 14764 13121 378 142 0 13718 0
Current children cumulated CPU time (s) 878.89
Current children cumulated vsize (KiB) 59056

[startup+942.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 21556
/proc/meminfo: memFree=1503832/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=60112 CPUtime=938.87
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 19904 822 0 0 93870 17 0 0 25 0 1 0 60371568 61554688 13614 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/21516/statm: 15028 13614 378 142 0 13982 0
Current children cumulated CPU time (s) 938.87
Current children cumulated vsize (KiB) 60112

[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 21556
/proc/meminfo: memFree=1500504/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=61304 CPUtime=998.85
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 20438 822 0 0 99867 18 0 0 25 0 1 0 60371568 62775296 14148 996147200 134512640 135095119 4294956304 18446744073709551615 134617260 0 0 4096 0 0 0 0 17 0 0 0
/proc/21516/statm: 15326 14148 378 142 0 14280 0
Current children cumulated CPU time (s) 998.85
Current children cumulated vsize (KiB) 61304

[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 21556
/proc/meminfo: memFree=1496728/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=78872 CPUtime=1058.82
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 25046 822 0 0 105862 20 0 0 25 0 1 0 60371568 80764928 14659 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/21516/statm: 19718 14659 378 142 0 18672 0
Current children cumulated CPU time (s) 1058.82
Current children cumulated vsize (KiB) 78872

[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 21556
/proc/meminfo: memFree=1492440/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=79932 CPUtime=1118.8
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 25549 822 0 0 111859 21 0 0 25 0 1 0 60371568 81850368 15162 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/21516/statm: 19983 15162 378 142 0 18937 0
Current children cumulated CPU time (s) 1118.8
Current children cumulated vsize (KiB) 79932

[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 21556
/proc/meminfo: memFree=1488472/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=81128 CPUtime=1178.78
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 26048 822 0 0 117857 21 0 0 25 0 1 0 60371568 83075072 15661 996147200 134512640 135095119 4294956304 18446744073709551615 134642631 0 0 4096 0 0 0 0 17 0 0 0
/proc/21516/statm: 20282 15661 378 142 0 19236 0
Current children cumulated CPU time (s) 1178.78
Current children cumulated vsize (KiB) 81128

[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 21558
/proc/meminfo: memFree=1484312/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=82316 CPUtime=1238.75
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 26555 822 0 0 123853 22 0 0 25 0 1 0 60371568 84291584 16168 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/21516/statm: 20579 16168 378 142 0 19533 0
Current children cumulated CPU time (s) 1238.75
Current children cumulated vsize (KiB) 82316

[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 21558
/proc/meminfo: memFree=1480152/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=83372 CPUtime=1298.73
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 27011 822 0 0 129851 22 0 0 25 0 1 0 60371568 85372928 16624 996147200 134512640 135095119 4294956304 18446744073709551615 134617665 0 0 4096 0 0 0 0 17 0 0 0
/proc/21516/statm: 20843 16624 378 142 0 19797 0
Current children cumulated CPU time (s) 1298.73
Current children cumulated vsize (KiB) 83372

[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 21558
/proc/meminfo: memFree=1476440/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=84428 CPUtime=1358.71
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 27479 822 0 0 135848 23 0 0 25 0 1 0 60371568 86454272 17092 996147200 134512640 135095119 4294956304 18446744073709551615 134642881 0 0 4096 0 0 0 0 17 0 0 0
/proc/21516/statm: 21107 17092 378 142 0 20061 0
Current children cumulated CPU time (s) 1358.71
Current children cumulated vsize (KiB) 84428

[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 21558
/proc/meminfo: memFree=1472536/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=85492 CPUtime=1418.69
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 27959 822 0 0 141845 24 0 0 25 0 1 0 60371568 87543808 17572 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/21516/statm: 21373 17572 378 142 0 20327 0
Current children cumulated CPU time (s) 1418.69
Current children cumulated vsize (KiB) 85492

[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 21558
/proc/meminfo: memFree=1468504/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=86688 CPUtime=1478.66
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 28456 822 0 0 147842 24 0 0 25 0 1 0 60371568 88768512 18069 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/21516/statm: 21672 18069 378 142 0 20626 0
Current children cumulated CPU time (s) 1478.66
Current children cumulated vsize (KiB) 86688

[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 21558
/proc/meminfo: memFree=1464728/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=87612 CPUtime=1538.65
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 28878 822 0 0 153840 25 0 0 25 0 1 0 60371568 89714688 18491 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/21516/statm: 21903 18491 378 142 0 20857 0
Current children cumulated CPU time (s) 1538.65
Current children cumulated vsize (KiB) 87612

[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 21558
/proc/meminfo: memFree=1461144/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=118388 CPUtime=1598.62
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 34717 822 0 0 159834 28 0 0 25 0 1 0 60371568 121229312 24330 996147200 134512640 135095119 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/21516/statm: 29597 24330 2402 142 0 28551 0
Current children cumulated CPU time (s) 1598.62
Current children cumulated vsize (KiB) 118388

[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 21558
/proc/meminfo: memFree=1444952/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=110192 CPUtime=1658.6
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 34898 822 0 0 165831 29 0 0 25 0 1 0 60371568 112836608 22462 996147200 134512640 135095119 4294956304 18446744073709551615 134607196 0 0 4096 0 0 0 0 17 0 0 0
/proc/21516/statm: 27548 22462 378 142 0 26502 0
Current children cumulated CPU time (s) 1658.6
Current children cumulated vsize (KiB) 110192

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 21558
/proc/meminfo: memFree=1442456/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=110192 CPUtime=1718.58
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 35083 822 0 0 171829 29 0 0 25 0 1 0 60371568 112836608 22647 996147200 134512640 135095119 4294956304 18446744073709551615 134616992 0 0 4096 0 0 0 0 17 0 0 0
/proc/21516/statm: 27548 22647 378 142 0 26502 0
Current children cumulated CPU time (s) 1718.58
Current children cumulated vsize (KiB) 110192

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 21564
/proc/meminfo: memFree=1439568/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=110192 CPUtime=1778.55
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 35260 822 0 0 177826 29 0 0 25 0 1 0 60371568 112836608 22824 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/21516/statm: 27548 22824 378 142 0 26502 0
Current children cumulated CPU time (s) 1778.55
Current children cumulated vsize (KiB) 110192



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.8 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 21564
/proc/meminfo: memFree=1438800/2055920 swapFree=4192812/4192956
[pid=21516] ppid=21514 vsize=110192 CPUtime=1800.05
/proc/21516/stat : 21516 (pcs.small) R 21514 21516 20963 0 -1 4194304 35325 822 0 0 179976 29 0 0 25 0 1 0 60371568 112836608 22889 996147200 134512640 135095119 4294956304 18446744073709551615 134607065 0 0 4096 0 0 0 0 17 0 0 0
/proc/21516/statm: 27548 22889 378 142 0 26502 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 110192

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): 1803.82
CPU time (s): 1800.09
CPU user time (s): 1799.77
CPU system time (s): 0.321951
CPU usage (%): 99.793
Max. virtual memory (cumulated for all children) (KiB): 118388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.77
system time used= 0.321951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36147
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= 21
involuntary context switches= 19883

runsolver used 2.50262 second user time and 5.70813 second system time

The end

Launcher Data 

Begin job on node67 at 2009-07-16 10:31:28
IDJOB=2091647
IDBENCH=60096
IDSOLVER=734
FILE ID=node67/2091647-1247733088
PBS_JOBID= 9521605
Free space on /tmp= 66332 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-42_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2091647-1247733088/watcher-2091647-1247733088 -o /tmp/evaluation-result-2091647-1247733088/solver-2091647-1247733088 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1777208716 HOME/instance-2091647-1247733088.xml

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

MD5SUM BENCH= 8137b8feea9b6597a8f9ebfed5f0d9a7
RANDOM SEED=1777208716

node67.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.239
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.239
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:       1581808 kB
Buffers:         82520 kB
Cached:         282572 kB
SwapCached:          0 kB
Active:         117352 kB
Inactive:       282344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1581808 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2144 kB
Writeback:           0 kB
Mapped:          54976 kB
Slab:            59416 kB
Committed_AS:   529712 kB
PageTables:       1924 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= 66332 MiB
End job on node67 at 2009-07-16 11:01:34