Trace number 2087334

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.16 1812.53

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.04	c has operations which may create big domains
0.00/0.04	c big-domain mode
0.00/0.04	c Seed is 1645357182
0.00/0.04	c Constructing HOME/instance-2087334-1247727648.xml  with 102976 constraints
2.26/2.36	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-2087334-1247727648/watcher-2087334-1247727648 -o /tmp/evaluation-result-2087334-1247727648/solver-2087334-1247727648 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1645357182 HOME/instance-2087334-1247727648.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 1.93 4/73 15381
/proc/meminfo: memFree=1496968/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=5356 CPUtime=0
/proc/15381/stat : 15381 (pcssolve) R 15379 15381 14762 0 -1 4194304 305 0 0 0 0 0 0 0 19 0 1 0 59830063 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 270187160388 0 65536 4100 65538 0 0 0 17 1 0 0
/proc/15381/statm: 1339 242 201 169 0 50 0
[pid=15382] ppid=15381 vsize=0 CPUtime=0
/proc/15382/stat : 15382 (fgrep) Z 15381 15381 14762 0 -1 4194316 155 0 0 0 0 0 0 0 18 0 1 0 59830063 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/15382/statm: 0 0 0 0 0 0 0
[pid=15383] ppid=15381 vsize=0 CPUtime=0
/proc/15383/stat : 15383 (grep) Z 15381 15381 14762 0 -1 4194316 162 0 0 0 0 0 0 0 17 0 1 0 59830063 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/15383/statm: 0 0 0 0 0 0 0

[startup+0.051848 s]
/proc/loadavg: 2.00 2.00 1.93 4/73 15381
/proc/meminfo: memFree=1496968/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=4728 CPUtime=0.03
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 864 827 0 0 0 0 2 1 18 0 1 0 59830063 4841472 473 996147200 134512640 135215973 4294956304 18446744073709551615 4159198581 0 0 4096 0 0 0 0 17 1 0 0
/proc/15381/statm: 1182 473 361 171 0 107 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4728

[startup+0.10286 s]
/proc/loadavg: 2.00 2.00 1.93 4/73 15381
/proc/meminfo: memFree=1496968/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=6492 CPUtime=0.08
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 1352 827 0 0 5 0 2 1 18 0 1 0 59830063 6647808 861 996147200 134512640 135215973 4294956304 18446744073709551615 134590491 0 0 4096 0 0 0 0 17 1 0 0
/proc/15381/statm: 1623 861 385 171 0 548 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6492

[startup+0.302885 s]
/proc/loadavg: 2.00 2.00 1.93 4/73 15381
/proc/meminfo: memFree=1496968/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=9568 CPUtime=0.27
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 2276 827 0 0 24 0 2 1 19 0 1 0 59830063 9797632 1488 996147200 134512640 135215973 4294956304 18446744073709551615 4158929241 0 0 4096 0 0 0 0 17 1 0 0
/proc/15381/statm: 2392 1488 385 171 0 1317 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9568

[startup+0.702929 s]
/proc/loadavg: 2.00 2.00 1.93 4/73 15381
/proc/meminfo: memFree=1496968/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=15036 CPUtime=0.68
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 4053 827 0 0 63 2 2 1 23 0 1 0 59830063 15396864 2706 996147200 134512640 135215973 4294956304 18446744073709551615 134761742 0 0 4096 0 0 0 0 17 1 0 0
/proc/15381/statm: 3759 2706 385 171 0 2684 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 15036

[startup+1.50202 s]
/proc/loadavg: 2.00 2.00 1.93 3/74 15387
/proc/meminfo: memFree=1483648/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=25952 CPUtime=1.46
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 7662 827 0 0 139 4 2 1 25 0 1 0 59830063 26574848 5102 996147200 134512640 135215973 4294956304 18446744073709551615 4159189312 0 0 4096 0 0 0 0 17 1 0 0
/proc/15381/statm: 6488 5102 385 171 0 5413 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 25952

[startup+3.1012 s]
/proc/loadavg: 2.00 2.00 1.93 3/74 15387
/proc/meminfo: memFree=1470464/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=58108 CPUtime=3.06
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 19179 827 0 0 293 10 2 1 25 0 1 0 59830063 59502592 12763 996147200 134512640 135215973 4294956304 18446744073709551615 134590633 0 0 4096 0 0 0 0 17 1 0 0
/proc/15381/statm: 14527 12763 402 171 0 13452 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 58108

