Trace number 2058295

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 1808.72

General information on the benchmark

Namecsp/frb40-19/
normalized-frb40-19-3-mgd_ext.xml
MD5SUMbdc96715bd363370a03e4b8250f4477b
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark29.1146
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints308
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension308
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c small-domain mode
0.18/0.23	c Seed is 648931359
0.18/0.23	c Constructing HOME/instance-2058295-1247694243.xml  with 5825 constraints
0.18/0.23	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-2058295-1247694243/watcher-2058295-1247694243 -o /tmp/evaluation-result-2058295-1247694243/solver-2058295-1247694243 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 648931359 HOME/instance-2058295-1247694243.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: 0.34 0.08 0.02 4/72 12262
/proc/meminfo: memFree=1199696/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=18576 CPUtime=0
/proc/12262/stat : 12262 (runsolver) R 12260 12262 12117 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 56490311 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 254195330343 0 0 4096 24578 0 0 0 17 1 0 0
/proc/12262/statm: 4644 284 249 26 0 2626 0

[startup+0.109525 s]
/proc/loadavg: 0.34 0.08 0.02 4/72 12262
/proc/meminfo: memFree=1199696/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=6372 CPUtime=0.08
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 1319 822 0 0 8 0 0 0 18 0 1 0 56490311 6524928 895 996147200 134512640 135095119 4294956304 18446744073709551615 134619562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 1593 895 377 142 0 547 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6372

[startup+0.202526 s]
/proc/loadavg: 0.34 0.08 0.02 4/72 12262
/proc/meminfo: memFree=1199696/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=6372 CPUtime=0.18
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 1323 822 0 0 18 0 0 0 18 0 1 0 56490311 6524928 899 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 1593 899 378 142 0 547 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6372

[startup+0.302532 s]
/proc/loadavg: 0.34 0.08 0.02 4/72 12262
/proc/meminfo: memFree=1199696/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=6372 CPUtime=0.28
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 1324 822 0 0 28 0 0 0 19 0 1 0 56490311 6524928 900 996147200 134512640 135095119 4294956304 18446744073709551615 134617066 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 1593 900 378 142 0 547 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6372

[startup+0.70156 s]
/proc/loadavg: 0.34 0.08 0.02 4/72 12262
/proc/meminfo: memFree=1199696/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=6372 CPUtime=0.67
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 1333 822 0 0 67 0 0 0 23 0 1 0 56490311 6524928 909 996147200 134512640 135095119 4294956304 18446744073709551615 134617205 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 1593 909 378 142 0 547 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6372

[startup+1.50263 s]
/proc/loadavg: 0.34 0.08 0.02 3/73 12268
/proc/meminfo: memFree=1196936/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=7144 CPUtime=1.47
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 1478 822 0 0 147 0 0 0 25 0 1 0 56490311 7315456 989 996147200 134512640 135095119 4294956304 18446744073709551615 134617072 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 1786 989 378 142 0 740 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 7144

[startup+3.10174 s]
/proc/loadavg: 0.47 0.11 0.04 3/73 12268
/proc/meminfo: memFree=1196368/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=7656 CPUtime=3.07
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 1716 822 0 0 306 1 0 0 25 0 1 0 56490311 7839744 1098 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 1914 1098 378 142 0 868 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 7656

[startup+6.30197 s]
/proc/loadavg: 0.47 0.11 0.04 3/73 12268
/proc/meminfo: memFree=1193488/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=9224 CPUtime=6.25
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 2266 822 0 0 624 1 0 0 25 0 1 0 56490311 9445376 1519 996147200 134512640 135095119 4294956304 18446744073709551615 134576654 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 2306 1519 378 142 0 1260 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 9224

[startup+12.7014 s]
/proc/loadavg: 0.71 0.17 0.06 3/73 12268
/proc/meminfo: memFree=1190480/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=11296 CPUtime=12.61
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 2994 822 0 0 1260 1 0 0 25 0 1 0 56490311 11567104 1990 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 2824 1990 378 142 0 1778 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 11296

[startup+25.5024 s]
/proc/loadavg: 0.91 0.23 0.08 3/73 12268
/proc/meminfo: memFree=1184272/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=16744 CPUtime=25.36
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 4692 822 0 0 2533 3 0 0 25 0 1 0 56490311 17145856 2918 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 4186 2918 378 142 0 3140 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 16744

