Trace number 2091141

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

General information on the benchmark

Namecsp/rand-2-50-23/
normalized-rand-2-50-23-587-230-27_ext.xml
MD5SUMc035e9e17573b95fb664175671593747
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 benchmark931.788
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints470
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension470
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 1082497594
0.00/0.01	c Constructing HOME/instance-2091141-1247731531.xml  with 10797 constraints
0.08/0.16	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-2091141-1247731531/watcher-2091141-1247731531 -o /tmp/evaluation-result-2091141-1247731531/solver-2091141-1247731531 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1082497594 HOME/instance-2091141-1247731531.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 18886
/proc/meminfo: memFree=1489984/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=5356 CPUtime=0
/proc/18886/stat : 18886 (pcssolve) S 18884 18886 17985 0 -1 4194304 339 317 0 0 0 0 0 0 19 0 1 0 60218150 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18886/statm: 1339 242 201 169 0 50 0
[pid=18889] ppid=18886 vsize=5356 CPUtime=0
/proc/18889/stat : 18889 (pcssolve) R 18886 18886 17985 0 -1 4194368 21 0 0 0 0 0 0 0 21 0 1 0 60218150 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 269807578407 0 0 4096 0 0 0 0 17 1 0 0
/proc/18889/statm: 1339 243 202 169 0 50 0
[pid=18890] ppid=18886 vsize=5356 CPUtime=0
/proc/18890/stat : 18890 (pcssolve) R 18886 18886 17985 0 -1 4194368 19 0 0 0 0 0 0 0 22 0 1 0 60218151 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 269807745637 0 0 4100 65536 0 0 0 17 0 0 0
/proc/18890/statm: 1339 243 202 169 0 50 0