[startup+6.30157 s]
/proc/loadavg: 2.00 2.00 1.93 3/74 15387
/proc/meminfo: memFree=1437312/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=68856 CPUtime=6.23
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 26691 827 0 0 607 13 2 1 25 0 1 0 59830063 70508544 14935 996147200 134512640 135215973 4294956304 18446744073709551615 134904497 0 0 4096 0 0 0 0 17 1 0 0
/proc/15381/statm: 17214 14935 405 171 0 16139 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 68856

[startup+12.7013 s]
/proc/loadavg: 2.00 2.00 1.93 3/74 15387
/proc/meminfo: memFree=1436096/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=69116 CPUtime=12.58
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 40251 827 0 0 1236 19 2 1 25 0 1 0 59830063 70774784 14995 996147200 134512640 135215973 4294956304 18446744073709551615 135094915 0 0 4096 0 0 0 0 17 1 0 0
/proc/15381/statm: 17279 14995 405 171 0 16204 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 69116

[startup+25.5028 s]
/proc/loadavg: 2.00 2.00 1.93 3/74 15393
/proc/meminfo: memFree=1433472/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=69384 CPUtime=25.28
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 56289 827 0 0 2500 25 2 1 25 0 1 0 59830063 71049216 15058 996147200 134512640 135215973 4294956304 18446744073709551615 134591418 0 0 4096 0 0 0 0 17 1 0 0
/proc/15381/statm: 17346 15058 405 171 0 16271 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 69384

[startup+51.1027 s]
/proc/loadavg: 2.00 2.00 1.93 3/74 15393
/proc/meminfo: memFree=1427456/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=71264 CPUtime=50.68
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 108242 827 0 0 5021 44 2 1 25 0 1 0 59830063 72974336 15711 996147200 134512640 135215973 4294956304 18446744073709551615 134587297 0 0 4096 0 0 0 0 17 1 0 0
/proc/15381/statm: 17816 15711 405 171 0 16741 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 71264

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.93 3/74 15393
/proc/meminfo: memFree=1408896/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=82260 CPUtime=101.5
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 237969 827 0 0 10054 93 2 1 25 0 1 0 59830063 84234240 18538 996147200 134512640 135215973 4294956304 18446744073709551615 134587525 0 0 4096 0 0 0 0 17 1 0 0
/proc/15381/statm: 20565 18538 405 171 0 19490 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 82260

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 1.93 3/74 15393
/proc/meminfo: memFree=1369920/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=113660 CPUtime=161.04
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 542118 827 0 0 15889 212 2 1 25 0 1 0 59830063 116387840 26329 996147200 134512640 135215973 4294956304 18446744073709551615 134627170 0 0 4096 0 0 0 0 17 1 0 0
/proc/15381/statm: 28415 26329 405 171 0 27340 0
Current children cumulated CPU time (s) 161.04
Current children cumulated vsize (KiB) 113660

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 1.93 3/74 15393
/proc/meminfo: memFree=1349376/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=126008 CPUtime=220.58
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 673652 827 0 0 21792 263 2 1 25 0 1 0 59830063 129032192 29538 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/15381/statm: 31502 29538 405 171 0 30427 0
Current children cumulated CPU time (s) 220.58
Current children cumulated vsize (KiB) 126008

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 1.93 3/74 15393
/proc/meminfo: memFree=1318016/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=151072 CPUtime=280.13
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 951979 827 0 0 27643 367 2 1 25 0 1 0 59830063 154697728 35775 996147200 134512640 135215973 4294956304 18446744073709551615 134902630 0 0 4096 0 0 0 0 17 1 0 0
/proc/15381/statm: 37768 35775 405 171 0 36693 0
Current children cumulated CPU time (s) 280.13
Current children cumulated vsize (KiB) 151072

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 1.93 3/74 15393
/proc/meminfo: memFree=1284416/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=176344 CPUtime=339.68
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 1271318 827 0 0 33474 491 2 1 25 0 1 0 59830063 180576256 42139 996147200 134512640 135215973 4294956304 18446744073709551615 134600485 0 0 4096 0 0 0 0 17 1 0 0
/proc/15381/statm: 44086 42139 405 171 0 43011 0
Current children cumulated CPU time (s) 339.68
Current children cumulated vsize (KiB) 176344

