Trace number 2091305

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.12 1808.33

General information on the benchmark

Namecsp/rand-2-40-19-fcd/
normalized-rand-2-40-19-443-230-fcd-39_ext.xml
MD5SUM3e645e0932c1e74b02831c70007084d5
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.51247
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints351
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension351
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c small-domain mode
0.00/0.01	c Seed is 1747128991
0.00/0.02	c Constructing HOME/instance-2091305-1247732318.xml  with 6629 constraints
0.08/0.10	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-2091305-1247732318/watcher-2091305-1247732318 -o /tmp/evaluation-result-2091305-1247732318/solver-2091305-1247732318 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1747128991 HOME/instance-2091305-1247732318.xml 

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15052
/proc/meminfo: memFree=1596016/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=5356 CPUtime=0
/proc/15052/stat : 15052 (pcssolve) R 15050 15052 14486 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 60296439 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 251601152671 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15052/statm: 1339 241 200 169 0 50 0
[pid=15053] ppid=15052 vsize=0 CPUtime=0
/proc/15053/stat : 15053 (fgrep) Z 15052 15052 14486 0 -1 4194316 155 0 0 0 0 0 0 0 18 0 1 0 60296439 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 0 0 0
/proc/15053/statm: 0 0 0 0 0 0 0
[pid=15054] ppid=15052 vsize=5356 CPUtime=0
/proc/15054/stat : 15054 (pcssolve) R 15052 15052 14486 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 60296439 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 251601152671 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15054/statm: 1339 241 200 169 0 50 0

