Trace number 2087335

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? (TO) 1800.22 1810.24

General information on the benchmark

Namecsp/socialGolfers/
normalized-socialGolfer-8-4-8.xml
MD5SUM6e0e22cb5b6f421be44b72042836849b
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 variables6016
Number of constraints32560
Maximum constraint arity32
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension32560
Global constraints used (with number of constraints)

Solver Data 

0.00/0.05	c has operations which may create big domains
0.00/0.05	c big-domain mode
0.07/0.10	c Seed is 1644614282
0.07/0.10	c Constructing HOME/instance-2087335-1247727649.xml  with 102976 constraints
2.45/2.52	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-2087335-1247727649/watcher-2087335-1247727649 -o /tmp/evaluation-result-2087335-1247727649/solver-2087335-1247727649 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1644614282 HOME/instance-2087335-1247727649.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

[startup+0 s]
/proc/loadavg: 2.11 2.08 2.02 3/81 17866
/proc/meminfo: memFree=1336464/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=18576 CPUtime=0
/proc/17866/stat : 17866 (runsolver) R 17864 17549 17549 0 -1 4194368 10 0 0 0 0 0 0 0 21 0 1 0 59831791 19021824 282 996147200 4194304 4302564 548682068496 18446744073709551615 240469964430 0 0 4096 24578 0 0 0 17 1 0 0
/proc/17866/statm: 4644 282 247 26 0 2626 0
Current StackSize limit: 10240 KiB


[startup+0.025294 s]
/proc/loadavg: 2.11 2.08 2.02 3/81 17866
/proc/meminfo: memFree=1336464/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=5356 CPUtime=0
/proc/17866/stat : 17866 (pcssolve) S 17864 17866 17549 0 -1 4194304 339 317 0 0 0 0 0 0 23 0 1 0 59831791 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17866/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101305 s]
/proc/loadavg: 2.11 2.08 2.02 3/81 17866
/proc/meminfo: memFree=1336464/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=6364 CPUtime=0.07
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 1318 827 0 0 4 0 2 1 18 0 1 0 59831791 6516736 827 996147200 134512640 135215973 4294956304 18446744073709551615 134744392 0 0 4096 0 0 0 0 17 1 0 0
/proc/17866/statm: 1591 827 385 171 0 516 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6364

[startup+0.301317 s]
/proc/loadavg: 2.11 2.08 2.02 3/81 17866
/proc/meminfo: memFree=1336464/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=9776 CPUtime=0.28
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 2062 827 0 0 24 1 2 1 19 0 1 0 59831791 10010624 1392 996147200 134512640 135215973 4294956304 18446744073709551615 4159345925 0 0 4096 0 0 0 0 17 1 0 0
/proc/17866/statm: 2444 1392 385 171 0 1369 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9776

[startup+0.701352 s]
/proc/loadavg: 2.11 2.08 2.02 3/81 17866
/proc/meminfo: memFree=1336464/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=13308 CPUtime=0.67
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 3559 827 0 0 62 2 2 1 23 0 1 0 59831791 13627392 2448 996147200 134512640 135215973 4294956304 18446744073709551615 4158960314 0 0 4096 0 0 0 0 17 1 0 0
/proc/17866/statm: 3327 2448 385 171 0 2252 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 13308

[startup+1.50142 s]
/proc/loadavg: 2.10 2.08 2.02 3/82 17872
/proc/meminfo: memFree=1324552/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=22372 CPUtime=1.46
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 6662 827 0 0 139 4 2 1 25 0 1 0 59831791 22908928 4573 996147200 134512640 135215973 4294956304 18446744073709551615 134897518 0 0 4096 0 0 0 0 17 1 0 0
/proc/17866/statm: 5593 4573 385 171 0 4518 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 22372

[startup+3.10157 s]
/proc/loadavg: 2.10 2.08 2.02 3/82 17872
/proc/meminfo: memFree=1312968/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=57976 CPUtime=3.04
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 18894 827 0 0 293 8 2 1 25 0 1 0 59831791 59367424 12478 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/17866/statm: 14494 12478 402 171 0 13419 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 57976

