Trace number 2087312

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? (TO) 1800.18 1815.52

General information on the benchmark

Namecsp/socialGolfers/
normalized-socialGolfer-10-4-8.xml
MD5SUMe650ecce621fc62488f06c9106738b67
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables7520
Number of constraints40576
Maximum constraint arity32
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension40576
Global constraints used (with number of constraints)

Solver Data 

0.00/0.06	c has operations which may create big domains
0.00/0.06	c big-domain mode
0.04/0.06	c Seed is 983680622
0.04/0.06	c Constructing HOME/instance-2087312-1247727578.xml  with 128720 constraints
3.05/3.15	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-2087312-1247727578/watcher-2087312-1247727578 -o /tmp/evaluation-result-2087312-1247727578/solver-2087312-1247727578 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 983680622 HOME/instance-2087312-1247727578.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/72 17023
/proc/meminfo: memFree=1391776/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=5356 CPUtime=0
/proc/17023/stat : 17023 (pcssolve) R 17021 17023 16919 0 -1 4194304 265 0 0 0 0 0 0 0 22 0 1 0 59824743 5484544 233 996147200 4194304 4889804 548682068800 18446744073709551615 269757119512 0 0 4100 65536 0 0 0 17 1 0 0
/proc/17023/statm: 1339 233 194 169 0 50 0

