Trace number 2081515

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 1807.94

General information on the benchmark

Namecsp/super-js/super-js-taillard-15/
normalized-super-js-taillard-15-21.xml
MD5SUM11fa157cba8e1d54b2e29b7001f2eb89
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 benchmark2.01869
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Maximum constraint arity2
Maximum domain size1185
Number of constraints which are defined in extension0
Number of constraints which are defined in intension5580
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.23	c Seed is 609653244
0.17/0.23	c Constructing HOME/instance-2081515-1247719716.xml  with 34560 constraints
0.48/0.57	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-2081515-1247719716/watcher-2081515-1247719716 -o /tmp/evaluation-result-2081515-1247719716/solver-2081515-1247719716 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 609653244 HOME/instance-2081515-1247719716.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 7557
/proc/meminfo: memFree=1378024/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=18576 CPUtime=0
/proc/7557/stat : 7557 (runsolver) R 7555 7557 5643 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59038018 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 253307186471 0 0 4096 24578 0 0 0 17 1 0 0
/proc/7557/statm: 4644 284 249 26 0 2626 0

[startup+0.1688 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 7557
/proc/meminfo: memFree=1378024/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=8536 CPUtime=0.14
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 1901 660 0 0 14 0 0 0 18 0 1 0 59038018 8740864 1205 996147200 134512640 135215973 4294956304 18446744073709551615 4159202485 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 2134 1207 388 171 0 1059 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 8536

[startup+0.201801 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 7557
/proc/meminfo: memFree=1378024/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=8664 CPUtime=0.17
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 2010 660 0 0 17 0 0 0 18 0 1 0 59038018 8871936 1314 996147200 134512640 135215973 4294956304 18446744073709551615 10462843 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 2166 1314 388 171 0 1091 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 8664

[startup+0.301809 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 7557
/proc/meminfo: memFree=1378024/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=11172 CPUtime=0.27
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 2810 660 0 0 26 1 0 0 19 0 1 0 59038018 11440128 1844 996147200 134512640 135215973 4294956304 18446744073709551615 134906916 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 2793 1844 388 171 0 1718 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 11172

[startup+0.701845 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 7557
/proc/meminfo: memFree=1378024/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=21224 CPUtime=0.68
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 6416 660 0 0 65 3 0 0 23 0 1 0 59038018 21733376 4306 996147200 134512640 135215973 4294956304 18446744073709551615 10462843 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 5306 4306 404 171 0 4231 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21224

[startup+1.50192 s]
/proc/loadavg: 1.92 1.98 1.99 3/82 7562
/proc/meminfo: memFree=1354464/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=31952 CPUtime=1.47
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 10418 660 0 0 143 4 0 0 25 0 1 0 59038018 32718848 6744 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 7988 6744 408 171 0 6913 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 31952

[startup+3.10106 s]
/proc/loadavg: 1.92 1.98 1.99 3/82 7562
/proc/meminfo: memFree=1352544/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=42208 CPUtime=3.05
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 13374 660 0 0 299 6 0 0 25 0 1 0 59038018 43220992 8014 996147200 134512640 135215973 4294956304 18446744073709551615 134592020 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 10552 8014 408 171 0 9477 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 42208

[startup+6.30135 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 7562
/proc/meminfo: memFree=1346400/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=42560 CPUtime=6.24
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 13609 660 0 0 618 6 0 0 25 0 1 0 59038018 43581440 8249 996147200 134512640 135215973 4294956304 18446744073709551615 134590571 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 10640 8249 408 171 0 9565 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 42560

[startup+12.7019 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 7562
/proc/meminfo: memFree=1346016/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=42740 CPUtime=12.62
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 13683 660 0 0 1255 7 0 0 25 0 1 0 59038018 43765760 8323 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 10685 8323 408 171 0 9610 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 42740

[startup+25.5011 s]
/proc/loadavg: 1.95 1.98 1.99 3/82 7562
/proc/meminfo: memFree=1343584/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=43364 CPUtime=25.35
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 14306 660 0 0 2528 7 0 0 25 0 1 0 59038018 44404736 8913 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 10841 8913 408 171 0 9766 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 43364

[startup+51.1014 s]
/proc/loadavg: 2.03 2.00 2.00 3/82 7562
/proc/meminfo: memFree=1338016/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=45812 CPUtime=50.83
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 15773 660 0 0 5075 8 0 0 25 0 1 0 59038018 46911488 10315 996147200 134512640 135215973 4294956304 18446744073709551615 134532976 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 11453 10315 408 171 0 10378 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 45812

[startup+102.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 7562
/proc/meminfo: memFree=1335840/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=48116 CPUtime=101.79
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 16458 660 0 0 10170 9 0 0 25 0 1 0 59038018 49270784 10871 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 12029 10871 408 171 0 10954 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 48116

[startup+162.302 s]
/proc/loadavg: 2.07 2.02 2.00 3/82 7564
/proc/meminfo: memFree=1331936/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=52596 CPUtime=161.5
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 17699 660 0 0 16140 10 0 0 25 0 1 0 59038018 53858304 11855 996147200 134512640 135215973 4294956304 18446744073709551615 134641100 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 13149 11855 408 171 0 12074 0
Current children cumulated CPU time (s) 161.5
Current children cumulated vsize (KiB) 52596

[startup+222.306 s]
/proc/loadavg: 2.02 2.01 2.00 3/82 7564
/proc/meminfo: memFree=1325536/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=58376 CPUtime=221.21
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 19284 660 0 0 22110 11 0 0 25 0 1 0 59038018 59777024 13440 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 14594 13440 408 171 0 13519 0
Current children cumulated CPU time (s) 221.21
Current children cumulated vsize (KiB) 58376

[startup+282.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 7564
/proc/meminfo: memFree=1319584/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=65808 CPUtime=280.91
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 21275 660 0 0 28079 12 0 0 25 0 1 0 59038018 67387392 14918 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 16452 14918 408 171 0 15377 0
Current children cumulated CPU time (s) 280.91
Current children cumulated vsize (KiB) 65808

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7564
/proc/meminfo: memFree=1315944/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=69016 CPUtime=340.63
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 22192 660 0 0 34049 14 0 0 25 0 1 0 59038018 70672384 15835 996147200 134512640 135215973 4294956304 18446744073709551615 134597311 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 17254 15835 408 171 0 16179 0
Current children cumulated CPU time (s) 340.63
Current children cumulated vsize (KiB) 69016

[startup+402.301 s]
/proc/loadavg: 2.08 2.02 2.01 3/82 7564
/proc/meminfo: memFree=1300584/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=93472 CPUtime=400.35
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 29340 660 0 0 40017 18 0 0 25 0 1 0 59038018 95715328 19654 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 23368 19654 408 171 0 22293 0
Current children cumulated CPU time (s) 400.35
Current children cumulated vsize (KiB) 93472

[startup+462.302 s]
/proc/loadavg: 2.03 2.01 2.00 3/82 7564
/proc/meminfo: memFree=1297640/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=95896 CPUtime=460.06
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 30074 660 0 0 45987 19 0 0 25 0 1 0 59038018 98197504 20388 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 23974 20388 408 171 0 22899 0
Current children cumulated CPU time (s) 460.06
Current children cumulated vsize (KiB) 95896

[startup+522.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 7564
/proc/meminfo: memFree=1296104/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=97084 CPUtime=519.76
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 30445 660 0 0 51956 20 0 0 25 0 1 0 59038018 99414016 20759 996147200 134512640 135215973 4294956304 18446744073709551615 134648399 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 24271 20759 408 171 0 23196 0
Current children cumulated CPU time (s) 519.76
Current children cumulated vsize (KiB) 97084

[startup+582.302 s]
/proc/loadavg: 2.02 2.00 2.00 3/83 7606
/proc/meminfo: memFree=1243992/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=98508 CPUtime=579.46
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 30895 660 0 0 57924 22 0 0 25 0 1 0 59038018 100872192 21209 996147200 134512640 135215973 4294956304 18446744073709551615 134600675 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 24627 21209 408 171 0 23552 0
Current children cumulated CPU time (s) 579.46
Current children cumulated vsize (KiB) 98508

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 7607
/proc/meminfo: memFree=1154768/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=104888 CPUtime=639.21
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 32628 660 0 0 63898 23 0 0 25 0 1 0 59038018 107405312 21917 996147200 134512640 135215973 4294956304 18446744073709551615 134583198 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 26222 21917 408 171 0 25147 0
Current children cumulated CPU time (s) 639.21
Current children cumulated vsize (KiB) 104888

[startup+702.302 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7613
/proc/meminfo: memFree=1104584/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=116720 CPUtime=818.48
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 35970 660 0 0 81820 28 0 0 25 0 1 0 59038018 119521280 25259 996147200 134512640 135215973 4294956304 18446744073709551615 134589890 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 29180 25259 408 171 0 28105 0
Current children cumulated CPU time (s) 818.48
Current children cumulated vsize (KiB) 116720

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7613
/proc/meminfo: memFree=1098760/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=121864 CPUtime=878.24
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 37415 660 0 0 87794 30 0 0 25 0 1 0 59038018 124788736 26704 996147200 134512640 135215973 4294956304 18446744073709551615 4158960029 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 30466 26704 408 171 0 29391 0
Current children cumulated CPU time (s) 878.24
Current children cumulated vsize (KiB) 121864

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7613
/proc/meminfo: memFree=1092616/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=127564 CPUtime=937.99
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 38966 660 0 0 93768 31 0 0 25 0 1 0 59038018 130625536 28255 996147200 134512640 135215973 4294956304 18446744073709551615 134597637 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 31891 28255 408 171 0 30816 0
Current children cumulated CPU time (s) 937.99
Current children cumulated vsize (KiB) 127564

[startup+1002.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/82 7613
/proc/meminfo: memFree=1085128/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=134324 CPUtime=997.74
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 40838 660 0 0 99742 32 0 0 25 0 1 0 59038018 137547776 30127 996147200 134512640 135215973 4294956304 18446744073709551615 4158960014 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 33581 30127 408 171 0 32506 0
Current children cumulated CPU time (s) 997.74
Current children cumulated vsize (KiB) 134324

[startup+1062.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/82 7613
/proc/meminfo: memFree=1080080/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=138980 CPUtime=1057.51
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 42141 660 0 0 105718 33 0 0 25 0 1 0 59038018 142315520 31430 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 34745 31430 408 171 0 33670 0
Current children cumulated CPU time (s) 1057.51
Current children cumulated vsize (KiB) 138980

[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/82 7613
/proc/meminfo: memFree=1073872/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=152564 CPUtime=1117.26
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 45683 660 0 0 111691 35 0 0 25 0 1 0 59038018 156225536 32923 996147200 134512640 135215973 4294956304 18446744073709551615 134958201 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 38141 32923 408 171 0 37066 0
Current children cumulated CPU time (s) 1117.26
Current children cumulated vsize (KiB) 152564

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 7613
/proc/meminfo: memFree=1067984/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=157988 CPUtime=1177.02
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 47188 660 0 0 117666 36 0 0 25 0 1 0 59038018 161779712 34428 996147200 134512640 135215973 4294956304 18446744073709551615 134600115 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 39497 34428 408 171 0 38422 0
Current children cumulated CPU time (s) 1177.02
Current children cumulated vsize (KiB) 157988

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 7613
/proc/meminfo: memFree=1062864/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=162332 CPUtime=1236.77
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 48402 660 0 0 123640 37 0 0 25 0 1 0 59038018 166227968 35642 996147200 134512640 135215973 4294956304 18446744073709551615 134907925 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 40583 35642 408 171 0 39508 0
Current children cumulated CPU time (s) 1236.77
Current children cumulated vsize (KiB) 162332

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7613
/proc/meminfo: memFree=1052816/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=173884 CPUtime=1296.53
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 51417 660 0 0 129614 39 0 0 25 0 1 0 59038018 178057216 38079 996147200 134512640 135215973 4294956304 18446744073709551615 134641100 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 43471 38079 408 171 0 42396 0
Current children cumulated CPU time (s) 1296.53
Current children cumulated vsize (KiB) 173884

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7613
/proc/meminfo: memFree=1050576/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=176048 CPUtime=1356.28
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 52073 660 0 0 135588 40 0 0 25 0 1 0 59038018 180273152 38735 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 44012 38735 408 171 0 42937 0
Current children cumulated CPU time (s) 1356.28
Current children cumulated vsize (KiB) 176048

[startup+1422.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/82 7613
/proc/meminfo: memFree=1046608/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=179412 CPUtime=1416.04
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 53022 660 0 0 141563 41 0 0 25 0 1 0 59038018 183717888 39684 996147200 134512640 135215973 4294956304 18446744073709551615 134641051 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 44853 39684 408 171 0 43778 0
Current children cumulated CPU time (s) 1416.04
Current children cumulated vsize (KiB) 179412

[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/82 7613
/proc/meminfo: memFree=1041424/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=183504 CPUtime=1475.78
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 54156 660 0 0 147536 42 0 0 25 0 1 0 59038018 187908096 40818 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 45876 40818 408 171 0 44801 0
Current children cumulated CPU time (s) 1475.78
Current children cumulated vsize (KiB) 183504

[startup+1542.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 7613
/proc/meminfo: memFree=1037200/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=187200 CPUtime=1535.54
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 55193 660 0 0 153512 42 0 0 25 0 1 0 59038018 191692800 41855 996147200 134512640 135215973 4294956304 18446744073709551615 134957935 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 46800 41855 408 171 0 45725 0
Current children cumulated CPU time (s) 1535.54
Current children cumulated vsize (KiB) 187200

[startup+1602.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/82 7613
/proc/meminfo: memFree=1032592/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=191428 CPUtime=1595.3
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 56357 660 0 0 159487 43 0 0 25 0 1 0 59038018 196022272 43019 996147200 134512640 135215973 4294956304 18446744073709551615 134532684 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 47857 43019 408 171 0 46782 0
Current children cumulated CPU time (s) 1595.3
Current children cumulated vsize (KiB) 191428

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/82 7613
/proc/meminfo: memFree=1028560/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=194952 CPUtime=1655.05
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 57340 660 0 0 165461 44 0 0 25 0 1 0 59038018 199630848 44002 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 48738 44002 408 171 0 47663 0
Current children cumulated CPU time (s) 1655.05
Current children cumulated vsize (KiB) 194952

[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/82 7613
/proc/meminfo: memFree=1023952/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=199144 CPUtime=1714.82
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 58490 660 0 0 171436 46 0 0 25 0 1 0 59038018 203923456 45152 996147200 134512640 135215973 4294956304 18446744073709551615 4158960542 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 49786 45152 408 171 0 48711 0
Current children cumulated CPU time (s) 1714.82
Current children cumulated vsize (KiB) 199144

[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/82 7613
/proc/meminfo: memFree=1018960/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=203396 CPUtime=1774.57
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 59650 660 0 0 177411 46 0 0 25 0 1 0 59038018 208277504 46312 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 50849 46312 408 171 0 49774 0
Current children cumulated CPU time (s) 1774.57
Current children cumulated vsize (KiB) 203396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.9 s]
/proc/loadavg: 2.10 2.04 2.00 3/82 7613
/proc/meminfo: memFree=1017168/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=205016 CPUtime=1800.06
/proc/7557/stat : 7557 (pcs.big) R 7555 7557 5643 0 -1 4194304 60097 660 0 0 179960 46 0 0 25 0 1 0 59038018 209936384 46759 996147200 134512640 135215973 4294956304 18446744073709551615 134588235 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 51254 46759 408 171 0 50179 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 205016

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): 1807.94
CPU time (s): 1800.11
CPU user time (s): 1799.6
CPU system time (s): 0.504923
CPU usage (%): 99.567
Max. virtual memory (cumulated for all children) (KiB): 205016

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

runsolver used 1.64475 second user time and 4.98824 second system time

The end

Launcher Data 

Begin job on node25 at 2009-07-16 06:48:36
IDJOB=2081515
IDBENCH=57414
IDSOLVER=733
FILE ID=node25/2081515-1247719716
PBS_JOBID= 9521476
Free space on /tmp= 66312 MiB

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

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

MD5SUM BENCH= 11fa157cba8e1d54b2e29b7001f2eb89
RANDOM SEED=609653244

node25.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:       1378504 kB
Buffers:         83848 kB
Cached:         481232 kB
SwapCached:          0 kB
Active:         120204 kB
Inactive:       481212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1378504 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2448 kB
Writeback:           0 kB
Mapped:          56764 kB
Slab:            61028 kB
Committed_AS:   487740 kB
PageTables:       1984 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= 66308 MiB
End job on node25 at 2009-07-16 07:18:46