Trace number 2081582

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
pcs-restart 0.3.2? (TO) 1800.09 1801.94

General information on the benchmark

Namecsp/super-js/super-js-taillard-20-15/
normalized-super-js-taillard-20-15-28.xml
MD5SUM0ee4188de7d6c5919718ac5c6628a5b8
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 benchmark4.49032
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of constraints9690
Maximum constraint arity2
Maximum domain size1360
Number of constraints which are defined in extension0
Number of constraints which are defined in intension9690
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 1819900998
0.17/0.21	c Constructing HOME/instance-2081582-1247719936.xml  with 61830 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-2081582-1247719936/watcher-2081582-1247719936 -o /tmp/evaluation-result-2081582-1247719936/solver-2081582-1247719936 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1819900998 HOME/instance-2081582-1247719936.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/81 14717
/proc/meminfo: memFree=1718792/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=5356 CPUtime=0
/proc/14717/stat : 14717 (pcssolve) R 14715 14717 13366 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 59056183 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 231962372767 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14717/statm: 1339 241 200 169 0 50 0
[pid=14718] ppid=14717 vsize=0 CPUtime=0
/proc/14718/stat : 14718 (pcssolve) R 14717 14717 13366 0 -1 4194368 22 0 0 0 0 0 0 0 22 0 1 0 59056183 0 0 996147200 0 0 0 18446744073709551615 231962373415 0 0 4096 0 0 0 0 17 1 0 0
/proc/14718/statm: 0 0 0 0 0 0 0
[pid=14719] ppid=14717 vsize=5356 CPUtime=0
/proc/14719/stat : 14719 (pcssolve) R 14717 14717 13366 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 59056183 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 231962372767 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14719/statm: 1339 241 200 169 0 50 0

