Trace number 2070703

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.12 1810.55

General information on the benchmark

Namecsp/primes-20/
normalized-primes-20-40-2-5.xml
MD5SUM1d0ec9b951acb97acb31ad54520f8b89
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 benchmark0.025995
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints40
Maximum constraint arity7
Maximum domain size70
Number of constraints which are defined in extension0
Number of constraints which are defined in intension40
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.08/0.13	c Seed is 213968093
0.08/0.13	c Constructing HOME/instance-2070703-1247709109.xml  with 346 constraints
0.08/0.13	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-2070703-1247709109/watcher-2070703-1247709109 -o /tmp/evaluation-result-2070703-1247709109/solver-2070703-1247709109 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 213968093 HOME/instance-2070703-1247709109.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.28 2.31 2.26 4/82 10116
/proc/meminfo: memFree=1148672/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=18576 CPUtime=0
/proc/10116/stat : 10116 (runsolver) R 10114 10116 8577 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 57977922 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 252429528359 0 0 4096 24578 0 0 0 17 1 0 0
/proc/10116/statm: 4644 284 249 26 0 2626 0

[startup+0.0966479 s]
/proc/loadavg: 2.28 2.31 2.26 4/82 10116
/proc/meminfo: memFree=1148672/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=5360 CPUtime=0.07
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 1020 648 0 0 7 0 0 0 18 0 1 0 57977922 5488640 651 996147200 134512640 135215973 4294956304 18446744073709551615 135095908 0 0 4096 0 0 0 0 17 1 0 0
/proc/10116/statm: 1340 651 415 171 0 265 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5360

[startup+0.101645 s]
/proc/loadavg: 2.28 2.31 2.26 4/82 10116
/proc/meminfo: memFree=1148672/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=5360 CPUtime=0.08
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 1026 648 0 0 8 0 0 0 18 0 1 0 57977922 5488640 657 996147200 134512640 135215973 4294956304 18446744073709551615 4158960014 0 0 4096 0 0 0 0 17 1 0 0
/proc/10116/statm: 1340 657 415 171 0 265 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5360

[startup+0.301664 s]
/proc/loadavg: 2.28 2.31 2.26 4/82 10116
/proc/meminfo: memFree=1148672/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=5964 CPUtime=0.27
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 1225 648 0 0 27 0 0 0 19 0 1 0 57977922 6107136 803 996147200 134512640 135215973 4294956304 18446744073709551615 134609785 0 0 4096 0 0 0 0 17 1 0 0
/proc/10116/statm: 1491 803 415 171 0 416 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 5964

[startup+0.701706 s]
/proc/loadavg: 2.28 2.31 2.26 4/82 10116
/proc/meminfo: memFree=1148672/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=6380 CPUtime=0.68
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 1309 648 0 0 67 1 0 0 23 0 1 0 57977922 6533120 887 996147200 134512640 135215973 4294956304 18446744073709551615 134584968 0 0 4096 0 0 0 0 17 1 0 0
/proc/10116/statm: 1595 887 415 171 0 520 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6380

[startup+1.50179 s]
/proc/loadavg: 2.34 2.32 2.27 3/83 10121
/proc/meminfo: memFree=1146360/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=7048 CPUtime=1.47
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 1479 648 0 0 146 1 0 0 25 0 1 0 57977922 7217152 1057 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/10116/statm: 1762 1057 415 171 0 687 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 7048

[startup+3.10195 s]
/proc/loadavg: 2.34 2.32 2.27 4/83 10121
/proc/meminfo: memFree=1145336/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=8104 CPUtime=3.06
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 1757 648 0 0 305 1 0 0 25 0 1 0 57977922 8298496 1335 996147200 134512640 135215973 4294956304 18446744073709551615 134585601 0 0 4096 0 0 0 0 17 1 0 0
/proc/10116/statm: 2026 1335 415 171 0 951 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 8104

[startup+6.30127 s]
/proc/loadavg: 2.31 2.32 2.26 3/83 10121
/proc/meminfo: memFree=1143608/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=9968 CPUtime=6.23
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 2211 648 0 0 622 1 0 0 25 0 1 0 57977922 10207232 1789 996147200 134512640 135215973 4294956304 18446744073709551615 4158961121 0 0 4096 0 0 0 0 17 1 0 0
/proc/10116/statm: 2492 1789 415 171 0 1417 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 9968

