Trace number 2080393

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 0.3.2? (TO) 1800.11 1809.99

General information on the benchmark

Namecsp/js-taillard-15/
normalized-js-taillard-15-100-6.xml
MD5SUM86cc81d2eef8616c56c5321a1700a380
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 benchmark127.328
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints1785
Maximum constraint arity2
Maximum domain size1235
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1785
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.02	c Seed is 1233813067
0.00/0.02	c Constructing HOME/instance-2080393-1247717636.xml  with 11445 constraints
0.08/0.20	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-2080393-1247717636/watcher-2080393-1247717636 -o /tmp/evaluation-result-2080393-1247717636/solver-2080393-1247717636 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1233813067 HOME/instance-2080393-1247717636.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.03 2.04 2.00 4/72 18048
/proc/meminfo: memFree=1665264/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=5356 CPUtime=0
/proc/18048/stat : 18048 (pcssolve) R 18046 18048 17004 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 58827251 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 240577473183 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/18048/statm: 1339 241 200 169 0 50 0
[pid=18049] ppid=18048 vsize=100 CPUtime=0
/proc/18049/stat : 18049 (fgrep) R 18048 18048 17004 0 -1 4194304 24 0 0 0 0 0 0 0 22 0 1 0 58827251 102400 3 996147200 0 0 548682069725 18446744073709551615 240577473831 0 0 4096 0 0 0 0 17 1 0 0
/proc/18049/statm: 25 3 0 0 0 2 0
[pid=18050] ppid=18048 vsize=5356 CPUtime=0
/proc/18050/stat : 18050 (pcssolve) R 18048 18048 17004 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 58827251 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 240577473183 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/18050/statm: 1339 241 200 169 0 50 0

[startup+0.0495829 s]
/proc/loadavg: 2.03 2.04 2.00 4/72 18048
/proc/meminfo: memFree=1665264/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=5092 CPUtime=0.03
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 951 661 0 0 3 0 0 0 23 0 1 0 58827251 5214208 582 996147200 134512640 135215973 4294956304 18446744073709551615 4159079126 0 0 4096 0 0 0 0 17 1 0 0
/proc/18048/statm: 1273 582 388 171 0 198 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5092

[startup+0.101591 s]
/proc/loadavg: 2.03 2.04 2.00 4/72 18048
/proc/meminfo: memFree=1665264/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=6528 CPUtime=0.08
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 1321 661 0 0 8 0 0 0 23 0 1 0 58827251 6684672 842 996147200 134512640 135215973 4294956304 18446744073709551615 134738400 0 0 4096 0 0 0 0 17 1 0 0
/proc/18048/statm: 1632 842 388 171 0 557 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6528

[startup+0.301611 s]
/proc/loadavg: 2.03 2.04 2.00 4/72 18048
/proc/meminfo: memFree=1665264/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=11584 CPUtime=0.28
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 3041 661 0 0 27 1 0 0 25 0 1 0 58827251 11862016 2089 996147200 134512640 135215973 4294956304 18446744073709551615 134610680 0 0 4096 0 0 0 0 17 1 0 0
/proc/18048/statm: 2896 2089 404 171 0 1821 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11584

[startup+0.701646 s]
/proc/loadavg: 2.03 2.04 2.00 4/72 18048
/proc/meminfo: memFree=1665264/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=15504 CPUtime=0.67
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 4498 661 0 0 66 1 0 0 25 0 1 0 58827251 15876096 2920 996147200 134512640 135215973 4294956304 18446744073709551615 134593007 0 0 4096 0 0 0 0 17 1 0 0
/proc/18048/statm: 3876 2920 408 171 0 2801 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 15504

[startup+1.50172 s]
/proc/loadavg: 2.02 2.04 2.00 3/73 18053
/proc/meminfo: memFree=1654888/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=15600 CPUtime=1.46
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 4580 661 0 0 145 1 0 0 25 0 1 0 58827251 15974400 3002 996147200 134512640 135215973 4294956304 18446744073709551615 134590545 0 0 4096 0 0 0 0 17 1 0 0
/proc/18048/statm: 3900 3002 408 171 0 2825 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 15600

