Trace number 2069251

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.22 1815.93

General information on the benchmark

Namecsp/pseudo/uclid/
normalized-ooo-tag14.xml
MD5SUMd3ae78fee0d8913cff0d36f93ae3f6e7
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark68.3066
Satisfiable
(Un)Satisfiability was proved
Number of variables40605
Number of constraints118929
Maximum constraint arity13
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension118929
Global constraints used (with number of constraints)

Solver Data 

0.05/0.15	c has operations which may create big domains
0.05/0.15	c big-domain mode
0.05/0.15	c Seed is 257261623
0.05/0.15	c Constructing HOME/instance-2069251-1247708088.xml  with 336565 constraints
9.12/9.27	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-2069251-1247708088/watcher-2069251-1247708088 -o /tmp/evaluation-result-2069251-1247708088/solver-2069251-1247708088 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 257261623 HOME/instance-2069251-1247708088.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/81 11438
/proc/meminfo: memFree=1286296/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=5356 CPUtime=0
/proc/11438/stat : 11438 (pcssolve) R 11436 11438 10171 0 -1 4194304 265 0 0 0 0 0 0 0 20 0 1 0 57872063 5484544 233 996147200 4194304 4889804 548682068800 18446744073709551615 217051474410 0 0 4100 65536 0 0 0 17 1 0 0
/proc/11438/statm: 1339 233 194 169 0 50 0