[startup+51.1022 s]
/proc/loadavg: 1.28 0.37 0.13 3/73 12268
/proc/meminfo: memFree=1176272/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=18696 CPUtime=50.84
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 5610 822 0 0 5080 4 0 0 25 0 1 0 56490311 19144704 3836 996147200 134512640 135095119 4294956304 18446744073709551615 134642952 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 4674 3836 378 142 0 3628 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 18696

[startup+102.302 s]
/proc/loadavg: 1.71 0.65 0.23 3/73 12268
/proc/meminfo: memFree=1163472/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=29976 CPUtime=101.79
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 9079 822 0 0 10173 6 0 0 25 0 1 0 56490311 30695424 5767 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 7494 5767 378 142 0 6448 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 29976

[startup+162.301 s]
/proc/loadavg: 1.89 0.89 0.34 3/73 12268
/proc/meminfo: memFree=1153744/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=31544 CPUtime=161.5
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 10084 822 0 0 16142 8 0 0 25 0 1 0 56490311 32301056 6772 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 7886 6772 378 142 0 6840 0
Current children cumulated CPU time (s) 161.5
Current children cumulated vsize (KiB) 31544

[startup+222.307 s]
/proc/loadavg: 1.96 1.09 0.44 3/73 12268
/proc/meminfo: memFree=1139728/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=42620 CPUtime=221.21
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 13342 822 0 0 22110 11 0 0 25 0 1 0 56490311 43642880 7981 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 10655 7981 378 142 0 9609 0
Current children cumulated CPU time (s) 221.21
Current children cumulated vsize (KiB) 42620

[startup+282.302 s]
/proc/loadavg: 1.98 1.25 0.53 3/73 12268
/proc/meminfo: memFree=1133904/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=44860 CPUtime=280.92
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 14372 822 0 0 28080 12 0 0 25 0 1 0 56490311 45936640 9011 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 11215 9011 378 142 0 10169 0
Current children cumulated CPU time (s) 280.92
Current children cumulated vsize (KiB) 44860

[startup+342.302 s]
/proc/loadavg: 2.07 1.40 0.63 3/73 12268
/proc/meminfo: memFree=1121680/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=57268 CPUtime=340.63
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 17871 822 0 0 34050 13 0 0 25 0 1 0 56490311 58642432 11485 996147200 134512640 135095119 4294956304 18446744073709551615 134617012 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 14317 11485 378 142 0 13271 0
Current children cumulated CPU time (s) 340.63
Current children cumulated vsize (KiB) 57268

[startup+402.303 s]
/proc/loadavg: 2.02 1.50 0.70 3/73 12268
/proc/meminfo: memFree=1116752/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=57268 CPUtime=400.35
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 18256 822 0 0 40021 14 0 0 25 0 1 0 56490311 58642432 11870 996147200 134512640 135095119 4294956304 18446744073709551615 134642884 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 14317 11870 378 142 0 13271 0
Current children cumulated CPU time (s) 400.35
Current children cumulated vsize (KiB) 57268

[startup+462.303 s]
/proc/loadavg: 2.01 1.59 0.79 3/73 12270
/proc/meminfo: memFree=1111952/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=57268 CPUtime=460.06
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 18629 822 0 0 45992 14 0 0 25 0 1 0 56490311 58642432 12243 996147200 134512640 135095119 4294956304 18446744073709551615 134636896 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 14317 12243 378 142 0 13271 0
Current children cumulated CPU time (s) 460.06
Current children cumulated vsize (KiB) 57268

[startup+522.302 s]
/proc/loadavg: 2.00 1.66 0.86 3/73 12270
/proc/meminfo: memFree=1106832/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=57796 CPUtime=519.78
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 19127 822 0 0 51963 15 0 0 25 0 1 0 56490311 59183104 12741 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 14449 12741 378 142 0 13403 0
Current children cumulated CPU time (s) 519.78
Current children cumulated vsize (KiB) 57796

[startup+582.303 s]
/proc/loadavg: 2.00 1.72 0.93 3/73 12270
/proc/meminfo: memFree=1100688/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=59500 CPUtime=579.49
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 19887 822 0 0 57933 16 0 0 25 0 1 0 56490311 60928000 13501 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 14875 13501 378 142 0 13829 0
Current children cumulated CPU time (s) 579.49
Current children cumulated vsize (KiB) 59500

[startup+642.303 s]
/proc/loadavg: 2.00 1.77 0.99 3/73 12270
/proc/meminfo: memFree=1094864/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=77592 CPUtime=639.2
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 24730 822 0 0 63901 19 0 0 25 0 1 0 56490311 79454208 14247 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 19398 14247 378 142 0 18352 0
Current children cumulated CPU time (s) 639.2
Current children cumulated vsize (KiB) 77592

