Trace number 2089920

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.08 1802.42

General information on the benchmark

Namecsp/rand-2-40-19/
normalized-rand-2-40-19-443-230-37_ext.xml
MD5SUM8a57b1b1e952d1328c4594be81a6d47d
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark104.513
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints336
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension336
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.00/0.02	c Seed is 235277580
0.00/0.02	c Constructing HOME/instance-2089920-1247730798.xml  with 6347 constraints
0.08/0.11	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-2089920-1247730798/watcher-2089920-1247730798 -o /tmp/evaluation-result-2089920-1247730798/solver-2089920-1247730798 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 235277580 HOME/instance-2089920-1247730798.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 1.99 1.99 4/81 13340
/proc/meminfo: memFree=1481104/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=5260 CPUtime=0
/proc/13340/stat : 13340 (pcssolve) R 13338 13340 12507 0 -1 4194304 66 0 0 0 0 0 0 0 20 0 1 0 60146441 5386240 50 996147200 4194304 4889804 548682068800 18446744073709551615 227846136474 0 0 4096 0 0 0 0 17 1 0 0
/proc/13340/statm: 1315 50 37 169 0 14 0

[startup+0.0612019 s]
/proc/loadavg: 2.00 1.99 1.99 4/81 13340
/proc/meminfo: memFree=1481104/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=4904 CPUtime=0.03
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 940 822 0 0 3 0 0 0 24 0 1 0 60146441 5021696 549 996147200 134512640 135095119 4294956304 18446744073709551615 134803271 0 0 4096 0 0 0 0 17 1 0 0
/proc/13340/statm: 1226 549 364 142 0 180 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4904

[startup+0.101203 s]
/proc/loadavg: 2.00 1.99 1.99 4/81 13340
/proc/meminfo: memFree=1481104/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=5564 CPUtime=0.08
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 1108 822 0 0 7 1 0 0 24 0 1 0 60146441 5697536 717 996147200 134512640 135095119 4294956304 18446744073709551615 8294036 0 0 4096 0 0 0 0 17 1 0 0
/proc/13340/statm: 1391 717 364 142 0 345 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5564

[startup+0.301224 s]
/proc/loadavg: 2.00 1.99 1.99 4/81 13340
/proc/meminfo: memFree=1481104/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=6364 CPUtime=0.27
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 1347 822 0 0 26 1 0 0 25 0 1 0 60146441 6516736 923 996147200 134512640 135095119 4294956304 18446744073709551615 134638356 0 0 4096 0 0 0 0 17 1 0 0
/proc/13340/statm: 1591 923 378 142 0 545 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 6364

[startup+0.701263 s]
/proc/loadavg: 2.00 1.99 1.99 4/81 13340
/proc/meminfo: memFree=1481104/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=6364 CPUtime=0.67
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 1353 822 0 0 66 1 0 0 25 0 1 0 60146441 6516736 929 996147200 134512640 135095119 4294956304 18446744073709551615 134589531 0 0 4096 0 0 0 0 17 1 0 0
/proc/13340/statm: 1591 929 378 142 0 545 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6364

