Trace number 2087279

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) 1718.85 1721.65

General information on the benchmark

Namecsp/socialGolfers/
normalized-socialGolfer-7-4-8.xml
MD5SUM5771d912d20e48d98ee8045757bce946
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark149.625
Satisfiable
(Un)Satisfiability was proved
Number of variables5264
Number of constraints28552
Maximum constraint arity32
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension28552
Global constraints used (with number of constraints)

Solver Data 

0.00/0.04	c has operations which may create big domains
0.00/0.04	c big-domain mode
0.00/0.05	c Seed is 554202628
0.00/0.05	c Constructing HOME/instance-2087279-1247727471.xml  with 90104 constraints
2.16/2.24	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-2087279-1247727471/watcher-2087279-1247727471 -o /tmp/evaluation-result-2087279-1247727471/solver-2087279-1247727471 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 554202628 HOME/instance-2087279-1247727471.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.99 1.98 1.99 4/72 14381
/proc/meminfo: memFree=1459128/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=5356 CPUtime=0
/proc/14381/stat : 14381 (pcssolve) R 14379 14381 14276 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 59813278 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 264907582111 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14381/statm: 1339 241 200 169 0 50 0
[pid=14382] ppid=14381 vsize=5356 CPUtime=0
/proc/14382/stat : 14382 (pcssolve) R 14381 14381 14276 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 59813278 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 264907582111 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14382/statm: 1339 241 200 169 0 50 0