[startup+702.302 s]

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

[startup+822.303 s]
/proc/loadavg: 2.13 1.91 1.18 3/73 12270
/proc/meminfo: memFree=1078032/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=82440 CPUtime=818.33
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 26869 822 0 0 81812 21 0 0 25 0 1 0 56490311 84418560 16386 996147200 134512640 135095119 4294956304 18446744073709551615 134642881 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 20610 16386 378 142 0 19564 0
Current children cumulated CPU time (s) 818.33
Current children cumulated vsize (KiB) 82440

[startup+882.306 s]
/proc/loadavg: 2.05 1.92 1.23 3/73 12270
/proc/meminfo: memFree=1061840/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=83876 CPUtime=878.05
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 27515 822 0 0 87783 22 0 0 25 0 1 0 56490311 85889024 17032 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 20969 17032 378 142 0 19923 0
Current children cumulated CPU time (s) 878.05
Current children cumulated vsize (KiB) 83876

[startup+942.303 s]
/proc/loadavg: 2.02 1.93 1.27 3/73 12270
/proc/meminfo: memFree=1058192/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=85316 CPUtime=937.76
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 28172 822 0 0 93752 24 0 0 25 0 1 0 56490311 87363584 17689 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 21329 17689 378 142 0 20283 0
Current children cumulated CPU time (s) 937.76
Current children cumulated vsize (KiB) 85316

[startup+1002.3 s]
/proc/loadavg: 2.00 1.94 1.31 3/73 12270
/proc/meminfo: memFree=1054544/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=86896 CPUtime=997.47
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 28828 822 0 0 99723 24 0 0 25 0 1 0 56490311 88981504 18345 996147200 134512640 135095119 4294956304 18446744073709551615 134641620 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 21724 18345 378 142 0 20678 0
Current children cumulated CPU time (s) 997.47
Current children cumulated vsize (KiB) 86896

[startup+1062.3 s]
/proc/loadavg: 2.00 1.95 1.35 3/73 12276
/proc/meminfo: memFree=1051088/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=88080 CPUtime=1057.17
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 29425 822 0 0 105692 25 0 0 25 0 1 0 56490311 90193920 18942 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 22020 18942 378 142 0 20974 0
Current children cumulated CPU time (s) 1057.17
Current children cumulated vsize (KiB) 88080

[startup+1122.3 s]
/proc/loadavg: 2.00 1.96 1.39 3/73 12276
/proc/meminfo: memFree=1047568/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=89520 CPUtime=1116.88
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 30054 822 0 0 111662 26 0 0 25 0 1 0 56490311 91668480 19571 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 22380 19571 378 142 0 21334 0
Current children cumulated CPU time (s) 1116.88
Current children cumulated vsize (KiB) 89520

[startup+1182.3 s]
/proc/loadavg: 2.00 1.96 1.42 3/73 12276
/proc/meminfo: memFree=1029904/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=113420 CPUtime=1176.59
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 36276 822 0 0 117630 29 0 0 25 0 1 0 56490311 116142080 23744 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 28355 23744 378 142 0 27309 0
Current children cumulated CPU time (s) 1176.59
Current children cumulated vsize (KiB) 113420

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.46 3/73 12276
/proc/meminfo: memFree=1027920/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=113420 CPUtime=1236.29
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 36527 822 0 0 123600 29 0 0 25 0 1 0 56490311 116142080 23995 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 28355 23995 378 142 0 27309 0
Current children cumulated CPU time (s) 1236.29
Current children cumulated vsize (KiB) 113420

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.49 3/73 12276
/proc/meminfo: memFree=1026000/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=113420 CPUtime=1296.02
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 36774 822 0 0 129572 30 0 0 25 0 1 0 56490311 116142080 24242 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 28355 24242 378 142 0 27309 0
Current children cumulated CPU time (s) 1296.02
Current children cumulated vsize (KiB) 113420

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.52 3/73 12276
/proc/meminfo: memFree=1023696/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=113420 CPUtime=1355.72
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 37018 822 0 0 135542 30 0 0 25 0 1 0 56490311 116142080 24486 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 28355 24486 378 142 0 27309 0
Current children cumulated CPU time (s) 1355.72
Current children cumulated vsize (KiB) 113420