[startup+3.10186 s]
/proc/loadavg: 2.02 2.04 2.00 3/73 18053
/proc/meminfo: memFree=1654440/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=16052 CPUtime=3.05
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 4678 661 0 0 304 1 0 0 25 0 1 0 58827251 16437248 3100 996147200 134512640 135215973 4294956304 18446744073709551615 134587268 0 0 4096 0 0 0 0 17 1 0 0
/proc/18048/statm: 4013 3100 408 171 0 2938 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 16052

[startup+6.30214 s]
/proc/loadavg: 2.02 2.04 2.00 3/73 18053
/proc/meminfo: memFree=1653544/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=16840 CPUtime=6.22
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 4910 661 0 0 620 2 0 0 25 0 1 0 58827251 17244160 3299 996147200 134512640 135215973 4294956304 18446744073709551615 134592135 0 0 4096 0 0 0 0 17 1 0 0
/proc/18048/statm: 4210 3299 408 171 0 3135 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 16840

[startup+12.7017 s]
/proc/loadavg: 2.02 2.04 2.00 3/73 18053
/proc/meminfo: memFree=1651688/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=18372 CPUtime=12.56
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 5336 661 0 0 1254 2 0 0 25 0 1 0 58827251 18812928 3660 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 1 0 0
/proc/18048/statm: 4593 3660 408 171 0 3518 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 18372

[startup+25.5018 s]
/proc/loadavg: 2.02 2.03 2.00 3/73 18053
/proc/meminfo: memFree=1646504/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=26436 CPUtime=25.24
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 7563 661 0 0 2521 3 0 0 25 0 1 0 58827251 27070464 4925 996147200 134512640 135215973 4294956304 18446744073709551615 134609745 0 0 4096 0 0 0 0 17 1 0 0
/proc/18048/statm: 6609 4925 408 171 0 5534 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 26436