[startup+12.7019 s]
/proc/loadavg: 2.28 2.31 2.26 3/83 10121
/proc/meminfo: memFree=1140088/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=12840 CPUtime=12.56
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 2954 648 0 0 1255 1 0 0 25 0 1 0 57977922 13148160 2499 996147200 134512640 135215973 4294956304 18446744073709551615 4158853399 0 0 4096 0 0 0 0 17 1 0 0
/proc/10116/statm: 3210 2499 415 171 0 2135 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 12840

[startup+25.5012 s]
/proc/loadavg: 2.39 2.33 2.27 4/83 10121
/proc/meminfo: memFree=1125752/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=16900 CPUtime=25.24
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 3967 648 0 0 2522 2 0 0 25 0 1 0 57977922 17305600 3512 996147200 134512640 135215973 4294956304 18446744073709551615 134590143 0 0 4096 0 0 0 0 17 1 0 0
/proc/10116/statm: 4225 3512 415 171 0 3150 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 16900

[startup+51.1017 s]
/proc/loadavg: 2.36 2.33 2.27 3/83 10121
/proc/meminfo: memFree=1121208/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=22660 CPUtime=50.6
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 5457 648 0 0 5056 4 0 0 25 0 1 0 57977922 23203840 4937 996147200 134512640 135215973 4294956304 18446744073709551615 4158961150 0 0 4096 0 0 0 0 17 1 0 0
/proc/10116/statm: 5665 4937 415 171 0 4590 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 22660

[startup+102.307 s]
/proc/loadavg: 2.23 2.30 2.26 4/83 10121
/proc/meminfo: memFree=1097016/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=33576 CPUtime=101.32
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 8226 648 0 0 10125 7 0 0 25 0 1 0 57977922 34381824 7673 996147200 134512640 135215973 4294956304 18446744073709551615 4158960109 0 0 4096 0 0 0 0 17 1 0 0
/proc/10116/statm: 8394 7673 415 171 0 7319 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 33576

[startup+162.302 s]
/proc/loadavg: 2.29 2.30 2.27 3/83 10121
/proc/meminfo: memFree=1083896/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=45296 CPUtime=160.75
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 11176 648 0 0 16067 8 0 0 25 0 1 0 57977922 46383104 10518 996147200 134512640 135215973 4294956304 18446744073709551615 4158960129 0 0 4096 0 0 0 0 17 1 0 0
/proc/10116/statm: 11324 10518 415 171 0 10249 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 45296

[startup+222.302 s]
/proc/loadavg: 2.21 2.27 2.26 3/83 10121
/proc/meminfo: memFree=1069112/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=54492 CPUtime=220.19
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 13512 648 0 0 22009 10 0 0 25 0 1 0 57977922 55799808 12725 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 1 0 0
/proc/10116/statm: 13623 12725 415 171 0 12548 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 54492

[startup+282.302 s]
/proc/loadavg: 2.31 2.28 2.26 3/83 10121
/proc/meminfo: memFree=1061368/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=60284 CPUtime=279.62
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 14991 648 0 0 27951 11 0 0 25 0 1 0 57977922 61730816 14204 996147200 134512640 135215973 4294956304 18446744073709551615 134533094 0 0 4096 0 0 0 0 17 1 0 0
/proc/10116/statm: 15071 14204 415 171 0 13996 0
Current children cumulated CPU time (s) 279.62
Current children cumulated vsize (KiB) 60284

[startup+342.302 s]
/proc/loadavg: 2.17 2.24 2.25 4/83 10121
/proc/meminfo: memFree=1040952/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=67788 CPUtime=339.05
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 16887 648 0 0 33893 12 0 0 25 0 1 0 57977922 69414912 16100 996147200 134512640 135215973 4294956304 18446744073709551615 134599856 0 0 4096 0 0 0 0 17 1 0 0
/proc/10116/statm: 16947 16100 415 171 0 15872 0
Current children cumulated CPU time (s) 339.05
Current children cumulated vsize (KiB) 67788

[startup+402.302 s]
/proc/loadavg: 2.22 2.24 2.25 4/83 10121
/proc/meminfo: memFree=1035960/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=76620 CPUtime=398.5
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 19097 648 0 0 39836 14 0 0 25 0 1 0 57977922 78458880 18310 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 1 0 0
/proc/10116/statm: 19155 18310 415 171 0 18080 0
Current children cumulated CPU time (s) 398.5
Current children cumulated vsize (KiB) 76620

