Trace number 2082846

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) 1368.68 1379.14

General information on the benchmark

Namecsp/os-gp/
normalized-gp10-10-1091.xml
MD5SUM9f54fd75280d694b49452e249c1f9968
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 benchmark0.38694
Satisfiable
(Un)Satisfiability was proved
Number of variables101
Number of constraints1000
Maximum constraint arity2
Maximum domain size1092
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.20	c Seed is 370484301
0.18/0.20	c Constructing HOME/instance-2082846-1247721688.xml  with 6500 constraints
0.18/0.20	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-2082846-1247721688/watcher-2082846-1247721688 -o /tmp/evaluation-result-2082846-1247721688/solver-2082846-1247721688 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 370484301 HOME/instance-2082846-1247721688.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 14131
/proc/meminfo: memFree=1353456/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=5356 CPUtime=0
/proc/14131/stat : 14131 (pcssolve) S 14129 14131 12510 0 -1 4194304 305 155 0 0 0 0 0 0 19 0 1 0 59233405 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14131/statm: 1339 242 201 169 0 50 0
[pid=14133] ppid=14131 vsize=5356 CPUtime=0
/proc/14133/stat : 14133 (pcssolve) R 14131 14131 12510 0 -1 4194368 22 0 0 0 0 0 0 0 20 0 1 0 59233405 5484544 244 996147200 4194304 4889804 548682068800 18446744073709551615 251601153319 0 0 4096 0 0 0 0 17 1 0 0
/proc/14133/statm: 1339 244 203 169 0 50 0

