Trace number 2091514

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.13 1807.52

General information on the benchmark

Namecsp/rand-2-40-19-fcd/
normalized-rand-2-40-19-443-230-fcd-1_ext.xml
MD5SUM3ba7c472e2faa27c10c104f417226e24
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 benchmark1.08083
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints346
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension346
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.18/0.22	c Seed is 805730967
0.18/0.22	c Constructing HOME/instance-2091514-1247732707.xml  with 6536 constraints
0.18/0.22	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-2091514-1247732707/watcher-2091514-1247732707 -o /tmp/evaluation-result-2091514-1247732707/solver-2091514-1247732707 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 805730967 HOME/instance-2091514-1247732707.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.99 1.97 1.99 4/82 13921
/proc/meminfo: memFree=1165968/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=5356 CPUtime=0
/proc/13921/stat : 13921 (pcssolve) S 13919 13921 13195 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 60335898 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13921/statm: 1339 242 201 169 0 50 0
[pid=13922] ppid=13921 vsize=5356 CPUtime=0
/proc/13922/stat : 13922 (pcssolve) R 13921 13921 13195 0 -1 4194368 22 0 0 0 0 0 0 0 18 0 1 0 60335898 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 228043844903 0 0 4096 0 0 0 0 17 1 0 0
/proc/13922/statm: 1339 243 202 169 0 50 0
[pid=13923] ppid=13921 vsize=3676 CPUtime=0
/proc/13923/stat : 13923 (grep) S 13921 13921 13195 0 -1 4194304 154 0 0 0 0 0 0 0 18 0 1 0 60335898 3764224 121 996147200 4194304 4274172 548682069040 18446744073709551615 228044013650 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/13923/statm: 919 121 99 19 0 43 0

[startup+0.067222 s]
/proc/loadavg: 1.99 1.97 1.99 4/82 13921
/proc/meminfo: memFree=1165968/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=5300 CPUtime=0.04
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 1027 822 0 0 4 0 0 0 17 0 1 0 60335898 5427200 636 996147200 134512640 135095119 4294956304 18446744073709551615 10860155 0 0 4096 0 0 0 0 17 0 0 0
/proc/13921/statm: 1325 637 364 142 0 279 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5300

[startup+0.101226 s]
/proc/loadavg: 1.99 1.97 1.99 4/82 13921
/proc/meminfo: memFree=1165968/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=6376 CPUtime=0.08
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 1348 822 0 0 8 0 0 0 17 0 1 0 60335898 6529024 924 996147200 134512640 135095119 4294956304 18446744073709551615 10857918 0 0 4096 0 0 0 0 17 0 0 0
/proc/13921/statm: 1594 924 373 142 0 548 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6376

[startup+0.301266 s]
/proc/loadavg: 1.99 1.97 1.99 4/82 13921
/proc/meminfo: memFree=1165968/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=6376 CPUtime=0.28
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 1357 822 0 0 28 0 0 0 19 0 1 0 60335898 6529024 933 996147200 134512640 135095119 4294956304 18446744073709551615 134607029 0 0 4096 0 0 0 0 17 0 0 0
/proc/13921/statm: 1594 933 378 142 0 548 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6376

[startup+0.701345 s]
/proc/loadavg: 1.99 1.97 1.99 4/82 13921
/proc/meminfo: memFree=1165968/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=6376 CPUtime=0.68
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 1365 822 0 0 68 0 0 0 23 0 1 0 60335898 6529024 941 996147200 134512640 135095119 4294956304 18446744073709551615 134591756 0 0 4096 0 0 0 0 17 0 0 0
/proc/13921/statm: 1594 941 378 142 0 548 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6376

[startup+1.5025 s]
/proc/loadavg: 2.07 1.99 1.99 3/83 13927
/proc/meminfo: memFree=1163592/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=6508 CPUtime=1.47
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 1452 822 0 0 147 0 0 0 25 0 1 0 60335898 6664192 963 996147200 134512640 135095119 4294956304 18446744073709551615 134589569 0 0 4096 0 0 0 0 17 0 0 0
/proc/13921/statm: 1627 963 378 142 0 581 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 6508

[startup+3.10182 s]
/proc/loadavg: 2.07 1.99 1.99 3/83 13927
/proc/meminfo: memFree=1163144/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=7152 CPUtime=3.07
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 1687 822 0 0 306 1 0 0 25 0 1 0 60335898 7323648 1133 996147200 134512640 135095119 4294956304 18446744073709551615 134617057 0 0 4096 0 0 0 0 17 0 0 0
/proc/13921/statm: 1788 1133 378 142 0 742 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 7152