[startup+462.302 s]
/proc/loadavg: 2.28 2.24 2.25 3/83 10121
/proc/meminfo: memFree=1022520/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=84384 CPUtime=457.93
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 21035 648 0 0 45778 15 0 0 25 0 1 0 57977922 86409216 20248 996147200 134512640 135215973 4294956304 18446744073709551615 4158960018 0 0 4096 0 0 0 0 17 1 0 0
/proc/10116/statm: 21096 20248 415 171 0 20021 0
Current children cumulated CPU time (s) 457.93
Current children cumulated vsize (KiB) 84384

[startup+522.302 s]
/proc/loadavg: 2.22 2.23 2.24 3/83 10121
/proc/meminfo: memFree=1014200/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=92428 CPUtime=517.37
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 23065 648 0 0 51721 16 0 0 25 0 1 0 57977922 94646272 22278 996147200 134512640 135215973 4294956304 18446744073709551615 4158960683 0 0 4096 0 0 0 0 17 1 0 0
/proc/10116/statm: 23107 22278 415 171 0 22032 0
Current children cumulated CPU time (s) 517.37
Current children cumulated vsize (KiB) 92428

[startup+582.301 s]
/proc/loadavg: 2.35 2.26 2.25 4/83 10127
/proc/meminfo: memFree=1002616/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=100468 CPUtime=576.79
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 25071 648 0 0 57662 17 0 0 25 0 1 0 57977922 102879232 24284 996147200 134512640 135215973 4294956304 18446744073709551615 134583335 0 0 4096 0 0 0 0 17 1 0 0
/proc/10116/statm: 25117 24284 415 171 0 24042 0
Current children cumulated CPU time (s) 576.79
Current children cumulated vsize (KiB) 100468

[startup+642.301 s]
/proc/loadavg: 2.34 2.27 2.25 2/68 10622
/proc/meminfo: memFree=1425520/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=107056 CPUtime=632.33
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 26728 648 0 0 63214 19 0 0 25 0 1 0 57977922 109625344 25941 996147200 134512640 135215973 4294956304 18446744073709551615 4158960064 0 0 4096 0 0 0 0 17 0 0 0
/proc/10116/statm: 26764 25941 415 171 0 25689 0
Current children cumulated CPU time (s) 632.33
Current children cumulated vsize (KiB) 107056

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.05 2.14 2.20 3/83 10679
/proc/meminfo: memFree=702520/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=145284 CPUtime=872.21
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 36298 648 0 0 87196 25 0 0 25 0 1 0 57977922 148770816 35511 996147200 134512640 135215973 4294956304 18446744073709551615 4158961068 0 0 4096 0 0 0 0 17 0 0 0
/proc/10116/statm: 36321 35511 415 171 0 35246 0
Current children cumulated CPU time (s) 872.21
Current children cumulated vsize (KiB) 145284

[startup+942.301 s]
/proc/loadavg: 2.02 2.12 2.18 3/83 10679
/proc/meminfo: memFree=693112/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=154640 CPUtime=932.19
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 38645 648 0 0 93193 26 0 0 25 0 1 0 57977922 158351360 37858 996147200 134512640 135215973 4294956304 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 0 0 0
/proc/10116/statm: 38660 37858 415 171 0 37585 0
Current children cumulated CPU time (s) 932.19
Current children cumulated vsize (KiB) 154640

[startup+1002.3 s]
/proc/loadavg: 2.00 2.09 2.17 3/83 10679
/proc/meminfo: memFree=685944/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=161752 CPUtime=992.17
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 40422 648 0 0 99190 27 0 0 25 0 1 0 57977922 165634048 39635 996147200 134512640 135215973 4294956304 18446744073709551615 134597350 0 0 4096 0 0 0 0 17 0 0 0
/proc/10116/statm: 40438 39635 415 171 0 39363 0
Current children cumulated CPU time (s) 992.17
Current children cumulated vsize (KiB) 161752

[startup+1062.3 s]
/proc/loadavg: 2.00 2.07 2.16 3/83 10679
/proc/meminfo: memFree=678008/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=169668 CPUtime=1052.15
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 42406 648 0 0 105186 29 0 0 25 0 1 0 57977922 173740032 41619 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/10116/statm: 42417 41619 415 171 0 41342 0
Current children cumulated CPU time (s) 1052.15
Current children cumulated vsize (KiB) 169668

