Trace number 2092274

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.08 1814.35

General information on the benchmark

Namecsp/tightness0.8/
normalized-rand-2-40-80-103-800-16_ext.xml
MD5SUM2ced0672c4f9bda10f83da1431a5dc07
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark28.3917
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints103
Maximum constraint arity2
Maximum domain size80
Number of constraints which are defined in extension103
Number of constraints which are defined in intension0
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 1496208500
0.17/0.21	c Constructing HOME/instance-2092274-1247734052.xml  with 103 constraints
0.27/0.38	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-2092274-1247734052/watcher-2092274-1247734052 -o /tmp/evaluation-result-2092274-1247734052/solver-2092274-1247734052 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1496208500 HOME/instance-2092274-1247734052.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.02 2.02 2.00 4/72 17802
/proc/meminfo: memFree=1564624/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=5212 CPUtime=0
/proc/17802/stat : 17802 (pcssolve) R 17800 17802 15699 0 -1 4194304 71 0 0 0 0 0 0 0 22 0 1 0 60469351 5337088 45 996147200 4194304 4889804 548682068800 18446744073709551615 255539135320 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 1303 45 30 169 0 14 0

[startup+0.0948849 s]
/proc/loadavg: 2.02 2.02 2.00 4/72 17802
/proc/meminfo: memFree=1564624/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=5324 CPUtime=0.07
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 920 656 0 0 7 0 0 0 18 0 1 0 60469351 5451776 551 996147200 134512640 135215973 4294956304 18446744073709551615 3965057 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 1331 551 383 171 0 256 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5324

[startup+0.101882 s]
/proc/loadavg: 2.02 2.02 2.00 4/72 17802
/proc/meminfo: memFree=1564624/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=5324 CPUtime=0.07
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 931 656 0 0 7 0 0 0 18 0 1 0 60469351 5451776 562 996147200 134512640 135215973 4294956304 18446744073709551615 134881788 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 1331 562 383 171 0 256 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5324

[startup+0.301903 s]
/proc/loadavg: 2.02 2.02 2.00 4/72 17802
/proc/meminfo: memFree=1564624/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=7508 CPUtime=0.27
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 1262 656 0 0 27 0 0 0 19 0 1 0 60469351 7688192 893 996147200 134512640 135215973 4294956304 18446744073709551615 4158960138 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 1877 893 383 171 0 802 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 7508

[startup+0.701944 s]
/proc/loadavg: 2.02 2.02 2.00 4/72 17802
/proc/meminfo: memFree=1564624/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=8848 CPUtime=0.67
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 1528 656 0 0 67 0 0 0 23 0 1 0 60469351 9060352 1159 996147200 134512640 135215973 4294956304 18446744073709551615 135020330 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 2212 1159 401 171 0 1137 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 8848

[startup+1.50202 s]
/proc/loadavg: 2.02 2.02 2.00 3/73 17807
/proc/meminfo: memFree=1561480/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=8848 CPUtime=1.46
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 1549 656 0 0 146 0 0 0 25 0 1 0 60469351 9060352 1180 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 2212 1180 401 171 0 1137 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 8848

[startup+3.10217 s]
/proc/loadavg: 2.02 2.02 2.00 3/73 17807
/proc/meminfo: memFree=1561032/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=8848 CPUtime=3.05
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 1589 656 0 0 305 0 0 0 25 0 1 0 60469351 9060352 1220 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 2212 1220 401 171 0 1137 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 8848

[startup+6.30147 s]
/proc/loadavg: 2.02 2.02 2.00 3/73 17807
/proc/meminfo: memFree=1559944/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=8848 CPUtime=6.22
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 1673 656 0 0 622 0 0 0 25 0 1 0 60469351 9060352 1304 996147200 134512640 135215973 4294956304 18446744073709551615 134600167 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 2212 1304 401 171 0 1137 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 8848

[startup+12.7011 s]
/proc/loadavg: 2.02 2.02 2.00 3/73 17807
/proc/meminfo: memFree=1558024/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=8980 CPUtime=12.57
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 1831 656 0 0 1256 1 0 0 25 0 1 0 60469351 9195520 1462 996147200 134512640 135215973 4294956304 18446744073709551615 135027144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 2245 1462 401 171 0 1170 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 8980

[startup+25.5013 s]
/proc/loadavg: 2.02 2.02 2.00 3/73 17807
/proc/meminfo: memFree=1552840/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=10692 CPUtime=25.27
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 2368 656 0 0 2526 1 0 0 25 0 1 0 60469351 10948608 1966 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 2673 1966 401 171 0 1598 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 10692