[startup+6.30145 s]
/proc/loadavg: 2.06 1.99 1.99 3/83 13927
/proc/meminfo: memFree=1160840/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=9748 CPUtime=6.25
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 2327 822 0 0 624 1 0 0 25 0 1 0 60335898 9981952 1644 996147200 134512640 135095119 4294956304 18446744073709551615 134617043 0 0 4096 0 0 0 0 17 0 0 0
/proc/13921/statm: 2437 1644 378 142 0 1391 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 9748

[startup+12.7017 s]
/proc/loadavg: 2.06 1.99 1.99 3/83 13927
/proc/meminfo: memFree=1159320/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=11428 CPUtime=12.63
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 2994 822 0 0 1261 2 0 0 25 0 1 0 60335898 11702272 2054 996147200 134512640 135095119 4294956304 18446744073709551615 134589508 0 0 4096 0 0 0 0 17 0 0 0
/proc/13921/statm: 2857 2054 378 142 0 1811 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 11428

[startup+25.5012 s]
/proc/loadavg: 2.05 1.99 1.99 3/83 13927
/proc/meminfo: memFree=1155800/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=16600 CPUtime=25.35
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 4611 822 0 0 2532 3 0 0 25 0 1 0 60335898 16998400 2901 996147200 134512640 135095119 4294956304 18446744073709551615 134636893 0 0 4096 0 0 0 0 17 0 0 0
/proc/13921/statm: 4150 2901 378 142 0 3104 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 16600

[startup+51.1013 s]
/proc/loadavg: 2.03 1.99 1.99 3/83 13927
/proc/meminfo: memFree=1151640/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=18952 CPUtime=50.83
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 5683 822 0 0 5078 5 0 0 25 0 1 0 60335898 19406848 3973 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/13921/statm: 4738 3973 378 142 0 3692 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 18952

[startup+102.306 s]
/proc/loadavg: 2.01 1.99 1.99 3/83 13969
/proc/meminfo: memFree=1142624/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=29580 CPUtime=101.74
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 9028 822 0 0 10166 8 0 0 25 0 1 0 60335898 30289920 5780 996147200 134512640 135095119 4294956304 18446744073709551615 134554977 0 0 4096 0 0 0 0 17 1 0 0
/proc/13921/statm: 7395 5780 378 142 0 6349 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 29580