[startup+402.303 s]
/proc/loadavg: 2.00 2.00 1.93 3/74 15393
/proc/meminfo: memFree=1249920/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=204728 CPUtime=399.23
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 1682752 827 0 0 39269 651 2 1 25 0 1 0 59830063 209641472 49323 996147200 134512640 135215973 4294956304 18446744073709551615 134951428 0 0 4096 0 0 0 0 17 1 0 0
/proc/15381/statm: 51182 49323 405 171 0 50107 0
Current children cumulated CPU time (s) 399.23
Current children cumulated vsize (KiB) 204728

[startup+462.303 s]
/proc/loadavg: 2.00 2.00 1.93 3/74 15393
/proc/meminfo: memFree=1217664/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=230612 CPUtime=458.77
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 2026314 827 0 0 45091 783 2 1 25 0 1 0 59830063 236146688 55835 996147200 134512640 135215973 4294956304 18446744073709551615 134532674 0 0 4096 0 0 0 0 17 1 0 0
/proc/15381/statm: 57653 55835 405 171 0 56578 0
Current children cumulated CPU time (s) 458.77
Current children cumulated vsize (KiB) 230612

[startup+522.303 s]
/proc/loadavg: 2.00 2.00 1.93 3/74 15393
/proc/meminfo: memFree=1175424/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=271336 CPUtime=518.32
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 2318434 827 0 0 50926 903 2 1 25 0 1 0 59830063 277848064 64715 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 1 0 0
/proc/15381/statm: 67834 64715 405 171 0 66759 0
Current children cumulated CPU time (s) 518.32
Current children cumulated vsize (KiB) 271336

[startup+582.303 s]
/proc/loadavg: 2.00 2.00 1.93 3/74 15393
/proc/meminfo: memFree=1143424/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=294888 CPUtime=577.86
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 2548164 827 0 0 56793 990 2 1 25 0 1 0 59830063 301965312 70720 996147200 134512640 135215973 4294956304 18446744073709551615 134532657 0 0 4096 0 0 0 0 17 1 0 0
/proc/15381/statm: 73722 70720 405 171 0 72647 0
Current children cumulated CPU time (s) 577.86
Current children cumulated vsize (KiB) 294888

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 1.93 3/74 15393
/proc/meminfo: memFree=1122240/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=308856 CPUtime=637.41

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

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 1.93 3/74 15393
/proc/meminfo: memFree=1018432/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=383584 CPUtime=875.59
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 3643169 827 0 0 86127 1429 2 1 25 0 1 0 59830063 392790016 92637 996147200 134512640 135215973 4294956304 18446744073709551615 134610849 0 0 4096 0 0 0 0 17 1 0 0
/proc/15381/statm: 95896 92637 405 171 0 94821 0
Current children cumulated CPU time (s) 875.59
Current children cumulated vsize (KiB) 383584

[startup+942.302 s]
/proc/loadavg: 1.92 1.98 1.92 3/71 15448
/proc/meminfo: memFree=1190544/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=406696 CPUtime=935.12
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 3896094 827 0 0 91986 1523 2 1 25 0 1 0 59830063 416456704 98362 996147200 134512640 135215973 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/15381/statm: 101599 98362 405 171 0 100524 0
Current children cumulated CPU time (s) 935.12
Current children cumulated vsize (KiB) 406696

[startup+1002.3 s]
/proc/loadavg: 2.31 2.09 1.96 3/83 15468
/proc/meminfo: memFree=623912/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=435152 CPUtime=994.82
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 4218686 827 0 0 97828 1651 2 1 25 0 1 0 59830063 445595648 105654 996147200 134512640 135215973 4294956304 18446744073709551615 134532901 0 0 4096 0 0 0 0 17 0 0 0
/proc/15381/statm: 108788 105654 405 171 0 107713 0
Current children cumulated CPU time (s) 994.82
Current children cumulated vsize (KiB) 435152

[startup+1062.3 s]
/proc/loadavg: 2.18 2.09 1.96 3/83 15468
/proc/meminfo: memFree=594280/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=465240 CPUtime=1054.52
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 4555483 827 0 0 103671 1778 2 1 25 0 1 0 59830063 476405760 113201 996147200 134512640 135215973 4294956304 18446744073709551615 134583393 0 0 4096 0 0 0 0 17 0 0 0
/proc/15381/statm: 116310 113201 405 171 0 115235 0
Current children cumulated CPU time (s) 1054.52
Current children cumulated vsize (KiB) 465240