[startup+0.103497 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 14717
/proc/meminfo: memFree=1718792/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=6692 CPUtime=0.08
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 1356 661 0 0 8 0 0 0 18 0 1 0 59056183 6852608 866 996147200 134512640 135215973 4294956304 18446744073709551615 4159166627 0 0 4096 0 0 0 0 17 1 0 0
/proc/14717/statm: 1673 866 388 171 0 598 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6692

[startup+0.201507 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 14717
/proc/meminfo: memFree=1718792/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=8860 CPUtime=0.17
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 2050 661 0 0 16 1 0 0 18 0 1 0 59056183 9072640 1320 996147200 134512640 135215973 4294956304 18446744073709551615 134738400 0 0 4096 0 0 0 0 17 1 0 0
/proc/14717/statm: 2215 1320 388 171 0 1140 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 8860

[startup+0.30152 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 14717
/proc/meminfo: memFree=1718792/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=10416 CPUtime=0.27
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 2612 661 0 0 26 1 0 0 19 0 1 0 59056183 10665984 1753 996147200 134512640 135215973 4294956304 18446744073709551615 4158933711 0 0 4096 0 0 0 0 17 1 0 0
/proc/14717/statm: 2604 1753 388 171 0 1529 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10416

[startup+0.701578 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 14717
/proc/meminfo: memFree=1718792/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=19728 CPUtime=0.67
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 5692 661 0 0 64 3 0 0 23 0 1 0 59056183 20201472 3709 996147200 134512640 135215973 4294956304 18446744073709551615 134761742 0 0 4096 0 0 0 0 17 1 0 0
/proc/14717/statm: 4932 3709 388 171 0 3857 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 19728

[startup+1.50169 s]
/proc/loadavg: 1.92 1.98 1.99 3/82 14722
/proc/meminfo: memFree=1693056/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=38844 CPUtime=1.46
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 12555 661 0 0 140 6 0 0 25 0 1 0 59056183 39776256 8792 996147200 134512640 135215973 4294956304 18446744073709551615 134648324 0 0 4096 0 0 0 0 17 1 0 0
/proc/14717/statm: 9711 8792 404 171 0 8636 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 38844

[startup+3.1019 s]
/proc/loadavg: 1.92 1.98 1.99 3/82 14722
/proc/meminfo: memFree=1673728/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=54236 CPUtime=3.05
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 19711 661 0 0 296 9 0 0 25 0 1 0 59056183 55537664 11994 996147200 134512640 135215973 4294956304 18446744073709551615 134957761 0 0 4096 0 0 0 0 17 1 0 0
/proc/14717/statm: 13559 11994 408 171 0 12484 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 54236

[startup+6.30135 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 14722
/proc/meminfo: memFree=1671488/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=54236 CPUtime=6.21
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 23508 661 0 0 611 10 0 0 25 0 1 0 59056183 55537664 12567 996147200 134512640 135215973 4294956304 18446744073709551615 134587250 0 0 4096 0 0 0 0 17 1 0 0
/proc/14717/statm: 13559 12567 408 171 0 12484 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 54236

[startup+12.7022 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 14722
/proc/meminfo: memFree=1660800/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=75072 CPUtime=12.55
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 33729 661 0 0 1241 14 0 0 25 0 1 0 59056183 76873728 14727 996147200 134512640 135215973 4294956304 18446744073709551615 4158960181 0 0 4096 0 0 0 0 17 1 0 0
/proc/14717/statm: 18768 14727 408 171 0 17693 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 75072

[startup+25.502 s]
/proc/loadavg: 1.95 1.98 1.99 3/82 14722
/proc/meminfo: memFree=1658688/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=75328 CPUtime=25.23
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 49914 661 0 0 2503 20 0 0 25 0 1 0 59056183 77135872 15260 996147200 134512640 135215973 4294956304 18446744073709551615 134609771 0 0 4096 0 0 0 0 17 1 0 0
/proc/14717/statm: 18832 15260 408 171 0 17757 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 75328

[startup+51.1015 s]
/proc/loadavg: 1.96 1.98 1.99 3/82 14722
/proc/meminfo: memFree=1656320/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=76104 CPUtime=50.6
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 74012 661 0 0 5028 32 0 0 25 0 1 0 59056183 77930496 15873 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/14717/statm: 19026 15873 408 171 0 17951 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 76104

[startup+102.302 s]
/proc/loadavg: 1.98 1.98 1.99 3/82 14722
/proc/meminfo: memFree=1654656/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=77548 CPUtime=101.32
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 123687 661 0 0 10080 52 0 0 25 0 1 0 59056183 79409152 16239 996147200 134512640 135215973 4294956304 18446744073709551615 134610758 0 0 4096 0 0 0 0 17 1 0 0
/proc/14717/statm: 19387 16239 408 171 0 18312 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 77548

[startup+162.302 s]
/proc/loadavg: 1.95 1.97 1.99 3/73 14755
/proc/meminfo: memFree=1610056/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=79620 CPUtime=161.14
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 161266 661 0 0 16046 68 0 0 25 0 1 0 59056183 81530880 16769 996147200 134512640 135215973 4294956304 18446744073709551615 134907424 0 0 4096 0 0 0 0 17 0 0 0
/proc/14717/statm: 19905 16769 408 171 0 18830 0
Current children cumulated CPU time (s) 161.14
Current children cumulated vsize (KiB) 79620

[startup+222.306 s]
/proc/loadavg: 1.98 1.97 1.99 3/73 14755
/proc/meminfo: memFree=1606984/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=81956 CPUtime=221.12
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 195273 661 0 0 22027 85 0 0 25 0 1 0 59056183 83922944 17187 996147200 134512640 135215973 4294956304 18446744073709551615 134583393 0 0 4096 0 0 0 0 17 0 0 0
/proc/14717/statm: 20489 17187 408 171 0 19414 0
Current children cumulated CPU time (s) 221.12
Current children cumulated vsize (KiB) 81956

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 14755
/proc/meminfo: memFree=1600392/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=83644 CPUtime=281.09
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 211337 661 0 0 28017 92 0 0 25 0 1 0 59056183 85651456 17703 996147200 134512640 135215973 4294956304 18446744073709551615 134957935 0 0 4096 0 0 0 0 17 0 0 0
/proc/14717/statm: 20911 17703 408 171 0 19836 0
Current children cumulated CPU time (s) 281.09
Current children cumulated vsize (KiB) 83644

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 14755
/proc/meminfo: memFree=1595336/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=89252 CPUtime=341.06
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 221957 661 0 0 34009 97 0 0 25 0 1 0 59056183 91394048 18606 996147200 134512640 135215973 4294956304 18446744073709551615 134641053 0 0 4096 0 0 0 0 17 0 0 0
/proc/14717/statm: 22313 18606 408 171 0 21238 0
Current children cumulated CPU time (s) 341.06
Current children cumulated vsize (KiB) 89252

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 14755
/proc/meminfo: memFree=1588744/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=92284 CPUtime=401.04
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 243527 661 0 0 39997 107 0 0 25 0 1 0 59056183 94498816 19584 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/14717/statm: 23071 19584 408 171 0 21996 0
Current children cumulated CPU time (s) 401.04
Current children cumulated vsize (KiB) 92284

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 14755
/proc/meminfo: memFree=1577424/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=99344 CPUtime=461.01
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 288121 661 0 0 45977 124 0 0 25 0 1 0 59056183 101728256 21857 996147200 134512640 135215973 4294956304 18446744073709551615 135096511 0 0 4096 0 0 0 0 17 0 0 0
/proc/14717/statm: 24836 21857 408 171 0 23761 0
Current children cumulated CPU time (s) 461.01
Current children cumulated vsize (KiB) 99344

[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 14755
/proc/meminfo: memFree=1558800/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=101032 CPUtime=520.98
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 323488 661 0 0 51961 137 0 0 25 0 1 0 59056183 103456768 22384 996147200 134512640 135215973 4294956304 18446744073709551615 134592045 0 0 4096 0 0 0 0 17 0 0 0
/proc/14717/statm: 25258 22384 408 171 0 24183 0
Current children cumulated CPU time (s) 520.98
Current children cumulated vsize (KiB) 101032

[startup+582.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 14761
/proc/meminfo: memFree=1529424/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=103256 CPUtime=580.94
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 382279 661 0 0 57933 161 0 0 25 0 1 0 59056183 105734144 23039 996147200 134512640 135215973 4294956304 18446744073709551615 134648295 0 0 4096 0 0 0 0 17 0 0 0
/proc/14717/statm: 25814 23039 408 171 0 24739 0
Current children cumulated CPU time (s) 580.94
Current children cumulated vsize (KiB) 103256

[startup+642.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 14761
/proc/meminfo: memFree=1523984/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=106536 CPUtime=640.93

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

[startup+822.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 14761
/proc/meminfo: memFree=1504080/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=121260 CPUtime=820.85
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 592160 661 0 0 81839 246 0 0 25 0 1 0 59056183 124170240 27535 996147200 134512640 135215973 4294956304 18446744073709551615 134610583 0 0 4096 0 0 0 0 17 0 0 0
/proc/14717/statm: 30315 27535 408 171 0 29240 0
Current children cumulated CPU time (s) 820.85
Current children cumulated vsize (KiB) 121260

[startup+882.306 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 14761
/proc/meminfo: memFree=1498960/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=124576 CPUtime=880.84
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 613684 661 0 0 87830 254 0 0 25 0 1 0 59056183 127565824 28467 996147200 134512640 135215973 4294956304 18446744073709551615 134610758 0 0 4096 0 0 0 0 17 0 0 0
/proc/14717/statm: 31144 28467 408 171 0 30069 0
Current children cumulated CPU time (s) 880.84
Current children cumulated vsize (KiB) 124576

[startup+942.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 14761
/proc/meminfo: memFree=1494096/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=127872 CPUtime=940.8
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 634935 661 0 0 93818 262 0 0 25 0 1 0 59056183 130940928 29386 996147200 134512640 135215973 4294956304 18446744073709551615 134590020 0 0 4096 0 0 0 0 17 0 0 0
/proc/14717/statm: 31968 29386 408 171 0 30893 0
Current children cumulated CPU time (s) 940.8
Current children cumulated vsize (KiB) 127872

[startup+1002.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 14761
/proc/meminfo: memFree=1489040/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=131164 CPUtime=1000.77
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 656628 661 0 0 99808 269 0 0 25 0 1 0 59056183 134311936 30331 996147200 134512640 135215973 4294956304 18446744073709551615 135094439 0 0 4096 0 0 0 0 17 0 0 0
/proc/14717/statm: 32791 30331 408 171 0 31716 0
Current children cumulated CPU time (s) 1000.77
Current children cumulated vsize (KiB) 131164

[startup+1062.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 14761
/proc/meminfo: memFree=1484880/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=133368 CPUtime=1060.74
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 686864 661 0 0 105791 283 0 0 25 0 1 0 59056183 136568832 30979 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 0 0 0
/proc/14717/statm: 33342 30979 408 171 0 32267 0
Current children cumulated CPU time (s) 1060.74
Current children cumulated vsize (KiB) 133368

[startup+1122.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 14761
/proc/meminfo: memFree=1480144/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=136356 CPUtime=1120.71
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 709282 661 0 0 111778 293 0 0 25 0 1 0 59056183 139628544 31817 996147200 134512640 135215973 4294956304 18446744073709551615 134590047 0 0 4096 0 0 0 0 17 0 0 0
/proc/14717/statm: 34089 31817 408 171 0 33014 0
Current children cumulated CPU time (s) 1120.71
Current children cumulated vsize (KiB) 136356

[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 14761
/proc/meminfo: memFree=1475472/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=138952 CPUtime=1180.69
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 730713 661 0 0 117766 303 0 0 25 0 1 0 59056183 142286848 32552 996147200 134512640 135215973 4294956304 18446744073709551615 134648245 0 0 4096 0 0 0 0 17 0 0 0
/proc/14717/statm: 34738 32552 408 171 0 33663 0
Current children cumulated CPU time (s) 1180.69
Current children cumulated vsize (KiB) 138952

[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 14761
/proc/meminfo: memFree=1470800/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=141824 CPUtime=1240.67
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 765623 661 0 0 123750 317 0 0 25 0 1 0 59056183 145227776 33350 996147200 134512640 135215973 4294956304 18446744073709551615 134581797 0 0 4096 0 0 0 0 17 0 0 0
/proc/14717/statm: 35456 33350 408 171 0 34381 0
Current children cumulated CPU time (s) 1240.67
Current children cumulated vsize (KiB) 141824

[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 14761
/proc/meminfo: memFree=1467088/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=143516 CPUtime=1300.64
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 789527 661 0 0 129737 327 0 0 25 0 1 0 59056183 146960384 33854 996147200 134512640 135215973 4294956304 18446744073709551615 134532689 0 0 4096 0 0 0 0 17 0 0 0
/proc/14717/statm: 35879 33854 408 171 0 34804 0
Current children cumulated CPU time (s) 1300.64
Current children cumulated vsize (KiB) 143516

[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 14761
/proc/meminfo: memFree=1462672/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=146116 CPUtime=1360.62
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 822996 661 0 0 135721 341 0 0 25 0 1 0 59056183 149622784 34563 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/14717/statm: 36529 34563 408 171 0 35454 0
Current children cumulated CPU time (s) 1360.62
Current children cumulated vsize (KiB) 146116

[startup+1422.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 14761
/proc/meminfo: memFree=1458832/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=147524 CPUtime=1420.6
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 865066 661 0 0 141702 358 0 0 25 0 1 0 59056183 151064576 34981 996147200 134512640 135215973 4294956304 18446744073709551615 134982814 0 0 4096 0 0 0 0 17 0 0 0
/proc/14717/statm: 36881 34981 408 171 0 35806 0
Current children cumulated CPU time (s) 1420.6
Current children cumulated vsize (KiB) 147524

[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 14761
/proc/meminfo: memFree=1453264/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=158832 CPUtime=1480.57
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 906869 661 0 0 147680 377 0 0 25 0 1 0 59056183 162643968 35839 996147200 134512640 135215973 4294956304 18446744073709551615 134591047 0 0 4096 0 0 0 0 17 0 0 0
/proc/14717/statm: 39708 35839 408 171 0 38633 0
Current children cumulated CPU time (s) 1480.57
Current children cumulated vsize (KiB) 158832

[startup+1542.31 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 14761
/proc/meminfo: memFree=1446416/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=162112 CPUtime=1540.55
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 942409 661 0 0 153663 392 0 0 25 0 1 0 59056183 166002688 36695 996147200 134512640 135215973 4294956304 18446744073709551615 134902564 0 0 4096 0 0 0 0 17 0 0 0
/proc/14717/statm: 40528 36695 408 171 0 39453 0
Current children cumulated CPU time (s) 1540.55
Current children cumulated vsize (KiB) 162112

[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 14761
/proc/meminfo: memFree=1439248/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=165204 CPUtime=1600.51
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 971283 661 0 0 159648 403 0 0 25 0 1 0 59056183 169168896 37541 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/14717/statm: 41301 37541 408 171 0 40226 0
Current children cumulated CPU time (s) 1600.51
Current children cumulated vsize (KiB) 165204

[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 14761
/proc/meminfo: memFree=1433488/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=166604 CPUtime=1660.49
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 996357 661 0 0 165633 416 0 0 25 0 1 0 59056183 170602496 37967 996147200 134512640 135215973 4294956304 18446744073709551615 135094939 0 0 4096 0 0 0 0 17 0 0 0
/proc/14717/statm: 41651 37967 408 171 0 40576 0
Current children cumulated CPU time (s) 1660.49
Current children cumulated vsize (KiB) 166604

[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 14761
/proc/meminfo: memFree=1427728/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=169848 CPUtime=1720.46
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 1016169 661 0 0 171621 425 0 0 25 0 1 0 59056183 173924352 38851 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/14717/statm: 42462 38851 408 171 0 41387 0
Current children cumulated CPU time (s) 1720.46
Current children cumulated vsize (KiB) 169848

[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 14761
/proc/meminfo: memFree=1421968/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=172296 CPUtime=1780.44
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 1044215 661 0 0 177606 438 0 0 25 0 1 0 59056183 176431104 39545 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/14717/statm: 43074 39545 408 171 0 41999 0
Current children cumulated CPU time (s) 1780.44
Current children cumulated vsize (KiB) 172296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.91 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 14761
/proc/meminfo: memFree=1419856/2055920 swapFree=4192812/4192956
[pid=14717] ppid=14715 vsize=173732 CPUtime=1800.04
/proc/14717/stat : 14717 (pcs.big) R 14715 14717 13366 0 -1 4194304 1062972 661 0 0 179558 446 0 0 25 0 1 0 59056183 177901568 39946 996147200 134512640 135215973 4294956304 18446744073709551615 134532911 0 0 4096 0 0 0 0 17 0 0 0
/proc/14717/statm: 43433 39946 408 171 0 42358 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 173732

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): 1801.94
CPU time (s): 1800.09
CPU user time (s): 1795.58
CPU system time (s): 4.50331
CPU usage (%): 99.8971
Max. virtual memory (cumulated for all children) (KiB): 173732

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

runsolver used 2.73258 second user time and 5.45417 second system time

The end

Launcher Data 

Begin job on node71 at 2009-07-16 06:52:16
IDJOB=2081582
IDBENCH=57436
IDSOLVER=734
FILE ID=node71/2081582-1247719936
PBS_JOBID= 9521428
Free space on /tmp= 66392 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/super-js/super-js-taillard-20-15/normalized-super-js-taillard-20-15-28.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2081582-1247719936/watcher-2081582-1247719936 -o /tmp/evaluation-result-2081582-1247719936/solver-2081582-1247719936 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1819900998 HOME/instance-2081582-1247719936.xml

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

MD5SUM BENCH= 0ee4188de7d6c5919718ac5c6628a5b8
RANDOM SEED=1819900998

node71.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.222
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.222
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:       1719272 kB
Buffers:         68680 kB
Cached:         143344 kB
SwapCached:          0 kB
Active:         107132 kB
Inactive:       139456 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1719272 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2952 kB
Writeback:           0 kB
Mapped:          55004 kB
Slab:            75056 kB
Committed_AS:   580220 kB
PageTables:       1940 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= 66392 MiB
End job on node71 at 2009-07-16 07:22:20