[startup+162.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 13969
/proc/meminfo: memFree=1137056/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=32608 CPUtime=161.49
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 10440 822 0 0 16139 10 0 0 25 0 1 0 60335898 33390592 7192 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/13921/statm: 8152 7192 378 142 0 7106 0
Current children cumulated CPU time (s) 161.49
Current children cumulated vsize (KiB) 32608

[startup+222.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 13969
/proc/meminfo: memFree=1131744/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=43816 CPUtime=221.25
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 13765 822 0 0 22113 12 0 0 25 0 1 0 60335898 44867584 8468 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/13921/statm: 10954 8468 378 142 0 9908 0
Current children cumulated CPU time (s) 221.25
Current children cumulated vsize (KiB) 43816

[startup+282.302 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 13969
/proc/meminfo: memFree=1121504/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=56080 CPUtime=281.01
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 17346 822 0 0 28087 14 0 0 25 0 1 0 60335898 57425920 11024 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/13921/statm: 14020 11024 378 142 0 12974 0
Current children cumulated CPU time (s) 281.01
Current children cumulated vsize (KiB) 56080

[startup+342.302 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 13969
/proc/meminfo: memFree=1119648/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=56080 CPUtime=340.77
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 17798 822 0 0 34063 14 0 0 25 0 1 0 60335898 57425920 11476 996147200 134512640 135095119 4294956304 18446744073709551615 134617006 0 0 4096 0 0 0 0 17 1 0 0
/proc/13921/statm: 14020 11476 378 142 0 12974 0
Current children cumulated CPU time (s) 340.77
Current children cumulated vsize (KiB) 56080

[startup+402.302 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 13969
/proc/meminfo: memFree=1117920/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=56080 CPUtime=400.53
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 18221 822 0 0 40038 15 0 0 25 0 1 0 60335898 57425920 11899 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/13921/statm: 14020 11899 378 142 0 12974 0
Current children cumulated CPU time (s) 400.53
Current children cumulated vsize (KiB) 56080

[startup+462.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 13969
/proc/meminfo: memFree=1114720/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=57780 CPUtime=460.28
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 19049 822 0 0 46012 16 0 0 25 0 1 0 60335898 59166720 12727 996147200 134512640 135095119 4294956304 18446744073709551615 134642978 0 0 4096 0 0 0 0 17 1 0 0
/proc/13921/statm: 14445 12727 378 142 0 13399 0
Current children cumulated CPU time (s) 460.28
Current children cumulated vsize (KiB) 57780

[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 13969
/proc/meminfo: memFree=1111264/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=59764 CPUtime=520.05
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 19917 822 0 0 51987 18 0 0 25 0 1 0 60335898 61198336 13595 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/13921/statm: 14941 13595 378 142 0 13895 0
Current children cumulated CPU time (s) 520.05
Current children cumulated vsize (KiB) 59764

[startup+582.302 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 13969
/proc/meminfo: memFree=1107872/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=77972 CPUtime=579.8
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 24838 822 0 0 57960 20 0 0 25 0 1 0 60335898 79843328 14419 996147200 134512640 135095119 4294956304 18446744073709551615 134642864 0 0 4096 0 0 0 0 17 1 0 0
/proc/13921/statm: 19493 14419 378 142 0 18447 0
Current children cumulated CPU time (s) 579.8
Current children cumulated vsize (KiB) 77972

[startup+642.302 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 13969
/proc/meminfo: memFree=1104608/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=79816 CPUtime=639.56

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

[startup+882.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 13969
/proc/meminfo: memFree=1092320/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=86744 CPUtime=878.6
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 28682 822 0 0 87835 25 0 0 25 0 1 0 60335898 88825856 18263 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/13921/statm: 21686 18263 378 142 0 20640 0
Current children cumulated CPU time (s) 878.6
Current children cumulated vsize (KiB) 86744

[startup+942.302 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 13969
/proc/meminfo: memFree=1089696/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=88320 CPUtime=938.36
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 29365 822 0 0 93811 25 0 0 25 0 1 0 60335898 90439680 18946 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/13921/statm: 22080 18946 378 142 0 21034 0
Current children cumulated CPU time (s) 938.36
Current children cumulated vsize (KiB) 88320

[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 13969
/proc/meminfo: memFree=1074272/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=110636 CPUtime=998.12
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 35234 822 0 0 99784 28 0 0 25 0 1 0 60335898 113291264 22766 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/13921/statm: 27659 22766 378 142 0 26613 0
Current children cumulated CPU time (s) 998.12
Current children cumulated vsize (KiB) 110636

[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 13969
/proc/meminfo: memFree=1073120/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=110636 CPUtime=1057.88
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 35527 822 0 0 105760 28 0 0 25 0 1 0 60335898 113291264 23059 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/13921/statm: 27659 23059 378 142 0 26613 0
Current children cumulated CPU time (s) 1057.88
Current children cumulated vsize (KiB) 110636

[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 13969
/proc/meminfo: memFree=1071904/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=110636 CPUtime=1117.64
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 35813 822 0 0 111735 29 0 0 25 0 1 0 60335898 113291264 23345 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/13921/statm: 27659 23345 378 142 0 26613 0
Current children cumulated CPU time (s) 1117.64
Current children cumulated vsize (KiB) 110636

[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 13969
/proc/meminfo: memFree=1070880/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=110636 CPUtime=1177.4
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 36090 822 0 0 117711 29 0 0 25 0 1 0 60335898 113291264 23622 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/13921/statm: 27659 23622 378 142 0 26613 0
Current children cumulated CPU time (s) 1177.4
Current children cumulated vsize (KiB) 110636

[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 13969
/proc/meminfo: memFree=1069664/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=110636 CPUtime=1237.15
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 36356 822 0 0 123686 29 0 0 25 0 1 0 60335898 113291264 23888 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/13921/statm: 27659 23888 378 142 0 26613 0
Current children cumulated CPU time (s) 1237.15
Current children cumulated vsize (KiB) 110636

[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 13969
/proc/meminfo: memFree=1068512/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=110636 CPUtime=1296.92
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 36627 822 0 0 129662 30 0 0 25 0 1 0 60335898 113291264 24159 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/13921/statm: 27659 24159 378 142 0 26613 0
Current children cumulated CPU time (s) 1296.92
Current children cumulated vsize (KiB) 110636

[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 13969
/proc/meminfo: memFree=1067616/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=110636 CPUtime=1356.67
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 36890 822 0 0 135637 30 0 0 25 0 1 0 60335898 113291264 24422 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/13921/statm: 27659 24422 378 142 0 26613 0
Current children cumulated CPU time (s) 1356.67
Current children cumulated vsize (KiB) 110636

[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 13969
/proc/meminfo: memFree=1066592/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=110636 CPUtime=1416.44
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 37148 822 0 0 141614 30 0 0 25 0 1 0 60335898 113291264 24680 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/13921/statm: 27659 24680 378 142 0 26613 0
Current children cumulated CPU time (s) 1416.44
Current children cumulated vsize (KiB) 110636

[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 13969
/proc/meminfo: memFree=1065120/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=111032 CPUtime=1476.2
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 37513 822 0 0 147589 31 0 0 25 0 1 0 60335898 113696768 25045 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/13921/statm: 27758 25045 378 142 0 26712 0
Current children cumulated CPU time (s) 1476.2
Current children cumulated vsize (KiB) 111032

[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 13969
/proc/meminfo: memFree=1062944/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=112204 CPUtime=1535.96
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 38046 822 0 0 153564 32 0 0 25 0 1 0 60335898 114896896 25578 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/13921/statm: 28051 25578 378 142 0 27005 0
Current children cumulated CPU time (s) 1535.96
Current children cumulated vsize (KiB) 112204

[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 13969
/proc/meminfo: memFree=1060768/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=113400 CPUtime=1595.72
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 38594 822 0 0 159540 32 0 0 25 0 1 0 60335898 116121600 26126 996147200 134512640 135095119 4294956304 18446744073709551615 134615460 0 0 4096 0 0 0 0 17 1 0 0
/proc/13921/statm: 28350 26126 378 142 0 27304 0
Current children cumulated CPU time (s) 1595.72
Current children cumulated vsize (KiB) 113400

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 13971
/proc/meminfo: memFree=1058528/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=114584 CPUtime=1655.47
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 39144 822 0 0 165515 32 0 0 25 0 1 0 60335898 117334016 26676 996147200 134512640 135095119 4294956304 18446744073709551615 134607029 0 0 4096 0 0 0 0 17 1 0 0
/proc/13921/statm: 28646 26676 378 142 0 27600 0
Current children cumulated CPU time (s) 1655.47
Current children cumulated vsize (KiB) 114584

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 13971
/proc/meminfo: memFree=1056224/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=148676 CPUtime=1715.24
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 47895 822 0 0 171487 37 0 0 25 0 1 0 60335898 152244224 27234 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/13921/statm: 37169 27234 378 142 0 36123 0
Current children cumulated CPU time (s) 1715.24
Current children cumulated vsize (KiB) 148676

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 13971
/proc/meminfo: memFree=1053920/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=149856 CPUtime=1774.99
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 48425 822 0 0 177462 37 0 0 25 0 1 0 60335898 153452544 27764 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/13921/statm: 37464 27764 378 142 0 36418 0
Current children cumulated CPU time (s) 1774.99
Current children cumulated vsize (KiB) 149856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.5 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 13971
/proc/meminfo: memFree=1053024/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=150512 CPUtime=1800.09
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 48692 822 0 0 179971 38 0 0 25 0 1 0 60335898 154124288 28031 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/13921/statm: 37628 28031 378 142 0 36582 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 150512

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

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

[startup+1807.5 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 13971
/proc/meminfo: memFree=1053024/2055920 swapFree=4192812/4192956
[pid=13921] ppid=13919 vsize=150512 CPUtime=1800.09
/proc/13921/stat : 13921 (pcs.small) R 13919 13921 13195 0 -1 4194304 48692 822 0 0 179971 38 0 0 25 0 1 0 60335898 154124288 28031 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/13921/statm: 37628 28031 378 142 0 36582 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 150512

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1807.52
CPU time (s): 1800.13
CPU user time (s): 1799.72
CPU system time (s): 0.407937
CPU usage (%): 99.5907
Max. virtual memory (cumulated for all children) (KiB): 180388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.407937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49514
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= 17
involuntary context switches= 22144

runsolver used 2.13068 second user time and 4.45432 second system time

The end

Launcher Data 

Begin job on node77 at 2009-07-16 10:25:07
IDJOB=2091514
IDBENCH=60075
IDSOLVER=733
FILE ID=node77/2091514-1247732707
PBS_JOBID= 9521566
Free space on /tmp= 66164 MiB

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

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

MD5SUM BENCH= 3ba7c472e2faa27c10c104f417226e24
RANDOM SEED=805730967

node77.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.256
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.256
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:       1166448 kB
Buffers:         91692 kB
Cached:         668616 kB
SwapCached:          0 kB
Active:         253480 kB
Inactive:       541092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1166448 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1936 kB
Writeback:           0 kB
Mapped:          54612 kB
Slab:            80076 kB
Committed_AS:   514408 kB
PageTables:       1856 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= 66164 MiB
End job on node77 at 2009-07-16 10:55:16