[startup+6.30184 s]
/proc/loadavg: 2.10 2.08 2.02 3/82 17872
/proc/meminfo: memFree=1277512/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=68852 CPUtime=6.21
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 26528 827 0 0 606 12 2 1 25 0 1 0 59831791 70504448 15072 996147200 134512640 135215973 4294956304 18446744073709551615 135096031 0 0 4096 0 0 0 0 17 1 0 0
/proc/17866/statm: 17213 15072 405 171 0 16138 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 68852

[startup+12.7014 s]
/proc/loadavg: 2.09 2.07 2.02 3/82 17878
/proc/meminfo: memFree=1276744/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=69240 CPUtime=12.53
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 35308 827 0 0 1234 16 2 1 25 0 1 0 59831791 70901760 15152 996147200 134512640 135215973 4294956304 18446744073709551615 134594135 0 0 4096 0 0 0 0 17 1 0 0
/proc/17866/statm: 17310 15152 405 171 0 16235 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 69240

[startup+25.5015 s]
/proc/loadavg: 2.07 2.07 2.02 3/82 17878
/proc/meminfo: memFree=1276360/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=69760 CPUtime=25.22
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 59142 827 0 0 2492 27 2 1 25 0 1 0 59831791 71434240 15286 996147200 134512640 135215973 4294956304 18446744073709551615 134679361 0 0 4096 0 0 0 0 17 1 0 0
/proc/17866/statm: 17440 15286 405 171 0 16365 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 69760

[startup+51.1017 s]
/proc/loadavg: 2.05 2.06 2.02 3/82 17878
/proc/meminfo: memFree=1272200/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=73740 CPUtime=50.57
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 128458 827 0 0 5000 54 2 1 25 0 1 0 59831791 75509760 16352 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/17866/statm: 18435 16352 405 171 0 17360 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 73740

[startup+102.306 s]
/proc/loadavg: 2.02 2.05 2.01 3/82 17878
/proc/meminfo: memFree=1258184/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=87444 CPUtime=101.3
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 285543 827 0 0 10009 118 2 1 25 0 1 0 59831791 89542656 19837 996147200 134512640 135215973 4294956304 18446744073709551615 134902700 0 0 4096 0 0 0 0 17 1 0 0
/proc/17866/statm: 21861 19837 405 171 0 20786 0
Current children cumulated CPU time (s) 101.3
Current children cumulated vsize (KiB) 87444

[startup+162.301 s]
/proc/loadavg: 2.00 2.04 2.01 3/82 17878
/proc/meminfo: memFree=1229832/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=115768 CPUtime=160.73
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 570341 827 0 0 15836 234 2 1 25 0 1 0 59831791 118546432 26887 996147200 134512640 135215973 4294956304 18446744073709551615 135094436 0 0 4096 0 0 0 0 17 1 0 0
/proc/17866/statm: 28942 26887 405 171 0 27867 0
Current children cumulated CPU time (s) 160.73
Current children cumulated vsize (KiB) 115768

