Trace number 2083584

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.14 1803.45

General information on the benchmark

Namecsp/fapp/fapp24/
normalized-fapp24-2000-2.xml
MD5SUM1f2ebc90aacefa2bf62f5cb29b948cb3
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark25.5591
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints26753
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension26753
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c has big domains
0.00/0.02	c big-domain mode
0.00/0.03	c Seed is 1662686615
0.00/0.03	c Constructing HOME/instance-2083584-1247723350.xml  with 167981 constraints
2.95/3.08	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-2083584-1247723350/watcher-2083584-1247723350 -o /tmp/evaluation-result-2083584-1247723350/solver-2083584-1247723350 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1662686615 HOME/instance-2083584-1247723350.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 14235
/proc/meminfo: memFree=1331608/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=5356 CPUtime=0
/proc/14235/stat : 14235 (pcssolve) R 14233 14235 12541 0 -1 4194304 273 0 0 0 0 0 0 0 22 0 1 0 59401921 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 231962372767 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14235/statm: 1339 241 200 169 0 50 0
[pid=14236] ppid=14235 vsize=5356 CPUtime=0
/proc/14236/stat : 14236 (pcssolve) R 14235 14235 12541 0 -1 4194368 0 0 0 0 0 0 0 0 22 0 1 0 59401922 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 231962372767 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14236/statm: 1339 241 200 169 0 50 0

