Trace number 2082803

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? (MO) 1562.06 1576.65

General information on the benchmark

Namecsp/os-gp/
normalized-gp10-05-1070.xml
MD5SUM76853a39367362e3e4e459176be1a8ba
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark10.4684
Satisfiable
(Un)Satisfiability was proved
Number of variables101
Number of constraints1000
Maximum constraint arity2
Maximum domain size1071
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.00/0.02	c Seed is 497190428
0.00/0.02	c Constructing HOME/instance-2082803-1247721606.xml  with 6500 constraints
0.08/0.11	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-2082803-1247721606/watcher-2082803-1247721606 -o /tmp/evaluation-result-2082803-1247721606/solver-2082803-1247721606 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 497190428 HOME/instance-2082803-1247721606.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.95 1.98 1.99 4/72 20855
/proc/meminfo: memFree=1557944/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=5356 CPUtime=0
/proc/20855/stat : 20855 (pcssolve) R 20853 20855 18528 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 59224444 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 264840473247 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/20855/statm: 1339 241 200 169 0 50 0
[pid=20856] ppid=20855 vsize=5356 CPUtime=0
/proc/20856/stat : 20856 (pcssolve) R 20855 20855 18528 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 59224445 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 264840473247 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/20856/statm: 1339 241 200 169 0 50 0

[startup+0.035643 s]
/proc/loadavg: 1.95 1.98 1.99 4/72 20855
/proc/meminfo: memFree=1557944/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=4764 CPUtime=0.01
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 877 657 0 0 1 0 0 0 23 0 1 0 59224444 4878336 508 996147200 134512640 135215973 4294956304 18446744073709551615 134583726 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 1191 508 388 171 0 116 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4764

[startup+0.101652 s]
/proc/loadavg: 1.95 1.98 1.99 4/72 20855
/proc/meminfo: memFree=1557944/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=6456 CPUtime=0.08
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 1294 657 0 0 8 0 0 0 23 0 1 0 59224444 6610944 851 996147200 134512640 135215973 4294956304 18446744073709551615 134698242 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 1614 851 388 171 0 539 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6456

[startup+0.301678 s]
/proc/loadavg: 1.95 1.98 1.99 4/72 20855
/proc/meminfo: memFree=1557944/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=8984 CPUtime=0.28
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 2196 657 0 0 28 0 0 0 25 0 1 0 59224444 9199616 1539 996147200 134512640 135215973 4294956304 18446744073709551615 134648240 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 2246 1539 407 171 0 1171 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8984

[startup+0.701718 s]
/proc/loadavg: 1.95 1.98 1.99 4/72 20855
/proc/meminfo: memFree=1557944/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=9124 CPUtime=0.68
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 2231 657 0 0 68 0 0 0 25 0 1 0 59224444 9342976 1574 996147200 134512640 135215973 4294956304 18446744073709551615 134648411 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 2281 1574 407 171 0 1206 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 9124

[startup+1.5018 s]
/proc/loadavg: 1.95 1.98 1.99 3/73 20860
/proc/meminfo: memFree=1552624/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=9608 CPUtime=1.46
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 2340 657 0 0 146 0 0 0 25 0 1 0 59224444 9838592 1683 996147200 134512640 135215973 4294956304 18446744073709551615 134648324 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 2402 1683 407 171 0 1327 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9608

[startup+3.10197 s]
/proc/loadavg: 1.95 1.98 1.99 3/73 20860
/proc/meminfo: memFree=1551408/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=10552 CPUtime=3.05
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 2584 657 0 0 305 0 0 0 25 0 1 0 59224444 10805248 1894 996147200 134512640 135215973 4294956304 18446744073709551615 134588189 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 2638 1894 407 171 0 1563 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 10552

[startup+6.30129 s]
/proc/loadavg: 1.95 1.98 1.99 3/73 20860
/proc/meminfo: memFree=1548080/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=13700 CPUtime=6.23
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 3443 657 0 0 622 1 0 0 25 0 1 0 59224444 14028800 2479 996147200 134512640 135215973 4294956304 18446744073709551615 11715139 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 3425 2479 407 171 0 2350 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 13700

[startup+12.703 s]
/proc/loadavg: 1.96 1.98 1.99 3/73 20860
/proc/meminfo: memFree=1541552/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=17612 CPUtime=12.57
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 4496 657 0 0 1255 2 0 0 25 0 1 0 59224444 18034688 3338 996147200 134512640 135215973 4294956304 18446744073709551615 134533322 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 4403 3338 407 171 0 3328 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 17612