[startup+1122.3 s]
/proc/loadavg: 2.13 2.08 1.97 3/83 15468
/proc/meminfo: memFree=563624/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=494932 CPUtime=1114.22
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 4875483 827 0 0 109528 1891 2 1 25 0 1 0 59830063 506810368 120676 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/15381/statm: 123733 120676 405 171 0 122658 0
Current children cumulated CPU time (s) 1114.22
Current children cumulated vsize (KiB) 494932

[startup+1182.3 s]
/proc/loadavg: 2.16 2.10 1.98 3/83 15468
/proc/meminfo: memFree=536936/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=521428 CPUtime=1173.93
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 5201872 827 0 0 115378 2012 2 1 25 0 1 0 59830063 533942272 127340 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/15381/statm: 130357 127340 405 171 0 129282 0
Current children cumulated CPU time (s) 1173.93
Current children cumulated vsize (KiB) 521428

[startup+1242.3 s]
/proc/loadavg: 2.14 2.11 1.99 3/83 15468
/proc/meminfo: memFree=508776/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=549180 CPUtime=1233.62
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 5461824 827 0 0 121253 2106 2 1 25 0 1 0 59830063 562360320 134317 996147200 134512640 135215973 4294956304 18446744073709551615 134590990 0 0 4096 0 0 0 0 17 0 0 0
/proc/15381/statm: 137295 134317 405 171 0 136220 0
Current children cumulated CPU time (s) 1233.62
Current children cumulated vsize (KiB) 549180

[startup+1302.3 s]
/proc/loadavg: 2.33 2.16 2.01 3/83 15468
/proc/meminfo: memFree=486568/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=571184 CPUtime=1293.34
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 5706152 827 0 0 127135 2196 2 1 25 0 1 0 59830063 584892416 139845 996147200 134512640 135215973 4294956304 18446744073709551615 134583597 0 0 4096 0 0 0 0 17 0 0 0
/proc/15381/statm: 142796 139845 405 171 0 141721 0
Current children cumulated CPU time (s) 1293.34
Current children cumulated vsize (KiB) 571184

[startup+1362.3 s]
/proc/loadavg: 2.46 2.22 2.04 3/83 15468
/proc/meminfo: memFree=458536/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=598996 CPUtime=1353.04
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 6064888 827 0 0 132974 2327 2 1 25 0 1 0 59830063 613371904 146831 996147200 134512640 135215973 4294956304 18446744073709551615 134532711 0 0 4096 0 0 0 0 17 0 0 0
/proc/15381/statm: 149749 146831 405 171 0 148674 0
Current children cumulated CPU time (s) 1353.04
Current children cumulated vsize (KiB) 598996

[startup+1422.31 s]
/proc/loadavg: 2.51 2.27 2.07 3/83 15468
/proc/meminfo: memFree=433960/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=623460 CPUtime=1412.75
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 6310718 827 0 0 138850 2422 2 1 25 0 1 0 59830063 638423040 152961 996147200 134512640 135215973 4294956304 18446744073709551615 134587409 0 0 4096 0 0 0 0 17 0 0 0
/proc/15381/statm: 155865 152961 405 171 0 154790 0
Current children cumulated CPU time (s) 1412.75
Current children cumulated vsize (KiB) 623460

[startup+1482.3 s]
/proc/loadavg: 2.65 2.35 2.11 3/83 15468
/proc/meminfo: memFree=405672/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=651708 CPUtime=1472.45
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 6603657 827 0 0 144714 2528 2 1 25 0 1 0 59830063 667348992 160075 996147200 134512640 135215973 4294956304 18446744073709551615 134600008 0 0 4096 0 0 0 0 17 0 0 0
/proc/15381/statm: 162927 160075 405 171 0 161852 0
Current children cumulated CPU time (s) 1472.45
Current children cumulated vsize (KiB) 651708

[startup+1542.3 s]
/proc/loadavg: 2.30 2.32 2.11 3/74 15501
/proc/meminfo: memFree=944312/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=675828 CPUtime=1531.96
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 6893953 827 0 0 150556 2637 2 1 25 0 1 0 59830063 692047872 166121 996147200 134512640 135215973 4294956304 18446744073709551615 135095379 0 0 4096 0 0 0 0 17 1 0 0
/proc/15381/statm: 168957 166121 405 171 0 167882 0
Current children cumulated CPU time (s) 1531.96
Current children cumulated vsize (KiB) 675828