[startup+0.0503079 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 11438
/proc/meminfo: memFree=1286296/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=5356 CPUtime=0.01
/proc/11438/stat : 11438 (pcssolve) S 11436 11438 10171 0 -1 4194304 339 317 0 0 0 0 1 0 20 0 1 0 57872063 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11438/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5356

[startup+0.10231 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 11438
/proc/meminfo: memFree=1286296/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=5356 CPUtime=0.05
/proc/11438/stat : 11438 (pcssolve) S 11436 11438 10171 0 -1 4194304 367 649 0 0 0 0 3 2 21 0 1 0 57872063 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11438/statm: 1339 243 202 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.302351 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 11438
/proc/meminfo: memFree=1286296/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=8192 CPUtime=0.27
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 1734 826 0 0 14 0 11 2 19 0 1 0 57872063 8388608 1343 996147200 134512640 135215973 4294956304 18446744073709551615 134532911 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 2048 1343 361 171 0 973 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 8192

[startup+0.701425 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 11438
/proc/meminfo: memFree=1286296/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=19668 CPUtime=0.67
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 5208 826 0 0 52 2 11 2 23 0 1 0 57872063 20140032 3587 996147200 134512640 135215973 4294956304 18446744073709551615 4158960519 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 4917 3587 385 171 0 3842 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 19668

[startup+1.50158 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 11444
/proc/meminfo: memFree=1270416/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=31024 CPUtime=1.47
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 8834 826 0 0 130 4 11 2 25 0 1 0 57872063 31768576 5894 996147200 134512640 135215973 4294956304 18446744073709551615 4159198719 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 7756 5894 385 171 0 6681 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 31024

[startup+3.10188 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 11444
/proc/meminfo: memFree=1254800/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=45020 CPUtime=3.06
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 13736 826 0 0 286 7 11 2 25 0 1 0 57872063 46100480 9424 996147200 134512640 135215973 4294956304 18446744073709551615 134841591 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 11255 9424 385 171 0 10180 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 45020

[startup+6.3015 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 11444
/proc/meminfo: memFree=1229072/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=82340 CPUtime=6.24
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 25733 826 0 0 594 17 11 2 25 0 1 0 57872063 84316160 16884 996147200 134512640 135215973 4294956304 18446744073709551615 134886122 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 20585 16884 385 171 0 19510 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 82340

[startup+12.7017 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 11444
/proc/meminfo: memFree=1125200/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=181660 CPUtime=12.6
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 61790 826 0 0 1210 37 11 2 25 0 1 0 57872063 186019840 41415 996147200 134512640 135215973 4294956304 18446744073709551615 134680937 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 45415 41415 406 171 0 44340 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 181660

[startup+25.5022 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 11444
/proc/meminfo: memFree=1090768/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=226896 CPUtime=25.34
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 87372 826 0 0 2470 51 11 2 25 0 1 0 57872063 232341504 49461 996147200 134512640 135215973 4294956304 18446744073709551615 134590657 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 56724 49461 409 171 0 55649 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 226896

[startup+51.1021 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 11444
/proc/meminfo: memFree=1086672/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=227784 CPUtime=50.81
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 132355 826 0 0 4993 75 11 2 25 0 1 0 57872063 233250816 50169 996147200 134512640 135215973 4294956304 18446744073709551615 134591843 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 56946 50169 409 171 0 55871 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 227784

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 11444
/proc/meminfo: memFree=1084112/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=230256 CPUtime=101.75
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 340673 826 0 0 9972 190 11 2 25 0 1 0 57872063 235782144 50774 996147200 134512640 135215973 4294956304 18446744073709551615 134648251 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 57564 50774 409 171 0 56489 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 230256

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 11444
/proc/meminfo: memFree=1074896/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=239824 CPUtime=161.45
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 647715 826 0 0 15780 352 11 2 25 0 1 0 57872063 245579776 53171 996147200 134512640 135215973 4294956304 18446744073709551615 134594391 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 59956 53171 409 171 0 58881 0
Current children cumulated CPU time (s) 161.45
Current children cumulated vsize (KiB) 239824

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 11444
/proc/meminfo: memFree=1060816/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=252792 CPUtime=221.16
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 873897 826 0 0 21627 476 11 2 25 0 1 0 57872063 258859008 56395 996147200 134512640 135215973 4294956304 18446744073709551615 4158960058 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 63198 56395 409 171 0 62123 0
Current children cumulated CPU time (s) 221.16
Current children cumulated vsize (KiB) 252792

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 11444
/proc/meminfo: memFree=1046736/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=267644 CPUtime=280.86
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 1161757 826 0 0 27444 629 11 2 25 0 1 0 57872063 274067456 60136 996147200 134512640 135215973 4294956304 18446744073709551615 4158960519 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 66911 60136 409 171 0 65836 0
Current children cumulated CPU time (s) 280.86
Current children cumulated vsize (KiB) 267644

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 11444
/proc/meminfo: memFree=1033872/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=280840 CPUtime=340.57
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 1430723 826 0 0 33273 771 11 2 25 0 1 0 57872063 287580160 63323 996147200 134512640 135215973 4294956304 18446744073709551615 134600809 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 70210 63323 409 171 0 69135 0
Current children cumulated CPU time (s) 340.57
Current children cumulated vsize (KiB) 280840

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 11444
/proc/meminfo: memFree=1020688/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=293528 CPUtime=400.28
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 1679158 826 0 0 39115 900 11 2 25 0 1 0 57872063 300572672 66601 996147200 134512640 135215973 4294956304 18446744073709551615 134600144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 73382 66601 409 171 0 72307 0
Current children cumulated CPU time (s) 400.28
Current children cumulated vsize (KiB) 293528

[startup+462.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 11444
/proc/meminfo: memFree=1010576/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=303700 CPUtime=459.98
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 1982532 826 0 0 44926 1059 11 2 25 0 1 0 57872063 310988800 69158 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 75925 69158 409 171 0 74850 0
Current children cumulated CPU time (s) 459.98
Current children cumulated vsize (KiB) 303700

[startup+522.301 s]
/proc/loadavg: 1.93 1.97 1.99 3/83 11774
/proc/meminfo: memFree=1100560/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=318488 CPUtime=519.59
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 2345766 826 0 0 50728 1218 11 2 25 0 1 0 57872063 326131712 72879 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 79622 72879 409 171 0 78547 0
Current children cumulated CPU time (s) 519.59
Current children cumulated vsize (KiB) 318488

[startup+582.302 s]
/proc/loadavg: 2.02 1.99 1.99 3/82 11774
/proc/meminfo: memFree=1092368/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=328052 CPUtime=579.02
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 2691202 826 0 0 56525 1364 11 2 25 0 1 0 57872063 335925248 74990 996147200 134512640 135215973 4294956304 18446744073709551615 134627170 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 82013 74990 409 171 0 80938 0
Current children cumulated CPU time (s) 579.02
Current children cumulated vsize (KiB) 328052

[startup+642.302 s]
/proc/loadavg: 2.05 2.00 2.00 3/82 11774
/proc/meminfo: memFree=1081168/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=337896 CPUtime=638.45
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 3008236 826 0 0 62332 1500 11 2 25 0 1 0 57872063 346005504 77545 996147200 134512640 135215973 4294956304 18446744073709551615 4158960648 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 84474 77545 409 171 0 83399 0
Current children cumulated CPU time (s) 638.45
Current children cumulated vsize (KiB) 337896

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 2.40 2.15 2.04 3/82 11774
/proc/meminfo: memFree=989456/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=429744 CPUtime=876.17
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 4459315 826 0 0 85491 2113 11 2 25 0 1 0 57872063 440057856 100432 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 107436 100432 409 171 0 106361 0
Current children cumulated CPU time (s) 876.17
Current children cumulated vsize (KiB) 429744

[startup+942.301 s]
/proc/loadavg: 2.21 2.14 2.04 3/82 11774
/proc/meminfo: memFree=964880/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=454268 CPUtime=935.61
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 4978894 826 0 0 91228 2320 11 2 25 0 1 0 57872063 465170432 106674 996147200 134512640 135215973 4294956304 18446744073709551615 134532661 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 113567 106674 409 171 0 112492 0
Current children cumulated CPU time (s) 935.61
Current children cumulated vsize (KiB) 454268

[startup+1002.3 s]
/proc/loadavg: 2.49 2.22 2.07 3/82 11774
/proc/meminfo: memFree=930896/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=487208 CPUtime=995.03
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 5495842 826 0 0 96962 2528 11 2 25 0 1 0 57872063 498900992 115092 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 121802 115092 409 171 0 120727 0
Current children cumulated CPU time (s) 995.03
Current children cumulated vsize (KiB) 487208

[startup+1062.3 s]
/proc/loadavg: 2.42 2.26 2.10 3/82 11776
/proc/meminfo: memFree=904720/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=513056 CPUtime=1054.47
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 5655176 826 0 0 102844 2590 11 2 25 0 1 0 57872063 525369344 121580 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 128264 121580 409 171 0 127189 0
Current children cumulated CPU time (s) 1054.47
Current children cumulated vsize (KiB) 513056

[startup+1122.3 s]
/proc/loadavg: 2.15 2.21 2.09 3/82 11776
/proc/meminfo: memFree=868752/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=549104 CPUtime=1113.9
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 6129968 826 0 0 108603 2774 11 2 25 0 1 0 57872063 562282496 130599 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 137276 130599 409 171 0 136201 0
Current children cumulated CPU time (s) 1113.9
Current children cumulated vsize (KiB) 549104

[startup+1182.3 s]
/proc/loadavg: 2.05 2.17 2.08 3/82 11776
/proc/meminfo: memFree=843856/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=577680 CPUtime=1173.34
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 6603496 826 0 0 114355 2966 11 2 25 0 1 0 57872063 591544320 136823 996147200 134512640 135215973 4294956304 18446744073709551615 4158960004 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 144420 136823 409 171 0 143345 0
Current children cumulated CPU time (s) 1173.34
Current children cumulated vsize (KiB) 577680

[startup+1242.3 s]
/proc/loadavg: 2.02 2.14 2.08 3/82 11776
/proc/meminfo: memFree=824080/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=596608 CPUtime=1232.76
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 7107055 826 0 0 120089 3174 11 2 25 0 1 0 57872063 610926592 141719 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 149152 141719 409 171 0 148077 0
Current children cumulated CPU time (s) 1232.76
Current children cumulated vsize (KiB) 596608

[startup+1302.3 s]
/proc/loadavg: 2.00 2.11 2.07 3/82 11776
/proc/meminfo: memFree=797392/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=622440 CPUtime=1292.2
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 7565010 826 0 0 125852 3355 11 2 25 0 1 0 57872063 637378560 148322 996147200 134512640 135215973 4294956304 18446744073709551615 135095239 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 155610 148322 409 171 0 154535 0
Current children cumulated CPU time (s) 1292.2
Current children cumulated vsize (KiB) 622440

[startup+1362.3 s]
/proc/loadavg: 2.00 2.09 2.06 3/82 11776
/proc/meminfo: memFree=763024/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=656372 CPUtime=1351.62
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 8098425 826 0 0 131581 3568 11 2 25 0 1 0 57872063 672124928 157015 996147200 134512640 135215973 4294956304 18446744073709551615 4158960603 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 164093 157015 409 171 0 163018 0
Current children cumulated CPU time (s) 1351.62
Current children cumulated vsize (KiB) 656372

[startup+1422.31 s]
/proc/loadavg: 2.00 2.07 2.06 3/82 11776
/proc/meminfo: memFree=733712/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=684668 CPUtime=1411.06
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 8433515 826 0 0 137388 3705 11 2 25 0 1 0 57872063 701100032 164217 996147200 134512640 135215973 4294956304 18446744073709551615 134640998 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 171167 164217 409 171 0 170092 0
Current children cumulated CPU time (s) 1411.06
Current children cumulated vsize (KiB) 684668

[startup+1482.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/82 11776
/proc/meminfo: memFree=715024/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=704356 CPUtime=1470.49
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 8744953 826 0 0 143204 3832 11 2 25 0 1 0 57872063 721260544 169019 996147200 134512640 135215973 4294956304 18446744073709551615 134627170 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 176089 169019 409 171 0 175014 0
Current children cumulated CPU time (s) 1470.49
Current children cumulated vsize (KiB) 704356

[startup+1542.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/82 11776
/proc/meminfo: memFree=696784/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=721872 CPUtime=1529.91
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 9061088 826 0 0 149017 3961 11 2 25 0 1 0 57872063 739196928 173711 996147200 134512640 135215973 4294956304 18446744073709551615 134588235 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 180468 173711 409 171 0 179393 0
Current children cumulated CPU time (s) 1529.91
Current children cumulated vsize (KiB) 721872

[startup+1602.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/82 11782
/proc/meminfo: memFree=677832/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=739720 CPUtime=1589.33
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 9347705 826 0 0 154839 4081 11 2 25 0 1 0 57872063 757473280 178233 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/11438/statm: 184930 178233 409 171 0 183855 0
Current children cumulated CPU time (s) 1589.33
Current children cumulated vsize (KiB) 739720

[startup+1662.3 s]
/proc/loadavg: 2.12 2.07 2.05 3/82 12258
/proc/meminfo: memFree=654536/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=760840 CPUtime=1646.64
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 9675417 826 0 0 160439 4212 11 2 25 0 1 0 57872063 779100160 183623 996147200 134512640 135215973 4294956304 18446744073709551615 4158960041 0 0 4096 0 0 0 0 17 0 0 0
/proc/11438/statm: 190210 183623 409 171 0 189135 0
Current children cumulated CPU time (s) 1646.64
Current children cumulated vsize (KiB) 760840

[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.04 3/82 12258
/proc/meminfo: memFree=629768/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=785560 CPUtime=1706.61
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 10029829 826 0 0 166294 4354 11 2 25 0 1 0 57872063 804413440 189907 996147200 134512640 135215973 4294956304 18446744073709551615 135095011 0 0 4096 0 0 0 0 17 0 0 0
/proc/11438/statm: 196390 189907 409 171 0 195315 0
Current children cumulated CPU time (s) 1706.61
Current children cumulated vsize (KiB) 785560

[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.04 3/82 12258
/proc/meminfo: memFree=609032/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=813660 CPUtime=1766.58
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 10367631 826 0 0 172158 4487 11 2 25 0 1 0 57872063 833187840 194989 996147200 134512640 135215973 4294956304 18446744073709551615 134599883 0 0 4096 0 0 0 0 17 0 0 0
/proc/11438/statm: 203415 194989 409 171 0 202340 0
Current children cumulated CPU time (s) 1766.58
Current children cumulated vsize (KiB) 813660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1815.8 s]
/proc/loadavg: 2.01 2.03 2.04 3/82 12258
/proc/meminfo: memFree=595976/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=826132 CPUtime=1800.07
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4194304 10540813 826 0 0 175438 4556 11 2 25 0 1 0 57872063 845959168 198155 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/11438/statm: 206533 198155 409 171 0 205458 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 826132

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

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

[startup+1815.91 s]
/proc/loadavg: 2.01 2.03 2.04 3/82 12258
/proc/meminfo: memFree=595976/2055920 swapFree=4192812/4192956
[pid=11438] ppid=11436 vsize=0 CPUtime=1800.17
/proc/11438/stat : 11438 (pcs.big) R 11436 11438 10171 0 -1 4195332 10540813 826 0 0 175438 4566 11 2 25 0 1 0 57872063 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/11438/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1815.93
CPU time (s): 1800.22
CPU user time (s): 1754.5
CPU system time (s): 45.7191
CPU usage (%): 99.1346
Max. virtual memory (cumulated for all children) (KiB): 827144

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

runsolver used 2.15167 second user time and 6.10007 second system time

The end

Launcher Data 

Begin job on node59 at 2009-07-16 03:34:49
IDJOB=2069251
IDBENCH=55012
IDSOLVER=734
FILE ID=node59/2069251-1247708088
PBS_JOBID= 9521194
Free space on /tmp= 66328 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/pseudo/uclid/normalized-ooo-tag14.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2069251-1247708088/watcher-2069251-1247708088 -o /tmp/evaluation-result-2069251-1247708088/solver-2069251-1247708088 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 257261623 HOME/instance-2069251-1247708088.xml

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

MD5SUM BENCH= d3ae78fee0d8913cff0d36f93ae3f6e7
RANDOM SEED=257261623

node59.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.263
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.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1286776 kB
Buffers:         97824 kB
Cached:         435840 kB
SwapCached:          0 kB
Active:         198836 kB
Inactive:       473796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1286776 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           19700 kB
Writeback:           0 kB
Mapped:         159388 kB
Slab:            81324 kB
Committed_AS:   690368 kB
PageTables:       2196 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= 66328 MiB
End job on node59 at 2009-07-16 04:05:07