[startup+51.1011 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 18053
/proc/meminfo: memFree=1641192/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=31464 CPUtime=50.62
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 9050 661 0 0 5057 5 0 0 25 0 1 0 58827251 32219136 6155 996147200 134512640 135215973 4294956304 18446744073709551615 134532711 0 0 4096 0 0 0 0 17 1 0 0
/proc/18048/statm: 7866 6155 408 171 0 6791 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 31464

[startup+102.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 18053
/proc/meminfo: memFree=1626536/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=47304 CPUtime=101.37
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 13324 661 0 0 10129 8 0 0 25 0 1 0 58827251 48439296 9787 996147200 134512640 135215973 4294956304 18446744073709551615 134590163 0 0 4096 0 0 0 0 17 1 0 0
/proc/18048/statm: 11826 9787 408 171 0 10751 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 47304

[startup+162.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 18053
/proc/meminfo: memFree=1609448/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=60168 CPUtime=160.84
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 16933 661 0 0 16073 11 0 0 25 0 1 0 58827251 61612032 13396 996147200 134512640 135215973 4294956304 18446744073709551615 134648260 0 0 4096 0 0 0 0 17 1 0 0
/proc/18048/statm: 15042 13396 408 171 0 13967 0
Current children cumulated CPU time (s) 160.84
Current children cumulated vsize (KiB) 60168

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 18053
/proc/meminfo: memFree=1591144/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=79160 CPUtime=220.32
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 22185 661 0 0 22017 15 0 0 25 0 1 0 58827251 81059840 17623 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 1 0 0
/proc/18048/statm: 19790 17623 408 171 0 18715 0
Current children cumulated CPU time (s) 220.32
Current children cumulated vsize (KiB) 79160

[startup+282.302 s]
/proc/loadavg: 2.05 2.02 2.00 3/73 18053
/proc/meminfo: memFree=1574952/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=92172 CPUtime=279.81
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 25917 661 0 0 27961 20 0 0 25 0 1 0 58827251 94384128 21355 996147200 134512640 135215973 4294956304 18446744073709551615 134908279 0 0 4096 0 0 0 0 17 1 0 0
/proc/18048/statm: 23043 21355 408 171 0 21968 0
Current children cumulated CPU time (s) 279.81
Current children cumulated vsize (KiB) 92172

[startup+342.302 s]
/proc/loadavg: 2.06 2.03 2.00 3/73 18053
/proc/meminfo: memFree=1557736/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=114940 CPUtime=339.3
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 31950 661 0 0 33906 24 0 0 25 0 1 0 58827251 117698560 25339 996147200 134512640 135215973 4294956304 18446744073709551615 134976569 0 0 4096 0 0 0 0 17 1 0 0
/proc/18048/statm: 28735 25339 408 171 0 27660 0
Current children cumulated CPU time (s) 339.3
Current children cumulated vsize (KiB) 114940

[startup+402.301 s]
/proc/loadavg: 2.11 2.05 2.01 3/73 18053
/proc/meminfo: memFree=1535912/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=133680 CPUtime=398.76
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 37121 661 0 0 39849 27 0 0 25 0 1 0 58827251 136888320 30510 996147200 134512640 135215973 4294956304 18446744073709551615 4158960503 0 0 4096 0 0 0 0 17 1 0 0
/proc/18048/statm: 33420 30510 408 171 0 32345 0
Current children cumulated CPU time (s) 398.76
Current children cumulated vsize (KiB) 133680

[startup+462.302 s]
/proc/loadavg: 2.04 2.04 2.00 3/73 18053
/proc/meminfo: memFree=1514280/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=153292 CPUtime=458.25
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 42472 661 0 0 45794 31 0 0 25 0 1 0 58827251 156971008 35571 996147200 134512640 135215973 4294956304 18446744073709551615 134590678 0 0 4096 0 0 0 0 17 1 0 0
/proc/18048/statm: 38323 35571 408 171 0 37248 0
Current children cumulated CPU time (s) 458.25
Current children cumulated vsize (KiB) 153292

[startup+522.302 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 18053
/proc/meminfo: memFree=1494120/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=170732 CPUtime=517.73
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 47241 661 0 0 51738 35 0 0 25 0 1 0 58827251 174829568 40340 996147200 134512640 135215973 4294956304 18446744073709551615 134583610 0 0 4096 0 0 0 0 17 1 0 0
/proc/18048/statm: 42683 40340 408 171 0 41608 0
Current children cumulated CPU time (s) 517.73
Current children cumulated vsize (KiB) 170732

[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 18053
/proc/meminfo: memFree=1474856/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=186540 CPUtime=577.22
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 51645 661 0 0 57684 38 0 0 25 0 1 0 58827251 191016960 44744 996147200 134512640 135215973 4294956304 18446744073709551615 134532667 0 0 4096 0 0 0 0 17 1 0 0
/proc/18048/statm: 46635 44744 408 171 0 45560 0
Current children cumulated CPU time (s) 577.22
Current children cumulated vsize (KiB) 186540

[startup+642.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 18053
/proc/meminfo: memFree=1460712/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=197700 CPUtime=636.71

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

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18053
/proc/meminfo: memFree=1389992/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=274788 CPUtime=874.64
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 75692 661 0 0 87410 54 0 0 25 0 1 0 58827251 281382912 64181 996147200 134512640 135215973 4294956304 18446744073709551615 134601489 0 0 4096 0 0 0 0 17 1 0 0
/proc/18048/statm: 68697 64181 408 171 0 67622 0
Current children cumulated CPU time (s) 874.64
Current children cumulated vsize (KiB) 274788

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18053
/proc/meminfo: memFree=1376552/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=285516 CPUtime=934.11
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 78769 661 0 0 93355 56 0 0 25 0 1 0 58827251 292368384 67258 996147200 134512640 135215973 4294956304 18446744073709551615 134641100 0 0 4096 0 0 0 0 17 1 0 0
/proc/18048/statm: 71379 67258 408 171 0 70304 0
Current children cumulated CPU time (s) 934.11
Current children cumulated vsize (KiB) 285516

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18053
/proc/meminfo: memFree=1360680/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=298416 CPUtime=993.6
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 82376 661 0 0 99300 60 0 0 25 0 1 0 58827251 305577984 70865 996147200 134512640 135215973 4294956304 18446744073709551615 135094648 0 0 4096 0 0 0 0 17 1 0 0
/proc/18048/statm: 74604 70865 408 171 0 73529 0
Current children cumulated CPU time (s) 993.6
Current children cumulated vsize (KiB) 298416

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18053
/proc/meminfo: memFree=1344680/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=311496 CPUtime=1053.08
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 86063 661 0 0 105246 62 0 0 25 0 1 0 58827251 318971904 74552 996147200 134512640 135215973 4294956304 18446744073709551615 4158960058 0 0 4096 0 0 0 0 17 1 0 0
/proc/18048/statm: 77874 74552 408 171 0 76799 0
Current children cumulated CPU time (s) 1053.08
Current children cumulated vsize (KiB) 311496

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 18092
/proc/meminfo: memFree=1327648/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=325196 CPUtime=1112.67
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 89928 661 0 0 111200 67 0 0 25 0 1 0 58827251 333000704 78417 996147200 134512640 135215973 4294956304 18446744073709551615 134600035 0 0 4096 0 0 0 0 17 0 0 0
/proc/18048/statm: 81299 78417 408 171 0 80224 0
Current children cumulated CPU time (s) 1112.67
Current children cumulated vsize (KiB) 325196

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18092
/proc/meminfo: memFree=1296288/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=340472 CPUtime=1172.66
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 94225 661 0 0 117194 72 0 0 25 0 1 0 58827251 348643328 82714 996147200 134512640 135215973 4294956304 18446744073709551615 4158960255 0 0 4096 0 0 0 0 17 0 0 0
/proc/18048/statm: 85118 82714 408 171 0 84043 0
Current children cumulated CPU time (s) 1172.66
Current children cumulated vsize (KiB) 340472

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18092
/proc/meminfo: memFree=1269216/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=355112 CPUtime=1232.63
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 98346 661 0 0 123188 75 0 0 25 0 1 0 58827251 363634688 86835 996147200 134512640 135215973 4294956304 18446744073709551615 134587525 0 0 4096 0 0 0 0 17 0 0 0
/proc/18048/statm: 88778 86835 408 171 0 87703 0
Current children cumulated CPU time (s) 1232.63
Current children cumulated vsize (KiB) 355112

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18092
/proc/meminfo: memFree=1245728/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=402392 CPUtime=1292.61
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 110582 661 0 0 129179 82 0 0 25 0 1 0 58827251 412049408 90878 996147200 134512640 135215973 4294956304 18446744073709551615 134982947 0 0 4096 0 0 0 0 17 0 0 0
/proc/18048/statm: 100598 90878 408 171 0 99523 0
Current children cumulated CPU time (s) 1292.61
Current children cumulated vsize (KiB) 402392

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18092
/proc/meminfo: memFree=1227040/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=414356 CPUtime=1352.58
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 113918 661 0 0 135174 84 0 0 25 0 1 0 58827251 424300544 94214 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/18048/statm: 103589 94214 408 171 0 102514 0
Current children cumulated CPU time (s) 1352.58
Current children cumulated vsize (KiB) 414356

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18092
/proc/meminfo: memFree=1206240/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=427708 CPUtime=1412.56
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 117609 661 0 0 141169 87 0 0 25 0 1 0 58827251 437972992 97905 996147200 134512640 135215973 4294956304 18446744073709551615 134600080 0 0 4096 0 0 0 0 17 0 0 0
/proc/18048/statm: 106927 97905 408 171 0 105852 0
Current children cumulated CPU time (s) 1412.56
Current children cumulated vsize (KiB) 427708

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18092
/proc/meminfo: memFree=1185696/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=440576 CPUtime=1472.53
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 121180 661 0 0 147163 90 0 0 25 0 1 0 58827251 451149824 101476 996147200 134512640 135215973 4294956304 18446744073709551615 134957882 0 0 4096 0 0 0 0 17 0 0 0
/proc/18048/statm: 110144 101476 408 171 0 109069 0
Current children cumulated CPU time (s) 1472.53
Current children cumulated vsize (KiB) 440576

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18092
/proc/meminfo: memFree=1166816/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=453784 CPUtime=1532.51
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 124816 661 0 0 153158 93 0 0 25 0 1 0 58827251 464674816 105112 996147200 134512640 135215973 4294956304 18446744073709551615 134590070 0 0 4096 0 0 0 0 17 0 0 0
/proc/18048/statm: 113446 105112 408 171 0 112371 0
Current children cumulated CPU time (s) 1532.51
Current children cumulated vsize (KiB) 453784

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18094
/proc/meminfo: memFree=971152/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=466276 CPUtime=1592.5
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 128247 661 0 0 159154 96 0 0 25 0 1 0 58827251 477466624 108543 996147200 134512640 135215973 4294956304 18446744073709551615 134590070 0 0 4096 0 0 0 0 17 0 0 0
/proc/18048/statm: 116569 108543 408 171 0 115494 0
Current children cumulated CPU time (s) 1592.5
Current children cumulated vsize (KiB) 466276

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18094
/proc/meminfo: memFree=845392/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=480504 CPUtime=1652.47
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 132143 661 0 0 165147 100 0 0 25 0 1 0 58827251 492036096 112439 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 0 0 0
/proc/18048/statm: 120126 112439 408 171 0 119051 0
Current children cumulated CPU time (s) 1652.47
Current children cumulated vsize (KiB) 480504

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/83 18094
/proc/meminfo: memFree=781264/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=497140 CPUtime=1712.45
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 136684 661 0 0 171140 105 0 0 25 0 1 0 58827251 509071360 116980 996147200 134512640 135215973 4294956304 18446744073709551615 134587409 0 0 4096 0 0 0 0 17 0 0 0
/proc/18048/statm: 124285 116980 408 171 0 123210 0
Current children cumulated CPU time (s) 1712.45
Current children cumulated vsize (KiB) 497140

[startup+1782.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/83 18094
/proc/meminfo: memFree=750864/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=512184 CPUtime=1772.42
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 140795 661 0 0 177133 109 0 0 25 0 1 0 58827251 524476416 121091 996147200 134512640 135215973 4294956304 18446744073709551615 134977058 0 0 4096 0 0 0 0 17 0 0 0
/proc/18048/statm: 128046 121091 408 171 0 126971 0
Current children cumulated CPU time (s) 1772.42
Current children cumulated vsize (KiB) 512184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.9 s]
/proc/loadavg: 2.10 2.04 2.01 3/83 18094
/proc/meminfo: memFree=744208/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=518172 CPUtime=1800.02
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 142457 661 0 0 179891 111 0 0 25 0 1 0 58827251 530608128 122753 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 0 0 0
/proc/18048/statm: 129543 122753 408 171 0 128468 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 518172

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

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

[startup+1809.9 s]
/proc/loadavg: 2.10 2.04 2.01 3/83 18094
/proc/meminfo: memFree=744208/2055920 swapFree=4192812/4192956
[pid=18048] ppid=18046 vsize=518172 CPUtime=1800.02
/proc/18048/stat : 18048 (pcs.big) R 18046 18048 17004 0 -1 4194304 142457 661 0 0 179891 111 0 0 25 0 1 0 58827251 530608128 122753 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 0 0 0
/proc/18048/statm: 129543 122753 408 171 0 128468 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 518172

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1809.99
CPU time (s): 1800.11
CPU user time (s): 1798.91
CPU system time (s): 1.19982
CPU usage (%): 99.4545
Max. virtual memory (cumulated for all children) (KiB): 518172

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

runsolver used 2.68059 second user time and 5.16621 second system time

The end

Launcher Data 

Begin job on node50 at 2009-07-16 06:13:56
IDJOB=2080393
IDBENCH=57081
IDSOLVER=733
FILE ID=node50/2080393-1247717636
PBS_JOBID= 9521412
Free space on /tmp= 66396 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/js-taillard-15/normalized-js-taillard-15-100-6.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2080393-1247717636/watcher-2080393-1247717636 -o /tmp/evaluation-result-2080393-1247717636/solver-2080393-1247717636 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1233813067 HOME/instance-2080393-1247717636.xml

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

MD5SUM BENCH= 86cc81d2eef8616c56c5321a1700a380
RANDOM SEED=1233813067

node50.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:       1665744 kB
Buffers:         67400 kB
Cached:         221532 kB
SwapCached:          0 kB
Active:          97284 kB
Inactive:       220372 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1665744 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1968 kB
Writeback:           0 kB
Mapped:          40252 kB
Slab:            57816 kB
Committed_AS:   494528 kB
PageTables:       1828 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= 66388 MiB
End job on node50 at 2009-07-16 06:44:08