[startup+0.080374 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 14131
/proc/meminfo: memFree=1353456/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=6164 CPUtime=0.06
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 1188 657 0 0 6 0 0 0 18 0 1 0 59233405 6311936 786 996147200 134512640 135215973 4294956304 18446744073709551615 134608549 0 0 4096 0 0 0 0 17 0 0 0
/proc/14131/statm: 1541 786 388 171 0 466 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6164

[startup+0.101375 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 14131
/proc/meminfo: memFree=1353456/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=6476 CPUtime=0.08
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 1332 657 0 0 8 0 0 0 18 0 1 0 59233405 6631424 889 996147200 134512640 135215973 4294956304 18446744073709551615 4159198597 0 0 4096 0 0 0 0 17 0 0 0
/proc/14131/statm: 1619 890 388 171 0 544 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6476

[startup+0.301398 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 14131
/proc/meminfo: memFree=1353456/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=9056 CPUtime=0.28
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 2134 657 0 0 27 1 0 0 19 0 1 0 59233405 9273344 1477 996147200 134512640 135215973 4294956304 18446744073709551615 134593024 0 0 4096 0 0 0 0 17 0 0 0
/proc/14131/statm: 2264 1477 407 171 0 1189 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9056

[startup+0.701443 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 14131
/proc/meminfo: memFree=1353456/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=9176 CPUtime=0.68
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 2183 657 0 0 67 1 0 0 23 0 1 0 59233405 9396224 1526 996147200 134512640 135215973 4294956304 18446744073709551615 134600165 0 0 4096 0 0 0 0 17 0 0 0
/proc/14131/statm: 2294 1526 407 171 0 1219 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 9176

[startup+1.50153 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14136
/proc/meminfo: memFree=1348512/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=9660 CPUtime=1.48
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 2306 657 0 0 147 1 0 0 25 0 1 0 59233405 9891840 1649 996147200 134512640 135215973 4294956304 18446744073709551615 134976717 0 0 4096 0 0 0 0 17 0 0 0
/proc/14131/statm: 2415 1649 407 171 0 1340 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9660

[startup+3.10171 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14136
/proc/meminfo: memFree=1347296/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=10744 CPUtime=3.08
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 2584 657 0 0 307 1 0 0 25 0 1 0 59233405 11001856 1927 996147200 134512640 135215973 4294956304 18446744073709551615 4158851964 0 0 4096 0 0 0 0 17 0 0 0
/proc/14131/statm: 2686 1927 407 171 0 1611 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10744

[startup+6.30206 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14136
/proc/meminfo: memFree=1345056/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=12980 CPUtime=6.28
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 3200 657 0 0 626 2 0 0 25 0 1 0 59233405 13291520 2478 996147200 134512640 135215973 4294956304 18446744073709551615 134600239 0 0 4096 0 0 0 0 17 0 0 0
/proc/14131/statm: 3245 2478 407 171 0 2170 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 12980

[startup+12.7018 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14136
/proc/meminfo: memFree=1339176/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=18660 CPUtime=12.68
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 4899 657 0 0 1265 3 0 0 25 0 1 0 59233405 19107840 3774 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/14131/statm: 4665 3774 407 171 0 3590 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 18660

[startup+25.5012 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14168
/proc/meminfo: memFree=1481768/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=29048 CPUtime=25.36
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 7705 657 0 0 2531 5 0 0 25 0 1 0 59233405 29745152 6323 996147200 134512640 135215973 4294956304 18446744073709551615 4158853399 0 0 4096 0 0 0 0 17 1 0 0
/proc/14131/statm: 7262 6323 407 171 0 6187 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 29048

[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14168
/proc/meminfo: memFree=1448680/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=45932 CPUtime=50.76
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 12365 657 0 0 5068 8 0 0 25 0 1 0 59233405 47034368 10470 996147200 134512640 135215973 4294956304 18446744073709551615 134600245 0 0 4096 0 0 0 0 17 1 0 0
/proc/14131/statm: 11483 10470 407 171 0 10408 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 45932

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14168
/proc/meminfo: memFree=1382312/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=79760 CPUtime=101.58
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 21562 657 0 0 10144 14 0 0 25 0 1 0 59233405 81674240 18513 996147200 134512640 135215973 4294956304 18446744073709551615 134590036 0 0 4096 0 0 0 0 17 1 0 0
/proc/14131/statm: 19940 18513 407 171 0 18865 0
Current children cumulated CPU time (s) 101.58
Current children cumulated vsize (KiB) 79760

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14168
/proc/meminfo: memFree=1300008/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=125948 CPUtime=161.13
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 34002 657 0 0 16090 23 0 0 25 0 1 0 59233405 128970752 28647 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 1 0 0
/proc/14131/statm: 31487 28647 407 171 0 30412 0
Current children cumulated CPU time (s) 161.13
Current children cumulated vsize (KiB) 125948

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14168
/proc/meminfo: memFree=1233896/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=154264 CPUtime=220.68
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 41916 657 0 0 22039 29 0 0 25 0 1 0 59233405 157966336 36561 996147200 134512640 135215973 4294956304 18446744073709551615 134583539 0 0 4096 0 0 0 0 17 1 0 0
/proc/14131/statm: 38566 36561 407 171 0 37491 0
Current children cumulated CPU time (s) 220.68
Current children cumulated vsize (KiB) 154264

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14168
/proc/meminfo: memFree=1152808/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=190756 CPUtime=280.22
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 52033 657 0 0 27988 34 0 0 25 0 1 0 59233405 195334144 46678 996147200 134512640 135215973 4294956304 18446744073709551615 134600149 0 0 4096 0 0 0 0 17 1 0 0
/proc/14131/statm: 47689 46678 407 171 0 46614 0
Current children cumulated CPU time (s) 280.22
Current children cumulated vsize (KiB) 190756

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14168
/proc/meminfo: memFree=1081256/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=239196 CPUtime=339.77
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 64969 657 0 0 33935 42 0 0 25 0 1 0 59233405 244936704 55517 996147200 134512640 135215973 4294956304 18446744073709551615 134587409 0 0 4096 0 0 0 0 17 1 0 0
/proc/14131/statm: 59799 55517 407 171 0 58724 0
Current children cumulated CPU time (s) 339.77
Current children cumulated vsize (KiB) 239196

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14168
/proc/meminfo: memFree=1003112/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=277532 CPUtime=399.31
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 75393 657 0 0 39884 47 0 0 25 0 1 0 59233405 284192768 65428 996147200 134512640 135215973 4294956304 18446744073709551615 134599830 0 0 4096 0 0 0 0 17 1 0 0
/proc/14131/statm: 69383 65428 407 171 0 68308 0
Current children cumulated CPU time (s) 399.31
Current children cumulated vsize (KiB) 277532

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14168
/proc/meminfo: memFree=929256/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=311536 CPUtime=458.86
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 84774 657 0 0 45832 54 0 0 25 0 1 0 59233405 319012864 74809 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/14131/statm: 77884 74809 407 171 0 76809 0
Current children cumulated CPU time (s) 458.86
Current children cumulated vsize (KiB) 311536

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14168
/proc/meminfo: memFree=848744/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=350204 CPUtime=518.4
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 95326 657 0 0 51779 61 0 0 25 0 1 0 59233405 358608896 85361 996147200 134512640 135215973 4294956304 18446744073709551615 134590491 0 0 4096 0 0 0 0 17 1 0 0
/proc/14131/statm: 87551 85361 407 171 0 86476 0
Current children cumulated CPU time (s) 518.4
Current children cumulated vsize (KiB) 350204

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14168
/proc/meminfo: memFree=772584/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=386480 CPUtime=577.95
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 105263 657 0 0 57726 69 0 0 25 0 1 0 59233405 395755520 95298 996147200 134512640 135215973 4294956304 18446744073709551615 134532660 0 0 4096 0 0 0 0 17 1 0 0
/proc/14131/statm: 96620 95298 407 171 0 95545 0
Current children cumulated CPU time (s) 577.95
Current children cumulated vsize (KiB) 386480

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14168
/proc/meminfo: memFree=693416/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=453816 CPUtime=637.5
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 122976 657 0 0 63671 79 0 0 25 0 1 0 59233405 464707584 104818 996147200 134512640 135215973 4294956304 18446744073709551615 134594143 0 0 4096 0 0 0 0 17 1 0 0
/proc/14131/statm: 113454 104818 407 171 0 112379 0
Current children cumulated CPU time (s) 637.5
Current children cumulated vsize (KiB) 453816

[startup+702.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14168
/proc/meminfo: memFree=622632/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=486468 CPUtime=697.04
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 131971 657 0 0 69617 87 0 0 25 0 1 0 59233405 498143232 113813 996147200 134512640 135215973 4294956304 18446744073709551615 4158960480 0 0 4096 0 0 0 0 17 1 0 0
/proc/14131/statm: 121617 113813 407 171 0 120542 0
Current children cumulated CPU time (s) 697.04
Current children cumulated vsize (KiB) 486468

[startup+762.306 s]
/proc/loadavg: 2.04 2.01 2.00 3/74 14168
/proc/meminfo: memFree=537192/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=537240 CPUtime=756.6
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 145390 657 0 0 75564 96 0 0 25 0 1 0 59233405 550133760 126207 996147200 134512640 135215973 4294956304 18446744073709551615 134585658 0 0 4096 0 0 0 0 17 1 0 0
/proc/14131/statm: 134310 126207 407 171 0 133235 0
Current children cumulated CPU time (s) 756.6
Current children cumulated vsize (KiB) 537240

[startup+822.302 s]
/proc/loadavg: 2.01 2.01 2.00 3/74 14168
/proc/meminfo: memFree=482024/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=555280 CPUtime=816.13
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 150613 657 0 0 81514 99 0 0 25 0 1 0 59233405 568606720 131430 996147200 134512640 135215973 4294956304 18446744073709551615 134532976 0 0 4096 0 0 0 0 17 1 0 0
/proc/14131/statm: 138820 131430 407 171 0 137745 0
Current children cumulated CPU time (s) 816.13
Current children cumulated vsize (KiB) 555280

[startup+882.302 s]
/proc/loadavg: 2.04 2.02 2.00 3/74 14168
/proc/meminfo: memFree=408680/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=583072 CPUtime=875.68
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 158272 657 0 0 87462 106 0 0 25 0 1 0 59233405 597065728 139089 996147200 134512640 135215973 4294956304 18446744073709551615 134590927 0 0 4096 0 0 0 0 17 1 0 0
/proc/14131/statm: 145768 139089 407 171 0 144693 0
Current children cumulated CPU time (s) 875.68
Current children cumulated vsize (KiB) 583072

[startup+942.301 s]
/proc/loadavg: 2.08 2.03 2.00 3/74 14168
/proc/meminfo: memFree=344296/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=613040 CPUtime=935.23
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 166563 657 0 0 93412 111 0 0 25 0 1 0 59233405 627752960 147380 996147200 134512640 135215973 4294956304 18446744073709551615 134600485 0 0 4096 0 0 0 0 17 1 0 0
/proc/14131/statm: 153260 147380 407 171 0 152185 0
Current children cumulated CPU time (s) 935.23
Current children cumulated vsize (KiB) 613040

[startup+1002.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/74 14168
/proc/meminfo: memFree=279976/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=641384 CPUtime=994.77
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 174428 657 0 0 99360 117 0 0 25 0 1 0 59233405 656777216 155245 996147200 134512640 135215973 4294956304 18446744073709551615 134583244 0 0 4096 0 0 0 0 17 1 0 0
/proc/14131/statm: 160346 155245 407 171 0 159271 0
Current children cumulated CPU time (s) 994.77
Current children cumulated vsize (KiB) 641384

[startup+1062.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/74 14168
/proc/meminfo: memFree=212712/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=673144 CPUtime=1054.33
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 183239 657 0 0 105310 123 0 0 25 0 1 0 59233405 689299456 164056 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 1 0 0
/proc/14131/statm: 168286 164056 407 171 0 167211 0
Current children cumulated CPU time (s) 1054.33
Current children cumulated vsize (KiB) 673144

[startup+1122.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/74 14168
/proc/meminfo: memFree=136744/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=709820 CPUtime=1113.87
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 193450 657 0 0 111257 130 0 0 25 0 1 0 59233405 726855680 174267 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/14131/statm: 177455 174267 407 171 0 176380 0
Current children cumulated CPU time (s) 1113.87
Current children cumulated vsize (KiB) 709820

[startup+1182.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/74 14168
/proc/meminfo: memFree=60968/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=747848 CPUtime=1173.42
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 203949 657 0 0 117206 136 0 0 25 0 1 0 59233405 765796352 184766 996147200 134512640 135215973 4294956304 18446744073709551615 134590418 0 0 4096 0 0 0 0 17 1 0 0
/proc/14131/statm: 186962 184766 407 171 0 185887 0
Current children cumulated CPU time (s) 1173.42
Current children cumulated vsize (KiB) 747848

[startup+1242.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/74 14168
/proc/meminfo: memFree=15080/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=781968 CPUtime=1232.95
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 213355 657 0 0 123153 142 0 0 25 0 1 0 59233405 800735232 194172 996147200 134512640 135215973 4294956304 18446744073709551615 4158960244 0 0 4096 0 0 0 0 17 1 0 0
/proc/14131/statm: 195492 194172 407 171 0 194417 0
Current children cumulated CPU time (s) 1232.95
Current children cumulated vsize (KiB) 781968

[startup+1302.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/74 14168
/proc/meminfo: memFree=73640/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=881388 CPUtime=1292.45
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 239125 657 0 0 129089 156 0 0 25 0 1 0 59233405 902541312 203557 996147200 134512640 135215973 4294956304 18446744073709551615 134587239 0 0 4096 0 0 0 0 17 1 0 0
/proc/14131/statm: 220347 203557 407 171 0 219272 0
Current children cumulated CPU time (s) 1292.45
Current children cumulated vsize (KiB) 881388

[startup+1362.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/74 14168
/proc/meminfo: memFree=15784/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=912904 CPUtime=1351.98
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 247845 657 0 0 135038 160 0 0 25 0 1 0 59233405 934813696 212277 996147200 134512640 135215973 4294956304 18446744073709551615 134587268 0 0 4096 0 0 0 0 17 1 0 0
/proc/14131/statm: 228226 212277 407 171 0 227151 0
Current children cumulated CPU time (s) 1351.98
Current children cumulated vsize (KiB) 912904



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1379 s]
/proc/loadavg: 2.11 2.07 2.00 3/74 14168
/proc/meminfo: memFree=14824/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=921720 CPUtime=1368.53
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4194304 250271 657 0 0 136690 163 0 0 25 0 1 0 59233405 943841280 214703 996147200 134512640 135215973 4294956304 18446744073709551615 134648319 0 0 4096 0 0 0 0 17 1 0 0
/proc/14131/statm: 230430 214703 407 171 0 229355 0
Current children cumulated CPU time (s) 1368.53
Current children cumulated vsize (KiB) 921720

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

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

[startup+1379.11 s]
/proc/loadavg: 2.11 2.07 2.00 3/74 14168
/proc/meminfo: memFree=14824/2055920 swapFree=4192812/4192956
[pid=14131] ppid=14129 vsize=0 CPUtime=1368.63
/proc/14131/stat : 14131 (pcs.big) R 14129 14131 12510 0 -1 4195332 250271 657 0 0 136690 173 0 0 25 0 1 0 59233405 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/14131/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1368.63
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1379.14
CPU time (s): 1368.68
CPU user time (s): 1366.91
CPU system time (s): 1.76673
CPU usage (%): 99.2417
Max. virtual memory (cumulated for all children) (KiB): 921720

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

runsolver used 1.44578 second user time and 3.58045 second system time

The end

Launcher Data 

Begin job on node91 at 2009-07-16 07:21:28
IDJOB=2082846
IDBENCH=57645
IDSOLVER=733
FILE ID=node91/2082846-1247721688
PBS_JOBID= 9521443
Free space on /tmp= 66196 MiB

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

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

MD5SUM BENCH= 9f54fd75280d694b49452e249c1f9968
RANDOM SEED=370484301

node91.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.241
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.241
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:       1353936 kB
Buffers:         70956 kB
Cached:         383556 kB
SwapCached:          0 kB
Active:         219832 kB
Inactive:       413128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1353936 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1940 kB
Writeback:           0 kB
Mapped:         189860 kB
Slab:            54004 kB
Committed_AS:   747624 kB
PageTables:       2056 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= 66196 MiB
End job on node91 at 2009-07-16 07:44:29