[startup+25.5013 s]
/proc/loadavg: 1.96 1.98 1.99 3/73 20860
/proc/meminfo: memFree=1523504/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=29936 CPUtime=25.24
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 7783 657 0 0 2520 4 0 0 25 0 1 0 59224444 30654464 6368 996147200 134512640 135215973 4294956304 18446744073709551615 134583658 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 7484 6368 407 171 0 6409 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 29936

[startup+51.1019 s]
/proc/loadavg: 1.97 1.98 1.99 3/73 20860
/proc/meminfo: memFree=1500848/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=43580 CPUtime=50.61
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 11749 657 0 0 5054 7 0 0 25 0 1 0 59224444 44625920 9692 996147200 134512640 135215973 4294956304 18446744073709551615 134588217 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 10895 9692 407 171 0 9820 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 43580

[startup+102.306 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 20860
/proc/meminfo: memFree=1451440/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=75928 CPUtime=101.33
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 20537 657 0 0 10120 13 0 0 25 0 1 0 59224444 77750272 17455 996147200 134512640 135215973 4294956304 18446744073709551615 134591153 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 18982 17455 407 171 0 17907 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 75928

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 20860
/proc/meminfo: memFree=1395632/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=116516 CPUtime=160.77
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 31452 657 0 0 16057 20 0 0 25 0 1 0 59224444 119312384 26064 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 29129 26064 407 171 0 28054 0
Current children cumulated CPU time (s) 160.77
Current children cumulated vsize (KiB) 116516

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 20860
/proc/meminfo: memFree=1337520/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=144924 CPUtime=220.23
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 39471 657 0 0 21997 26 0 0 25 0 1 0 59224444 148402176 34083 996147200 134512640 135215973 4294956304 18446744073709551615 135095998 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 36231 34083 407 171 0 35156 0
Current children cumulated CPU time (s) 220.23
Current children cumulated vsize (KiB) 144924

[startup+282.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 20860
/proc/meminfo: memFree=1284336/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=173048 CPUtime=279.7
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 47318 657 0 0 27939 31 0 0 25 0 1 0 59224444 177201152 41930 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 43262 41930 407 171 0 42187 0
Current children cumulated CPU time (s) 279.7
Current children cumulated vsize (KiB) 173048

[startup+342.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 20860
/proc/meminfo: memFree=1236984/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=220680 CPUtime=339.14
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 59945 657 0 0 33875 39 0 0 25 0 1 0 59224444 225976320 49947 996147200 134512640 135215973 4294956304 18446744073709551615 134590633 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 55170 49947 407 171 0 54095 0
Current children cumulated CPU time (s) 339.14
Current children cumulated vsize (KiB) 220680

[startup+402.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 20860
/proc/meminfo: memFree=1190648/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=245692 CPUtime=398.58
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 66933 657 0 0 39814 44 0 0 25 0 1 0 59224444 251588608 56935 996147200 134512640 135215973 4294956304 18446744073709551615 134609745 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 61423 56935 407 171 0 60348 0
Current children cumulated CPU time (s) 398.58
Current children cumulated vsize (KiB) 245692

[startup+462.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 20860
/proc/meminfo: memFree=1140280/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=274360 CPUtime=458.01
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 74859 657 0 0 45751 50 0 0 25 0 1 0 59224444 280944640 64861 996147200 134512640 135215973 4294956304 18446744073709551615 134591106 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 68590 64861 407 171 0 67515 0
Current children cumulated CPU time (s) 458.01
Current children cumulated vsize (KiB) 274360

[startup+522.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 20860
/proc/meminfo: memFree=1091320/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=301516 CPUtime=517.45
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 82389 657 0 0 51690 55 0 0 25 0 1 0 59224444 308752384 72391 996147200 134512640 135215973 4294956304 18446744073709551615 134583493 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 75379 72391 407 171 0 74304 0
Current children cumulated CPU time (s) 517.45
Current children cumulated vsize (KiB) 301516

[startup+582.302 s]
/proc/loadavg: 2.04 2.00 2.00 3/73 20860
/proc/meminfo: memFree=1039032/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=331432 CPUtime=576.89
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 90639 657 0 0 57628 61 0 0 25 0 1 0 59224444 339386368 80641 996147200 134512640 135215973 4294956304 18446744073709551615 134532958 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 82858 80641 407 171 0 81783 0
Current children cumulated CPU time (s) 576.89
Current children cumulated vsize (KiB) 331432

[startup+642.302 s]
/proc/loadavg: 2.10 2.03 2.01 3/73 20860
/proc/meminfo: memFree=986680/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=361328 CPUtime=636.35
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 98935 657 0 0 63567 68 0 0 25 0 1 0 59224444 369999872 88937 996147200 134512640 135215973 4294956304 18446744073709551615 135097795 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 90332 88937 407 171 0 89257 0
Current children cumulated CPU time (s) 636.35
Current children cumulated vsize (KiB) 361328

[startup+702.302 s]
/proc/loadavg: 2.07 2.03 2.01 3/73 20860
/proc/meminfo: memFree=924024/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=423652 CPUtime=695.79
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 115281 657 0 0 69501 78 0 0 25 0 1 0 59224444 433819648 97090 996147200 134512640 135215973 4294956304 18446744073709551615 134600642 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 105913 97090 407 171 0 104838 0
Current children cumulated CPU time (s) 695.79
Current children cumulated vsize (KiB) 423652

[startup+762.307 s]
/proc/loadavg: 2.06 2.04 2.01 3/73 20860
/proc/meminfo: memFree=880952/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=449936 CPUtime=755.24
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 122685 657 0 0 75440 84 0 0 25 0 1 0 59224444 460734464 104494 996147200 134512640 135215973 4294956304 18446744073709551615 135097973 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 112484 104494 407 171 0 111409 0
Current children cumulated CPU time (s) 755.24
Current children cumulated vsize (KiB) 449936

[startup+822.301 s]
/proc/loadavg: 2.19 2.08 2.02 3/73 20860
/proc/meminfo: memFree=823480/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=490508 CPUtime=814.68
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 133601 657 0 0 81378 90 0 0 25 0 1 0 59224444 502280192 114385 996147200 134512640 135215973 4294956304 18446744073709551615 134591911 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 122627 114385 407 171 0 121552 0
Current children cumulated CPU time (s) 814.68
Current children cumulated vsize (KiB) 490508

[startup+882.301 s]
/proc/loadavg: 2.14 2.09 2.02 3/73 20860
/proc/meminfo: memFree=771640/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=519352 CPUtime=874.13
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 141572 657 0 0 87316 97 0 0 25 0 1 0 59224444 531816448 122356 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 129838 122356 407 171 0 128763 0
Current children cumulated CPU time (s) 874.13
Current children cumulated vsize (KiB) 519352

[startup+942.302 s]
/proc/loadavg: 2.05 2.07 2.02 3/73 20860
/proc/meminfo: memFree=718776/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=548156 CPUtime=933.58
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 149590 657 0 0 93256 102 0 0 25 0 1 0 59224444 561311744 130374 996147200 134512640 135215973 4294956304 18446744073709551615 135094972 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 137039 130374 407 171 0 135964 0
Current children cumulated CPU time (s) 933.58
Current children cumulated vsize (KiB) 548156

[startup+1002.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/73 20860
/proc/meminfo: memFree=670392/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=576772 CPUtime=993.02
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 157521 657 0 0 99194 108 0 0 25 0 1 0 59224444 590614528 138305 996147200 134512640 135215973 4294956304 18446744073709551615 134583658 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 144193 138305 407 171 0 143118 0
Current children cumulated CPU time (s) 993.02
Current children cumulated vsize (KiB) 576772

[startup+1062.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/73 20860
/proc/meminfo: memFree=624440/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=600196 CPUtime=1052.47
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 164033 657 0 0 105135 112 0 0 25 0 1 0 59224444 614600704 144817 996147200 134512640 135215973 4294956304 18446744073709551615 11710773 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 150049 144817 407 171 0 148974 0
Current children cumulated CPU time (s) 1052.47
Current children cumulated vsize (KiB) 600196

[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 20860
/proc/meminfo: memFree=575224/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=626196 CPUtime=1111.92
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 171237 657 0 0 111075 117 0 0 25 0 1 0 59224444 641224704 152021 996147200 134512640 135215973 4294956304 18446744073709551615 134648240 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 156549 152021 407 171 0 155474 0
Current children cumulated CPU time (s) 1111.92
Current children cumulated vsize (KiB) 626196

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 20860
/proc/meminfo: memFree=525880/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=654564 CPUtime=1171.37
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 179138 657 0 0 117014 123 0 0 25 0 1 0 59224444 670273536 159922 996147200 134512640 135215973 4294956304 18446744073709551615 134648297 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 163641 159922 407 171 0 162566 0
Current children cumulated CPU time (s) 1171.37
Current children cumulated vsize (KiB) 654564

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 20860
/proc/meminfo: memFree=478520/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=683684 CPUtime=1230.81
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 187301 657 0 0 122952 129 0 0 25 0 1 0 59224444 700092416 168085 996147200 134512640 135215973 4294956304 18446744073709551615 4158851964 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 170921 168085 407 171 0 169846 0
Current children cumulated CPU time (s) 1230.81
Current children cumulated vsize (KiB) 683684

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 20860
/proc/meminfo: memFree=428280/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=713552 CPUtime=1290.26
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 195549 657 0 0 128890 136 0 0 25 0 1 0 59224444 730677248 176333 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 178388 176333 407 171 0 177313 0
Current children cumulated CPU time (s) 1290.26
Current children cumulated vsize (KiB) 713552

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 20860
/proc/meminfo: memFree=378168/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=744612 CPUtime=1349.7
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 204089 657 0 0 134827 143 0 0 25 0 1 0 59224444 762482688 184873 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 186153 184873 407 171 0 185078 0
Current children cumulated CPU time (s) 1349.7
Current children cumulated vsize (KiB) 744612

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20860
/proc/meminfo: memFree=325240/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=838488 CPUtime=1409.15
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 228336 657 0 0 140759 156 0 0 25 0 1 0 59224444 858611712 192735 996147200 134512640 135215973 4294956304 18446744073709551615 134590990 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 209622 192735 407 171 0 208547 0
Current children cumulated CPU time (s) 1409.15
Current children cumulated vsize (KiB) 838488

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20860
/proc/meminfo: memFree=265016/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=866300 CPUtime=1468.59
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 236079 657 0 0 146698 161 0 0 25 0 1 0 59224444 887091200 200478 996147200 134512640 135215973 4294956304 18446744073709551615 134907410 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 216575 200478 407 171 0 215500 0
Current children cumulated CPU time (s) 1468.59
Current children cumulated vsize (KiB) 866300

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20860
/proc/meminfo: memFree=217976/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=893232 CPUtime=1528.02
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 243531 657 0 0 152636 166 0 0 25 0 1 0 59224444 914669568 207930 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 223308 207930 407 171 0 222233 0
Current children cumulated CPU time (s) 1528.02
Current children cumulated vsize (KiB) 893232



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1576.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20860
/proc/meminfo: memFree=167416/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=944100 CPUtime=1561.91
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4194304 253590 657 0 0 156019 172 0 0 25 0 1 0 59224444 966758400 217989 996147200 134512640 135215973 4294956304 18446744073709551615 11746941 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 236025 217989 407 171 0 234950 0
Current children cumulated CPU time (s) 1561.91
Current children cumulated vsize (KiB) 944100

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

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

[startup+1576.61 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20860
/proc/meminfo: memFree=167416/2055920 swapFree=4192812/4192956
[pid=20855] ppid=20853 vsize=0 CPUtime=1562.01
/proc/20855/stat : 20855 (pcs.big) R 20853 20855 18528 0 -1 4195332 253590 657 0 0 156019 182 0 0 25 0 1 0 59224444 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1562.01
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1576.65
CPU time (s): 1562.06
CPU user time (s): 1560.2
CPU system time (s): 1.86672
CPU usage (%): 99.0751
Max. virtual memory (cumulated for all children) (KiB): 944100

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

runsolver used 2.52761 second user time and 4.5993 second system time

The end

Launcher Data 

Begin job on node44 at 2009-07-16 07:20:06
IDJOB=2082803
IDBENCH=57639
IDSOLVER=734
FILE ID=node44/2082803-1247721606
PBS_JOBID= 9521388
Free space on /tmp= 66280 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/os-gp/normalized-gp10-05-1070.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2082803-1247721606/watcher-2082803-1247721606 -o /tmp/evaluation-result-2082803-1247721606/solver-2082803-1247721606 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 497190428 HOME/instance-2082803-1247721606.xml

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

MD5SUM BENCH= 76853a39367362e3e4e459176be1a8ba
RANDOM SEED=497190428

node44.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.219
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.219
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:       1558424 kB
Buffers:         80956 kB
Cached:         302632 kB
SwapCached:          0 kB
Active:         108620 kB
Inactive:       303428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1558424 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3824 kB
Writeback:           0 kB
Mapped:          40044 kB
Slab:            70820 kB
Committed_AS:   573900 kB
PageTables:       1740 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= 66280 MiB
End job on node44 at 2009-07-16 07:46:24