Trace number 2089271

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.07 1811.53

General information on the benchmark

Namecsp/tightness0.5/
normalized-rand-2-40-25-180-500-38_ext.xml
MD5SUM18a88f4de5e28d494ca9fac33a68ab0c
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 benchmark8.43672
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints180
Maximum constraint arity2
Maximum domain size25
Number of constraints which are defined in extension180
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.04	c Seed is 1511164450
0.00/0.04	c Constructing HOME/instance-2089271-1247729851.xml  with 4500 constraints
0.07/0.15	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-2089271-1247729851/watcher-2089271-1247729851 -o /tmp/evaluation-result-2089271-1247729851/solver-2089271-1247729851 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1511164450 HOME/instance-2089271-1247729851.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/72 13083
/proc/meminfo: memFree=1469680/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=5356 CPUtime=0
/proc/13083/stat : 13083 (pcssolve) R 13081 13083 12736 0 -1 4194304 269 0 0 0 0 0 0 0 20 0 1 0 60051580 5484544 237 996147200 4194304 4889804 548682068800 18446744073709551615 272467661537 0 0 4100 65536 0 0 0 17 1 0 0
/proc/13083/statm: 1339 237 197 169 0 50 0

[startup+0.0126809 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 13083
/proc/meminfo: memFree=1469680/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=5356 CPUtime=0
/proc/13083/stat : 13083 (pcssolve) R 13081 13083 12736 0 -1 4194304 326 317 0 0 0 0 0 0 21 0 1 0 60051580 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 272467815071 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/13083/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101692 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 13083
/proc/meminfo: memFree=1469680/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=5696 CPUtime=0.07
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 1127 822 0 0 7 0 0 0 18 0 1 0 60051580 5832704 736 996147200 134512640 135095119 4294956304 18446744073709551615 134653849 0 0 4096 0 0 0 0 17 1 0 0
/proc/13083/statm: 1424 736 364 142 0 378 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5696

[startup+0.30172 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 13083
/proc/meminfo: memFree=1469680/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=7032 CPUtime=0.27
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 1495 822 0 0 27 0 0 0 19 0 1 0 60051580 7200768 1071 996147200 134512640 135095119 4294956304 18446744073709551615 134615483 0 0 4096 0 0 0 0 17 1 0 0
/proc/13083/statm: 1758 1071 378 142 0 712 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 7032

[startup+0.701777 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 13083
/proc/meminfo: memFree=1469680/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=7032 CPUtime=0.67
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 1505 822 0 0 67 0 0 0 23 0 1 0 60051580 7200768 1081 996147200 134512640 135095119 4294956304 18446744073709551615 134580792 0 0 4096 0 0 0 0 17 1 0 0
/proc/13083/statm: 1758 1081 378 142 0 712 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 7032

[startup+1.50189 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13089
/proc/meminfo: memFree=1466728/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=7032 CPUtime=1.46
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 1522 822 0 0 146 0 0 0 25 0 1 0 60051580 7200768 1098 996147200 134512640 135095119 4294956304 18446744073709551615 134580658 0 0 4096 0 0 0 0 17 1 0 0
/proc/13083/statm: 1758 1098 378 142 0 712 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 7032

[startup+3.10113 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13089
/proc/meminfo: memFree=1466600/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=7932 CPUtime=3.04
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 1704 822 0 0 304 0 0 0 25 0 1 0 60051580 8122368 1215 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/13083/statm: 1983 1215 378 142 0 937 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 7932

[startup+6.30159 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13089
/proc/meminfo: memFree=1465512/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=10904 CPUtime=6.21
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 2428 822 0 0 621 0 0 0 25 0 1 0 60051580 11165696 1682 996147200 134512640 135095119 4294956304 18446744073709551615 134638324 0 0 4096 0 0 0 0 17 1 0 0
/proc/13083/statm: 2726 1682 378 142 0 1680 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 10904

[startup+12.7015 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13089
/proc/meminfo: memFree=1462952/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=11160 CPUtime=12.56
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 2716 822 0 0 1255 1 0 0 25 0 1 0 60051580 11427840 1970 996147200 134512640 135095119 4294956304 18446744073709551615 134617019 0 0 4096 0 0 0 0 17 1 0 0
/proc/13083/statm: 2790 1970 378 142 0 1744 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 11160

[startup+25.5014 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13089
/proc/meminfo: memFree=1458984/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=16732 CPUtime=25.23
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 4417 822 0 0 2521 2 0 0 25 0 1 0 60051580 17133568 2901 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/13083/statm: 4183 2901 378 142 0 3137 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 16732

[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13089
/proc/meminfo: memFree=1455720/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=18180 CPUtime=50.6
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 5214 822 0 0 5057 3 0 0 25 0 1 0 60051580 18616320 3698 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/13083/statm: 4545 3698 378 142 0 3499 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 18180

[startup+102.306 s]
/proc/loadavg: 2.08 2.02 2.01 3/73 13089
/proc/meminfo: memFree=1445800/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=29716 CPUtime=101.32
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 8716 822 0 0 10126 6 0 0 25 0 1 0 60051580 30429184 5662 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/13083/statm: 7429 5662 378 142 0 6383 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 29716

[startup+162.301 s]
/proc/loadavg: 2.10 2.03 2.00 3/73 13089
/proc/meminfo: memFree=1441320/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=30768 CPUtime=160.76
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 9523 822 0 0 16069 7 0 0 25 0 1 0 60051580 31506432 6469 996147200 134512640 135095119 4294956304 18446744073709551615 134642964 0 0 4096 0 0 0 0 17 1 0 0
/proc/13083/statm: 7692 6469 378 142 0 6646 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 30768

[startup+222.303 s]
/proc/loadavg: 2.04 2.02 2.00 3/73 13089
/proc/meminfo: memFree=1435048/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=41468 CPUtime=220.19
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 12652 822 0 0 22010 9 0 0 25 0 1 0 60051580 42463232 7549 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/13083/statm: 10367 7549 378 142 0 9321 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 41468

[startup+282.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/73 13089
/proc/meminfo: memFree=1429032/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=43572 CPUtime=279.63
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 13609 822 0 0 27953 10 0 0 25 0 1 0 60051580 44617728 8506 996147200 134512640 135095119 4294956304 18446744073709551615 134607029 0 0 4096 0 0 0 0 17 1 0 0
/proc/13083/statm: 10893 8506 378 142 0 9847 0
Current children cumulated CPU time (s) 279.63
Current children cumulated vsize (KiB) 43572

[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 13089
/proc/meminfo: memFree=1423208/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=45544 CPUtime=339.07
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 14498 822 0 0 33896 11 0 0 25 0 1 0 60051580 46637056 9395 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/13083/statm: 11386 9395 378 142 0 10340 0
Current children cumulated CPU time (s) 339.07
Current children cumulated vsize (KiB) 45544

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13089
/proc/meminfo: memFree=1412648/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=56636 CPUtime=398.51
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 17641 822 0 0 39839 12 0 0 25 0 1 0 60051580 57995264 11513 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/13083/statm: 14159 11513 378 142 0 13113 0
Current children cumulated CPU time (s) 398.51
Current children cumulated vsize (KiB) 56636

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13089
/proc/meminfo: memFree=1400808/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=56636 CPUtime=457.94
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 17992 822 0 0 45781 13 0 0 25 0 1 0 60051580 57995264 11864 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/13083/statm: 14159 11864 378 142 0 13113 0
Current children cumulated CPU time (s) 457.94
Current children cumulated vsize (KiB) 56636

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13089
/proc/meminfo: memFree=1398568/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=56636 CPUtime=517.39
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 18316 822 0 0 51725 14 0 0 25 0 1 0 60051580 57995264 12188 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/13083/statm: 14159 12188 378 142 0 13113 0
Current children cumulated CPU time (s) 517.39
Current children cumulated vsize (KiB) 56636

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13089
/proc/meminfo: memFree=1395496/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=57292 CPUtime=576.82
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 18778 822 0 0 57668 14 0 0 25 0 1 0 60051580 58667008 12650 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/13083/statm: 14323 12650 378 142 0 13277 0
Current children cumulated CPU time (s) 576.82
Current children cumulated vsize (KiB) 57292

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13089
/proc/meminfo: memFree=1391848/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=58736 CPUtime=636.26
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 19450 822 0 0 63612 14 0 0 25 0 1 0 60051580 60145664 13322 996147200 134512640 135095119 4294956304 18446744073709551615 134607029 0 0 4096 0 0 0 0 17 1 0 0
/proc/13083/statm: 14684 13322 378 142 0 13638 0
Current children cumulated CPU time (s) 636.26
Current children cumulated vsize (KiB) 58736

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13091
/proc/meminfo: memFree=1378152/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=80496 CPUtime=874.02
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 26028 822 0 0 87381 21 0 0 25 0 1 0 60051580 82427904 15803 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/13083/statm: 20124 15803 378 142 0 19078 0
Current children cumulated CPU time (s) 874.02
Current children cumulated vsize (KiB) 80496

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13091
/proc/meminfo: memFree=1374184/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=81944 CPUtime=933.45
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 26626 822 0 0 93323 22 0 0 25 0 1 0 60051580 83910656 16401 996147200 134512640 135095119 4294956304 18446744073709551615 134641833 0 0 4096 0 0 0 0 17 1 0 0
/proc/13083/statm: 20486 16401 378 142 0 19440 0
Current children cumulated CPU time (s) 933.45
Current children cumulated vsize (KiB) 81944

[startup+1002.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/73 13091
/proc/meminfo: memFree=1369704/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=83260 CPUtime=992.9
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 27216 822 0 0 99267 23 0 0 25 0 1 0 60051580 85258240 16991 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/13083/statm: 20815 16991 378 142 0 19769 0
Current children cumulated CPU time (s) 992.9
Current children cumulated vsize (KiB) 83260

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/73 13091
/proc/meminfo: memFree=1365352/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=84308 CPUtime=1052.34
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 27749 822 0 0 105210 24 0 0 25 0 1 0 60051580 86331392 17524 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/13083/statm: 21077 17524 378 142 0 20031 0
Current children cumulated CPU time (s) 1052.34
Current children cumulated vsize (KiB) 84308

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13133
/proc/meminfo: memFree=1423328/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=85748 CPUtime=1111.76
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 28340 822 0 0 111151 25 0 0 25 0 1 0 60051580 87805952 18115 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/13083/statm: 21437 18115 378 142 0 20391 0
Current children cumulated CPU time (s) 1111.76
Current children cumulated vsize (KiB) 85748

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13133
/proc/meminfo: memFree=1420960/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=86924 CPUtime=1171.2
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 28889 822 0 0 117094 26 0 0 25 0 1 0 60051580 89010176 18664 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/13083/statm: 21731 18664 378 142 0 20685 0
Current children cumulated CPU time (s) 1171.2
Current children cumulated vsize (KiB) 86924

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13343
/proc/meminfo: memFree=1415576/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=87980 CPUtime=1231.08
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 29417 822 0 0 123078 30 0 0 25 0 1 0 60051580 90091520 19192 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/13083/statm: 21995 19192 378 142 0 20949 0
Current children cumulated CPU time (s) 1231.08
Current children cumulated vsize (KiB) 87980

[startup+1302.3 s]
/proc/loadavg: 2.32 2.08 2.02 3/82 13343
/proc/meminfo: memFree=1413272/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=89164 CPUtime=1291.05
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 29947 822 0 0 129075 30 0 0 25 0 1 0 60051580 91303936 19722 996147200 134512640 135095119 4294956304 18446744073709551615 134570826 0 0 4096 0 0 0 0 17 0 0 0
/proc/13083/statm: 22291 19722 378 142 0 21245 0
Current children cumulated CPU time (s) 1291.05
Current children cumulated vsize (KiB) 89164

[startup+1362.3 s]
/proc/loadavg: 2.12 2.06 2.02 3/73 13375
/proc/meminfo: memFree=1407080/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=112404 CPUtime=1351.02
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 36034 822 0 0 135068 34 0 0 25 0 1 0 60051580 115101696 23760 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/13083/statm: 28101 23760 378 142 0 27055 0
Current children cumulated CPU time (s) 1351.02
Current children cumulated vsize (KiB) 112404

[startup+1422.31 s]
/proc/loadavg: 2.04 2.05 2.01 3/73 13381
/proc/meminfo: memFree=1402208/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=112404 CPUtime=1410.99
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 36282 822 0 0 141065 34 0 0 25 0 1 0 60051580 115101696 24008 996147200 134512640 135095119 4294956304 18446744073709551615 134615483 0 0 4096 0 0 0 0 17 0 0 0
/proc/13083/statm: 28101 24008 378 142 0 27055 0
Current children cumulated CPU time (s) 1410.99
Current children cumulated vsize (KiB) 112404

[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/73 13381
/proc/meminfo: memFree=1396520/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=112404 CPUtime=1470.96
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 36514 822 0 0 147062 34 0 0 25 0 1 0 60051580 115101696 24240 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/13083/statm: 28101 24240 378 142 0 27055 0
Current children cumulated CPU time (s) 1470.96
Current children cumulated vsize (KiB) 112404

[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 13422
/proc/meminfo: memFree=1394456/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=112404 CPUtime=1530.94
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 36747 822 0 0 153058 36 0 0 25 0 1 0 60051580 115101696 24473 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/13083/statm: 28101 24473 378 142 0 27055 0
Current children cumulated CPU time (s) 1530.94
Current children cumulated vsize (KiB) 112404

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 13422
/proc/meminfo: memFree=1393496/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=112404 CPUtime=1590.91
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 36973 822 0 0 159055 36 0 0 25 0 1 0 60051580 115101696 24699 996147200 134512640 135095119 4294956304 18446744073709551615 134643080 0 0 4096 0 0 0 0 17 0 0 0
/proc/13083/statm: 28101 24699 378 142 0 27055 0
Current children cumulated CPU time (s) 1590.91
Current children cumulated vsize (KiB) 112404

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 13422
/proc/meminfo: memFree=1392472/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=112404 CPUtime=1650.89
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 37194 822 0 0 165052 37 0 0 25 0 1 0 60051580 115101696 24920 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/13083/statm: 28101 24920 378 142 0 27055 0
Current children cumulated CPU time (s) 1650.89
Current children cumulated vsize (KiB) 112404

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 13422
/proc/meminfo: memFree=1391576/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=112404 CPUtime=1710.86
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 37417 822 0 0 171049 37 0 0 25 0 1 0 60051580 115101696 25143 996147200 134512640 135095119 4294956304 18446744073709551615 134638356 0 0 4096 0 0 0 0 17 0 0 0
/proc/13083/statm: 28101 25143 378 142 0 27055 0
Current children cumulated CPU time (s) 1710.86
Current children cumulated vsize (KiB) 112404

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 13422
/proc/meminfo: memFree=1390680/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=112404 CPUtime=1770.83
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 37643 822 0 0 177046 37 0 0 25 0 1 0 60051580 115101696 25369 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/13083/statm: 28101 25369 378 142 0 27055 0
Current children cumulated CPU time (s) 1770.83
Current children cumulated vsize (KiB) 112404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13422
/proc/meminfo: memFree=1390232/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=112404 CPUtime=1800.03
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 37748 822 0 0 179965 38 0 0 25 0 1 0 60051580 115101696 25474 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/13083/statm: 28101 25474 378 142 0 27055 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 112404

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

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

[startup+1811.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13422
/proc/meminfo: memFree=1390232/2055920 swapFree=4192812/4192956
[pid=13083] ppid=13081 vsize=112404 CPUtime=1800.03
/proc/13083/stat : 13083 (pcs.small) R 13081 13083 12736 0 -1 4194304 37748 822 0 0 179965 38 0 0 25 0 1 0 60051580 115101696 25474 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/13083/statm: 28101 25474 378 142 0 27055 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 112404

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1811.53
CPU time (s): 1800.07
CPU user time (s): 1799.66
CPU system time (s): 0.406938
CPU usage (%): 99.3676
Max. virtual memory (cumulated for all children) (KiB): 118092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.66
system time used= 0.406938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38570
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= 22
involuntary context switches= 30056

runsolver used 2.58961 second user time and 5.36918 second system time

The end

Launcher Data 

Begin job on node22 at 2009-07-16 09:37:31
IDJOB=2089271
IDBENCH=59414
IDSOLVER=734
FILE ID=node22/2089271-1247729851
PBS_JOBID= 9521539
Free space on /tmp= 66380 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/tightness0.5/normalized-rand-2-40-25-180-500-38_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2089271-1247729851/watcher-2089271-1247729851 -o /tmp/evaluation-result-2089271-1247729851/solver-2089271-1247729851 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1511164450 HOME/instance-2089271-1247729851.xml

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

MD5SUM BENCH= 18a88f4de5e28d494ca9fac33a68ab0c
RANDOM SEED=1511164450

node22.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.278
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.278
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	: 5636.09
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1470160 kB
Buffers:         90960 kB
Cached:         356276 kB
SwapCached:          0 kB
Active:         109112 kB
Inactive:       390448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1470160 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2040 kB
Writeback:           0 kB
Mapped:          63816 kB
Slab:            71432 kB
Committed_AS:   605552 kB
PageTables:       1788 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= 66384 MiB
End job on node22 at 2009-07-16 10:07:44