[startup+0.0800299 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 18886
/proc/meminfo: memFree=1489984/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=5432 CPUtime=0.06
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 1080 822 0 0 6 0 0 0 22 0 1 0 60218150 5562368 689 996147200 134512640 135095119 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 1358 690 364 142 0 312 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5432

[startup+0.101031 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 18886
/proc/meminfo: memFree=1489984/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=5828 CPUtime=0.08
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 1175 822 0 0 8 0 0 0 22 0 1 0 60218150 5967872 784 996147200 134512640 135095119 4294956304 18446744073709551615 6002299 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 1457 785 364 142 0 411 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5828

[startup+0.301052 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 18886
/proc/meminfo: memFree=1489984/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=8108 CPUtime=0.28
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 1801 822 0 0 28 0 0 0 24 0 1 0 60218150 8302592 1312 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 2027 1312 378 142 0 981 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8108

[startup+0.701095 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 18886
/proc/meminfo: memFree=1489984/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=8108 CPUtime=0.68
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 1803 822 0 0 68 0 0 0 25 0 1 0 60218150 8302592 1314 996147200 134512640 135095119 4294956304 18446744073709551615 134589601 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 2027 1314 378 142 0 981 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8108

[startup+1.50118 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1486072/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=8108 CPUtime=1.47
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 1809 822 0 0 147 0 0 0 25 0 1 0 60218150 8302592 1320 996147200 134512640 135095119 4294956304 18446744073709551615 134641455 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 2027 1320 378 142 0 981 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 8108

[startup+3.10135 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1485880/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=8108 CPUtime=3.07
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 1820 822 0 0 307 0 0 0 25 0 1 0 60218150 8302592 1331 996147200 134512640 135095119 4294956304 18446744073709551615 134615477 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 2027 1331 378 142 0 981 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 8108

[startup+6.3017 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1485624/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=8108 CPUtime=6.25
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 1840 822 0 0 625 0 0 0 25 0 1 0 60218150 8302592 1351 996147200 134512640 135095119 4294956304 18446744073709551615 134576605 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 2027 1351 378 142 0 981 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 8108

[startup+12.7024 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1484664/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=9780 CPUtime=12.63
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 2160 822 0 0 1263 0 0 0 25 0 1 0 60218150 10014720 1542 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 2445 1542 378 142 0 1399 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 9780

[startup+25.5018 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1483064/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=11200 CPUtime=25.38
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 2690 822 0 0 2537 1 0 0 25 0 1 0 60218150 11468800 1815 996147200 134512640 135095119 4294956304 18446744073709551615 134641605 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 2800 1815 378 142 0 1754 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 11200

[startup+51.1015 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1478840/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=14072 CPUtime=50.88
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 3712 822 0 0 5086 2 0 0 25 0 1 0 60218150 14409728 2547 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 3518 2547 378 142 0 2472 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 14072

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1472376/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=18100 CPUtime=101.87
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 5123 822 0 0 10184 3 0 0 25 0 1 0 60218150 18534400 3445 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 4525 3445 378 142 0 3479 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 18100

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1462904/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=24760 CPUtime=161.63
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 7165 822 0 0 16159 4 0 0 25 0 1 0 60218150 25354240 4974 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 6190 4974 378 142 0 5144 0
Current children cumulated CPU time (s) 161.63
Current children cumulated vsize (KiB) 24760

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1458680/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=28856 CPUtime=221.39
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 8525 822 0 0 22133 6 0 0 25 0 1 0 60218150 29548544 5309 996147200 134512640 135095119 4294956304 18446744073709551615 134638369 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 7214 5309 378 142 0 6168 0
Current children cumulated CPU time (s) 221.39
Current children cumulated vsize (KiB) 28856

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1453240/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=30440 CPUtime=281.15
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 9193 822 0 0 28109 6 0 0 25 0 1 0 60218150 31170560 5977 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 7610 5977 378 142 0 6564 0
Current children cumulated CPU time (s) 281.15
Current children cumulated vsize (KiB) 30440

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1442872/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=31892 CPUtime=340.91
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 9831 822 0 0 34084 7 0 0 25 0 1 0 60218150 32657408 6615 996147200 134512640 135095119 4294956304 18446744073709551615 134617041 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 7973 6615 378 142 0 6927 0
Current children cumulated CPU time (s) 340.91
Current children cumulated vsize (KiB) 31892

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1439352/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=33344 CPUtime=400.66
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 10451 822 0 0 40058 8 0 0 25 0 1 0 60218150 34144256 7235 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 8336 7235 378 142 0 7290 0
Current children cumulated CPU time (s) 400.66
Current children cumulated vsize (KiB) 33344

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1435960/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=34664 CPUtime=460.42
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 11030 822 0 0 46033 9 0 0 25 0 1 0 60218150 35495936 7814 996147200 134512640 135095119 4294956304 18446744073709551615 134617003 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 8666 7814 378 142 0 7620 0
Current children cumulated CPU time (s) 460.42
Current children cumulated vsize (KiB) 34664

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1432760/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=44308 CPUtime=520.19
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 13683 822 0 0 52008 11 0 0 25 0 1 0 60218150 45371392 8418 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 11077 8418 378 142 0 10031 0
Current children cumulated CPU time (s) 520.19
Current children cumulated vsize (KiB) 44308

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1422584/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=55268 CPUtime=579.95
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 16655 822 0 0 57982 13 0 0 25 0 1 0 60218150 56594432 10365 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 13817 10365 378 142 0 12771 0
Current children cumulated CPU time (s) 579.95
Current children cumulated vsize (KiB) 55268

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1419448/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=55268 CPUtime=639.71

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1409976/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=55532 CPUtime=818.98
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 17595 822 0 0 81883 15 0 0 25 0 1 0 60218150 56864768 11305 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 13883 11305 378 142 0 12837 0
Current children cumulated CPU time (s) 818.98
Current children cumulated vsize (KiB) 55532

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1405880/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=56588 CPUtime=878.74
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 18064 822 0 0 87858 16 0 0 25 0 1 0 60218150 57946112 11774 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 14147 11774 378 142 0 13101 0
Current children cumulated CPU time (s) 878.74
Current children cumulated vsize (KiB) 56588

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1402040/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=57644 CPUtime=938.49
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 18524 822 0 0 93833 16 0 0 25 0 1 0 60218150 59027456 12234 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 14411 12234 378 142 0 13365 0
Current children cumulated CPU time (s) 938.49
Current children cumulated vsize (KiB) 57644

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1398136/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=58696 CPUtime=998.26
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 18993 822 0 0 99809 17 0 0 25 0 1 0 60218150 60104704 12703 996147200 134512640 135095119 4294956304 18446744073709551615 134643125 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 14674 12703 378 142 0 13628 0
Current children cumulated CPU time (s) 998.26
Current children cumulated vsize (KiB) 58696

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1394232/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=59752 CPUtime=1058.02
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 19434 822 0 0 105784 18 0 0 25 0 1 0 60218150 61186048 13144 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 14938 13144 378 142 0 13892 0
Current children cumulated CPU time (s) 1058.02
Current children cumulated vsize (KiB) 59752

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1390392/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=60808 CPUtime=1117.77
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 19894 822 0 0 111759 18 0 0 25 0 1 0 60218150 62267392 13604 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 15202 13604 378 142 0 14156 0
Current children cumulated CPU time (s) 1117.77
Current children cumulated vsize (KiB) 60808

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1386616/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=61868 CPUtime=1177.53
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 20335 822 0 0 117734 19 0 0 25 0 1 0 60218150 63352832 14045 996147200 134512640 135095119 4294956304 18446744073709551615 134617227 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 15467 14045 378 142 0 14421 0
Current children cumulated CPU time (s) 1177.53
Current children cumulated vsize (KiB) 61868

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1383096/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=62792 CPUtime=1237.3
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 20766 822 0 0 123710 20 0 0 25 0 1 0 60218150 64299008 14476 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 15698 14476 378 142 0 14652 0
Current children cumulated CPU time (s) 1237.3
Current children cumulated vsize (KiB) 62792

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1379768/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=63848 CPUtime=1297.06
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 21195 822 0 0 129685 21 0 0 25 0 1 0 60218150 65380352 14905 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 15962 14905 378 142 0 14916 0
Current children cumulated CPU time (s) 1297.06
Current children cumulated vsize (KiB) 63848

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1375800/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=81288 CPUtime=1356.81
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 25754 822 0 0 135658 23 0 0 25 0 1 0 60218150 83238912 15367 996147200 134512640 135095119 4294956304 18446744073709551615 134638369 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 20322 15367 378 142 0 19276 0
Current children cumulated CPU time (s) 1356.81
Current children cumulated vsize (KiB) 81288

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1359608/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=82212 CPUtime=1416.57
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 26156 822 0 0 141633 24 0 0 25 0 1 0 60218150 84185088 15769 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 20553 15769 378 142 0 19507 0
Current children cumulated CPU time (s) 1416.57
Current children cumulated vsize (KiB) 82212

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1357304/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=83140 CPUtime=1476.33
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 26564 822 0 0 147608 25 0 0 25 0 1 0 60218150 85135360 16177 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 20785 16177 378 142 0 19739 0
Current children cumulated CPU time (s) 1476.33
Current children cumulated vsize (KiB) 83140

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1354808/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=84196 CPUtime=1536.09
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 27003 822 0 0 153583 26 0 0 25 0 1 0 60218150 86216704 16616 996147200 134512640 135095119 4294956304 18446744073709551615 134636931 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 21049 16616 378 142 0 20003 0
Current children cumulated CPU time (s) 1536.09
Current children cumulated vsize (KiB) 84196

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18892
/proc/meminfo: memFree=1352376/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=85252 CPUtime=1595.85
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 27429 822 0 0 159558 27 0 0 25 0 1 0 60218150 87298048 17042 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 21313 17042 378 142 0 20267 0
Current children cumulated CPU time (s) 1595.85
Current children cumulated vsize (KiB) 85252

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/83 18934
/proc/meminfo: memFree=1422560/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=86044 CPUtime=1655.63
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 27817 822 0 0 165535 28 0 0 25 0 1 0 60218150 88109056 17430 996147200 134512640 135095119 4294956304 18446744073709551615 134555000 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 21511 17430 378 142 0 20465 0
Current children cumulated CPU time (s) 1655.63
Current children cumulated vsize (KiB) 86044

[startup+1722.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/83 18934
/proc/meminfo: memFree=1420896/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=87104 CPUtime=1715.61
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 28250 822 0 0 171533 28 0 0 25 0 1 0 60218150 89194496 17863 996147200 134512640 135095119 4294956304 18446744073709551615 134643125 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 21776 17863 378 142 0 20730 0
Current children cumulated CPU time (s) 1715.61
Current children cumulated vsize (KiB) 87104

[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/83 18934
/proc/meminfo: memFree=1419232/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=87900 CPUtime=1775.59
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 28634 822 0 0 177530 29 0 0 25 0 1 0 60218150 90009600 18247 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 21975 18247 378 142 0 20929 0
Current children cumulated CPU time (s) 1775.59
Current children cumulated vsize (KiB) 87900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1806.8 s]
/proc/loadavg: 2.05 2.02 2.00 3/83 18934
/proc/meminfo: memFree=1418400/2055920 swapFree=4192812/4192956
[pid=18886] ppid=18884 vsize=88432 CPUtime=1800.08
/proc/18886/stat : 18886 (pcs.small) R 18884 18886 17985 0 -1 4194304 28827 822 0 0 179979 29 0 0 25 0 1 0 60218150 90554368 18440 996147200 134512640 135095119 4294956304 18446744073709551615 134636924 0 0 4096 0 0 0 0 17 0 0 0
/proc/18886/statm: 22108 18440 378 142 0 21062 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 88432

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): 1806.82
CPU time (s): 1800.12
CPU user time (s): 1799.8
CPU system time (s): 0.320951
CPU usage (%): 99.6292
Max. virtual memory (cumulated for all children) (KiB): 96620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.320951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29649
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= 20
involuntary context switches= 23440

runsolver used 1.70674 second user time and 4.87926 second system time

The end

Launcher Data 

Begin job on node81 at 2009-07-16 10:05:31
IDJOB=2091141
IDBENCH=60001
IDSOLVER=734
FILE ID=node81/2091141-1247731531
PBS_JOBID= 9521596
Free space on /tmp= 126664 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/rand-2-50-23/normalized-rand-2-50-23-587-230-27_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2091141-1247731531/watcher-2091141-1247731531 -o /tmp/evaluation-result-2091141-1247731531/solver-2091141-1247731531 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1082497594 HOME/instance-2091141-1247731531.xml

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

MD5SUM BENCH= c035e9e17573b95fb664175671593747
RANDOM SEED=1082497594

node81.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.233
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.233
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:       1490528 kB
Buffers:         87956 kB
Cached:         354928 kB
SwapCached:          0 kB
Active:          80112 kB
Inactive:       399728 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1490528 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2108 kB
Writeback:           0 kB
Mapped:          48344 kB
Slab:            70748 kB
Committed_AS:   578644 kB
PageTables:       1868 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= 126664 MiB
End job on node81 at 2009-07-16 10:35:40