[startup+1122.3 s]
/proc/loadavg: 2.00 2.06 2.15 3/83 10679
/proc/meminfo: memFree=670712/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=176920 CPUtime=1112.13
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 44232 648 0 0 111183 30 0 0 25 0 1 0 57977922 181166080 43445 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/10116/statm: 44230 43445 415 171 0 43155 0
Current children cumulated CPU time (s) 1112.13
Current children cumulated vsize (KiB) 176920

[startup+1182.3 s]
/proc/loadavg: 2.00 2.04 2.14 3/83 10679
/proc/meminfo: memFree=662584/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=184964 CPUtime=1172.1
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 46247 648 0 0 117180 30 0 0 25 0 1 0 57977922 189403136 45460 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/10116/statm: 46241 45460 415 171 0 45166 0
Current children cumulated CPU time (s) 1172.1
Current children cumulated vsize (KiB) 184964

[startup+1242.3 s]
/proc/loadavg: 2.11 2.07 2.13 3/73 10711
/proc/meminfo: memFree=1332752/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=192596 CPUtime=1232.08
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 48165 648 0 0 123176 32 0 0 25 0 1 0 57977922 197218304 47378 996147200 134512640 135215973 4294956304 18446744073709551615 135094906 0 0 4096 0 0 0 0 17 0 0 0
/proc/10116/statm: 48149 47378 415 171 0 47074 0
Current children cumulated CPU time (s) 1232.08
Current children cumulated vsize (KiB) 192596

[startup+1302.3 s]
/proc/loadavg: 2.04 2.05 2.12 3/73 10711
/proc/meminfo: memFree=1321872/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=201168 CPUtime=1292.06
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 50313 648 0 0 129173 33 0 0 25 0 1 0 57977922 205996032 49526 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 0 0 0
/proc/10116/statm: 50292 49526 415 171 0 49217 0
Current children cumulated CPU time (s) 1292.06
Current children cumulated vsize (KiB) 201168