[startup+51.1017 s]
/proc/loadavg: 2.01 2.02 2.00 3/73 17807
/proc/meminfo: memFree=1542920/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=15728 CPUtime=50.68
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 3658 656 0 0 5066 2 0 0 25 0 1 0 60469351 16105472 3191 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 3932 3191 401 171 0 2857 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 15728

[startup+102.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 17807
/proc/meminfo: memFree=1522568/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=25476 CPUtime=101.49
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 6198 656 0 0 10145 4 0 0 25 0 1 0 60469351 26087424 5602 996147200 134512640 135215973 4294956304 18446744073709551615 134600504 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 6369 5602 401 171 0 5294 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 25476

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 17807
/proc/meminfo: memFree=1498248/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=36552 CPUtime=161.01
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 9067 656 0 0 16095 6 0 0 25 0 1 0 60469351 37429248 8438 996147200 134512640 135215973 4294956304 18446744073709551615 134583211 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 9138 8438 401 171 0 8063 0
Current children cumulated CPU time (s) 161.01
Current children cumulated vsize (KiB) 36552

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17807
/proc/meminfo: memFree=1474888/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=47600 CPUtime=220.53
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 11933 656 0 0 22045 8 0 0 25 0 1 0 60469351 48742400 11047 996147200 134512640 135215973 4294956304 18446744073709551615 134583244 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 11900 11047 401 171 0 10825 0
Current children cumulated CPU time (s) 220.53
Current children cumulated vsize (KiB) 47600

[startup+282.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/73 17809
/proc/meminfo: memFree=1452616/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=57616 CPUtime=280.05
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 14555 656 0 0 27995 10 0 0 25 0 1 0 60469351 58998784 13604 996147200 134512640 135215973 4294956304 18446744073709551615 4158960004 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 14404 13604 401 171 0 13329 0
Current children cumulated CPU time (s) 280.05
Current children cumulated vsize (KiB) 57616

[startup+342.302 s]
/proc/loadavg: 2.06 2.02 2.00 3/73 17809
/proc/meminfo: memFree=1430672/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=69420 CPUtime=339.57
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 17576 656 0 0 33945 12 0 0 25 0 1 0 60469351 71086080 16112 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 17355 16112 401 171 0 16280 0
Current children cumulated CPU time (s) 339.57
Current children cumulated vsize (KiB) 69420

[startup+402.302 s]
/proc/loadavg: 2.07 2.03 2.00 3/73 17809
/proc/meminfo: memFree=1410640/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=79308 CPUtime=399.09
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 20166 656 0 0 39895 14 0 0 25 0 1 0 60469351 81211392 18702 996147200 134512640 135215973 4294956304 18446744073709551615 134583624 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 19827 18702 401 171 0 18752 0
Current children cumulated CPU time (s) 399.09
Current children cumulated vsize (KiB) 79308

[startup+462.301 s]
/proc/loadavg: 2.11 2.05 2.01 3/73 17809
/proc/meminfo: memFree=1387152/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=89060 CPUtime=458.61
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 22696 656 0 0 45845 16 0 0 25 0 1 0 60469351 91197440 21232 996147200 134512640 135215973 4294956304 18446744073709551615 135026904 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 22265 21232 401 171 0 21190 0
Current children cumulated CPU time (s) 458.61
Current children cumulated vsize (KiB) 89060

[startup+522.302 s]
/proc/loadavg: 2.08 2.06 2.01 3/73 17809
/proc/meminfo: memFree=1368208/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=98156 CPUtime=518.13
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 25081 656 0 0 51796 17 0 0 25 0 1 0 60469351 100511744 23617 996147200 134512640 135215973 4294956304 18446744073709551615 4158848700 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 24539 23617 401 171 0 23464 0
Current children cumulated CPU time (s) 518.13
Current children cumulated vsize (KiB) 98156

[startup+582.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/73 17809
/proc/meminfo: memFree=1348240/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=108168 CPUtime=577.63
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 27680 656 0 0 57744 19 0 0 25 0 1 0 60469351 110764032 26087 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 27042 26087 401 171 0 25967 0
Current children cumulated CPU time (s) 577.63
Current children cumulated vsize (KiB) 108168

[startup+642.302 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 17809
/proc/meminfo: memFree=1327824/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=116748 CPUtime=637.14
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 29917 656 0 0 63693 21 0 0 25 0 1 0 60469351 119549952 28324 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 29187 28324 401 171 0 28112 0
Current children cumulated CPU time (s) 637.14
Current children cumulated vsize (KiB) 116748

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 17815
/proc/meminfo: memFree=1248848/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=156996 CPUtime=875.16
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 40342 656 0 0 87487 29 0 0 25 0 1 0 60469351 160763904 37724 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 39249 37724 401 171 0 38174 0
Current children cumulated CPU time (s) 875.16
Current children cumulated vsize (KiB) 156996

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17815
/proc/meminfo: memFree=1229648/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=165308 CPUtime=934.69
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 42498 656 0 0 93438 31 0 0 25 0 1 0 60469351 169275392 39880 996147200 134512640 135215973 4294956304 18446744073709551615 4158961335 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 41327 39880 401 171 0 40252 0
Current children cumulated CPU time (s) 934.69
Current children cumulated vsize (KiB) 165308

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17815
/proc/meminfo: memFree=1210576/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=174940 CPUtime=994.21
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 45015 656 0 0 99388 33 0 0 25 0 1 0 60469351 179138560 42397 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 43735 42397 401 171 0 42660 0
Current children cumulated CPU time (s) 994.21
Current children cumulated vsize (KiB) 174940

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17815
/proc/meminfo: memFree=1189904/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=185104 CPUtime=1053.73
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 47633 656 0 0 105338 35 0 0 25 0 1 0 60469351 189546496 45015 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 46276 45015 401 171 0 45201 0
Current children cumulated CPU time (s) 1053.73
Current children cumulated vsize (KiB) 185104

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17815
/proc/meminfo: memFree=1169552/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=194076 CPUtime=1113.23
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 49978 656 0 0 111286 37 0 0 25 0 1 0 60469351 198733824 47360 996147200 134512640 135215973 4294956304 18446744073709551615 134583939 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 48519 47360 401 171 0 47444 0
Current children cumulated CPU time (s) 1113.23
Current children cumulated vsize (KiB) 194076

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17815
/proc/meminfo: memFree=1148624/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=205000 CPUtime=1172.75
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 52794 656 0 0 117236 39 0 0 25 0 1 0 60469351 209920000 49919 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 51250 49919 401 171 0 50175 0
Current children cumulated CPU time (s) 1172.75
Current children cumulated vsize (KiB) 205000

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17815
/proc/meminfo: memFree=1130128/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=212920 CPUtime=1232.26
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 54842 656 0 0 123184 42 0 0 25 0 1 0 60469351 218030080 51967 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 53230 51967 401 171 0 52155 0
Current children cumulated CPU time (s) 1232.26
Current children cumulated vsize (KiB) 212920

[startup+1302.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/73 17815
/proc/meminfo: memFree=1110416/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=221496 CPUtime=1291.76
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 57071 656 0 0 129133 43 0 0 25 0 1 0 60469351 226811904 54196 996147200 134512640 135215973 4294956304 18446744073709551615 134590099 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 55374 54196 401 171 0 54299 0
Current children cumulated CPU time (s) 1291.76
Current children cumulated vsize (KiB) 221496

[startup+1362.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/73 17815
/proc/meminfo: memFree=1092176/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=229152 CPUtime=1351.27
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 59095 656 0 0 135083 44 0 0 25 0 1 0 60469351 234651648 56220 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 57288 56220 401 171 0 56213 0
Current children cumulated CPU time (s) 1351.27
Current children cumulated vsize (KiB) 229152

[startup+1422.31 s]
/proc/loadavg: 2.08 2.03 2.00 3/73 17815
/proc/meminfo: memFree=1074448/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=236544 CPUtime=1410.78
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 60990 656 0 0 141033 45 0 0 25 0 1 0 60469351 242221056 58115 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 59136 58115 401 171 0 58061 0
Current children cumulated CPU time (s) 1410.78
Current children cumulated vsize (KiB) 236544

[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/73 17815
/proc/meminfo: memFree=1058128/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=244200 CPUtime=1470.3
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 62997 656 0 0 146983 47 0 0 25 0 1 0 60469351 250060800 60122 996147200 134512640 135215973 4294956304 18446744073709551615 4158960397 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 61050 60122 401 171 0 59975 0
Current children cumulated CPU time (s) 1470.3
Current children cumulated vsize (KiB) 244200

[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/73 17815
/proc/meminfo: memFree=1038800/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=260576 CPUtime=1529.81
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 67191 656 0 0 152931 50 0 0 25 0 1 0 60469351 266829824 62267 996147200 134512640 135215973 4294956304 18446744073709551615 134589885 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 65144 62267 401 171 0 64069 0
Current children cumulated CPU time (s) 1529.81
Current children cumulated vsize (KiB) 260576

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 17815
/proc/meminfo: memFree=1019920/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=268496 CPUtime=1589.34
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 69228 656 0 0 158882 52 0 0 25 0 1 0 60469351 274939904 64304 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 67124 64304 401 171 0 66049 0
Current children cumulated CPU time (s) 1589.34
Current children cumulated vsize (KiB) 268496

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 17815
/proc/meminfo: memFree=1001616/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=275888 CPUtime=1648.84
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 71170 656 0 0 164831 53 0 0 25 0 1 0 60469351 282509312 66246 996147200 134512640 135215973 4294956304 18446744073709551615 134585409 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 68972 66246 401 171 0 67897 0
Current children cumulated CPU time (s) 1648.84
Current children cumulated vsize (KiB) 275888

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17815
/proc/meminfo: memFree=986768/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=283012 CPUtime=1708.37
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 73026 656 0 0 170782 55 0 0 25 0 1 0 60469351 289804288 68102 996147200 134512640 135215973 4294956304 18446744073709551615 4158961227 0 0 4096 0 0 0 0 17 1 0 0
/proc/17802/statm: 70753 68102 401 171 0 69678 0
Current children cumulated CPU time (s) 1708.37
Current children cumulated vsize (KiB) 283012

[startup+1782.3 s]
/proc/loadavg: 1.66 1.92 1.97 2/65 17837
/proc/meminfo: memFree=1298720/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=290668 CPUtime=1768.03
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 75027 656 0 0 176746 57 0 0 25 0 1 0 60469351 297644032 70103 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/17802/statm: 72667 70103 401 171 0 71592 0
Current children cumulated CPU time (s) 1768.03
Current children cumulated vsize (KiB) 290668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1814.3 s]
/proc/loadavg: 1.40 1.83 1.94 2/65 17837
/proc/meminfo: memFree=1294240/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=295024 CPUtime=1800.02
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 76153 656 0 0 179944 58 0 0 25 0 1 0 60469351 302104576 71229 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/17802/statm: 73756 71229 401 171 0 72681 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 295024

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

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

[startup+1814.3 s]
/proc/loadavg: 1.40 1.83 1.94 2/65 17837
/proc/meminfo: memFree=1294240/2055920 swapFree=4192812/4192956
[pid=17802] ppid=17800 vsize=295024 CPUtime=1800.02
/proc/17802/stat : 17802 (pcs.big) R 17800 17802 15699 0 -1 4194304 76153 656 0 0 179944 58 0 0 25 0 1 0 60469351 302104576 71229 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/17802/statm: 73756 71229 401 171 0 72681 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 295024

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1814.35
CPU time (s): 1800.08
CPU user time (s): 1799.44
CPU system time (s): 0.633903
CPU usage (%): 99.2134
Max. virtual memory (cumulated for all children) (KiB): 295024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.633903
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76809
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= 18
involuntary context switches= 37520

runsolver used 2.14567 second user time and 5.17821 second system time

The end

Launcher Data 

Begin job on node48 at 2009-07-16 10:47:32
IDJOB=2092274
IDBENCH=60316
IDSOLVER=734
FILE ID=node48/2092274-1247734052
PBS_JOBID= 9521518
Free space on /tmp= 66372 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/tightness0.8/normalized-rand-2-40-80-103-800-16_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2092274-1247734052/watcher-2092274-1247734052 -o /tmp/evaluation-result-2092274-1247734052/solver-2092274-1247734052 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1496208500 HOME/instance-2092274-1247734052.xml

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

MD5SUM BENCH= 2ced0672c4f9bda10f83da1431a5dc07
RANDOM SEED=1496208500

node48.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.237
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.237
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:       1565104 kB
Buffers:         85328 kB
Cached:         303700 kB
SwapCached:          0 kB
Active:         108604 kB
Inactive:       305880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1565104 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2492 kB
Writeback:           0 kB
Mapped:          36952 kB
Slab:            61644 kB
Committed_AS:   576564 kB
PageTables:       1700 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= 66372 MiB
End job on node48 at 2009-07-16 11:17:48