[startup+1422.3 s]
/proc/loadavg: 2.00 1.97 1.55 3/73 12276
/proc/meminfo: memFree=1020752/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=113420 CPUtime=1415.43
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 37261 822 0 0 141513 30 0 0 25 0 1 0 56490311 116142080 24729 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 28355 24729 378 142 0 27309 0
Current children cumulated CPU time (s) 1415.43
Current children cumulated vsize (KiB) 113420

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.57 3/73 12276
/proc/meminfo: memFree=1017872/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=113420 CPUtime=1475.15
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 37500 822 0 0 147484 31 0 0 25 0 1 0 56490311 116142080 24968 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 28355 24968 378 142 0 27309 0
Current children cumulated CPU time (s) 1475.15
Current children cumulated vsize (KiB) 113420

[startup+1542.31 s]
/proc/loadavg: 2.00 1.97 1.60 3/73 12276
/proc/meminfo: memFree=1014992/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=113420 CPUtime=1534.87
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 37735 822 0 0 153455 32 0 0 25 0 1 0 56490311 116142080 25203 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 28355 25203 378 142 0 27309 0
Current children cumulated CPU time (s) 1534.87
Current children cumulated vsize (KiB) 113420

[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.62 3/73 12276
/proc/meminfo: memFree=1012176/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=113420 CPUtime=1594.57
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 37971 822 0 0 159425 32 0 0 25 0 1 0 56490311 116142080 25439 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 28355 25439 378 142 0 27309 0
Current children cumulated CPU time (s) 1594.57
Current children cumulated vsize (KiB) 113420

[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.64 3/73 12276
/proc/meminfo: memFree=1009424/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=113420 CPUtime=1654.28
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 38205 822 0 0 165396 32 0 0 25 0 1 0 56490311 116142080 25673 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 28355 25673 378 142 0 27309 0
Current children cumulated CPU time (s) 1654.28
Current children cumulated vsize (KiB) 113420

[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.66 3/73 12276
/proc/meminfo: memFree=1006544/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=113420 CPUtime=1714
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 38436 822 0 0 171367 33 0 0 25 0 1 0 56490311 116142080 25904 996147200 134512640 135095119 4294956304 18446744073709551615 134642964 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 28355 25904 378 142 0 27309 0
Current children cumulated CPU time (s) 1714
Current children cumulated vsize (KiB) 113420

[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.68 3/73 12276
/proc/meminfo: memFree=1003600/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=113420 CPUtime=1773.71
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 38662 822 0 0 177338 33 0 0 25 0 1 0 56490311 116142080 26130 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12262/statm: 28355 26130 378 142 0 27309 0
Current children cumulated CPU time (s) 1773.71
Current children cumulated vsize (KiB) 113420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.7 s]
/proc/loadavg: 1.88 1.94 1.67 3/73 12373
/proc/meminfo: memFree=1095952/2055920 swapFree=4192812/4192956
[pid=12262] ppid=12260 vsize=146580 CPUtime=1800.09
/proc/12262/stat : 12262 (pcs.small) R 12260 12262 12117 0 -1 4194304 47040 822 0 0 179970 39 0 0 25 0 1 0 56490311 150097920 26315 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/12262/statm: 36645 26315 378 142 0 35599 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 146580

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.72
CPU time (s): 1800.12
CPU user time (s): 1799.71
CPU system time (s): 0.416936
CPU usage (%): 99.5246
Max. virtual memory (cumulated for all children) (KiB): 146580

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

runsolver used 2.49062 second user time and 5.72413 second system time

The end

Launcher Data 

Begin job on node34 at 2009-07-15 23:44:03
IDJOB=2058295
IDBENCH=53467
IDSOLVER=734
FILE ID=node34/2058295-1247694243
PBS_JOBID= 9521242
Free space on /tmp= 66308 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/frb40-19/normalized-frb40-19-3-mgd_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2058295-1247694243/watcher-2058295-1247694243 -o /tmp/evaluation-result-2058295-1247694243/solver-2058295-1247694243 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 648931359 HOME/instance-2058295-1247694243.xml

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

MD5SUM BENCH= bdc96715bd363370a03e4b8250f4477b
RANDOM SEED=648931359

node34.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.232
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.232
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:       1200176 kB
Buffers:         91900 kB
Cached:         656576 kB
SwapCached:          0 kB
Active:         262196 kB
Inactive:       512784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1200176 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4088 kB
Writeback:           0 kB
Mapped:          37888 kB
Slab:            66224 kB
Committed_AS:   527788 kB
PageTables:       1744 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= 66304 MiB
End job on node34 at 2009-07-16 00:14:14