Trace number 2080999

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 1810.98

General information on the benchmark

Namecsp/super-os/super-os-taillard-15/
normalized-super-os-taillard-15-19.xml
MD5SUM95627fa130a6174b4d805b27889df00f
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark91.3221
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints9675
Maximum constraint arity2
Maximum domain size999
Number of constraints which are defined in extension0
Number of constraints which are defined in intension9675
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.00/0.01	c Seed is 1844800579
0.00/0.01	c Constructing HOME/instance-2080999-1247719200.xml  with 66375 constraints
0.87/0.98	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-2080999-1247719200/watcher-2080999-1247719200 -o /tmp/evaluation-result-2080999-1247719200/solver-2080999-1247719200 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1844800579 HOME/instance-2080999-1247719200.xml 

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 18422
/proc/meminfo: memFree=1210304/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=2888 CPUtime=0
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 389 660 0 0 0 0 0 0 18 0 1 0 58985056 2957312 35 996147200 134512640 135215973 4294956304 18446744073709551615 4043051 0 0 4096 0 0 0 0 17 1 0 0
/proc/18422/statm: 734 42 32 171 0 10 0

[startup+0.114384 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 18422
/proc/meminfo: memFree=1210304/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=6780 CPUtime=0.09
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 1445 660 0 0 9 0 0 0 19 0 1 0 58985056 6942720 966 996147200 134512640 135215973 4294956304 18446744073709551615 4478587 0 0 4096 0 0 0 0 17 1 0 0
/proc/18422/statm: 1695 966 388 171 0 620 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6780

[startup+0.201393 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 18422
/proc/meminfo: memFree=1210304/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=8840 CPUtime=0.19
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 2098 660 0 0 18 1 0 0 19 0 1 0 58985056 9052160 1402 996147200 134512640 135215973 4294956304 18446744073709551615 4478587 0 0 4096 0 0 0 0 17 1 0 0
/proc/18422/statm: 2210 1402 388 171 0 1135 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8840

[startup+0.301406 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 18422
/proc/meminfo: memFree=1210304/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=12368 CPUtime=0.28
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 3117 660 0 0 27 1 0 0 20 0 1 0 58985056 12664832 1957 996147200 134512640 135215973 4294956304 18446744073709551615 4478587 0 0 4096 0 0 0 0 17 1 0 0
/proc/18422/statm: 3092 1957 388 171 0 2017 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12368

[startup+0.701455 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 18422
/proc/meminfo: memFree=1210304/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=20944 CPUtime=0.68
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 6083 660 0 0 65 3 0 0 23 0 1 0 58985056 21446656 3899 996147200 134512640 135215973 4294956304 18446744073709551615 4478587 0 0 4096 0 0 0 0 17 1 0 0
/proc/18422/statm: 5236 3900 388 171 0 4161 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 20944

[startup+1.50156 s]
/proc/loadavg: 1.92 1.98 1.99 3/74 18427
/proc/meminfo: memFree=1181880/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=42912 CPUtime=1.47
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 13368 660 0 0 140 7 0 0 25 0 1 0 58985056 43941888 9094 996147200 134512640 135215973 4294956304 18446744073709551615 134908065 0 0 4096 0 0 0 0 17 1 0 0
/proc/18422/statm: 10728 9095 406 171 0 9653 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 42912

[startup+3.10176 s]
/proc/loadavg: 1.92 1.98 1.99 3/74 18427
/proc/meminfo: memFree=1169016/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=48088 CPUtime=3.07
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 17807 660 0 0 298 9 0 0 25 0 1 0 58985056 49242112 10572 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 1 0 0
/proc/18422/statm: 12022 10572 406 171 0 10947 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 48088

[startup+6.30116 s]
/proc/loadavg: 1.93 1.98 1.99 3/74 18427
/proc/meminfo: memFree=1167480/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=48228 CPUtime=6.25
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 35551 660 0 0 611 14 0 0 25 0 1 0 58985056 49385472 10620 996147200 134512640 135215973 4294956304 18446744073709551615 135097790 0 0 4096 0 0 0 0 17 1 0 0
/proc/18422/statm: 12057 10620 406 171 0 10982 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 48228

[startup+12.703 s]
/proc/loadavg: 1.93 1.98 1.99 3/74 18427
/proc/meminfo: memFree=1165376/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=49156 CPUtime=12.63
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 68019 660 0 0 1236 27 0 0 25 0 1 0 58985056 50335744 10832 996147200 134512640 135215973 4294956304 18446744073709551615 134902700 0 0 4096 0 0 0 0 17 1 0 0
/proc/18422/statm: 12289 10832 406 171 0 11214 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 49156

[startup+25.5016 s]
/proc/loadavg: 1.95 1.98 1.99 3/74 18427
/proc/meminfo: memFree=1160832/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=50932 CPUtime=25.38
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 173515 660 0 0 2477 61 0 0 25 0 1 0 58985056 52154368 11295 996147200 134512640 135215973 4294956304 18446744073709551615 134592155 0 0 4096 0 0 0 0 17 1 0 0
/proc/18422/statm: 12733 11295 406 171 0 11658 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 50932

[startup+51.1018 s]
/proc/loadavg: 1.96 1.98 1.99 3/74 18427
/proc/meminfo: memFree=1143296/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=66848 CPUtime=50.88
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 331814 660 0 0 4969 119 0 0 25 0 1 0 58985056 68452352 14256 996147200 134512640 135215973 4294956304 18446744073709551615 134588298 0 0 4096 0 0 0 0 17 1 0 0
/proc/18422/statm: 16712 14256 406 171 0 15637 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 66848

[startup+102.301 s]
/proc/loadavg: 1.98 1.98 1.99 3/74 18427
/proc/meminfo: memFree=1122944/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=74428 CPUtime=101.89
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 637714 660 0 0 9954 235 0 0 25 0 1 0 58985056 76214272 16115 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 1 0 0
/proc/18422/statm: 18607 16115 406 171 0 17532 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 74428

[startup+162.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 18427
/proc/meminfo: memFree=1096448/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=85616 CPUtime=161.64
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 849180 660 0 0 15844 320 0 0 25 0 1 0 58985056 87670784 19060 996147200 134512640 135215973 4294956304 18446744073709551615 134583589 0 0 4096 0 0 0 0 17 1 0 0
/proc/18422/statm: 21404 19060 406 171 0 20329 0
Current children cumulated CPU time (s) 161.64
Current children cumulated vsize (KiB) 85616

[startup+222.306 s]
/proc/loadavg: 1.95 1.97 1.99 3/74 18459
/proc/meminfo: memFree=1554504/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=91844 CPUtime=221.24
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 947616 660 0 0 21762 362 0 0 25 0 1 0 58985056 94048256 20616 996147200 134512640 135215973 4294956304 18446744073709551615 134648260 0 0 4096 0 0 0 0 17 0 0 0
/proc/18422/statm: 22961 20616 406 171 0 21886 0
Current children cumulated CPU time (s) 221.24
Current children cumulated vsize (KiB) 91844

[startup+282.302 s]
/proc/loadavg: 1.98 1.97 1.99 3/74 18459
/proc/meminfo: memFree=1498312/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=102592 CPUtime=280.78
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 1036971 660 0 0 27681 397 0 0 25 0 1 0 58985056 105054208 23218 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/18422/statm: 25648 23218 406 171 0 24573 0
Current children cumulated CPU time (s) 280.78
Current children cumulated vsize (KiB) 102592

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/74 18459
/proc/meminfo: memFree=1442440/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=115400 CPUtime=340.31
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 1126971 660 0 0 33597 434 0 0 25 0 1 0 58985056 118169600 25841 996147200 134512640 135215973 4294956304 18446744073709551615 134589885 0 0 4096 0 0 0 0 17 0 0 0
/proc/18422/statm: 28850 25841 406 171 0 27775 0
Current children cumulated CPU time (s) 340.31
Current children cumulated vsize (KiB) 115400

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/74 18459
/proc/meminfo: memFree=1387528/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=124108 CPUtime=399.86
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 1214124 660 0 0 39517 469 0 0 25 0 1 0 58985056 127086592 28490 996147200 134512640 135215973 4294956304 18446744073709551615 4158960148 0 0 4096 0 0 0 0 17 0 0 0
/proc/18422/statm: 31027 28490 406 171 0 29952 0
Current children cumulated CPU time (s) 399.86
Current children cumulated vsize (KiB) 124108

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/74 18459
/proc/meminfo: memFree=1329800/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=142128 CPUtime=459.4
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 1604892 660 0 0 45330 610 0 0 25 0 1 0 58985056 145539072 31369 996147200 134512640 135215973 4294956304 18446744073709551615 134532670 0 0 4096 0 0 0 0 17 0 0 0
/proc/18422/statm: 35532 31369 406 171 0 34457 0
Current children cumulated CPU time (s) 459.4
Current children cumulated vsize (KiB) 142128

[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/74 18459
/proc/meminfo: memFree=1272456/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=154804 CPUtime=518.93
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 1902018 660 0 0 51165 728 0 0 25 0 1 0 58985056 158519296 34831 996147200 134512640 135215973 4294956304 18446744073709551615 134583510 0 0 4096 0 0 0 0 17 0 0 0
/proc/18422/statm: 38701 34831 406 171 0 37626 0
Current children cumulated CPU time (s) 518.93
Current children cumulated vsize (KiB) 154804

[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/74 18459
/proc/meminfo: memFree=1230152/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=164708 CPUtime=578.47
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 2270872 660 0 0 56982 865 0 0 25 0 1 0 58985056 168660992 37333 996147200 134512640 135215973 4294956304 18446744073709551615 134627170 0 0 4096 0 0 0 0 17 0 0 0
/proc/18422/statm: 41177 37333 406 171 0 40102 0
Current children cumulated CPU time (s) 578.47
Current children cumulated vsize (KiB) 164708

[startup+642.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/74 18459
/proc/meminfo: memFree=1191240/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=173108 CPUtime=638.01
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 2618085 660 0 0 62808 993 0 0 25 0 1 0 58985056 177262592 39530 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/18422/statm: 43277 39530 406 171 0 42202 0
Current children cumulated CPU time (s) 638.01
Current children cumulated vsize (KiB) 173108

[startup+702.302 s]

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

[startup+822.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/74 18461
/proc/meminfo: memFree=984072/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=228036 CPUtime=816.62
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 4020742 660 0 0 80207 1455 0 0 25 0 1 0 58985056 233508864 52345 996147200 134512640 135215973 4294956304 18446744073709551615 134587297 0 0 4096 0 0 0 0 17 0 0 0
/proc/18422/statm: 57009 52345 406 171 0 55934 0
Current children cumulated CPU time (s) 816.62
Current children cumulated vsize (KiB) 228036

[startup+882.306 s]
/proc/loadavg: 1.99 1.97 1.99 3/74 18461
/proc/meminfo: memFree=938056/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=236576 CPUtime=876.16
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 4270248 660 0 0 86063 1553 0 0 25 0 1 0 58985056 242253824 54499 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/18422/statm: 59144 54499 406 171 0 58069 0
Current children cumulated CPU time (s) 876.16
Current children cumulated vsize (KiB) 236576

[startup+942.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/74 18461
/proc/meminfo: memFree=886920/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=245600 CPUtime=935.7
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 4559734 660 0 0 91908 1662 0 0 25 0 1 0 58985056 251494400 56817 996147200 134512640 135215973 4294956304 18446744073709551615 134583659 0 0 4096 0 0 0 0 17 0 0 0
/proc/18422/statm: 61400 56817 406 171 0 60325 0
Current children cumulated CPU time (s) 935.7
Current children cumulated vsize (KiB) 245600

[startup+1002.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/74 18461
/proc/meminfo: memFree=830152/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=255276 CPUtime=995.23
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 4837426 660 0 0 97758 1765 0 0 25 0 1 0 58985056 261402624 59269 996147200 134512640 135215973 4294956304 18446744073709551615 134680742 0 0 4096 0 0 0 0 17 0 0 0
/proc/18422/statm: 63819 59269 406 171 0 62744 0
Current children cumulated CPU time (s) 995.23
Current children cumulated vsize (KiB) 255276

[startup+1062.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/74 18461
/proc/meminfo: memFree=768520/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=270256 CPUtime=1054.77
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 5211681 660 0 0 103583 1894 0 0 25 0 1 0 58985056 276742144 63084 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/18422/statm: 67564 63084 406 171 0 66489 0
Current children cumulated CPU time (s) 1054.77
Current children cumulated vsize (KiB) 270256

[startup+1122.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/74 18461
/proc/meminfo: memFree=712968/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=279004 CPUtime=1114.3
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 5668782 660 0 0 109380 2050 0 0 25 0 1 0 58985056 285700096 65353 996147200 134512640 135215973 4294956304 18446744073709551615 4158960272 0 0 4096 0 0 0 0 17 0 0 0
/proc/18422/statm: 69751 65353 406 171 0 68676 0
Current children cumulated CPU time (s) 1114.3
Current children cumulated vsize (KiB) 279004

[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/74 18461
/proc/meminfo: memFree=664712/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=286972 CPUtime=1173.85
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 5952085 660 0 0 115233 2152 0 0 25 0 1 0 58985056 293859328 67368 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/18422/statm: 71743 67368 406 171 0 70668 0
Current children cumulated CPU time (s) 1173.85
Current children cumulated vsize (KiB) 286972

[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/74 18461
/proc/meminfo: memFree=618184/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=294064 CPUtime=1233.39
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 6172312 660 0 0 121106 2233 0 0 25 0 1 0 58985056 301121536 69195 996147200 134512640 135215973 4294956304 18446744073709551615 134524452 0 0 4096 0 0 0 0 17 0 0 0
/proc/18422/statm: 73516 69195 406 171 0 72441 0
Current children cumulated CPU time (s) 1233.39
Current children cumulated vsize (KiB) 294064

[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/74 18467
/proc/meminfo: memFree=567368/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=304332 CPUtime=1292.91
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 6445007 660 0 0 126954 2337 0 0 25 0 1 0 58985056 311635968 71802 996147200 134512640 135215973 4294956304 18446744073709551615 134907424 0 0 4096 0 0 0 0 17 0 0 0
/proc/18422/statm: 76083 71802 406 171 0 75008 0
Current children cumulated CPU time (s) 1292.91
Current children cumulated vsize (KiB) 304332

[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/74 18467
/proc/meminfo: memFree=516168/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=316872 CPUtime=1352.45
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 6684538 660 0 0 132815 2430 0 0 25 0 1 0 58985056 324476928 74957 996147200 134512640 135215973 4294956304 18446744073709551615 134907992 0 0 4096 0 0 0 0 17 0 0 0
/proc/18422/statm: 79218 74957 406 171 0 78143 0
Current children cumulated CPU time (s) 1352.45
Current children cumulated vsize (KiB) 316872

[startup+1422.3 s]
/proc/loadavg: 1.95 1.96 1.98 3/74 18541
/proc/meminfo: memFree=1282816/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=328936 CPUtime=1412.06
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 6919047 660 0 0 138683 2523 0 0 25 0 1 0 58985056 336830464 78018 996147200 134512640 135215973 4294956304 18446744073709551615 134583375 0 0 4096 0 0 0 0 17 0 0 0
/proc/18422/statm: 82234 78018 406 171 0 81159 0
Current children cumulated CPU time (s) 1412.06
Current children cumulated vsize (KiB) 328936

[startup+1482.3 s]
/proc/loadavg: 1.98 1.96 1.98 3/74 18541
/proc/meminfo: memFree=1175232/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=341324 CPUtime=1471.83
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 7146504 660 0 0 144568 2615 0 0 25 0 1 0 58985056 349515776 81139 996147200 134512640 135215973 4294956304 18446744073709551615 4158960648 0 0 4096 0 0 0 0 17 0 0 0
/proc/18422/statm: 85331 81139 406 171 0 84256 0
Current children cumulated CPU time (s) 1471.83
Current children cumulated vsize (KiB) 341324

[startup+1542.31 s]
/proc/loadavg: 1.93 1.95 1.98 3/83 18726
/proc/meminfo: memFree=1291768/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=353512 CPUtime=1531.52
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 7384582 660 0 0 150440 2712 0 0 25 0 1 0 58985056 361996288 84241 996147200 134512640 135215973 4294956304 18446744073709551615 135094988 0 0 4096 0 0 0 0 17 1 0 0
/proc/18422/statm: 88378 84241 406 171 0 87303 0
Current children cumulated CPU time (s) 1531.52
Current children cumulated vsize (KiB) 353512

[startup+1602.3 s]
/proc/loadavg: 2.02 1.97 1.98 3/83 18726
/proc/meminfo: memFree=1264696/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=365768 CPUtime=1591.5
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 7609730 660 0 0 156338 2812 0 0 25 0 1 0 58985056 374546432 87797 996147200 134512640 135215973 4294956304 18446744073709551615 134583383 0 0 4096 0 0 0 0 17 1 0 0
/proc/18422/statm: 91442 87797 406 171 0 90367 0
Current children cumulated CPU time (s) 1591.5
Current children cumulated vsize (KiB) 365768

[startup+1662.3 s]
/proc/loadavg: 2.05 1.99 1.99 3/83 18726
/proc/meminfo: memFree=1240312/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=378032 CPUtime=1651.48
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 7846473 660 0 0 162235 2913 0 0 25 0 1 0 58985056 387104768 91356 996147200 134512640 135215973 4294956304 18446744073709551615 134583491 0 0 4096 0 0 0 0 17 1 0 0
/proc/18422/statm: 94508 91356 406 171 0 93433 0
Current children cumulated CPU time (s) 1651.48
Current children cumulated vsize (KiB) 378032

[startup+1722.3 s]
/proc/loadavg: 2.05 2.00 1.99 3/83 18726
/proc/meminfo: memFree=1219640/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=389812 CPUtime=1711.47
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 8075206 660 0 0 168138 3009 0 0 25 0 1 0 58985056 399167488 94857 996147200 134512640 135215973 4294956304 18446744073709551615 134599830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18422/statm: 97453 94857 406 171 0 96378 0
Current children cumulated CPU time (s) 1711.47
Current children cumulated vsize (KiB) 389812

[startup+1782.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/83 18726
/proc/meminfo: memFree=1198456/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=418444 CPUtime=1771.45
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 8303543 660 0 0 174036 3109 0 0 25 0 1 0 58985056 428486656 98457 996147200 134512640 135215973 4294956304 18446744073709551615 134587409 0 0 4096 0 0 0 0 17 1 0 0
/proc/18422/statm: 104611 98457 406 171 0 103536 0
Current children cumulated CPU time (s) 1771.45
Current children cumulated vsize (KiB) 418444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.9 s]
/proc/loadavg: 2.11 2.04 2.00 3/83 18726
/proc/meminfo: memFree=1188792/2055920 swapFree=4192812/4192956
[pid=18422] ppid=18420 vsize=424504 CPUtime=1800.05
/proc/18422/stat : 18422 (pcs.big) R 18420 18422 16582 0 -1 4194304 8418424 660 0 0 176848 3157 0 0 25 0 1 0 58985056 434692096 100218 996147200 134512640 135215973 4294956304 18446744073709551615 135094992 0 0 4096 0 0 0 0 17 1 0 0
/proc/18422/statm: 106126 100218 406 171 0 105051 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 424504

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): 1810.98
CPU time (s): 1800.14
CPU user time (s): 1768.49
CPU system time (s): 31.6532
CPU usage (%): 99.4016
Max. virtual memory (cumulated for all children) (KiB): 424600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1768.49
system time used= 31.6532
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8419084
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= 33267

runsolver used 1.75173 second user time and 4.85026 second system time

The end

Launcher Data 

Begin job on node92 at 2009-07-16 06:40:00
IDJOB=2080999
IDBENCH=57225
IDSOLVER=734
FILE ID=node92/2080999-1247719200
PBS_JOBID= 9521328
Free space on /tmp= 66304 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/super-os/super-os-taillard-15/normalized-super-os-taillard-15-19.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2080999-1247719200/watcher-2080999-1247719200 -o /tmp/evaluation-result-2080999-1247719200/solver-2080999-1247719200 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1844800579 HOME/instance-2080999-1247719200.xml

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

MD5SUM BENCH= 95627fa130a6174b4d805b27889df00f
RANDOM SEED=1844800579

node92.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.216
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.216
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1210720 kB
Buffers:         75256 kB
Cached:         226596 kB
SwapCached:          0 kB
Active:         544688 kB
Inactive:       230048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1210720 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2936 kB
Writeback:           0 kB
Mapped:         484384 kB
Slab:            54800 kB
Committed_AS:   961916 kB
PageTables:       2856 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= 66296 MiB
End job on node92 at 2009-07-16 07:10:13