[startup+0.063364 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 14235
/proc/meminfo: memFree=1331608/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=5756 CPUtime=0.04
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 1076 662 0 0 3 0 0 1 24 0 1 0 59401921 5894144 707 996147200 134512640 135215973 4294956304 18446744073709551615 134600675 0 0 4096 0 0 0 0 17 1 0 0
/proc/14235/statm: 1439 707 386 171 0 364 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5756

[startup+0.102352 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 14235
/proc/meminfo: memFree=1331608/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=6620 CPUtime=0.08
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 1357 662 0 0 7 0 0 1 24 0 1 0 59401921 6778880 907 996147200 134512640 135215973 4294956304 18446744073709551615 4159670439 0 0 4096 0 0 0 0 17 1 0 0
/proc/14235/statm: 1655 907 386 171 0 580 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6620

[startup+0.302301 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 14235
/proc/meminfo: memFree=1331608/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=12292 CPUtime=0.28
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 2939 662 0 0 26 1 0 1 25 0 1 0 59401921 12587008 2167 996147200 134512640 135215973 4294956304 18446744073709551615 134532667 0 0 4096 0 0 0 0 17 1 0 0
/proc/14235/statm: 3073 2167 386 171 0 1998 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12292

[startup+0.702183 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 14235
/proc/meminfo: memFree=1331608/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=22664 CPUtime=0.67
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 6337 662 0 0 64 2 0 1 25 0 1 0 59401921 23207936 3879 996147200 134512640 135215973 4294956304 18446744073709551615 134731013 0 0 4096 0 0 0 0 17 1 0 0
/proc/14235/statm: 5666 3879 386 171 0 4591 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 22664

[startup+1.50195 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14240
/proc/meminfo: memFree=1312208/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=41148 CPUtime=1.47
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 12552 662 0 0 140 6 0 1 25 0 1 0 59401921 42135552 7555 996147200 134512640 135215973 4294956304 18446744073709551615 4159337230 0 0 4096 0 0 0 0 17 1 0 0
/proc/14235/statm: 10287 7555 386 171 0 9212 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 41148

[startup+3.1015 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14240
/proc/meminfo: memFree=1291864/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=60648 CPUtime=3.06
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 24626 662 0 0 293 12 0 1 25 0 1 0 59401921 62103552 12027 996147200 134512640 135215973 4294956304 18446744073709551615 7635013 0 0 4096 0 0 0 0 17 1 0 0
/proc/14235/statm: 15162 12027 395 171 0 14087 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 60648

[startup+6.30157 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14240
/proc/meminfo: memFree=1257304/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=87892 CPUtime=6.23
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 31562 662 0 0 608 14 0 1 25 0 1 0 59401921 90001408 18792 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/14235/statm: 21973 18792 410 171 0 20898 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 87892

[startup+12.7017 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14240
/proc/meminfo: memFree=1256024/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=88724 CPUtime=12.58
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 32014 662 0 0 1243 14 0 1 25 0 1 0 59401921 90853376 19035 996147200 134512640 135215973 4294956304 18446744073709551615 4158960138 0 0 4096 0 0 0 0 17 1 0 0
/proc/14235/statm: 22181 19035 410 171 0 21106 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 88724

[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14240
/proc/meminfo: memFree=1246808/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=102296 CPUtime=25.29
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 35860 662 0 0 2512 16 0 1 25 0 1 0 59401921 104751104 21631 996147200 134512640 135215973 4294956304 18446744073709551615 134583194 0 0 4096 0 0 0 0 17 1 0 0
/proc/14235/statm: 25574 21631 410 171 0 24499 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 102296

[startup+51.1027 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14242
/proc/meminfo: memFree=1242968/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=102428 CPUtime=50.7
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 46709 662 0 0 5048 21 0 1 25 0 1 0 59401921 104886272 21764 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/14235/statm: 25607 21764 413 171 0 24532 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 102428

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14242
/proc/meminfo: memFree=1232216/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=108104 CPUtime=101.52
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 124202 662 0 0 10106 45 0 1 25 0 1 0 59401921 110698496 23258 996147200 134512640 135215973 4294956304 18446744073709551615 134591462 0 0 4096 0 0 0 0 17 1 0 0
/proc/14235/statm: 27026 23258 413 171 0 25951 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 108104

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14242
/proc/meminfo: memFree=1219288/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=114832 CPUtime=161.08
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 239231 662 0 0 16023 84 0 1 25 0 1 0 59401921 117587968 25205 996147200 134512640 135215973 4294956304 18446744073709551615 134597644 0 0 4096 0 0 0 0 17 1 0 0
/proc/14235/statm: 28708 25205 413 171 0 27633 0
Current children cumulated CPU time (s) 161.08
Current children cumulated vsize (KiB) 114832

[startup+222.302 s]
/proc/loadavg: 2.03 2.01 2.00 3/73 14242
/proc/meminfo: memFree=1202520/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=125388 CPUtime=220.64
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 362840 662 0 0 21941 122 0 1 25 0 1 0 59401921 128397312 27836 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/14235/statm: 31347 27836 413 171 0 30272 0
Current children cumulated CPU time (s) 220.64
Current children cumulated vsize (KiB) 125388

[startup+282.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/73 14242
/proc/meminfo: memFree=1189976/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=133044 CPUtime=280.2
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 467592 662 0 0 27864 155 0 1 25 0 1 0 59401921 136237056 29799 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/14235/statm: 33261 29799 413 171 0 32186 0
Current children cumulated CPU time (s) 280.2
Current children cumulated vsize (KiB) 133044

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14242
/proc/meminfo: memFree=1181344/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=139644 CPUtime=339.75
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 549640 662 0 0 33793 181 0 1 25 0 1 0 59401921 142995456 31477 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/14235/statm: 34911 31477 413 171 0 33836 0
Current children cumulated CPU time (s) 339.75
Current children cumulated vsize (KiB) 139644

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14242
/proc/meminfo: memFree=1174368/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=146764 CPUtime=399.3
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 679726 662 0 0 39709 220 0 1 25 0 1 0 59401921 150286336 33253 996147200 134512640 135215973 4294956304 18446744073709551615 134591459 0 0 4096 0 0 0 0 17 1 0 0
/proc/14235/statm: 36691 33253 413 171 0 35616 0
Current children cumulated CPU time (s) 399.3
Current children cumulated vsize (KiB) 146764

[startup+462.303 s]
/proc/loadavg: 2.08 2.02 2.01 3/82 14324
/proc/meminfo: memFree=1325080/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=160096 CPUtime=459
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 818057 662 0 0 45632 267 0 1 25 0 1 0 59401921 163938304 36647 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 0 0 0
/proc/14235/statm: 40024 36647 413 171 0 38949 0
Current children cumulated CPU time (s) 459
Current children cumulated vsize (KiB) 160096

[startup+522.303 s]
/proc/loadavg: 2.03 2.01 2.00 3/82 14324
/proc/meminfo: memFree=1279192/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=171576 CPUtime=518.99
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 934474 662 0 0 51600 298 0 1 25 0 1 0 59401921 175693824 39559 996147200 134512640 135215973 4294956304 18446744073709551615 4158960004 0 0 4096 0 0 0 0 17 0 0 0
/proc/14235/statm: 42894 39559 413 171 0 41819 0
Current children cumulated CPU time (s) 518.99
Current children cumulated vsize (KiB) 171576

[startup+582.302 s]
/proc/loadavg: 2.07 2.02 2.00 3/83 14325
/proc/meminfo: memFree=1249872/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=176856 CPUtime=578.99
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 985570 662 0 0 57583 315 0 1 25 0 1 0 59401921 181100544 40882 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/14235/statm: 44214 40882 413 171 0 43139 0
Current children cumulated CPU time (s) 578.99
Current children cumulated vsize (KiB) 176856

[startup+642.302 s]
/proc/loadavg: 2.11 2.04 2.01 3/83 14325
/proc/meminfo: memFree=1093648/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=182796 CPUtime=639
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 1072628 662 0 0 63558 341 0 1 25 0 1 0 59401921 187183104 42353 996147200 134512640 135215973 4294956304 18446744073709551615 134600788 0 0 4096 0 0 0 0 17 0 0 0
/proc/14235/statm: 45699 42353 413 171 0 44624 0
Current children cumulated CPU time (s) 639

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

[startup+822.302 s]
/proc/loadavg: 2.37 2.19 2.06 5/83 14332
/proc/meminfo: memFree=522368/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=208572 CPUtime=818.97
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 1402277 662 0 0 81460 436 0 1 25 0 1 0 59401921 213577728 48830 996147200 134512640 135215973 4294956304 18446744073709551615 134533281 0 0 4096 0 0 0 0 17 0 0 0
/proc/14235/statm: 52143 48830 413 171 0 51068 0
Current children cumulated CPU time (s) 818.97
Current children cumulated vsize (KiB) 208572

[startup+882.301 s]
/proc/loadavg: 2.13 2.15 2.06 3/83 14332
/proc/meminfo: memFree=506560/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=229340 CPUtime=878.98
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 1557574 662 0 0 87413 484 0 1 25 0 1 0 59401921 234844160 52720 996147200 134512640 135215973 4294956304 18446744073709551615 4158960181 0 0 4096 0 0 0 0 17 0 0 0
/proc/14235/statm: 57335 52720 413 171 0 56260 0
Current children cumulated CPU time (s) 878.98
Current children cumulated vsize (KiB) 229340

[startup+942.301 s]
/proc/loadavg: 2.05 2.12 2.05 3/83 14332
/proc/meminfo: memFree=506368/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=229468 CPUtime=938.97
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 1603735 662 0 0 93397 499 0 1 25 0 1 0 59401921 234975232 52774 996147200 134512640 135215973 4294956304 18446744073709551615 134585344 0 0 4096 0 0 0 0 17 0 0 0
/proc/14235/statm: 57367 52774 413 171 0 56292 0
Current children cumulated CPU time (s) 938.97
Current children cumulated vsize (KiB) 229468

[startup+1002.3 s]
/proc/loadavg: 2.02 2.10 2.04 3/83 14332
/proc/meminfo: memFree=499584/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=236324 CPUtime=998.98
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 1712886 662 0 0 99365 532 0 1 25 0 1 0 59401921 241995776 54450 996147200 134512640 135215973 4294956304 18446744073709551615 134589774 0 0 4096 0 0 0 0 17 0 0 0
/proc/14235/statm: 59081 54450 413 171 0 58006 0
Current children cumulated CPU time (s) 998.98
Current children cumulated vsize (KiB) 236324

[startup+1062.3 s]
/proc/loadavg: 1.96 2.06 2.03 3/73 14397
/proc/meminfo: memFree=1241312/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=242124 CPUtime=1058.97
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 1816701 662 0 0 105333 563 0 1 25 0 1 0 59401921 247934976 55899 996147200 134512640 135215973 4294956304 18446744073709551615 134969774 0 0 4096 0 0 0 0 17 0 0 0
/proc/14235/statm: 60531 55899 413 171 0 59456 0
Current children cumulated CPU time (s) 1058.97
Current children cumulated vsize (KiB) 242124

[startup+1122.3 s]
/proc/loadavg: 1.98 2.05 2.03 3/73 14397
/proc/meminfo: memFree=1226720/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=252680 CPUtime=1118.96
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 1958935 662 0 0 111292 603 0 1 25 0 1 0 59401921 258744320 58543 996147200 134512640 135215973 4294956304 18446744073709551615 134585618 0 0 4096 0 0 0 0 17 0 0 0
/proc/14235/statm: 63170 58543 413 171 0 62095 0
Current children cumulated CPU time (s) 1118.96
Current children cumulated vsize (KiB) 252680

[startup+1182.3 s]
/proc/loadavg: 2.07 2.05 2.03 3/73 14397
/proc/meminfo: memFree=1209888/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=259404 CPUtime=1178.97
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 2086847 662 0 0 117256 640 0 1 25 0 1 0 59401921 265629696 60260 996147200 134512640 135215973 4294956304 18446744073709551615 134600812 0 0 4096 0 0 0 0 17 0 0 0
/proc/14235/statm: 64851 60260 413 171 0 63776 0
Current children cumulated CPU time (s) 1178.97
Current children cumulated vsize (KiB) 259404

[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 2.02 3/73 14397
/proc/meminfo: memFree=1194592/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=263620 CPUtime=1238.97
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 2173748 662 0 0 123229 667 0 1 25 0 1 0 59401921 269946880 61292 996147200 134512640 135215973 4294956304 18446744073709551615 134597668 0 0 4096 0 0 0 0 17 0 0 0
/proc/14235/statm: 65905 61292 413 171 0 64830 0
Current children cumulated CPU time (s) 1238.97
Current children cumulated vsize (KiB) 263620

[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.01 3/73 14397
/proc/meminfo: memFree=1181984/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=272592 CPUtime=1298.97
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 2270753 662 0 0 129200 696 0 1 25 0 1 0 59401921 279134208 63545 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 0 0 0
/proc/14235/statm: 68148 63545 413 171 0 67073 0
Current children cumulated CPU time (s) 1298.97
Current children cumulated vsize (KiB) 272592

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/73 14397
/proc/meminfo: memFree=1177568/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=275496 CPUtime=1358.97
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 2338891 662 0 0 135178 718 0 1 25 0 1 0 59401921 282107904 64285 996147200 134512640 135215973 4294956304 18446744073709551615 134533067 0 0 4096 0 0 0 0 17 0 0 0
/proc/14235/statm: 68874 64285 413 171 0 67799 0
Current children cumulated CPU time (s) 1358.97
Current children cumulated vsize (KiB) 275496

[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 14397
/proc/meminfo: memFree=1171296/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=279712 CPUtime=1418.97
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 2406916 662 0 0 141159 737 0 1 25 0 1 0 59401921 286425088 65335 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/14235/statm: 69928 65335 413 171 0 68853 0
Current children cumulated CPU time (s) 1418.97
Current children cumulated vsize (KiB) 279712

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 14397
/proc/meminfo: memFree=1154656/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=285252 CPUtime=1478.97
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 2491499 662 0 0 147133 763 0 1 25 0 1 0 59401921 292098048 66728 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/14235/statm: 71313 66728 413 171 0 70238 0
Current children cumulated CPU time (s) 1478.97
Current children cumulated vsize (KiB) 285252

[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/73 14397
/proc/meminfo: memFree=1134240/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=290400 CPUtime=1538.97
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 2557091 662 0 0 153112 784 0 1 25 0 1 0 59401921 297369600 68024 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/14235/statm: 72600 68024 413 171 0 71525 0
Current children cumulated CPU time (s) 1538.97
Current children cumulated vsize (KiB) 290400

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/73 14397
/proc/meminfo: memFree=1122144/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=295544 CPUtime=1598.97
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 2634809 662 0 0 159089 807 0 1 25 0 1 0 59401921 302637056 69320 996147200 134512640 135215973 4294956304 18446744073709551615 134969737 0 0 4096 0 0 0 0 17 0 0 0
/proc/14235/statm: 73886 69320 413 171 0 72811 0
Current children cumulated CPU time (s) 1598.97
Current children cumulated vsize (KiB) 295544

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 14397
/proc/meminfo: memFree=1112352/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=297640 CPUtime=1658.97
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 2725613 662 0 0 165063 833 0 1 25 0 1 0 59401921 304783360 69819 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/14235/statm: 74410 69819 413 171 0 73335 0
Current children cumulated CPU time (s) 1658.97
Current children cumulated vsize (KiB) 297640

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14397
/proc/meminfo: memFree=1101728/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=301456 CPUtime=1718.97
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 2796212 662 0 0 171041 855 0 1 25 0 1 0 59401921 308690944 70764 996147200 134512640 135215973 4294956304 18446744073709551615 4158960181 0 0 4096 0 0 0 0 17 0 0 0
/proc/14235/statm: 75364 70764 413 171 0 74289 0
Current children cumulated CPU time (s) 1718.97
Current children cumulated vsize (KiB) 301456

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14397
/proc/meminfo: memFree=1088544/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=306336 CPUtime=1778.97
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 2882206 662 0 0 177017 879 0 1 25 0 1 0 59401921 313688064 72017 996147200 134512640 135215973 4294956304 18446744073709551615 134597480 0 0 4096 0 0 0 0 17 0 0 0
/proc/14235/statm: 76584 72017 413 171 0 75509 0
Current children cumulated CPU time (s) 1778.97
Current children cumulated vsize (KiB) 306336



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14397
/proc/meminfo: memFree=1085664/2055920 swapFree=4192812/4192956
[pid=14235] ppid=14233 vsize=306596 CPUtime=1800.07
/proc/14235/stat : 14235 (pcs.big) R 14233 14235 12541 0 -1 4194304 2913700 662 0 0 179117 889 0 1 25 0 1 0 59401921 313954304 72068 996147200 134512640 135215973 4294956304 18446744073709551615 134591365 0 0 4096 0 0 0 0 17 0 0 0
/proc/14235/statm: 76649 72068 413 171 0 75574 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 306596

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.45
CPU time (s): 1800.14
CPU user time (s): 1791.18
CPU system time (s): 8.95664
CPU usage (%): 99.8161
Max. virtual memory (cumulated for all children) (KiB): 307160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.18
system time used= 8.95664
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2914362
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= 23
involuntary context switches= 14802

runsolver used 1.9617 second user time and 5.21721 second system time

The end

Launcher Data 

Begin job on node16 at 2009-07-16 07:49:11
IDJOB=2083584
IDBENCH=57867
IDSOLVER=734
FILE ID=node16/2083584-1247723350
PBS_JOBID= 9521454
Free space on /tmp= 66408 MiB

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

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

MD5SUM BENCH= 1f2ebc90aacefa2bf62f5cb29b948cb3
RANDOM SEED=1662686615

node16.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.231
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.231
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:       1332088 kB
Buffers:         70940 kB
Cached:         406012 kB
SwapCached:          0 kB
Active:         228104 kB
Inactive:       426180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1332088 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5456 kB
Writeback:           0 kB
Mapped:         188916 kB
Slab:            54484 kB
Committed_AS:   666268 kB
PageTables:       2216 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= 66408 MiB
End job on node16 at 2009-07-16 08:19:16