[startup+1602.3 s]
/proc/loadavg: 2.11 2.26 2.09 3/74 15501
/proc/meminfo: memFree=916984/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=701860 CPUtime=1591.51
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 7170793 827 0 0 156406 2742 2 1 25 0 1 0 59830063 718704640 172661 996147200 134512640 135215973 4294956304 18446744073709551615 134648372 0 0 4096 0 0 0 0 17 1 0 0
/proc/15381/statm: 175465 172661 405 171 0 174390 0
Current children cumulated CPU time (s) 1591.51
Current children cumulated vsize (KiB) 701860

[startup+1662.3 s]
/proc/loadavg: 2.04 2.21 2.09 3/74 15501
/proc/meminfo: memFree=887992/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=727132 CPUtime=1651.05
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 7579411 827 0 0 162217 2885 2 1 25 0 1 0 59830063 744583168 179054 996147200 134512640 135215973 4294956304 18446744073709551615 134648353 0 0 4096 0 0 0 0 17 1 0 0
/proc/15381/statm: 181783 179054 405 171 0 180708 0
Current children cumulated CPU time (s) 1651.05
Current children cumulated vsize (KiB) 727132

[startup+1722.3 s]
/proc/loadavg: 2.01 2.17 2.08 3/74 15501
/proc/meminfo: memFree=858360/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=754576 CPUtime=1710.59
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 7905223 827 0 0 168052 3004 2 1 25 0 1 0 59830063 772685824 185966 996147200 134512640 135215973 4294956304 18446744073709551615 134648324 0 0 4096 0 0 0 0 17 1 0 0
/proc/15381/statm: 188644 185966 405 171 0 187569 0
Current children cumulated CPU time (s) 1710.59
Current children cumulated vsize (KiB) 754576

[startup+1782.3 s]
/proc/loadavg: 2.00 2.13 2.07 3/74 15501
/proc/meminfo: memFree=831992/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=777496 CPUtime=1770.14
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 8113926 827 0 0 173932 3079 2 1 25 0 1 0 59830063 796155904 191719 996147200 134512640 135215973 4294956304 18446744073709551615 134902808 0 0 4096 0 0 0 0 17 1 0 0
/proc/15381/statm: 194374 191719 405 171 0 193299 0
Current children cumulated CPU time (s) 1770.14
Current children cumulated vsize (KiB) 777496



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812.4 s]
/proc/loadavg: 2.00 2.12 2.07 3/74 15501
/proc/meminfo: memFree=820096/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=788824 CPUtime=1800.01
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4194304 8201742 827 0 0 176887 3111 2 1 25 0 1 0 59830063 807755776 194560 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/15381/statm: 197206 194560 405 171 0 196131 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 788824

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

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

[startup+1812.51 s]
/proc/loadavg: 2.00 2.12 2.07 3/74 15501
/proc/meminfo: memFree=820096/2055920 swapFree=4192812/4192956
[pid=15381] ppid=15379 vsize=0 CPUtime=1800.11
/proc/15381/stat : 15381 (pcs.big) R 15379 15381 14762 0 -1 4195332 8201742 827 0 0 176887 3121 2 1 25 0 1 0 59830063 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/15381/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1812.53
CPU time (s): 1800.16
CPU user time (s): 1768.91
CPU system time (s): 31.2502
CPU usage (%): 99.3172
Max. virtual memory (cumulated for all children) (KiB): 788824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1768.91
system time used= 31.2502
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8202569
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= 23
involuntary context switches= 35232

runsolver used 1.82472 second user time and 4.78927 second system time

The end

Launcher Data 

Begin job on node88 at 2009-07-16 09:00:49
IDJOB=2087334
IDBENCH=58716
IDSOLVER=733
FILE ID=node88/2087334-1247727648
PBS_JOBID= 9521593
Free space on /tmp= 66072 MiB

SOLVER NAME= pcs 0.2
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-2087334-1247727648/watcher-2087334-1247727648 -o /tmp/evaluation-result-2087334-1247727648/solver-2087334-1247727648 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1645357182 HOME/instance-2087334-1247727648.xml

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

MD5SUM BENCH= 6e0e22cb5b6f421be44b72042836849b
RANDOM SEED=1645357182

node88.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.222
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.222
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:       1497448 kB
Buffers:         57368 kB
Cached:         260532 kB
SwapCached:          0 kB
Active:         263324 kB
Inactive:       211336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1497448 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6432 kB
Writeback:           0 kB
Mapped:         168296 kB
Slab:            68780 kB
Committed_AS:   714984 kB
PageTables:       2124 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= 66064 MiB
End job on node88 at 2009-07-16 09:31:03