Trace number 2082890

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? (MO) 1456.06 1465.34

General information on the benchmark

Namecsp/os-gp/
normalized-gp10-01-1093.xml
MD5SUM2960c39330e67b59bd11d1942a6cbea3
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.478926
Satisfiable
(Un)Satisfiability was proved
Number of variables101
Number of constraints1000
Maximum constraint arity2
Maximum domain size1094
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1000
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.18/0.22	c Seed is 1582231164
0.18/0.22	c Constructing HOME/instance-2082890-1247721813.xml  with 6500 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-2082890-1247721813/watcher-2082890-1247721813 -o /tmp/evaluation-result-2082890-1247721813/solver-2082890-1247721813 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1582231164 HOME/instance-2082890-1247721813.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 12604
/proc/meminfo: memFree=1504536/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=18576 CPUtime=0
/proc/12604/stat : 12604 (runsolver) R 12602 12604 9569 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59247829 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 272467815719 0 0 4096 24578 0 0 0 17 1 0 0
/proc/12604/statm: 4644 284 249 26 0 2626 0

[startup+0.101448 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 12604
/proc/meminfo: memFree=1504536/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=6488 CPUtime=0.08
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 1296 657 0 0 8 0 0 0 18 0 1 0 59247829 6643712 853 996147200 134512640 135215973 4294956304 18446744073709551615 134710861 0 0 4096 0 0 0 0 17 1 0 0
/proc/12604/statm: 1622 853 388 171 0 547 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6488

[startup+0.202466 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 12604
/proc/meminfo: memFree=1504536/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=8960 CPUtime=0.18
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 2108 657 0 0 18 0 0 0 18 0 1 0 59247829 9175040 1451 996147200 134512640 135215973 4294956304 18446744073709551615 134907454 0 0 4096 0 0 0 0 17 1 0 0
/proc/12604/statm: 2240 1451 407 171 0 1165 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 8960

[startup+0.30248 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 12604
/proc/meminfo: memFree=1504536/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=8960 CPUtime=0.28
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 2133 657 0 0 28 0 0 0 19 0 1 0 59247829 9175040 1476 996147200 134512640 135215973 4294956304 18446744073709551615 134586588 0 0 4096 0 0 0 0 17 1 0 0
/proc/12604/statm: 2240 1476 407 171 0 1165 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8960

[startup+0.702537 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 12604
/proc/meminfo: memFree=1504536/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=9084 CPUtime=0.67
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 2182 657 0 0 67 0 0 0 23 0 1 0 59247829 9302016 1525 996147200 134512640 135215973 4294956304 18446744073709551615 134523348 0 0 4096 0 0 0 0 17 1 0 0
/proc/12604/statm: 2271 1525 407 171 0 1196 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 9084

[startup+1.50165 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12609
/proc/meminfo: memFree=1499408/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=9936 CPUtime=1.46
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 2396 657 0 0 146 0 0 0 25 0 1 0 59247829 10174464 1739 996147200 134512640 135215973 4294956304 18446744073709551615 134982863 0 0 4096 0 0 0 0 17 1 0 0
/proc/12604/statm: 2484 1739 407 171 0 1409 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9936

[startup+3.10189 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12609
/proc/meminfo: memFree=1498640/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=10776 CPUtime=3.05
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 2636 657 0 0 304 1 0 0 25 0 1 0 59247829 11034624 1946 996147200 134512640 135215973 4294956304 18446744073709551615 134648559 0 0 4096 0 0 0 0 17 1 0 0
/proc/12604/statm: 2694 1946 407 171 0 1619 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 10776

[startup+6.30235 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12609
/proc/meminfo: memFree=1496656/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=12656 CPUtime=6.22
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 3163 657 0 0 621 1 0 0 25 0 1 0 59247829 12959744 2408 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/12604/statm: 3164 2408 407 171 0 2089 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 12656

[startup+12.7013 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12609
/proc/meminfo: memFree=1492176/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=17932 CPUtime=12.56
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 4624 657 0 0 1253 3 0 0 25 0 1 0 59247829 18362368 3466 996147200 134512640 135215973 4294956304 18446744073709551615 134599985 0 0 4096 0 0 0 0 17 1 0 0
/proc/12604/statm: 4483 3466 407 171 0 3408 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 17932

[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 12609
/proc/meminfo: memFree=1481680/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=28520 CPUtime=25.24
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 7460 657 0 0 2519 5 0 0 25 0 1 0 59247829 29204480 6045 996147200 134512640 135215973 4294956304 18446744073709551615 134902593 0 0 4096 0 0 0 0 17 1 0 0
/proc/12604/statm: 7130 6045 407 171 0 6055 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 28520

[startup+51.1028 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12609
/proc/meminfo: memFree=1468240/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=42892 CPUtime=50.6
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 11408 657 0 0 5052 8 0 0 25 0 1 0 59247829 43921408 9351 996147200 134512640 135215973 4294956304 18446744073709551615 4158960177 0 0 4096 0 0 0 0 17 1 0 0
/proc/12604/statm: 10723 9351 407 171 0 9648 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 42892

[startup+102.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12609
/proc/meminfo: memFree=1445328/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=67528 CPUtime=101.32
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 18199 657 0 0 10119 13 0 0 25 0 1 0 59247829 69148672 15117 996147200 134512640 135215973 4294956304 18446744073709551615 134902703 0 0 4096 0 0 0 0 17 1 0 0
/proc/12604/statm: 16882 15117 407 171 0 15807 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 67528

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12609
/proc/meminfo: memFree=1406352/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=103152 CPUtime=160.76
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 27936 657 0 0 16056 20 0 0 25 0 1 0 59247829 105627648 24854 996147200 134512640 135215973 4294956304 18446744073709551615 134902551 0 0 4096 0 0 0 0 17 1 0 0
/proc/12604/statm: 25788 24854 407 171 0 24713 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 103152

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12609
/proc/meminfo: memFree=1374544/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=140736 CPUtime=220.19
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 38146 657 0 0 21995 24 0 0 25 0 1 0 59247829 144113664 32758 996147200 134512640 135215973 4294956304 18446744073709551615 134533180 0 0 4096 0 0 0 0 17 1 0 0
/proc/12604/statm: 35184 32758 407 171 0 34109 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 140736

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12609
/proc/meminfo: memFree=1335632/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=175620 CPUtime=279.62
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 47932 657 0 0 27933 29 0 0 25 0 1 0 59247829 179834880 42544 996147200 134512640 135215973 4294956304 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 1 0 0
/proc/12604/statm: 43905 42544 407 171 0 42830 0
Current children cumulated CPU time (s) 279.62
Current children cumulated vsize (KiB) 175620

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12609
/proc/meminfo: memFree=1305048/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=219180 CPUtime=339.06
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 59570 657 0 0 33869 37 0 0 25 0 1 0 59247829 224440320 50085 996147200 134512640 135215973 4294956304 18446744073709551615 134957922 0 0 4096 0 0 0 0 17 1 0 0
/proc/12604/statm: 54795 50085 407 171 0 53720 0
Current children cumulated CPU time (s) 339.06
Current children cumulated vsize (KiB) 219180

[startup+402.303 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 12609
/proc/meminfo: memFree=1269400/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=253944 CPUtime=398.5
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 69055 657 0 0 39807 43 0 0 25 0 1 0 59247829 260038656 59057 996147200 134512640 135215973 4294956304 18446744073709551615 134594109 0 0 4096 0 0 0 0 17 1 0 0
/proc/12604/statm: 63486 59057 407 171 0 62411 0
Current children cumulated CPU time (s) 398.5
Current children cumulated vsize (KiB) 253944

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12609
/proc/meminfo: memFree=1237208/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=282500 CPUtime=457.93
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 77005 657 0 0 45744 49 0 0 25 0 1 0 59247829 289280000 67007 996147200 134512640 135215973 4294956304 18446744073709551615 134957837 0 0 4096 0 0 0 0 17 1 0 0
/proc/12604/statm: 70625 67007 407 171 0 69550 0
Current children cumulated CPU time (s) 457.93
Current children cumulated vsize (KiB) 282500

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12609
/proc/meminfo: memFree=1199640/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=316792 CPUtime=517.37
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 86469 657 0 0 51680 57 0 0 25 0 1 0 59247829 324395008 76471 996147200 134512640 135215973 4294956304 18446744073709551615 134648399 0 0 4096 0 0 0 0 17 1 0 0
/proc/12604/statm: 79198 76471 407 171 0 78123 0
Current children cumulated CPU time (s) 517.37
Current children cumulated vsize (KiB) 316792

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 12609
/proc/meminfo: memFree=1159768/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=353624 CPUtime=576.81
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 96461 657 0 0 57617 64 0 0 25 0 1 0 59247829 362110976 86463 996147200 134512640 135215973 4294956304 18446744073709551615 134600333 0 0 4096 0 0 0 0 17 1 0 0
/proc/12604/statm: 88406 86463 407 171 0 87331 0
Current children cumulated CPU time (s) 576.81
Current children cumulated vsize (KiB) 353624

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12609
/proc/meminfo: memFree=1125656/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=384304 CPUtime=636.24
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 104929 657 0 0 63554 70 0 0 25 0 1 0 59247829 393527296 94931 996147200 134512640 135215973 4294956304 18446744073709551615 134907925 0 0 4096 0 0 0 0 17 1 0 0
/proc/12604/statm: 96076 94931 407 171 0 95001 0
Current children cumulated CPU time (s) 636.24
Current children cumulated vsize (KiB) 384304

[startup+702.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12609
/proc/meminfo: memFree=1088536/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=450692 CPUtime=695.68
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 122362 657 0 0 69487 81 0 0 25 0 1 0 59247829 461508608 104171 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 1 0 0
/proc/12604/statm: 112673 104171 407 171 0 111598 0
Current children cumulated CPU time (s) 695.68
Current children cumulated vsize (KiB) 450692

[startup+762.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12609
/proc/meminfo: memFree=1058840/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=476928 CPUtime=755.12
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 129669 657 0 0 75425 87 0 0 25 0 1 0 59247829 488374272 111478 996147200 134512640 135215973 4294956304 18446744073709551615 134590185 0 0 4096 0 0 0 0 17 1 0 0
/proc/12604/statm: 119232 111478 407 171 0 118157 0
Current children cumulated CPU time (s) 755.12
Current children cumulated vsize (KiB) 476928

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12609
/proc/meminfo: memFree=1028248/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=504700 CPUtime=814.55
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 137368 657 0 0 81362 93 0 0 25 0 1 0 59247829 516812800 119177 996147200 134512640 135215973 4294956304 18446744073709551615 134902469 0 0 4096 0 0 0 0 17 1 0 0
/proc/12604/statm: 126175 119177 407 171 0 125100 0
Current children cumulated CPU time (s) 814.55
Current children cumulated vsize (KiB) 504700

[startup+882.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12609
/proc/meminfo: memFree=980888/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=553060 CPUtime=873.99
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 150140 657 0 0 87299 100 0 0 25 0 1 0 59247829 566333440 130924 996147200 134512640 135215973 4294956304 18446744073709551615 134907554 0 0 4096 0 0 0 0 17 1 0 0
/proc/12604/statm: 138265 130924 407 171 0 137190 0
Current children cumulated CPU time (s) 873.99
Current children cumulated vsize (KiB) 553060

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12609
/proc/meminfo: memFree=961240/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=570052 CPUtime=933.42
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 155157 657 0 0 93238 104 0 0 25 0 1 0 59247829 583733248 135941 996147200 134512640 135215973 4294956304 18446744073709551615 134648286 0 0 4096 0 0 0 0 17 1 0 0
/proc/12604/statm: 142513 135941 407 171 0 141438 0
Current children cumulated CPU time (s) 933.42
Current children cumulated vsize (KiB) 570052

[startup+1002.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/73 12642
/proc/meminfo: memFree=863976/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=598224 CPUtime=993.2
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 163011 657 0 0 99210 110 0 0 25 0 1 0 59247829 612581376 143795 996147200 134512640 135215973 4294956304 18446744073709551615 134532717 0 0 4096 0 0 0 0 17 0 0 0
/proc/12604/statm: 149556 143795 407 171 0 148481 0
Current children cumulated CPU time (s) 993.2
Current children cumulated vsize (KiB) 598224

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/73 12642
/proc/meminfo: memFree=825832/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=626456 CPUtime=1053.18
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 170841 657 0 0 105201 117 0 0 25 0 1 0 59247829 641490944 151625 996147200 134512640 135215973 4294956304 18446744073709551615 5119636 0 0 4096 0 0 0 0 17 0 0 0
/proc/12604/statm: 156614 151625 407 171 0 155539 0
Current children cumulated CPU time (s) 1053.18
Current children cumulated vsize (KiB) 626456

[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/73 12673
/proc/meminfo: memFree=806824/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=655292 CPUtime=1113.15
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 178895 657 0 0 111190 125 0 0 25 0 1 0 59247829 671019008 159679 996147200 134512640 135215973 4294956304 18446744073709551615 134590262 0 0 4096 0 0 0 0 17 0 0 0
/proc/12604/statm: 163823 159679 407 171 0 162748 0
Current children cumulated CPU time (s) 1113.15
Current children cumulated vsize (KiB) 655292

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12673
/proc/meminfo: memFree=763112/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=690136 CPUtime=1173.12
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 188616 657 0 0 117179 133 0 0 25 0 1 0 59247829 706699264 169400 996147200 134512640 135215973 4294956304 18446744073709551615 134588226 0 0 4096 0 0 0 0 17 0 0 0
/proc/12604/statm: 172534 169400 407 171 0 171459 0
Current children cumulated CPU time (s) 1173.12
Current children cumulated vsize (KiB) 690136

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12673
/proc/meminfo: memFree=715752/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=722124 CPUtime=1233.1
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 197586 657 0 0 123169 141 0 0 25 0 1 0 59247829 739454976 178370 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 0 0 0
/proc/12604/statm: 180531 178370 407 171 0 179456 0
Current children cumulated CPU time (s) 1233.1
Current children cumulated vsize (KiB) 722124

[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/73 12673
/proc/meminfo: memFree=659944/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=820116 CPUtime=1293.07
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 223055 657 0 0 129153 154 0 0 25 0 1 0 59247829 839798784 187454 996147200 134512640 135215973 4294956304 18446744073709551615 134616372 0 0 4096 0 0 0 0 17 0 0 0
/proc/12604/statm: 205029 187454 407 171 0 203954 0
Current children cumulated CPU time (s) 1293.07
Current children cumulated vsize (KiB) 820116

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/73 12673
/proc/meminfo: memFree=622824/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=852576 CPUtime=1353.04
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 232127 657 0 0 135144 160 0 0 25 0 1 0 59247829 873037824 196526 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/12604/statm: 213144 196526 407 171 0 212069 0
Current children cumulated CPU time (s) 1353.04
Current children cumulated vsize (KiB) 852576

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12673
/proc/meminfo: memFree=577000/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=893484 CPUtime=1413.02
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 243475 657 0 0 141136 166 0 0 25 0 1 0 59247829 914927616 207874 996147200 134512640 135215973 4294956304 18446744073709551615 134649114 0 0 4096 0 0 0 0 17 0 0 0
/proc/12604/statm: 223371 207874 407 171 0 222296 0
Current children cumulated CPU time (s) 1413.02
Current children cumulated vsize (KiB) 893484



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1465.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12673
/proc/meminfo: memFree=545704/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=921600 CPUtime=1455.9
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4194304 251251 657 0 0 145419 171 0 0 25 0 1 0 59247829 943718400 215650 996147200 134512640 135215973 4294956304 18446744073709551615 134677956 0 0 4096 0 0 0 0 17 0 0 0
/proc/12604/statm: 230400 215650 407 171 0 229325 0
Current children cumulated CPU time (s) 1455.9
Current children cumulated vsize (KiB) 921600

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

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

[startup+1465.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12673
/proc/meminfo: memFree=545704/2055920 swapFree=4192812/4192956
[pid=12604] ppid=12602 vsize=0 CPUtime=1456
/proc/12604/stat : 12604 (pcs.big) R 12602 12604 9569 0 -1 4195332 251251 657 0 0 145419 181 0 0 25 0 1 0 59247829 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/12604/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1456
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1465.34
CPU time (s): 1456.06
CPU user time (s): 1454.2
CPU system time (s): 1.85572
CPU usage (%): 99.3664
Max. virtual memory (cumulated for all children) (KiB): 921600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1454.2
system time used= 1.85572
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 251908
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= 19
involuntary context switches= 41417

runsolver used 1.79073 second user time and 4.53431 second system time

The end

Launcher Data 

Begin job on node22 at 2009-07-16 07:23:33
IDJOB=2082890
IDBENCH=57651
IDSOLVER=733
FILE ID=node22/2082890-1247721813
PBS_JOBID= 9521474
Free space on /tmp= 66388 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/os-gp/normalized-gp10-01-1093.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2082890-1247721813/watcher-2082890-1247721813 -o /tmp/evaluation-result-2082890-1247721813/solver-2082890-1247721813 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1582231164 HOME/instance-2082890-1247721813.xml

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

MD5SUM BENCH= 2960c39330e67b59bd11d1942a6cbea3
RANDOM SEED=1582231164

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:       1505016 kB
Buffers:         88072 kB
Cached:         342436 kB
SwapCached:          0 kB
Active:          80228 kB
Inactive:       384540 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1505016 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1856 kB
Writeback:           0 kB
Mapped:          54652 kB
Slab:            71332 kB
Committed_AS:   608708 kB
PageTables:       1828 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= 66380 MiB
End job on node22 at 2009-07-16 07:48:01