[startup+0.060336 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 17023
/proc/meminfo: memFree=1391776/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=5360 CPUtime=0.04
/proc/17023/stat : 17023 (pcssolve) R 17021 17023 16919 0 -1 4194304 373 827 0 0 0 0 3 1 22 0 1 0 59824743 5488640 244 996147200 4194304 4889804 548682068800 18446744073709551615 269757415650 0 0 4100 65536 0 0 0 17 1 0 0
/proc/17023/statm: 1340 244 202 169 0 51 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5360

[startup+0.101318 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 17023
/proc/meminfo: memFree=1391776/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=5316 CPUtime=0.07
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 1013 827 0 0 3 0 3 1 23 0 1 0 59824743 5443584 622 996147200 134512640 135215973 4294956304 18446744073709551615 4159189312 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 1329 622 361 171 0 254 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5316

[startup+0.301345 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 17023
/proc/meminfo: memFree=1391776/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=8524 CPUtime=0.27
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 2010 827 0 0 23 0 3 1 24 0 1 0 59824743 8728576 1390 996147200 134512640 135215973 4294956304 18446744073709551615 134773390 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 2131 1390 385 171 0 1056 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 8524

[startup+0.701398 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 17023
/proc/meminfo: memFree=1391776/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=13504 CPUtime=0.67
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 3606 827 0 0 62 1 3 1 25 0 1 0 59824743 13828096 2451 996147200 134512640 135215973 4294956304 18446744073709551615 134744825 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 3376 2451 385 171 0 2301 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 13504

[startup+1.5015 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17029
/proc/meminfo: memFree=1379608/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=22796 CPUtime=1.46
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 6749 827 0 0 140 2 3 1 25 0 1 0 59824743 23343104 4558 996147200 134512640 135215973 4294956304 18446744073709551615 134835433 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 5699 4558 385 171 0 4624 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 22796

[startup+3.10172 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17029
/proc/meminfo: memFree=1367512/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=41412 CPUtime=3.05
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 13180 827 0 0 296 5 3 1 25 0 1 0 59824743 42405888 8923 996147200 134512640 135215973 4294956304 18446744073709551615 134824037 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 10353 8923 386 171 0 9278 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 41412

[startup+6.30114 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17029
/proc/meminfo: memFree=1320984/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=97600 CPUtime=6.22
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 33910 827 0 0 603 15 3 1 25 0 1 0 59824743 99942400 19938 996147200 134512640 135215973 4294956304 18446744073709551615 135094450 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 24400 19938 405 171 0 23325 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 97600

[startup+12.702 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17029
/proc/meminfo: memFree=1312664/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=97732 CPUtime=12.55
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 42878 827 0 0 1233 18 3 1 25 0 1 0 59824743 100077568 19976 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 24433 19976 405 171 0 23358 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 97732

[startup+25.5027 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17029
/proc/meminfo: memFree=1312152/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=98292 CPUtime=25.24
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 75372 827 0 0 2488 32 3 1 25 0 1 0 59824743 100651008 20134 996147200 134512640 135215973 4294956304 18446744073709551615 134532928 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 24573 20134 405 171 0 23498 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 98292

[startup+51.1021 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17029
/proc/meminfo: memFree=1310744/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=99408 CPUtime=50.59
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 128085 827 0 0 5001 54 3 1 25 0 1 0 59824743 101793792 20395 996147200 134512640 135215973 4294956304 18446744073709551615 134590052 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 24852 20395 405 171 0 23777 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 99408

[startup+102.308 s]
/proc/loadavg: 2.15 2.03 2.01 3/73 17035
/proc/meminfo: memFree=1302864/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=110188 CPUtime=101.3
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 307324 827 0 0 9995 131 3 1 25 0 1 0 59824743 112832512 22042 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 27547 22042 405 171 0 26472 0
Current children cumulated CPU time (s) 101.3
Current children cumulated vsize (KiB) 110188

[startup+162.303 s]
/proc/loadavg: 2.21 2.07 2.02 3/73 17035
/proc/meminfo: memFree=1283664/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=125852 CPUtime=160.73
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 515342 827 0 0 15849 220 3 1 25 0 1 0 59824743 128872448 25986 996147200 134512640 135215973 4294956304 18446744073709551615 134612186 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 31463 25986 405 171 0 30388 0
Current children cumulated CPU time (s) 160.73
Current children cumulated vsize (KiB) 125852

[startup+222.303 s]
/proc/loadavg: 2.14 2.07 2.02 3/73 17035
/proc/meminfo: memFree=1257040/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=152228 CPUtime=220.17
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 885070 827 0 0 21633 380 3 1 25 0 1 0 59824743 155881472 32492 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 38057 32492 405 171 0 36982 0
Current children cumulated CPU time (s) 220.17
Current children cumulated vsize (KiB) 152228

[startup+282.302 s]
/proc/loadavg: 2.11 2.07 2.02 3/73 17035
/proc/meminfo: memFree=1235152/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=172976 CPUtime=279.61
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 1053442 827 0 0 27507 450 3 1 25 0 1 0 59824743 177127424 37774 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 43244 37774 405 171 0 42169 0
Current children cumulated CPU time (s) 279.61
Current children cumulated vsize (KiB) 172976

[startup+342.301 s]
/proc/loadavg: 2.09 2.07 2.02 3/73 17035
/proc/meminfo: memFree=1212432/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=193356 CPUtime=339.05
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 1362973 827 0 0 33322 579 3 1 25 0 1 0 59824743 197996544 42933 996147200 134512640 135215973 4294956304 18446744073709551615 134680748 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 48339 42933 405 171 0 47264 0
Current children cumulated CPU time (s) 339.05
Current children cumulated vsize (KiB) 193356

[startup+402.301 s]
/proc/loadavg: 2.08 2.07 2.02 3/73 17035
/proc/meminfo: memFree=1186776/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=217084 CPUtime=398.49
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 1586137 827 0 0 39175 670 3 1 25 0 1 0 59824743 222294016 48957 996147200 134512640 135215973 4294956304 18446744073709551615 134583674 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 54271 48957 405 171 0 53196 0
Current children cumulated CPU time (s) 398.49
Current children cumulated vsize (KiB) 217084

[startup+462.301 s]
/proc/loadavg: 2.08 2.07 2.02 3/73 17035
/proc/meminfo: memFree=1158168/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=239880 CPUtime=457.92
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 1878676 827 0 0 44996 792 3 1 25 0 1 0 59824743 245637120 54702 996147200 134512640 135215973 4294956304 18446744073709551615 134600150 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 59970 54702 405 171 0 58895 0
Current children cumulated CPU time (s) 457.92
Current children cumulated vsize (KiB) 239880

[startup+522.301 s]
/proc/loadavg: 2.03 2.05 2.01 3/73 17035
/proc/meminfo: memFree=1146456/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=251076 CPUtime=517.36
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 2111227 827 0 0 50848 884 3 1 25 0 1 0 59824743 257101824 57517 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 62769 57517 405 171 0 61694 0
Current children cumulated CPU time (s) 517.36
Current children cumulated vsize (KiB) 251076

[startup+582.301 s]
/proc/loadavg: 2.01 2.04 2.01 3/73 17035
/proc/meminfo: memFree=1142040/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=254888 CPUtime=576.79
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 2284291 827 0 0 56724 951 3 1 25 0 1 0 59824743 261005312 58467 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 63722 58467 405 171 0 62647 0
Current children cumulated CPU time (s) 576.79
Current children cumulated vsize (KiB) 254888

[startup+642.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 17035
/proc/meminfo: memFree=1127896/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=268452 CPUtime=636.24
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 2564181 827 0 0 62546 1074 3 1 25 0 1 0 59824743 274894848 61903 996147200 134512640 135215973 4294956304 18446744073709551615 134552989 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 67113 61903 405 171 0 66038 0
Current children cumulated CPU time (s) 636.24
Current children cumulated vsize (KiB) 268452

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 17035
/proc/meminfo: memFree=1029336/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=359592 CPUtime=873.99
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 3805880 827 0 0 85783 1612 3 1 25 0 1 0 59824743 368222208 84729 996147200 134512640 135215973 4294956304 18446744073709551615 134592179 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 89898 84729 405 171 0 88823 0
Current children cumulated CPU time (s) 873.99
Current children cumulated vsize (KiB) 359592

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17035
/proc/meminfo: memFree=1015960/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=371732 CPUtime=933.43
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 4082008 827 0 0 91617 1722 3 1 25 0 1 0 59824743 380653568 87787 996147200 134512640 135215973 4294956304 18446744073709551615 134648411 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 92933 87787 405 171 0 91858 0
Current children cumulated CPU time (s) 933.43
Current children cumulated vsize (KiB) 371732

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17035
/proc/meminfo: memFree=974616/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=410412 CPUtime=992.87
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 4563610 827 0 0 97363 1920 3 1 25 0 1 0 59824743 420261888 97509 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 102603 97509 405 171 0 101528 0
Current children cumulated CPU time (s) 992.87
Current children cumulated vsize (KiB) 410412

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17035
/proc/meminfo: memFree=937624/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=438276 CPUtime=1052.31
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 4963531 827 0 0 103140 2087 3 1 25 0 1 0 59824743 448794624 104510 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 109569 104510 405 171 0 108494 0
Current children cumulated CPU time (s) 1052.31
Current children cumulated vsize (KiB) 438276

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17035
/proc/meminfo: memFree=911384/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=464000 CPUtime=1111.74
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 5355485 827 0 0 108923 2247 3 1 25 0 1 0 59824743 475136000 110970 996147200 134512640 135215973 4294956304 18446744073709551615 134600598 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 116000 110970 405 171 0 114925 0
Current children cumulated CPU time (s) 1111.74
Current children cumulated vsize (KiB) 464000

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17035
/proc/meminfo: memFree=874200/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=500300 CPUtime=1171.18
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 5923925 827 0 0 114648 2466 3 1 25 0 1 0 59824743 512307200 120110 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 125075 120110 405 171 0 124000 0
Current children cumulated CPU time (s) 1171.18
Current children cumulated vsize (KiB) 500300

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17035
/proc/meminfo: memFree=848792/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=524540 CPUtime=1230.61
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 6298414 827 0 0 120439 2618 3 1 25 0 1 0 59824743 537128960 126213 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 131135 126213 405 171 0 130060 0
Current children cumulated CPU time (s) 1230.61
Current children cumulated vsize (KiB) 524540

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17035
/proc/meminfo: memFree=825048/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=547384 CPUtime=1290.06
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 6646882 827 0 0 126251 2751 3 1 25 0 1 0 59824743 560521216 131863 996147200 134512640 135215973 4294956304 18446744073709551615 134627170 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 136846 131863 405 171 0 135771 0
Current children cumulated CPU time (s) 1290.06
Current children cumulated vsize (KiB) 547384

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17035
/proc/meminfo: memFree=801688/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=570628 CPUtime=1349.49
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 6974097 827 0 0 132059 2886 3 1 25 0 1 0 59824743 584323072 137786 996147200 134512640 135215973 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 142657 137786 405 171 0 141582 0
Current children cumulated CPU time (s) 1349.49
Current children cumulated vsize (KiB) 570628

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17035
/proc/meminfo: memFree=775512/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=595604 CPUtime=1408.94
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 7229937 827 0 0 137902 2988 3 1 25 0 1 0 59824743 609898496 144056 996147200 134512640 135215973 4294956304 18446744073709551615 134532955 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 148901 144056 405 171 0 147826 0
Current children cumulated CPU time (s) 1408.94
Current children cumulated vsize (KiB) 595604

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17035
/proc/meminfo: memFree=754520/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=615056 CPUtime=1468.37
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 7449319 827 0 0 143752 3081 3 1 25 0 1 0 59824743 629817344 148930 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 153764 148930 405 171 0 152689 0
Current children cumulated CPU time (s) 1468.37
Current children cumulated vsize (KiB) 615056

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17035
/proc/meminfo: memFree=732632/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=635184 CPUtime=1527.81
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 7668709 827 0 0 149610 3167 3 1 25 0 1 0 59824743 650428416 154000 996147200 134512640 135215973 4294956304 18446744073709551615 134902593 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 158796 154000 405 171 0 157721 0
Current children cumulated CPU time (s) 1527.81
Current children cumulated vsize (KiB) 635184

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17035
/proc/meminfo: memFree=715160/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=650984 CPUtime=1587.24
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 7855225 827 0 0 155475 3245 3 1 25 0 1 0 59824743 666607616 157968 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/17023/statm: 162746 157968 405 171 0 161671 0
Current children cumulated CPU time (s) 1587.24
Current children cumulated vsize (KiB) 650984

[startup+1662.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/73 17068
/proc/meminfo: memFree=821208/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=675688 CPUtime=1647.01
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 8150373 827 0 0 161339 3358 3 1 25 0 1 0 59824743 691904512 164160 996147200 134512640 135215973 4294956304 18446744073709551615 135096738 0 0 4096 0 0 0 0 17 0 0 0
/proc/17023/statm: 168922 164160 405 171 0 167847 0
Current children cumulated CPU time (s) 1647.01
Current children cumulated vsize (KiB) 675688

[startup+1722.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/73 17068
/proc/meminfo: memFree=795608/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=699796 CPUtime=1706.98
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 8501706 827 0 0 167206 3488 3 1 25 0 1 0 59824743 716591104 170231 996147200 134512640 135215973 4294956304 18446744073709551615 134902706 0 0 4096 0 0 0 0 17 0 0 0
/proc/17023/statm: 174949 170231 405 171 0 173874 0
Current children cumulated CPU time (s) 1706.98
Current children cumulated vsize (KiB) 699796

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 17068
/proc/meminfo: memFree=769368/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=722840 CPUtime=1766.95
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 8802474 827 0 0 173086 3605 3 1 25 0 1 0 59824743 740188160 176027 996147200 134512640 135215973 4294956304 18446744073709551615 134590545 0 0 4096 0 0 0 0 17 0 0 0
/proc/17023/statm: 180710 176027 405 171 0 179635 0
Current children cumulated CPU time (s) 1766.95
Current children cumulated vsize (KiB) 722840



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1815.4 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 17068
/proc/meminfo: memFree=753880/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=737404 CPUtime=1800.05
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4194304 8948708 827 0 0 176342 3659 3 1 25 0 1 0 59824743 755101696 179663 996147200 134512640 135215973 4294956304 18446744073709551615 134583364 0 0 4096 0 0 0 0 17 0 0 0
/proc/17023/statm: 184351 179663 405 171 0 183276 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 737404

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

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

[startup+1815.51 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 17068
/proc/meminfo: memFree=753880/2055920 swapFree=4192812/4192956
[pid=17023] ppid=17021 vsize=0 CPUtime=1800.15
/proc/17023/stat : 17023 (pcs.big) R 17021 17023 16919 0 -1 4195332 8948708 827 0 0 176342 3669 3 1 25 0 1 0 59824743 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/17023/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1815.52
CPU time (s): 1800.18
CPU user time (s): 1763.46
CPU system time (s): 36.7234
CPU usage (%): 99.155
Max. virtual memory (cumulated for all children) (KiB): 737404

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

runsolver used 2.30465 second user time and 5.95609 second system time

The end

Launcher Data 

Begin job on node13 at 2009-07-16 08:59:38
IDJOB=2087312
IDBENCH=58714
IDSOLVER=733
FILE ID=node13/2087312-1247727578
PBS_JOBID= 9521589
Free space on /tmp= 66276 MiB

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

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

MD5SUM BENCH= e650ecce621fc62488f06c9106738b67
RANDOM SEED=983680622

node13.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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1392256 kB
Buffers:         85608 kB
Cached:         405012 kB
SwapCached:          0 kB
Active:         298824 kB
Inactive:       282260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1392256 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7672 kB
Writeback:           0 kB
Mapped:         101904 kB
Slab:            67596 kB
Committed_AS:   574016 kB
PageTables:       2072 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= 66296 MiB
End job on node13 at 2009-07-16 09:29:56