[startup+0.0184029 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15052
/proc/meminfo: memFree=1596016/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=4288 CPUtime=0
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 541 822 0 0 0 0 0 0 25 0 1 0 60296439 4390912 162 996147200 134512640 135095119 4294956304 18446744073709551615 11592976 0 0 4096 0 0 0 0 17 0 0 0
/proc/15052/statm: 1072 162 137 142 0 14 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4288

[startup+0.101419 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15052
/proc/meminfo: memFree=1596016/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=6380 CPUtime=0.08
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 1351 822 0 0 8 0 0 0 25 0 1 0 60296439 6533120 927 996147200 134512640 135095119 4294956304 18446744073709551615 12060522 0 0 4096 0 0 0 0 17 0 0 0
/proc/15052/statm: 1595 927 373 142 0 549 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6380

[startup+0.301435 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15052
/proc/meminfo: memFree=1596016/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=6380 CPUtime=0.28
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 1361 822 0 0 28 0 0 0 25 0 1 0 60296439 6533120 937 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/15052/statm: 1595 937 378 142 0 549 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6380

[startup+0.701481 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15052
/proc/meminfo: memFree=1596016/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=6380 CPUtime=0.67
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 1368 822 0 0 67 0 0 0 25 0 1 0 60296439 6533120 944 996147200 134512640 135095119 4294956304 18446744073709551615 134616993 0 0 4096 0 0 0 0 17 0 0 0
/proc/15052/statm: 1595 944 378 142 0 549 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6380

[startup+1.50157 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15058
/proc/meminfo: memFree=1593576/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=6512 CPUtime=1.46
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 1458 822 0 0 146 0 0 0 25 0 1 0 60296439 6668288 969 996147200 134512640 135095119 4294956304 18446744073709551615 134636924 0 0 4096 0 0 0 0 17 0 0 0
/proc/15052/statm: 1628 969 378 142 0 582 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 6512

[startup+3.10175 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15058
/proc/meminfo: memFree=1593064/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=7280 CPUtime=3.05
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 1685 822 0 0 305 0 0 0 25 0 1 0 60296439 7454720 1131 996147200 134512640 135095119 4294956304 18446744073709551615 134636932 0 0 4096 0 0 0 0 17 0 0 0
/proc/15052/statm: 1820 1131 378 142 0 774 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 7280

[startup+6.30111 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15058
/proc/meminfo: memFree=1590696/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=9736 CPUtime=6.23
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 2315 822 0 0 622 1 0 0 25 0 1 0 60296439 9969664 1632 996147200 134512640 135095119 4294956304 18446744073709551615 134642968 0 0 4096 0 0 0 0 17 0 0 0
/proc/15052/statm: 2434 1632 378 142 0 1388 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 9736

[startup+12.7028 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15058
/proc/meminfo: memFree=1589104/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=11288 CPUtime=12.58
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 2935 822 0 0 1256 2 0 0 25 0 1 0 60296439 11558912 1995 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/15052/statm: 2822 1995 378 142 0 1776 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 11288

[startup+25.5012 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15058
/proc/meminfo: memFree=1585200/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=16724 CPUtime=25.28
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 4613 822 0 0 2525 3 0 0 25 0 1 0 60296439 17125376 2903 996147200 134512640 135095119 4294956304 18446744073709551615 134642884 0 0 4096 0 0 0 0 17 0 0 0
/proc/15052/statm: 4181 2903 378 142 0 3135 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 16724

[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15058
/proc/meminfo: memFree=1580912/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=18812 CPUtime=50.68
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 5600 822 0 0 5064 4 0 0 25 0 1 0 60296439 19263488 3890 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/15052/statm: 4703 3890 378 142 0 3657 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 18812

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15058
/proc/meminfo: memFree=1572592/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=29692 CPUtime=101.49
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 8979 822 0 0 10142 7 0 0 25 0 1 0 60296439 30404608 5731 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/15052/statm: 7423 5731 378 142 0 6377 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 29692

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15058
/proc/meminfo: memFree=1566832/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=32048 CPUtime=161.03
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 10197 822 0 0 16094 9 0 0 25 0 1 0 60296439 32817152 6949 996147200 134512640 135095119 4294956304 18446744073709551615 134617012 0 0 4096 0 0 0 0 17 0 0 0
/proc/15052/statm: 8012 6949 378 142 0 6966 0
Current children cumulated CPU time (s) 161.03
Current children cumulated vsize (KiB) 32048

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15058
/proc/meminfo: memFree=1560176/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=42992 CPUtime=220.57
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 13442 822 0 0 22045 12 0 0 25 0 1 0 60296439 44023808 8145 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/15052/statm: 10748 8145 378 142 0 9702 0
Current children cumulated CPU time (s) 220.57
Current children cumulated vsize (KiB) 42992

[startup+282.302 s]
/proc/loadavg: 2.06 2.01 2.00 3/83 15100
/proc/meminfo: memFree=1640968/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=45612 CPUtime=280.07
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 14587 822 0 0 27994 13 0 0 25 0 1 0 60296439 46706688 9290 996147200 134512640 135095119 4294956304 18446744073709551615 134642864 0 0 4096 0 0 0 0 17 0 0 0
/proc/15052/statm: 11403 9290 378 142 0 10357 0
Current children cumulated CPU time (s) 280.07
Current children cumulated vsize (KiB) 45612

[startup+342.302 s]
/proc/loadavg: 2.07 2.02 2.00 3/74 15133
/proc/meminfo: memFree=1634008/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=56308 CPUtime=339.8
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 17690 822 0 0 33964 16 0 0 25 0 1 0 60296439 57659392 11368 996147200 134512640 135095119 4294956304 18446744073709551615 134589672 0 0 4096 0 0 0 0 17 1 0 0
/proc/15052/statm: 14077 11368 378 142 0 13031 0
Current children cumulated CPU time (s) 339.8
Current children cumulated vsize (KiB) 56308

[startup+402.301 s]
/proc/loadavg: 2.08 2.03 2.00 3/74 15133
/proc/meminfo: memFree=1624920/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=56308 CPUtime=399.56
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 18093 822 0 0 39940 16 0 0 25 0 1 0 60296439 57659392 11771 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/15052/statm: 14077 11771 378 142 0 13031 0
Current children cumulated CPU time (s) 399.56
Current children cumulated vsize (KiB) 56308

[startup+462.302 s]
/proc/loadavg: 2.08 2.04 2.00 3/74 15133
/proc/meminfo: memFree=1617368/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=56696 CPUtime=459.33
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 18589 822 0 0 45916 17 0 0 25 0 1 0 60296439 58056704 12267 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/15052/statm: 14174 12267 378 142 0 13128 0
Current children cumulated CPU time (s) 459.33
Current children cumulated vsize (KiB) 56696

[startup+522.302 s]
/proc/loadavg: 2.08 2.04 2.00 3/74 15133
/proc/meminfo: memFree=1609240/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=58648 CPUtime=519.09
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 19437 822 0 0 51891 18 0 0 25 0 1 0 60296439 60055552 13115 996147200 134512640 135095119 4294956304 18446744073709551615 12061479 0 0 4096 0 0 0 0 17 1 0 0
/proc/15052/statm: 14662 13115 378 142 0 13616 0
Current children cumulated CPU time (s) 519.09
Current children cumulated vsize (KiB) 58648

[startup+582.301 s]
/proc/loadavg: 2.07 2.05 2.00 3/74 15133
/proc/meminfo: memFree=1595352/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=76860 CPUtime=578.87
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 24341 822 0 0 57865 22 0 0 25 0 1 0 60296439 78704640 13922 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/15052/statm: 19215 13922 378 142 0 18169 0
Current children cumulated CPU time (s) 578.87
Current children cumulated vsize (KiB) 76860

[startup+642.302 s]
/proc/loadavg: 2.06 2.05 2.00 3/74 15133
/proc/meminfo: memFree=1590488/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=78552 CPUtime=638.63

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

[startup+882.302 s]
/proc/loadavg: 2.24 2.14 2.03 3/74 15133
/proc/meminfo: memFree=1568216/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=84972 CPUtime=877.69
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 27963 822 0 0 87743 26 0 0 25 0 1 0 60296439 87011328 17544 996147200 134512640 135095119 4294956304 18446744073709551615 134617200 0 0 4096 0 0 0 0 17 1 0 0
/proc/15052/statm: 21243 17544 378 142 0 20197 0
Current children cumulated CPU time (s) 877.69
Current children cumulated vsize (KiB) 84972

[startup+942.301 s]
/proc/loadavg: 2.20 2.14 2.04 3/74 15133
/proc/meminfo: memFree=1562584/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=86408 CPUtime=937.46
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 28617 822 0 0 93718 28 0 0 25 0 1 0 60296439 88481792 18198 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/15052/statm: 21602 18198 378 142 0 20556 0
Current children cumulated CPU time (s) 937.46
Current children cumulated vsize (KiB) 86408

[startup+1002.3 s]
/proc/loadavg: 2.22 2.16 2.05 3/74 15133
/proc/meminfo: memFree=1556824/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=87976 CPUtime=997.23
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 29290 822 0 0 99694 29 0 0 25 0 1 0 60296439 90087424 18871 996147200 134512640 135095119 4294956304 18446744073709551615 134643969 0 0 4096 0 0 0 0 17 1 0 0
/proc/15052/statm: 21994 18871 378 142 0 20948 0
Current children cumulated CPU time (s) 997.23
Current children cumulated vsize (KiB) 87976

[startup+1062.3 s]
/proc/loadavg: 2.19 2.16 2.05 3/74 15133
/proc/meminfo: memFree=1538584/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=110688 CPUtime=1056.98
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 35229 822 0 0 105667 31 0 0 25 0 1 0 60296439 113344512 22761 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/15052/statm: 27672 22761 378 142 0 26626 0
Current children cumulated CPU time (s) 1056.98
Current children cumulated vsize (KiB) 110688

[startup+1122.3 s]
/proc/loadavg: 2.10 2.14 2.05 3/74 15133
/proc/meminfo: memFree=1534616/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=110688 CPUtime=1116.76
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 35492 822 0 0 111644 32 0 0 25 0 1 0 60296439 113344512 23024 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/15052/statm: 27672 23024 378 142 0 26626 0
Current children cumulated CPU time (s) 1116.76
Current children cumulated vsize (KiB) 110688

[startup+1182.3 s]
/proc/loadavg: 2.12 2.14 2.06 3/74 15133
/proc/meminfo: memFree=1530648/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=110688 CPUtime=1176.52
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 35767 822 0 0 117620 32 0 0 25 0 1 0 60296439 113344512 23299 996147200 134512640 135095119 4294956304 18446744073709551615 134636921 0 0 4096 0 0 0 0 17 1 0 0
/proc/15052/statm: 27672 23299 378 142 0 26626 0
Current children cumulated CPU time (s) 1176.52
Current children cumulated vsize (KiB) 110688

[startup+1242.3 s]
/proc/loadavg: 2.08 2.13 2.06 3/74 15133
/proc/meminfo: memFree=1526808/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=110688 CPUtime=1236.29
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 36035 822 0 0 123596 33 0 0 25 0 1 0 60296439 113344512 23567 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/15052/statm: 27672 23567 378 142 0 26626 0
Current children cumulated CPU time (s) 1236.29
Current children cumulated vsize (KiB) 110688

[startup+1302.3 s]
/proc/loadavg: 2.13 2.13 2.06 3/74 15133
/proc/meminfo: memFree=1522968/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=110688 CPUtime=1296.06
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 36304 822 0 0 129573 33 0 0 25 0 1 0 60296439 113344512 23836 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/15052/statm: 27672 23836 378 142 0 26626 0
Current children cumulated CPU time (s) 1296.06
Current children cumulated vsize (KiB) 110688

[startup+1362.3 s]
/proc/loadavg: 2.12 2.12 2.06 3/74 15133
/proc/meminfo: memFree=1505880/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=110688 CPUtime=1355.82
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 36554 822 0 0 135549 33 0 0 25 0 1 0 60296439 113344512 24086 996147200 134512640 135095119 4294956304 18446744073709551615 134616992 0 0 4096 0 0 0 0 17 1 0 0
/proc/15052/statm: 27672 24086 378 142 0 26626 0
Current children cumulated CPU time (s) 1355.82
Current children cumulated vsize (KiB) 110688

[startup+1422.31 s]
/proc/loadavg: 2.10 2.11 2.06 3/74 15133
/proc/meminfo: memFree=1503704/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=110688 CPUtime=1415.58
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 36798 822 0 0 141525 33 0 0 25 0 1 0 60296439 113344512 24330 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/15052/statm: 27672 24330 378 142 0 26626 0
Current children cumulated CPU time (s) 1415.58
Current children cumulated vsize (KiB) 110688

[startup+1482.3 s]
/proc/loadavg: 2.10 2.11 2.06 3/74 15133
/proc/meminfo: memFree=1501720/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=110688 CPUtime=1475.35
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 37042 822 0 0 147501 34 0 0 25 0 1 0 60296439 113344512 24574 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/15052/statm: 27672 24574 378 142 0 26626 0
Current children cumulated CPU time (s) 1475.35
Current children cumulated vsize (KiB) 110688

[startup+1542.3 s]
/proc/loadavg: 2.08 2.10 2.06 3/74 15133
/proc/meminfo: memFree=1499480/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=110688 CPUtime=1535.11
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 37288 822 0 0 153477 34 0 0 25 0 1 0 60296439 113344512 24820 996147200 134512640 135095119 4294956304 18446744073709551615 134607065 0 0 4096 0 0 0 0 17 1 0 0
/proc/15052/statm: 27672 24820 378 142 0 26626 0
Current children cumulated CPU time (s) 1535.11
Current children cumulated vsize (KiB) 110688

[startup+1602.3 s]
/proc/loadavg: 2.08 2.09 2.06 3/74 15133
/proc/meminfo: memFree=1496920/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=111332 CPUtime=1594.88
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 37683 822 0 0 159453 35 0 0 25 0 1 0 60296439 114003968 25215 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/15052/statm: 27833 25215 378 142 0 26787 0
Current children cumulated CPU time (s) 1594.88
Current children cumulated vsize (KiB) 111332

[startup+1662.3 s]
/proc/loadavg: 2.17 2.12 2.07 3/74 15133
/proc/meminfo: memFree=1493912/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=112380 CPUtime=1654.65
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 38199 822 0 0 165429 36 0 0 25 0 1 0 60296439 115077120 25731 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/15052/statm: 28095 25731 378 142 0 27049 0
Current children cumulated CPU time (s) 1654.65
Current children cumulated vsize (KiB) 112380

[startup+1722.3 s]
/proc/loadavg: 2.22 2.14 2.08 3/74 15133
/proc/meminfo: memFree=1490776/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=113564 CPUtime=1714.41
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 38717 822 0 0 171405 36 0 0 25 0 1 0 60296439 116289536 26249 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/15052/statm: 28391 26249 378 142 0 27345 0
Current children cumulated CPU time (s) 1714.41
Current children cumulated vsize (KiB) 113564

[startup+1782.3 s]
/proc/loadavg: 2.26 2.17 2.09 3/74 15133
/proc/meminfo: memFree=1487512/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=147508 CPUtime=1774.18
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 47415 822 0 0 177377 41 0 0 25 0 1 0 60296439 151048192 26754 996147200 134512640 135095119 4294956304 18446744073709551615 134617064 0 0 4096 0 0 0 0 17 1 0 0
/proc/15052/statm: 36877 26754 378 142 0 35831 0
Current children cumulated CPU time (s) 1774.18
Current children cumulated vsize (KiB) 147508



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.3 s]
/proc/loadavg: 2.17 2.15 2.09 3/74 15133
/proc/meminfo: memFree=1486360/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=147900 CPUtime=1800.08
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 47626 822 0 0 179967 41 0 0 25 0 1 0 60296439 151449600 26965 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/15052/statm: 36975 26965 378 142 0 35929 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 147900

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

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

[startup+1808.3 s]
/proc/loadavg: 2.17 2.15 2.09 3/74 15133
/proc/meminfo: memFree=1486360/2055920 swapFree=4192812/4192956
[pid=15052] ppid=15050 vsize=147900 CPUtime=1800.08
/proc/15052/stat : 15052 (pcs.small) R 15050 15052 14486 0 -1 4194304 47626 822 0 0 179967 41 0 0 25 0 1 0 60296439 151449600 26965 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/15052/statm: 36975 26965 378 142 0 35929 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 147900

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.33
CPU time (s): 1800.12
CPU user time (s): 1799.68
CPU system time (s): 0.443932
CPU usage (%): 99.5461
Max. virtual memory (cumulated for all children) (KiB): 147900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.68
system time used= 0.443932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48448
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= 14
involuntary context switches= 23473

runsolver used 1.48177 second user time and 5.11822 second system time

The end

Launcher Data 

Begin job on node91 at 2009-07-16 10:18:38
IDJOB=2091305
IDBENCH=60040
IDSOLVER=733
FILE ID=node91/2091305-1247732318
PBS_JOBID= 9521597
Free space on /tmp= 66200 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-39_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2091305-1247732318/watcher-2091305-1247732318 -o /tmp/evaluation-result-2091305-1247732318/solver-2091305-1247732318 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1747128991 HOME/instance-2091305-1247732318.xml

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

MD5SUM BENCH= 3e645e0932c1e74b02831c70007084d5
RANDOM SEED=1747128991

node91.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.241
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.241
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:       1596432 kB
Buffers:         76728 kB
Cached:         200848 kB
SwapCached:          0 kB
Active:         156248 kB
Inactive:       236072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1596432 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1956 kB
Writeback:           0 kB
Mapped:         126016 kB
Slab:            52304 kB
Committed_AS:   681448 kB
PageTables:       1908 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66196 MiB
End job on node91 at 2009-07-16 10:48:49