[startup+0.0645681 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 14381
/proc/meminfo: memFree=1459128/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=4832 CPUtime=0.04
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 884 827 0 0 1 0 2 1 22 0 1 0 59813278 4947968 493 996147200 134512640 135215973 4294956304 18446744073709551615 134847753 0 0 4096 0 0 0 0 17 1 0 0
/proc/14381/statm: 1208 493 361 171 0 133 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4832

[startup+0.102577 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 14381
/proc/meminfo: memFree=1459128/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=6240 CPUtime=0.08
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 1257 827 0 0 5 0 2 1 22 0 1 0 59813278 6389760 773 996147200 134512640 135215973 4294956304 18446744073709551615 4159730125 0 0 4096 0 0 0 0 17 1 0 0
/proc/14381/statm: 1560 773 385 171 0 485 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6240

[startup+0.302606 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 14381
/proc/meminfo: memFree=1459128/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=9184 CPUtime=0.28
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 2155 827 0 0 25 0 2 1 23 0 1 0 59813278 9404416 1389 996147200 134512640 135215973 4294956304 18446744073709551615 134600385 0 0 4096 0 0 0 0 17 1 0 0
/proc/14381/statm: 2296 1389 385 171 0 1221 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9184

[startup+0.701664 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 14381
/proc/meminfo: memFree=1459128/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=14268 CPUtime=0.68
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 3781 827 0 0 64 1 2 1 25 0 1 0 59813278 14610432 2486 996147200 134512640 135215973 4294956304 18446744073709551615 7451211 0 0 4096 0 0 0 0 17 1 0 0
/proc/14381/statm: 3567 2486 385 171 0 2492 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 14268

[startup+1.50178 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 14387
/proc/meminfo: memFree=1447344/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=24436 CPUtime=1.47
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 7138 827 0 0 141 3 2 1 25 0 1 0 59813278 25022464 4689 996147200 134512640 135215973 4294956304 18446744073709551615 134823999 0 0 4096 0 0 0 0 17 1 0 0
/proc/14381/statm: 6109 4689 385 171 0 5034 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 24436

[startup+3.10202 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 14387
/proc/meminfo: memFree=1434544/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=71028 CPUtime=3.05
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 20392 827 0 0 294 8 2 1 25 0 1 0 59813278 72732672 14182 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/14381/statm: 17757 14182 402 171 0 16682 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 71028

[startup+6.30148 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 14387
/proc/meminfo: memFree=1399856/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=64632 CPUtime=6.23
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 26013 827 0 0 609 11 2 1 25 0 1 0 59813278 66183168 13452 996147200 134512640 135215973 4294956304 18446744073709551615 134600035 0 0 4096 0 0 0 0 17 1 0 0
/proc/14381/statm: 16158 13452 405 171 0 15083 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 64632

[startup+12.7014 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 14387
/proc/meminfo: memFree=1388464/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=64896 CPUtime=12.55
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 36915 827 0 0 1238 14 2 1 25 0 1 0 59813278 66453504 13530 996147200 134512640 135215973 4294956304 18446744073709551615 134533311 0 0 4096 0 0 0 0 17 1 0 0
/proc/14381/statm: 16224 13530 405 171 0 15149 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 64896

[startup+25.5023 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 14387
/proc/meminfo: memFree=1364784/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=67340 CPUtime=25.24
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 68489 827 0 0 2494 27 2 1 25 0 1 0 59813278 68956160 14150 996147200 134512640 135215973 4294956304 18446744073709551615 134649104 0 0 4096 0 0 0 0 17 1 0 0
/proc/14381/statm: 16835 14150 405 171 0 15760 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 67340

[startup+51.103 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 14387
/proc/meminfo: memFree=1314544/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=76104 CPUtime=50.6
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 155896 827 0 0 4995 62 2 1 25 0 1 0 59813278 77930496 16417 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 1 0 0
/proc/14381/statm: 19026 16417 405 171 0 17951 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 76104

[startup+102.306 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 14387
/proc/meminfo: memFree=1214000/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=96664 CPUtime=101.32
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 414410 827 0 0 9965 164 2 1 25 0 1 0 59813278 98983936 21722 996147200 134512640 135215973 4294956304 18446744073709551615 135096146 0 0 4096 0 0 0 0 17 1 0 0
/proc/14381/statm: 24166 21722 405 171 0 23091 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 96664

[startup+162.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 14387
/proc/meminfo: memFree=1081200/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=125260 CPUtime=160.75
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 685277 827 0 0 15800 272 2 1 25 0 1 0 59813278 128266240 28791 996147200 134512640 135215973 4294956304 18446744073709551615 134582246 0 0 4096 0 0 0 0 17 1 0 0
/proc/14381/statm: 31315 28791 405 171 0 30240 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 125260

[startup+222.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 14393
/proc/meminfo: memFree=932016/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=158208 CPUtime=220.17
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 1015573 827 0 0 21617 397 2 1 25 0 1 0 59813278 162004992 37073 996147200 134512640 135215973 4294956304 18446744073709551615 134581329 0 0 4096 0 0 0 0 17 1 0 0
/proc/14381/statm: 39552 37073 405 171 0 38477 0
Current children cumulated CPU time (s) 220.17
Current children cumulated vsize (KiB) 158208

[startup+282.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 14424
/proc/meminfo: memFree=977264/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=189888 CPUtime=280.09
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 1225692 827 0 0 27529 477 2 1 25 0 1 0 59813278 194445312 45000 996147200 134512640 135215973 4294956304 18446744073709551615 134583507 0 0 4096 0 0 0 0 17 0 0 0
/proc/14381/statm: 47472 45000 405 171 0 46397 0
Current children cumulated CPU time (s) 280.09
Current children cumulated vsize (KiB) 189888

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 14424
/proc/meminfo: memFree=753712/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=215624 CPUtime=340.05
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 1472601 827 0 0 33437 565 2 1 25 0 1 0 59813278 220798976 51471 996147200 134512640 135215973 4294956304 18446744073709551615 4158961636 0 0 4096 0 0 0 0 17 0 0 0
/proc/14381/statm: 53906 51471 405 171 0 52831 0
Current children cumulated CPU time (s) 340.05
Current children cumulated vsize (KiB) 215624

[startup+402.301 s]
/proc/loadavg: 2.06 2.00 2.00 3/82 14465
/proc/meminfo: memFree=1248040/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=240284 CPUtime=400.03
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 1773469 827 0 0 39324 676 2 1 25 0 1 0 59813278 246050816 57649 996147200 134512640 135215973 4294956304 18446744073709551615 134532896 0 0 4096 0 0 0 0 17 0 0 0
/proc/14381/statm: 60071 57649 405 171 0 58996 0
Current children cumulated CPU time (s) 400.03
Current children cumulated vsize (KiB) 240284

[startup+462.302 s]
/proc/loadavg: 2.02 2.00 2.00 3/82 14465
/proc/meminfo: memFree=1210536/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=277276 CPUtime=460.01
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 2128911 827 0 0 45190 808 2 1 25 0 1 0 59813278 283930624 66928 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/14381/statm: 69319 66928 405 171 0 68244 0
Current children cumulated CPU time (s) 460.01
Current children cumulated vsize (KiB) 277276

[startup+522.302 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 14465
/proc/meminfo: memFree=1201000/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=286352 CPUtime=519.98
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 2260775 827 0 0 51135 860 2 1 25 0 1 0 59813278 293224448 69234 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/14381/statm: 71588 69234 405 171 0 70513 0
Current children cumulated CPU time (s) 519.98
Current children cumulated vsize (KiB) 286352

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14465
/proc/meminfo: memFree=1178856/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=308184 CPUtime=579.95
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 2490123 827 0 0 57048 944 2 1 25 0 1 0 59813278 315580416 74710 996147200 134512640 135215973 4294956304 18446744073709551615 134591063 0 0 4096 0 0 0 0 17 0 0 0
/proc/14381/statm: 77046 74710 405 171 0 75971 0
Current children cumulated CPU time (s) 579.95
Current children cumulated vsize (KiB) 308184

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14465
/proc/meminfo: memFree=1153896/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=332856 CPUtime=639.93
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 2737649 827 0 0 62953 1037 2 1 25 0 1 0 59813278 340844544 80940 996147200 134512640 135215973 4294956304 18446744073709551615 134649104 0 0 4096 0 0 0 0 17 0 0 0
/proc/14381/statm: 83214 80940 405 171 0 82139 0
Current children cumulated CPU time (s) 639.93

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

[startup+762.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14465
/proc/meminfo: memFree=1105128/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=385964 CPUtime=759.88
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 3112858 827 0 0 74811 1174 2 1 25 0 1 0 59813278 395227136 93117 996147200 134512640 135215973 4294956304 18446744073709551615 134641100 0 0 4096 0 0 0 0 17 0 0 0
/proc/14381/statm: 96491 93117 405 171 0 95416 0
Current children cumulated CPU time (s) 759.88
Current children cumulated vsize (KiB) 385964

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14465
/proc/meminfo: memFree=1071272/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=419872 CPUtime=819.86
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 3449142 827 0 0 80693 1290 2 1 25 0 1 0 59813278 429948928 101645 996147200 134512640 135215973 4294956304 18446744073709551615 134641100 0 0 4096 0 0 0 0 17 0 0 0
/proc/14381/statm: 104968 101645 405 171 0 103893 0
Current children cumulated CPU time (s) 819.86
Current children cumulated vsize (KiB) 419872

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14465
/proc/meminfo: memFree=1043816/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=446908 CPUtime=879.83
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 3658546 827 0 0 86615 1365 2 1 25 0 1 0 59813278 457633792 108429 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/14381/statm: 111727 108429 405 171 0 110652 0
Current children cumulated CPU time (s) 879.83
Current children cumulated vsize (KiB) 446908

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14465
/proc/meminfo: memFree=1014568/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=476404 CPUtime=939.81
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 3934117 827 0 0 92511 1467 2 1 25 0 1 0 59813278 487837696 115842 996147200 134512640 135215973 4294956304 18446744073709551615 134627121 0 0 4096 0 0 0 0 17 0 0 0
/proc/14381/statm: 119101 115842 405 171 0 118026 0
Current children cumulated CPU time (s) 939.81
Current children cumulated vsize (KiB) 476404

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14465
/proc/meminfo: memFree=970664/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=519724 CPUtime=999.78
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 4386061 827 0 0 98348 1627 2 1 25 0 1 0 59813278 532197376 126708 996147200 134512640 135215973 4294956304 18446744073709551615 134648593 0 0 4096 0 0 0 0 17 0 0 0
/proc/14381/statm: 129931 126708 405 171 0 128856 0
Current children cumulated CPU time (s) 999.78
Current children cumulated vsize (KiB) 519724

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14465
/proc/meminfo: memFree=944040/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=546268 CPUtime=1059.75
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 4754157 827 0 0 104214 1758 2 1 25 0 1 0 59813278 559378432 133388 996147200 134512640 135215973 4294956304 18446744073709551615 135094624 0 0 4096 0 0 0 0 17 0 0 0
/proc/14381/statm: 136567 133388 405 171 0 135492 0
Current children cumulated CPU time (s) 1059.75
Current children cumulated vsize (KiB) 546268

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14465
/proc/meminfo: memFree=915688/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=574084 CPUtime=1119.73
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 5028737 827 0 0 110116 1854 2 1 25 0 1 0 59813278 587862016 140404 996147200 134512640 135215973 4294956304 18446744073709551615 134648286 0 0 4096 0 0 0 0 17 0 0 0
/proc/14381/statm: 143521 140404 405 171 0 142446 0
Current children cumulated CPU time (s) 1119.73
Current children cumulated vsize (KiB) 574084

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14465
/proc/meminfo: memFree=880936/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=609144 CPUtime=1179.71
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 5565698 827 0 0 115922 2046 2 1 25 0 1 0 59813278 623763456 149233 996147200 134512640 135215973 4294956304 18446744073709551615 4158960509 0 0 4096 0 0 0 0 17 0 0 0
/proc/14381/statm: 152286 149233 405 171 0 151211 0
Current children cumulated CPU time (s) 1179.71
Current children cumulated vsize (KiB) 609144

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14465
/proc/meminfo: memFree=853480/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=635708 CPUtime=1239.68
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 5813384 827 0 0 121834 2131 2 1 25 0 1 0 59813278 650964992 155887 996147200 134512640 135215973 4294956304 18446744073709551615 134587250 0 0 4096 0 0 0 0 17 0 0 0
/proc/14381/statm: 158927 155887 405 171 0 157852 0
Current children cumulated CPU time (s) 1239.68
Current children cumulated vsize (KiB) 635708

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14465
/proc/meminfo: memFree=821992/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=666716 CPUtime=1299.66
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 6108026 827 0 0 127727 2236 2 1 25 0 1 0 59813278 682717184 163693 996147200 134512640 135215973 4294956304 18446744073709551615 134982947 0 0 4096 0 0 0 0 17 0 0 0
/proc/14381/statm: 166679 163693 405 171 0 165604 0
Current children cumulated CPU time (s) 1299.66
Current children cumulated vsize (KiB) 666716

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14465
/proc/meminfo: memFree=785576/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=702968 CPUtime=1359.63
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 6433330 827 0 0 133603 2357 2 1 25 0 1 0 59813278 719839232 172791 996147200 134512640 135215973 4294956304 18446744073709551615 134902700 0 0 4096 0 0 0 0 17 0 0 0
/proc/14381/statm: 175742 172791 405 171 0 174667 0
Current children cumulated CPU time (s) 1359.63
Current children cumulated vsize (KiB) 702968

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14465
/proc/meminfo: memFree=747752/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=740476 CPUtime=1419.62
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 6760349 827 0 0 139484 2475 2 1 25 0 1 0 59813278 758247424 182218 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 0 0 0
/proc/14381/statm: 185119 182218 405 171 0 184044 0
Current children cumulated CPU time (s) 1419.62
Current children cumulated vsize (KiB) 740476

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14465
/proc/meminfo: memFree=713320/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=774864 CPUtime=1479.58
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 7188757 827 0 0 145330 2625 2 1 25 0 1 0 59813278 793460736 190866 996147200 134512640 135215973 4294956304 18446744073709551615 134680736 0 0 4096 0 0 0 0 17 0 0 0
/proc/14381/statm: 193716 190866 405 171 0 192641 0
Current children cumulated CPU time (s) 1479.58
Current children cumulated vsize (KiB) 774864

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14465
/proc/meminfo: memFree=678248/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=809600 CPUtime=1539.55
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 7455743 827 0 0 151225 2727 2 1 25 0 1 0 59813278 829030400 199594 996147200 134512640 135215973 4294956304 18446744073709551615 134591110 0 0 4096 0 0 0 0 17 0 0 0
/proc/14381/statm: 202400 199594 405 171 0 201325 0
Current children cumulated CPU time (s) 1539.55
Current children cumulated vsize (KiB) 809600

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/82 14465
/proc/meminfo: memFree=641384/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=846468 CPUtime=1599.53
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 7702255 827 0 0 157133 2817 2 1 25 0 1 0 59813278 866783232 208836 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/14381/statm: 211617 208836 405 171 0 210542 0
Current children cumulated CPU time (s) 1599.53
Current children cumulated vsize (KiB) 846468

[startup+1662.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/82 14465
/proc/meminfo: memFree=602664/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=885776 CPUtime=1659.51
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 7946812 827 0 0 163036 2912 2 1 25 0 1 0 59813278 907034624 218448 996147200 134512640 135215973 4294956304 18446744073709551615 7452283 0 0 4096 0 0 0 0 17 0 0 0
/proc/14381/statm: 221444 218448 405 171 0 220369 0
Current children cumulated CPU time (s) 1659.51
Current children cumulated vsize (KiB) 885776



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1721.51 s]
/proc/loadavg: 2.08 2.04 2.00 3/82 14465
/proc/meminfo: memFree=565352/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=921548 CPUtime=1718.7
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4194304 8185194 827 0 0 168864 3003 2 1 25 0 1 0 59813278 943665152 227678 996147200 134512640 135215973 4294956304 18446744073709551615 134902663 0 0 4096 0 0 0 0 17 0 0 0
/proc/14381/statm: 230387 227678 405 171 0 229312 0
Current children cumulated CPU time (s) 1718.7
Current children cumulated vsize (KiB) 921548

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

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

[startup+1721.61 s]
/proc/loadavg: 2.08 2.04 2.00 3/82 14465
/proc/meminfo: memFree=565352/2055920 swapFree=4192812/4192956
[pid=14381] ppid=14379 vsize=0 CPUtime=1718.79
/proc/14381/stat : 14381 (pcs.big) R 14379 14381 14276 0 -1 4195332 8185194 827 0 0 168864 3012 2 1 25 0 1 0 59813278 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/14381/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1718.79
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1721.65
CPU time (s): 1718.85
CPU user time (s): 1688.67
CPU system time (s): 30.1864
CPU usage (%): 99.8374
Max. virtual memory (cumulated for all children) (KiB): 921812

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

runsolver used 1.9847 second user time and 4.71528 second system time

The end

Launcher Data 

Begin job on node30 at 2009-07-16 08:57:52
IDJOB=2087279
IDBENCH=58711
IDSOLVER=733
FILE ID=node30/2087279-1247727471
PBS_JOBID= 9521639
Free space on /tmp= 66280 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/socialGolfers/normalized-socialGolfer-7-4-8.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2087279-1247727471/watcher-2087279-1247727471 -o /tmp/evaluation-result-2087279-1247727471/solver-2087279-1247727471 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 554202628 HOME/instance-2087279-1247727471.xml

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

MD5SUM BENCH= 5771d912d20e48d98ee8045757bce946
RANDOM SEED=554202628

node30.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.277
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.277
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:       1459608 kB
Buffers:         81296 kB
Cached:         374304 kB
SwapCached:          0 kB
Active:         109136 kB
Inactive:       403684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1459608 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            8284 kB
Writeback:           0 kB
Mapped:          68716 kB
Slab:            68908 kB
Committed_AS:   566520 kB
PageTables:       1756 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 node30 at 2009-07-16 09:26:35