[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 2.11 3/73 10711
/proc/meminfo: memFree=1310672/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=210004 CPUtime=1352.03
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 52541 648 0 0 135169 34 0 0 25 0 1 0 57977922 215044096 51754 996147200 134512640 135215973 4294956304 18446744073709551615 134594132 0 0 4096 0 0 0 0 17 0 0 0
/proc/10116/statm: 52501 51754 415 171 0 51426 0
Current children cumulated CPU time (s) 1352.03
Current children cumulated vsize (KiB) 210004

[startup+1422.31 s]
/proc/loadavg: 2.00 2.03 2.10 3/73 10711
/proc/meminfo: memFree=1302352/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=216060 CPUtime=1412.01
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 54046 648 0 0 141167 34 0 0 25 0 1 0 57977922 221245440 53259 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/10116/statm: 54015 53259 415 171 0 52940 0
Current children cumulated CPU time (s) 1412.01
Current children cumulated vsize (KiB) 216060

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.09 3/73 10711
/proc/meminfo: memFree=1291728/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=225520 CPUtime=1471.99
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 56451 648 0 0 147163 36 0 0 25 0 1 0 57977922 230932480 55407 996147200 134512640 135215973 4294956304 18446744073709551615 134590116 0 0 4096 0 0 0 0 17 0 0 0
/proc/10116/statm: 56380 55407 415 171 0 55305 0
Current children cumulated CPU time (s) 1471.99
Current children cumulated vsize (KiB) 225520

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.08 3/73 10711
/proc/meminfo: memFree=1282192/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=233284 CPUtime=1531.96
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 58371 648 0 0 153160 36 0 0 25 0 1 0 57977922 238882816 57327 996147200 134512640 135215973 4294956304 18446744073709551615 134680817 0 0 4096 0 0 0 0 17 0 0 0
/proc/10116/statm: 58321 57327 415 171 0 57246 0
Current children cumulated CPU time (s) 1531.96
Current children cumulated vsize (KiB) 233284

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/73 10711
/proc/meminfo: memFree=1272336/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=241064 CPUtime=1591.94
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 60332 648 0 0 159156 38 0 0 25 0 1 0 57977922 246849536 59288 996147200 134512640 135215973 4294956304 18446744073709551615 134533052 0 0 4096 0 0 0 0 17 0 0 0
/proc/10116/statm: 60266 59288 415 171 0 59191 0
Current children cumulated CPU time (s) 1591.94
Current children cumulated vsize (KiB) 241064

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.07 3/73 10711
/proc/meminfo: memFree=1262288/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=249236 CPUtime=1651.92
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 62373 648 0 0 165153 39 0 0 25 0 1 0 57977922 255217664 61264 996147200 134512640 135215973 4294956304 18446744073709551615 134590078 0 0 4096 0 0 0 0 17 0 0 0
/proc/10116/statm: 62309 61264 415 171 0 61234 0
Current children cumulated CPU time (s) 1651.92
Current children cumulated vsize (KiB) 249236

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/73 10711
/proc/meminfo: memFree=1253456/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=256360 CPUtime=1711.9
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 64172 648 0 0 171150 40 0 0 25 0 1 0 57977922 262512640 63063 996147200 134512640 135215973 4294956304 18446744073709551615 134597336 0 0 4096 0 0 0 0 17 0 0 0
/proc/10116/statm: 64090 63063 415 171 0 63015 0
Current children cumulated CPU time (s) 1711.9
Current children cumulated vsize (KiB) 256360

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/73 10711
/proc/meminfo: memFree=1244816/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=262032 CPUtime=1771.87
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 65610 648 0 0 177146 41 0 0 25 0 1 0 57977922 268320768 64501 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/10116/statm: 65508 64501 415 171 0 64433 0
Current children cumulated CPU time (s) 1771.87
Current children cumulated vsize (KiB) 262032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.5 s]
/proc/loadavg: 2.00 2.00 2.06 4/73 10711
/proc/meminfo: memFree=1241296/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=264400 CPUtime=1800.07
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 66201 648 0 0 179966 41 0 0 25 0 1 0 57977922 270745600 65092 996147200 134512640 135215973 4294956304 18446744073709551615 134596314 0 0 4096 0 0 0 0 17 0 0 0
/proc/10116/statm: 66100 65092 415 171 0 65025 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 264400

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

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

[startup+1810.5 s]
/proc/loadavg: 2.00 2.00 2.06 4/73 10711
/proc/meminfo: memFree=1241296/2055920 swapFree=4192812/4192956
[pid=10116] ppid=10114 vsize=264400 CPUtime=1800.07
/proc/10116/stat : 10116 (pcs.big) R 10114 10116 8577 0 -1 4194304 66201 648 0 0 179966 41 0 0 25 0 1 0 57977922 270745600 65092 996147200 134512640 135215973 4294956304 18446744073709551615 134596314 0 0 4096 0 0 0 0 17 0 0 0
/proc/10116/statm: 66100 65092 415 171 0 65025 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 264400

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1810.55
CPU time (s): 1800.12
CPU user time (s): 1799.66
CPU system time (s): 0.460929
CPU usage (%): 99.4241
Max. virtual memory (cumulated for all children) (KiB): 264400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.66
system time used= 0.460929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66849
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= 19
involuntary context switches= 30076

runsolver used 2.17767 second user time and 5.61815 second system time

The end

Launcher Data 

Begin job on node12 at 2009-07-16 03:51:49
IDJOB=2070703
IDBENCH=55383
IDSOLVER=734
FILE ID=node12/2070703-1247709109
PBS_JOBID= 9521285
Free space on /tmp= 66268 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/primes-20/normalized-primes-20-40-2-5.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2070703-1247709109/watcher-2070703-1247709109 -o /tmp/evaluation-result-2070703-1247709109/solver-2070703-1247709109 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 213968093 HOME/instance-2070703-1247709109.xml

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

MD5SUM BENCH= 1d0ec9b951acb97acb31ad54520f8b89
RANDOM SEED=213968093

node12.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.240
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.240
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:       1149152 kB
Buffers:         68804 kB
Cached:         362520 kB
SwapCached:          0 kB
Active:         431948 kB
Inactive:       392716 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1149152 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1856 kB
Writeback:           0 kB
Mapped:         413764 kB
Slab:            66496 kB
Committed_AS:   904724 kB
PageTables:       2572 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= 66268 MiB
End job on node12 at 2009-07-16 04:22:02