[startup+222.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 17878
/proc/meminfo: memFree=1205192/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=139836 CPUtime=220.17
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 794759 827 0 0 21685 329 2 1 25 0 1 0 59831791 143192064 33055 996147200 134512640 135215973 4294956304 18446744073709551615 134597336 0 0 4096 0 0 0 0 17 1 0 0
/proc/17866/statm: 34959 33055 405 171 0 33884 0
Current children cumulated CPU time (s) 220.17
Current children cumulated vsize (KiB) 139836

[startup+282.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 17878
/proc/meminfo: memFree=1174472/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=171024 CPUtime=279.6
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 1166874 827 0 0 27479 478 2 1 25 0 1 0 59831791 175128576 40895 996147200 134512640 135215973 4294956304 18446744073709551615 134532657 0 0 4096 0 0 0 0 17 1 0 0
/proc/17866/statm: 42756 40895 405 171 0 41681 0
Current children cumulated CPU time (s) 279.6
Current children cumulated vsize (KiB) 171024

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 17878
/proc/meminfo: memFree=1149064/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=195604 CPUtime=339.04
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 1432402 827 0 0 33312 589 2 1 25 0 1 0 59831791 200298496 47073 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/17866/statm: 48901 47073 405 171 0 47826 0
Current children cumulated CPU time (s) 339.04
Current children cumulated vsize (KiB) 195604

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 17878
/proc/meminfo: memFree=1117896/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=227156 CPUtime=398.48
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 1788445 827 0 0 39112 733 2 1 25 0 1 0 59831791 232607744 54912 996147200 134512640 135215973 4294956304 18446744073709551615 135097937 0 0 4096 0 0 0 0 17 1 0 0
/proc/17866/statm: 56789 54912 405 171 0 55714 0
Current children cumulated CPU time (s) 398.48
Current children cumulated vsize (KiB) 227156

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17878
/proc/meminfo: memFree=1109448/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=235208 CPUtime=457.92
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 1971321 827 0 0 44981 808 2 1 25 0 1 0 59831791 240852992 56963 996147200 134512640 135215973 4294956304 18446744073709551615 4158960128 0 0 4096 0 0 0 0 17 1 0 0
/proc/17866/statm: 58802 56963 405 171 0 57727 0
Current children cumulated CPU time (s) 457.92
Current children cumulated vsize (KiB) 235208

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17878
/proc/meminfo: memFree=1081608/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=268212 CPUtime=517.36
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 2289344 827 0 0 50801 932 2 1 25 0 1 0 59831791 274649088 64082 996147200 134512640 135215973 4294956304 18446744073709551615 134627168 0 0 4096 0 0 0 0 17 1 0 0
/proc/17866/statm: 67053 64082 405 171 0 65978 0
Current children cumulated CPU time (s) 517.36
Current children cumulated vsize (KiB) 268212

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17878
/proc/meminfo: memFree=1066760/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=281760 CPUtime=576.79
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 2458683 827 0 0 56676 1000 2 1 25 0 1 0 59831791 288522240 67596 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 1 0 0
/proc/17866/statm: 70440 67596 405 171 0 69365 0
Current children cumulated CPU time (s) 576.79
Current children cumulated vsize (KiB) 281760

[startup+642.301 s]
/proc/loadavg: 2.10 2.03 2.01 3/82 17878
/proc/meminfo: memFree=1057672/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=290592 CPUtime=636.23
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 2603030 827 0 0 62558 1062 2 1 25 0 1 0 59831791 297566208 69818 996147200 134512640 135215973 4294956304 18446744073709551615 134600384 0 0 4096 0 0 0 0 17 1 0 0
/proc/17866/statm: 72648 69818 405 171 0 71573 0
Current children cumulated CPU time (s) 636.23
Current children cumulated vsize (KiB) 290592

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 2.06 2.09 2.03 3/82 17878
/proc/meminfo: memFree=941512/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=407228 CPUtime=873.97
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 3826755 827 0 0 85830 1564 2 1 25 0 1 0 59831791 417001472 98848 996147200 134512640 135215973 4294956304 18446744073709551615 134902573 0 0 4096 0 0 0 0 17 1 0 0
/proc/17866/statm: 101807 98848 405 171 0 100732 0
Current children cumulated CPU time (s) 873.97
Current children cumulated vsize (KiB) 407228

[startup+942.301 s]
/proc/loadavg: 2.02 2.07 2.02 3/82 17878
/proc/meminfo: memFree=904968/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=443988 CPUtime=933.42
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 4245416 827 0 0 91609 1730 2 1 25 0 1 0 59831791 454643712 108084 996147200 134512640 135215973 4294956304 18446744073709551615 134610758 0 0 4096 0 0 0 0 17 1 0 0
/proc/17866/statm: 110997 108084 405 171 0 109922 0
Current children cumulated CPU time (s) 933.42
Current children cumulated vsize (KiB) 443988

[startup+1002.3 s]
/proc/loadavg: 2.01 2.05 2.02 3/82 17878
/proc/meminfo: memFree=872264/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=476468 CPUtime=992.86
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 4666808 827 0 0 97384 1899 2 1 25 0 1 0 59831791 487903232 116226 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 1 0 0
/proc/17866/statm: 119117 116226 405 171 0 118042 0
Current children cumulated CPU time (s) 992.86
Current children cumulated vsize (KiB) 476468

[startup+1062.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/73 17910
/proc/meminfo: memFree=854368/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=507576 CPUtime=1052.53
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 5022793 827 0 0 103214 2036 2 1 25 0 1 0 59831791 519757824 124061 996147200 134512640 135215973 4294956304 18446744073709551615 134982845 0 0 4096 0 0 0 0 17 0 0 0
/proc/17866/statm: 126894 124061 405 171 0 125819 0
Current children cumulated CPU time (s) 1052.53
Current children cumulated vsize (KiB) 507576

[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 17910
/proc/meminfo: memFree=826272/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=531128 CPUtime=1112.52
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 5235489 827 0 0 109132 2117 2 1 25 0 1 0 59831791 543875072 129982 996147200 134512640 135215973 4294956304 18446744073709551615 134585081 0 0 4096 0 0 0 0 17 0 0 0
/proc/17866/statm: 132782 129982 405 171 0 131707 0
Current children cumulated CPU time (s) 1112.52
Current children cumulated vsize (KiB) 531128

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 17910
/proc/meminfo: memFree=800928/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=550800 CPUtime=1172.49
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 5432640 827 0 0 115061 2185 2 1 25 0 1 0 59831791 564019200 134908 996147200 134512640 135215973 4294956304 18446744073709551615 134902551 0 0 4096 0 0 0 0 17 0 0 0
/proc/17866/statm: 137700 134908 405 171 0 136625 0
Current children cumulated CPU time (s) 1172.49
Current children cumulated vsize (KiB) 550800

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 17910
/proc/meminfo: memFree=763296/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=580084 CPUtime=1232.47
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 5771217 827 0 0 120940 2304 2 1 25 0 1 0 59831791 594006016 142285 996147200 134512640 135215973 4294956304 18446744073709551615 134976563 0 0 4096 0 0 0 0 17 0 0 0
/proc/17866/statm: 145021 142285 405 171 0 143946 0
Current children cumulated CPU time (s) 1232.47
Current children cumulated vsize (KiB) 580084

[startup+1302.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/73 17910
/proc/meminfo: memFree=712352/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=623316 CPUtime=1292.45
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 6379169 827 0 0 126727 2515 2 1 25 0 1 0 59831791 638275584 153162 996147200 134512640 135215973 4294956304 18446744073709551615 134911248 0 0 4096 0 0 0 0 17 0 0 0
/proc/17866/statm: 155829 153162 405 171 0 154754 0
Current children cumulated CPU time (s) 1292.45
Current children cumulated vsize (KiB) 623316

[startup+1362.3 s]
/proc/loadavg: 2.08 2.04 2.00 4/82 17949
/proc/meminfo: memFree=697624/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=655608 CPUtime=1352.43
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 6707435 827 0 0 132616 2624 2 1 25 0 1 0 59831791 671342592 161253 996147200 134512640 135215973 4294956304 18446744073709551615 7978549 0 0 4096 0 0 0 0 17 0 0 0
/proc/17866/statm: 163902 161253 405 171 0 162827 0
Current children cumulated CPU time (s) 1352.43
Current children cumulated vsize (KiB) 655608

[startup+1422.31 s]
/proc/loadavg: 2.15 2.06 2.01 3/82 17951
/proc/meminfo: memFree=639640/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=689588 CPUtime=1412.4
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 7300193 827 0 0 138410 2827 2 1 25 0 1 0 59831791 706138112 169836 996147200 134512640 135215973 4294956304 18446744073709551615 4158960067 0 0 4096 0 0 0 0 17 0 0 0
/proc/17866/statm: 172397 169836 405 171 0 171322 0
Current children cumulated CPU time (s) 1412.4
Current children cumulated vsize (KiB) 689588

[startup+1482.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/82 17951
/proc/meminfo: memFree=611928/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=717440 CPUtime=1472.37
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 7611748 827 0 0 144291 2943 2 1 25 0 1 0 59831791 734658560 176816 996147200 134512640 135215973 4294956304 18446744073709551615 134902816 0 0 4096 0 0 0 0 17 0 0 0
/proc/17866/statm: 179360 176816 405 171 0 178285 0
Current children cumulated CPU time (s) 1472.37
Current children cumulated vsize (KiB) 717440

[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/82 17951
/proc/meminfo: memFree=584344/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=744400 CPUtime=1532.36
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 7853562 827 0 0 150204 3029 2 1 25 0 1 0 59831791 762265600 183580 996147200 134512640 135215973 4294956304 18446744073709551615 134600322 0 0 4096 0 0 0 0 17 0 0 0
/proc/17866/statm: 186100 183580 405 171 0 185025 0
Current children cumulated CPU time (s) 1532.36
Current children cumulated vsize (KiB) 744400

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 17951
/proc/meminfo: memFree=559832/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=768832 CPUtime=1592.33
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 8102330 827 0 0 156111 3119 2 1 25 0 1 0 59831791 787283968 189723 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/17866/statm: 192208 189723 405 171 0 191133 0
Current children cumulated CPU time (s) 1592.33
Current children cumulated vsize (KiB) 768832

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 17951
/proc/meminfo: memFree=540632/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=787952 CPUtime=1652.31
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 8412925 827 0 0 161996 3232 2 1 25 0 1 0 59831791 806862848 194543 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/17866/statm: 196988 194543 405 171 0 195913 0
Current children cumulated CPU time (s) 1652.31
Current children cumulated vsize (KiB) 787952

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 17951
/proc/meminfo: memFree=504856/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=823784 CPUtime=1712.29
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 8758003 827 0 0 167873 3353 2 1 25 0 1 0 59831791 843554816 203546 996147200 134512640 135215973 4294956304 18446744073709551615 134588906 0 0 4096 0 0 0 0 17 0 0 0
/proc/17866/statm: 205946 203546 405 171 0 204871 0
Current children cumulated CPU time (s) 1712.29
Current children cumulated vsize (KiB) 823784

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 17951
/proc/meminfo: memFree=467096/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=860856 CPUtime=1772.27
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 9150493 827 0 0 173730 3494 2 1 25 0 1 0 59831791 881516544 212861 996147200 134512640 135215973 4294956304 18446744073709551615 134983005 0 0 4096 0 0 0 0 17 0 0 0
/proc/17866/statm: 215214 212861 405 171 0 214139 0
Current children cumulated CPU time (s) 1772.27
Current children cumulated vsize (KiB) 860856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 17951
/proc/meminfo: memFree=449176/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=878412 CPUtime=1800.06
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4194304 9306155 827 0 0 176451 3552 2 1 25 0 1 0 59831791 899493888 217248 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/17866/statm: 219603 217248 405 171 0 218528 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 878412

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

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

[startup+1810.21 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 17951
/proc/meminfo: memFree=449176/2055920 swapFree=4191900/4192956
[pid=17866] ppid=17864 vsize=0 CPUtime=1800.17
/proc/17866/stat : 17866 (pcs.big) R 17864 17866 17549 0 -1 4195332 9306155 827 0 0 176451 3563 2 1 25 0 1 0 59831791 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/17866/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1810.24
CPU time (s): 1800.22
CPU user time (s): 1764.55
CPU system time (s): 35.6766
CPU usage (%): 99.4466
Max. virtual memory (cumulated for all children) (KiB): 878712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1764.55
system time used= 35.6766
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9306982
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= 21
involuntary context switches= 45673

runsolver used 2.14367 second user time and 5.81212 second system time

The end

Launcher Data 

Begin job on node15 at 2009-07-16 09:00:49
IDJOB=2087335
IDBENCH=58716
IDSOLVER=734
FILE ID=node15/2087335-1247727649
PBS_JOBID= 9521504
Free space on /tmp= 66300 MiB

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

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

MD5SUM BENCH= 6e0e22cb5b6f421be44b72042836849b
RANDOM SEED=1644614282

node15.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.220
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.220
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:       1336944 kB
Buffers:         90272 kB
Cached:         509684 kB
SwapCached:        416 kB
Active:         236632 kB
Inactive:       412884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1336944 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            6408 kB
Writeback:           0 kB
Mapped:          69240 kB
Slab:            54412 kB
Committed_AS:   886608 kB
PageTables:       2020 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= 66292 MiB
End job on node15 at 2009-07-16 09:31:02