[startup+1.50134 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 13346
/proc/meminfo: memFree=1478536/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=6620 CPUtime=1.46
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 1432 822 0 0 145 1 0 0 25 0 1 0 60146441 6778880 943 996147200 134512640 135095119 4294956304 18446744073709551615 134555147 0 0 4096 0 0 0 0 17 1 0 0
/proc/13340/statm: 1655 943 378 142 0 609 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 6620

[startup+3.10149 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 13346
/proc/meminfo: memFree=1478216/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=7136 CPUtime=3.05
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 1572 822 0 0 304 1 0 0 25 0 1 0 60146441 7307264 1083 996147200 134512640 135095119 4294956304 18446744073709551615 134642864 0 0 4096 0 0 0 0 17 1 0 0
/proc/13340/statm: 1784 1083 378 142 0 738 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 7136

[startup+6.30181 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 13346
/proc/meminfo: memFree=1476936/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=9344 CPUtime=6.23
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 2246 822 0 0 621 2 0 0 25 0 1 0 60146441 9568256 1499 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/13340/statm: 2336 1499 378 142 0 1290 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 9344

[startup+12.7024 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 13346
/proc/meminfo: memFree=1474576/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=11156 CPUtime=12.56
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 2911 822 0 0 1254 2 0 0 25 0 1 0 60146441 11423744 1907 996147200 134512640 135095119 4294956304 18446744073709551615 134637432 0 0 4096 0 0 0 0 17 1 0 0
/proc/13340/statm: 2789 1907 378 142 0 1743 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 11156

[startup+25.5016 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 13346
/proc/meminfo: memFree=1470864/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=16460 CPUtime=25.23
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 4611 822 0 0 2520 3 0 0 25 0 1 0 60146441 16855040 2804 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/13340/statm: 4115 2804 378 142 0 3069 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 16460

[startup+51.1011 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 13346
/proc/meminfo: memFree=1467344/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=18424 CPUtime=50.6
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 5545 822 0 0 5055 5 0 0 25 0 1 0 60146441 18866176 3738 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/13340/statm: 4606 3738 378 142 0 3560 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 18424

[startup+102.307 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 13346
/proc/meminfo: memFree=1459216/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=29708 CPUtime=101.32
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 9014 822 0 0 10124 8 0 0 25 0 1 0 60146441 30420992 5669 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/13340/statm: 7427 5669 378 142 0 6381 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 29708

[startup+162.302 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 13346
/proc/meminfo: memFree=1454864/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=31680 CPUtime=160.76
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 10105 822 0 0 16066 10 0 0 25 0 1 0 60146441 32440320 6760 996147200 134512640 135095119 4294956304 18446744073709551615 134555008 0 0 4096 0 0 0 0 17 1 0 0
/proc/13340/statm: 7920 6760 378 142 0 6874 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 31680

[startup+222.302 s]
/proc/loadavg: 2.10 2.02 2.00 3/70 13530
/proc/meminfo: memFree=1466672/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=42752 CPUtime=220.55
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 13392 822 0 0 22040 15 0 0 25 0 1 0 60146441 43778048 7998 996147200 134512640 135095119 4294956304 18446744073709551615 134576636 0 0 4096 0 0 0 0 17 0 0 0
/proc/13340/statm: 10688 7998 378 142 0 9642 0
Current children cumulated CPU time (s) 220.55
Current children cumulated vsize (KiB) 42752

[startup+282.301 s]
/proc/loadavg: 1.93 1.97 1.99 3/73 13834
/proc/meminfo: memFree=1450136/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=45384 CPUtime=280.53
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 14553 822 0 0 28034 19 0 0 25 0 1 0 60146441 46473216 9159 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/13340/statm: 11346 9159 378 142 0 10300 0
Current children cumulated CPU time (s) 280.53
Current children cumulated vsize (KiB) 45384

[startup+342.301 s]
/proc/loadavg: 1.97 1.97 1.99 3/73 13834
/proc/meminfo: memFree=1427992/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=56740 CPUtime=340.5
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 17841 822 0 0 34029 21 0 0 25 0 1 0 60146441 58101760 11422 996147200 134512640 135095119 4294956304 18446744073709551615 134643040 0 0 4096 0 0 0 0 17 0 0 0
/proc/13340/statm: 14185 11422 378 142 0 13139 0
Current children cumulated CPU time (s) 340.5
Current children cumulated vsize (KiB) 56740

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 13834
/proc/meminfo: memFree=1414040/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=56740 CPUtime=400.48
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 18258 822 0 0 40027 21 0 0 25 0 1 0 60146441 58101760 11839 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/13340/statm: 14185 11839 378 142 0 13139 0
Current children cumulated CPU time (s) 400.48
Current children cumulated vsize (KiB) 56740

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 13834
/proc/meminfo: memFree=1399896/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=57004 CPUtime=460.46
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 18703 822 0 0 46024 22 0 0 25 0 1 0 60146441 58372096 12284 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/13340/statm: 14251 12284 378 142 0 13205 0
Current children cumulated CPU time (s) 460.46
Current children cumulated vsize (KiB) 57004

[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 13840
/proc/meminfo: memFree=1384984/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=58712 CPUtime=520.43
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 19512 822 0 0 52020 23 0 0 25 0 1 0 60146441 60121088 13093 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/13340/statm: 14678 13093 378 142 0 13632 0
Current children cumulated CPU time (s) 520.43
Current children cumulated vsize (KiB) 58712

[startup+582.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 13840
/proc/meminfo: memFree=1371096/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=60688 CPUtime=580.41
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 20340 822 0 0 58017 24 0 0 25 0 1 0 60146441 62144512 13921 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/13340/statm: 15172 13921 378 142 0 14126 0
Current children cumulated CPU time (s) 580.41
Current children cumulated vsize (KiB) 60688

[startup+642.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 13840
/proc/meminfo: memFree=1356760/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=78908 CPUtime=640.39
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 25253 822 0 0 64011 28 0 0 25 0 1 0 60146441 80801792 14737 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/13340/statm: 19727 14737 378 142 0 18681 0
Current children cumulated CPU time (s) 640.39
Current children cumulated vsize (KiB) 78908

[startup+702.302 s]

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

[startup+822.301 s]
/proc/loadavg: 2.03 1.99 1.99 3/73 13840
/proc/meminfo: memFree=1316888/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=84152 CPUtime=820.32
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 27529 822 0 0 82000 32 0 0 25 0 1 0 60146441 86171648 17013 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/13340/statm: 21038 17013 378 142 0 19992 0
Current children cumulated CPU time (s) 820.32
Current children cumulated vsize (KiB) 84152

[startup+882.302 s]
/proc/loadavg: 2.06 2.00 2.00 3/73 13840
/proc/meminfo: memFree=1305176/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=85724 CPUtime=880.29
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 28222 822 0 0 87997 32 0 0 25 0 1 0 60146441 87781376 17706 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/13340/statm: 21431 17706 378 142 0 20385 0
Current children cumulated CPU time (s) 880.29
Current children cumulated vsize (KiB) 85724

[startup+942.302 s]
/proc/loadavg: 2.08 2.01 2.00 3/73 13840
/proc/meminfo: memFree=1294040/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=87304 CPUtime=940.27
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 28942 822 0 0 93994 33 0 0 25 0 1 0 60146441 89399296 18426 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/13340/statm: 21826 18426 378 142 0 20780 0
Current children cumulated CPU time (s) 940.27
Current children cumulated vsize (KiB) 87304

[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/73 13872
/proc/meminfo: memFree=1410776/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=89004 CPUtime=1000.25
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 29640 822 0 0 99990 35 0 0 25 0 1 0 60146441 91140096 19124 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/13340/statm: 22251 19124 378 142 0 21205 0
Current children cumulated CPU time (s) 1000.25
Current children cumulated vsize (KiB) 89004

[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/73 13872
/proc/meminfo: memFree=1389784/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=112372 CPUtime=1060.22
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 35759 822 0 0 105984 38 0 0 25 0 1 0 60146441 115068928 23194 996147200 134512640 135095119 4294956304 18446744073709551615 134643969 0 0 4096 0 0 0 0 17 0 0 0
/proc/13340/statm: 28093 23194 378 142 0 27047 0
Current children cumulated CPU time (s) 1060.22
Current children cumulated vsize (KiB) 112372

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13872
/proc/meminfo: memFree=1383512/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=112372 CPUtime=1120.2
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 36025 822 0 0 111981 39 0 0 25 0 1 0 60146441 115068928 23460 996147200 134512640 135095119 4294956304 18446744073709551615 134615460 0 0 4096 0 0 0 0 17 0 0 0
/proc/13340/statm: 28093 23460 378 142 0 27047 0
Current children cumulated CPU time (s) 1120.2
Current children cumulated vsize (KiB) 112372

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13872
/proc/meminfo: memFree=1379928/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=112372 CPUtime=1180.17
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 36279 822 0 0 117978 39 0 0 25 0 1 0 60146441 115068928 23714 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/13340/statm: 28093 23714 378 142 0 27047 0
Current children cumulated CPU time (s) 1180.17
Current children cumulated vsize (KiB) 112372

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13872
/proc/meminfo: memFree=1375832/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=112372 CPUtime=1240.15
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 36533 822 0 0 123976 39 0 0 25 0 1 0 60146441 115068928 23968 996147200 134512640 135095119 4294956304 18446744073709551615 134617205 0 0 4096 0 0 0 0 17 0 0 0
/proc/13340/statm: 28093 23968 378 142 0 27047 0
Current children cumulated CPU time (s) 1240.15
Current children cumulated vsize (KiB) 112372

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13872
/proc/meminfo: memFree=1371928/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=112372 CPUtime=1300.14
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 36781 822 0 0 129974 40 0 0 25 0 1 0 60146441 115068928 24216 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/13340/statm: 28093 24216 378 142 0 27047 0
Current children cumulated CPU time (s) 1300.14
Current children cumulated vsize (KiB) 112372

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13872
/proc/meminfo: memFree=1368344/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=112372 CPUtime=1360.11
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 37026 822 0 0 135971 40 0 0 25 0 1 0 60146441 115068928 24461 996147200 134512640 135095119 4294956304 18446744073709551615 134582098 0 0 4096 0 0 0 0 17 0 0 0
/proc/13340/statm: 28093 24461 378 142 0 27047 0
Current children cumulated CPU time (s) 1360.11
Current children cumulated vsize (KiB) 112372

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13872
/proc/meminfo: memFree=1364504/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=112372 CPUtime=1420.09
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 37269 822 0 0 141968 41 0 0 25 0 1 0 60146441 115068928 24704 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/13340/statm: 28093 24704 378 142 0 27047 0
Current children cumulated CPU time (s) 1420.09
Current children cumulated vsize (KiB) 112372

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13872
/proc/meminfo: memFree=1356248/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=112372 CPUtime=1480.06
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 37508 822 0 0 147965 41 0 0 25 0 1 0 60146441 115068928 24943 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/13340/statm: 28093 24943 378 142 0 27047 0
Current children cumulated CPU time (s) 1480.06
Current children cumulated vsize (KiB) 112372

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13872
/proc/meminfo: memFree=1354264/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=112372 CPUtime=1540.04
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 37746 822 0 0 153962 42 0 0 25 0 1 0 60146441 115068928 25181 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/13340/statm: 28093 25181 378 142 0 27047 0
Current children cumulated CPU time (s) 1540.04
Current children cumulated vsize (KiB) 112372

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13872
/proc/meminfo: memFree=1352216/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=112372 CPUtime=1600.01
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 37979 822 0 0 159959 42 0 0 25 0 1 0 60146441 115068928 25414 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/13340/statm: 28093 25414 378 142 0 27047 0
Current children cumulated CPU time (s) 1600.01
Current children cumulated vsize (KiB) 112372

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13872
/proc/meminfo: memFree=1349272/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=113152 CPUtime=1659.99
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 38399 822 0 0 165956 43 0 0 25 0 1 0 60146441 115867648 25834 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/13340/statm: 28288 25834 378 142 0 27242 0
Current children cumulated CPU time (s) 1659.99
Current children cumulated vsize (KiB) 113152

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13872
/proc/meminfo: memFree=1345112/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=114072 CPUtime=1719.97
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 38876 822 0 0 171953 44 0 0 25 0 1 0 60146441 116809728 26311 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/13340/statm: 28518 26311 378 142 0 27472 0
Current children cumulated CPU time (s) 1719.97
Current children cumulated vsize (KiB) 114072

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13872
/proc/meminfo: memFree=1340824/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=148012 CPUtime=1779.95
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 47574 822 0 0 177946 49 0 0 25 0 1 0 60146441 151564288 26816 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/13340/statm: 37003 26816 378 142 0 35957 0
Current children cumulated CPU time (s) 1779.95
Current children cumulated vsize (KiB) 148012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13872
/proc/meminfo: memFree=1339672/2055920 swapFree=4192812/4192956
[pid=13340] ppid=13338 vsize=148404 CPUtime=1800.04
/proc/13340/stat : 13340 (pcs.small) R 13338 13340 12507 0 -1 4194304 47740 822 0 0 179955 49 0 0 25 0 1 0 60146441 151965696 26982 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/13340/statm: 37101 26982 378 142 0 36055 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 148404

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): 1802.42
CPU time (s): 1800.08
CPU user time (s): 1799.56
CPU system time (s): 0.51992
CPU usage (%): 99.87
Max. virtual memory (cumulated for all children) (KiB): 148404

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

runsolver used 2.6456 second user time and 5.32019 second system time

The end

Launcher Data 

Begin job on node18 at 2009-07-16 09:53:18
IDJOB=2089920
IDBENCH=59646
IDSOLVER=734
FILE ID=node18/2089920-1247730798
PBS_JOBID= 9521520
Free space on /tmp= 66320 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/rand-2-40-19/normalized-rand-2-40-19-443-230-37_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2089920-1247730798/watcher-2089920-1247730798 -o /tmp/evaluation-result-2089920-1247730798/solver-2089920-1247730798 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 235277580 HOME/instance-2089920-1247730798.xml

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

MD5SUM BENCH= 8a57b1b1e952d1328c4594be81a6d47d
RANDOM SEED=235277580

node18.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.243
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.243
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:       1481520 kB
Buffers:         91384 kB
Cached:         369724 kB
SwapCached:          0 kB
Active:         115372 kB
Inactive:       379528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1481520 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1952 kB
Writeback:           0 kB
Mapped:          54132 kB
Slab:            64784 kB
Committed_AS:   524256 kB
PageTables:       1836 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= 66320 MiB
End job on node18 at 2009-07-16 10:23:22